flocc-pffb

Stabilityexperimental
Maintainerdeveloper@flocc.net
Safe HaskellNone

Compiler.Planner.Searches

Description

For more information please see http://www.flocc.net/

Synopsis

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.