Control.CP.FD.SearchSpec.Data

Documentation

data OptimDirection

Constructors

Maximize

Minimize

Instances

Eq OptimDirection

Methods

(==) :: OptimDirection -> OptimDirection -> Bool

(/=) :: OptimDirection -> OptimDirection -> Bool

Ord OptimDirection

Methods

compare :: OptimDirection -> OptimDirection -> Ordering

(<) :: OptimDirection -> OptimDirection -> Bool

(<=) :: OptimDirection -> OptimDirection -> Bool

(>) :: OptimDirection -> OptimDirection -> Bool

(>=) :: OptimDirection -> OptimDirection -> Bool

max :: OptimDirection -> OptimDirection -> OptimDirection

min :: OptimDirection -> OptimDirection -> OptimDirection

Show OptimDirection

Methods

showsPrec :: Int -> OptimDirection -> ShowS

show :: OptimDirection -> String

showList :: [OptimDirection] -> ShowS

type VarExpr = Expr VarStat () ()

data VarStat

Constructors

DLowerBound

DUpperBound

DDomSize

DLowerRegret

DUpperRegret

DDegree

DWDregree

DRandom

DMedian

DDummy Int

Instances

Eq VarStat

Methods

(==) :: VarStat -> VarStat -> Bool

(/=) :: VarStat -> VarStat -> Bool

Ord VarStat

Methods

compare :: VarStat -> VarStat -> Ordering

(<) :: VarStat -> VarStat -> Bool

(<=) :: VarStat -> VarStat -> Bool

(>) :: VarStat -> VarStat -> Bool

(>=) :: VarStat -> VarStat -> Bool

max :: VarStat -> VarStat -> VarStat

min :: VarStat -> VarStat -> VarStat

Show VarStat

Methods

showsPrec :: Int -> VarStat -> ShowS

show :: VarStat -> String

showList :: [VarStat] -> ShowS

data Labelling v a b

Constructors

LabelInt v VarExpr (ConstraintExpr -> ConstraintExpr -> ConstraintBoolExpr)

LabelCol a VarExpr OptimDirection VarExpr (ConstraintExpr -> ConstraintExpr -> ConstraintBoolExpr)

LabelBool b VarExpr

Instances

(Show v, Show a, Show b) => Show (Labelling v a b)

Methods

showsPrec :: Int -> Labelling v a b -> ShowS

show :: Labelling v a b -> String

showList :: [Labelling v a b] -> ShowS

data SearchSpec v a b

Constructors

Labelling (Labelling v a b)

CombineSeq (SearchSpec v a b) (SearchSpec v a b)

CombinePar (SearchSpec v a b) (SearchSpec v a b)

TryOnce (SearchSpec v a b)

LimitSolCount Integer (SearchSpec v a b)

LimitDepth Integer (SearchSpec v a b)

LimitNodeCount Integer (SearchSpec v a b)

LimitDiscrepancy Integer (SearchSpec v a b)

BranchBound v OptimDirection (SearchSpec v a b)

PrintSol [v] [a] [b] (SearchSpec v a b)

Instances

(Show v, Show a, Show b) => Show (SearchSpec v a b)

Methods

showsPrec :: Int -> SearchSpec v a b -> ShowS

show :: SearchSpec v a b -> String

showList :: [SearchSpec v a b] -> ShowS

type ConstraintExpr = Expr ConstraintRefs () ()

data ConstraintRefs

Constructors

VarRef

ValRef

Instances

Eq ConstraintRefs

Methods

(==) :: ConstraintRefs -> ConstraintRefs -> Bool

(/=) :: ConstraintRefs -> ConstraintRefs -> Bool

Ord ConstraintRefs

Methods

compare :: ConstraintRefs -> ConstraintRefs -> Ordering

(<) :: ConstraintRefs -> ConstraintRefs -> Bool

(<=) :: ConstraintRefs -> ConstraintRefs -> Bool

(>) :: ConstraintRefs -> ConstraintRefs -> Bool

(>=) :: ConstraintRefs -> ConstraintRefs -> Bool

max :: ConstraintRefs -> ConstraintRefs -> ConstraintRefs

min :: ConstraintRefs -> ConstraintRefs -> ConstraintRefs

Show ConstraintRefs

Methods

showsPrec :: Int -> ConstraintRefs -> ShowS

show :: ConstraintRefs -> String

showList :: [ConstraintRefs] -> ShowS

mmapSearch :: Monad m => SearchSpec v1 a1 b1 -> (v1 -> m v2) -> (a1 -> m a2) -> (b1 -> m b2) -> m (SearchSpec v2 a2 b2)