Stability | experimental |
---|---|
Maintainer | developer@flocc.net |
Safe Haskell | None |
For more information please see http://www.flocc.net/
- exaustiveSearch :: SCacheM (SolId, AvgSolCost)
- tryAllSearches :: SCacheM ()
- evalAllSearches :: [SCacheSt] -> IO ()
- showAllStats :: SCacheM String
- showAllRules :: SCacheM String
Documentation
exaustiveSearch :: SCacheM (SolId, AvgSolCost)
exaustiveSearch. Starts or resumes an exaustive search.
tryAllSearches :: SCacheM ()
Try all combinations of search paramter functions for current search.
evalAllSearches :: [SCacheSt] -> IO ()
Try all combinations of search paramter functions for current search.
showAllStats :: SCacheM String
showAllStats. Returns a CSV with stats for all the solutions of the |current program.