monadiccp-0.7.6: Constraint Programming

Safe Haskell	None

Control.Search.Stat

Documentation

appStat :: (Value -> Value) -> Stat -> Stat Source

constStat :: IValue -> Stat Source

depthStat :: Stat Source

nodesStat :: Stat Source

discrepancyStat :: Stat Source

solutionsStat :: Stat Source

failsStat :: Stat Source

timeStat :: Stat Source

notStat :: Stat -> Stat Source

data Stat Source

Constructors

Stat (forall m. Evalable m => Eval m -> Eval m) (forall m. Evalable m => m IValue)

Instances

Bounded Stat
Eq Stat
Num Stat
Show Stat

type IValue = Info -> Value Source

varStat :: VarId -> Stat Source

(#>) :: Stat -> Stat -> Stat Source

(#<) :: Stat -> Stat -> Stat Source

(#>=) :: Stat -> Stat -> Stat Source

(#<=) :: Stat -> Stat -> Stat Source

(#=) :: Stat -> Stat -> Stat Source

(#/) :: Stat -> Stat -> Stat Source

readStat :: Evalable m => Stat -> m IValue Source

evalStat :: Evalable m => Stat -> Eval m -> Eval mSource