monadiccp-0.6.1: Constraint ProgrammingSource codeContentsIndex
Control.CP.ComposableTransformers
Documentation
solve :: (Queue q, Solver solver, CTransformer c, CForSolver c ~ solver, Elem q ~ (Label solver, Tree solver (CForResult c), CTreeState c)) => q -> c -> Tree solver (CForResult c) -> (Int, [CForResult c])Source
type NewBound solver = solver (Bound solver)Source
class Solver (CForSolver c) => CTransformer c Source
Associated Types
type CTreeState c :: *Source
type CForSolver c :: * -> *Source
type CForResult c :: *Source
Methods
show/hide Instances
Solver solver => CTransformer (CBranchBoundST solver a)
Solver solver => CTransformer (CFirstSolutionST solver a)
Solver solver => CTransformer (CIdentityCST solver a)
Solver solver => CTransformer (CRandomST solver a)
Solver solver => CTransformer (CLimitedDiscrepancyST solver a)
Solver solver => CTransformer (CDepthBoundedST solver a)
Solver solver => CTransformer (CNodeBoundedST solver a)
Solver solver => CTransformer (SealedCST es ts solver a)
Solver solver => CTransformer (Composition es ts solver a)
data RestartST es ts solver a Source
Constructors
RestartST [SealedCST es ts solver a] (Tree solver a -> solver (Tree solver a))
show/hide Instances
Solver solver => Transformer (RestartST es ts solver a)
data SealedCST es ts solver a whereSource
Constructors
Seal :: CTransformer c => c -> SealedCST (CEvalState c) (CTreeState c) (CForSolver c) (CForResult c)
show/hide Instances
Solver solver => CTransformer (SealedCST es ts solver a)
newtype CNodeBoundedST solver a Source
Constructors
CNBST Int
show/hide Instances
Solver solver => CTransformer (CNodeBoundedST solver a)
newtype CDepthBoundedST solver a Source
Constructors
CDBST Int
show/hide Instances
Solver solver => CTransformer (CDepthBoundedST solver a)
newtype CBranchBoundST solver a Source
Constructors
CBBST (NewBound solver)
show/hide Instances
Solver solver => CTransformer (CBranchBoundST solver a)
data CFirstSolutionST solver a Source
Constructors
CFSST
show/hide Instances
Solver solver => CTransformer (CFirstSolutionST solver a)
data CIdentityCST solver a Source
Constructors
CIST
show/hide Instances
Solver solver => CTransformer (CIdentityCST solver a)
newtype CRandomST solver a Source
Constructors
CRST Int
show/hide Instances
Solver solver => CTransformer (CRandomST solver a)
newtype CLimitedDiscrepancyST solver a Source
Constructors
CLDST Int
show/hide Instances
Produced by Haddock version 2.6.0