flocc-pffb

Stabilityexperimental
Maintainerdeveloper@flocc.net
Safe HaskellNone

Compiler.Planner.Solutions

Description

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

Documentation

type SolId = [Int]

data SolCost

Constructors

SolErr String 
SolSucc Float 
SolTimeout Float 

Instances

isSolErr :: SolCost -> Bool

isSolSucc :: SolCost -> Bool

isSolTimeout :: SolCost -> Bool

prettySolCost :: SolCost -> String

type AvgSolCost = Float

avgCost :: [SolCost] -> AvgSolCost

data SolMetaInfo

Constructors

SolMetaInfo 

Fields

siCastCost :: Int
 
siNumCastSols :: Int
 
siTimeCastSols :: Float
 

Instances

loadMetaInfo :: String -> IO SolMetaInfo

saveMetaInfo :: String -> SolMetaInfo -> IO ()

createFilename :: SolId -> String

numRedistSolsToTry :: Int