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])

restart :: (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])

type NewBound solver = solver (Bound solver)

newtype Bound solver

Constructors

Bound (forall a. Tree solver a -> Tree solver a)

data Composition es ts solver a where

Constructors

:- :: (CTransformer c1, CTransformer c2, CForSolver c1 ~ solver, CForSolver c2 ~ solver, CForResult c1 ~ a, CForResult c2 ~ a) => c1 -> c2 -> Composition (CEvalState c1, CEvalState c2) (CTreeState c1, CTreeState c2) solver a

Instances

Solver solver => CTransformer (Composition es ts solver a)

class Solver (CForSolver c) => CTransformer c

Associated Types

type CTreeState c :: *

type CForSolver c :: * -> *

type CForResult c :: *

Instances

Solver solver => CTransformer (CBranchBoundST solver a)

Solver solver => CTransformer (CSolutionBoundST 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

Constructors

RestartST [SealedCST es ts solver a] (Tree solver a -> solver (Tree solver a))

Instances

Solver solver => Transformer (RestartST es ts solver a)

data SealedCST es ts solver a where

Constructors

Seal :: CTransformer c => c -> SealedCST (CEvalState c) (CTreeState c) (CForSolver c) (CForResult c)

Instances

Solver solver => CTransformer (SealedCST es ts solver a)

newtype CNodeBoundedST solver a

Constructors

CNBST Int

Instances

Solver solver => CTransformer (CNodeBoundedST solver a)

newtype CDepthBoundedST solver a

Constructors

CDBST Int

Instances

Solver solver => CTransformer (CDepthBoundedST solver a)

newtype CBranchBoundST solver a

Constructors

CBBST (NewBound solver)

Instances

Solver solver => CTransformer (CBranchBoundST solver a)

data CFirstSolutionST solver a

Constructors

CFSST

Instances

Solver solver => CTransformer (CFirstSolutionST solver a)

data CSolutionBoundST solver a

Constructors

CSBST Int

Instances

Solver solver => CTransformer (CSolutionBoundST solver a)

data CIdentityCST solver a

Constructors

CIST

Instances

Solver solver => CTransformer (CIdentityCST solver a)

newtype CRandomST solver a

Constructors

CRST Int

Instances

Solver solver => CTransformer (CRandomST solver a)

newtype CLimitedDiscrepancyST solver a

Constructors

CLDST Int

Instances

Solver solver => CTransformer (CLimitedDiscrepancyST solver a)