Control.CP.EnumTerm

Documentation

class (Solver s, Term s t, Show (TermBaseType s t)) => EnumTerm s t where

Associated Types

type TermBaseType s t :: *

Methods

getDomainSize :: t -> s Int

getDomain :: t -> s [TermBaseType s t]

setValue :: t -> TermBaseType s t -> s [Constraint s]

splitDomain :: t -> s ([[Constraint s]], Bool)

splitDomains :: [t] -> s ([[Constraint s]], [t])

getValue :: t -> s (Maybe (TermBaseType s t))

defaultOrder :: [t] -> s [t]

enumerator :: (MonadTree m, TreeSolver m ~ s) => Maybe ([t] -> m ())

Instances

EnumTerm OvertonFD FDVar

(FDSolver s, EnumTerm s (FDBoolTerm s)) => EnumTerm (FDInstance s) ModelBool

(FDSolver s, EnumTerm s (FDIntTerm s)) => EnumTerm (FDInstance s) ModelInt

(GecodeSolver s, ~ * (Constraint s) (GecodeConstraint s), EnumTerm s t) => EnumTerm (GecodeWrappedSolver s) t

assignment :: (EnumTerm s t, MonadTree m, TreeSolver m ~ s) => t -> m (TermBaseType s t)

assignments :: (EnumTerm s t, MonadTree m, TreeSolver m ~ s) => [t] -> m [TermBaseType s t]

inOrder :: EnumTerm s t => [t] -> s [t]

firstFail :: EnumTerm s t => [t] -> s [t]

middleOut :: EnumTerm s t => [t] -> s [t]

endsOut :: EnumTerm s t => [t] -> s [t]

labelling :: (MonadTree m, TreeSolver m ~ s, EnumTerm s t) => ([t] -> s [t]) -> [t] -> m ()

levelList :: (Solver s, MonadTree m, TreeSolver m ~ s) => [m ()] -> m ()

enumerate :: (MonadTree m, TreeSolver m ~ s, EnumTerm s t) => [t] -> m ()