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
class Solver (CForSolver c) => CTransformer c Source
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
Solver solver => Transformer (RestartST es ts solver a) |
data SealedCST es ts solver a whereSource
Seal :: CTransformer c => c -> SealedCST (CEvalState c) (CTreeState c) (CForSolver c) (CForResult c) |
Solver solver => CTransformer (SealedCST es ts solver a) |
newtype CNodeBoundedST solver a Source
Solver solver => CTransformer (CNodeBoundedST solver a) |
newtype CDepthBoundedST solver a Source
Solver solver => CTransformer (CDepthBoundedST solver a) |
newtype CBranchBoundST solver a Source
Solver solver => CTransformer (CBranchBoundST solver a) |
data CFirstSolutionST solver a Source
Solver solver => CTransformer (CFirstSolutionST solver a) |
newtype CLimitedDiscrepancyST solver a Source
Solver solver => CTransformer (CLimitedDiscrepancyST solver a) |