Safe Haskell	None
Language	Haskell98

Control.CP.EnumTerm

Documentation

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

Minimal complete definition

getDomain, setValue

Associated Types

type TermBaseType s t :: * Source #

Methods

getDomainSize :: t -> s Int Source #

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

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

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

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

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

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

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

Instances

EnumTerm OvertonFD FDVar Source #
Associated Types type TermBaseType (OvertonFD :: * -> ) FDVar :: Source # Methods getDomainSize :: FDVar -> OvertonFD Int Source # getDomain :: FDVar -> OvertonFD [TermBaseType OvertonFD FDVar] Source # setValue :: FDVar -> TermBaseType OvertonFD FDVar -> OvertonFD [Constraint OvertonFD] Source # splitDomain :: FDVar -> OvertonFD ([[Constraint OvertonFD]], Bool) Source # splitDomains :: [FDVar] -> OvertonFD ([[Constraint OvertonFD]], [FDVar]) Source # getValue :: FDVar -> OvertonFD (Maybe (TermBaseType OvertonFD FDVar)) Source # defaultOrder :: [FDVar] -> OvertonFD [FDVar] Source # enumerator :: (MonadTree m, ((* -> *) ~ TreeSolver m) OvertonFD) => Maybe ([FDVar] -> m ()) Source #
(FDSolver s, EnumTerm s (FDBoolTerm s)) => EnumTerm (FDInstance s) ModelBool Source #
Associated Types type TermBaseType (FDInstance s :: * -> ) ModelBool :: Source # Methods getDomainSize :: ModelBool -> FDInstance s Int Source # getDomain :: ModelBool -> FDInstance s [TermBaseType (FDInstance s) ModelBool] Source # setValue :: ModelBool -> TermBaseType (FDInstance s) ModelBool -> FDInstance s [Constraint (FDInstance s)] Source # splitDomain :: ModelBool -> FDInstance s ([[Constraint (FDInstance s)]], Bool) Source # splitDomains :: [ModelBool] -> FDInstance s ([[Constraint (FDInstance s)]], [ModelBool]) Source # getValue :: ModelBool -> FDInstance s (Maybe (TermBaseType (FDInstance s) ModelBool)) Source # defaultOrder :: [ModelBool] -> FDInstance s [ModelBool] Source # enumerator :: (MonadTree m, ((* -> *) ~ TreeSolver m) (FDInstance s)) => Maybe ([ModelBool] -> m ()) Source #
(FDSolver s, EnumTerm s (FDIntTerm s)) => EnumTerm (FDInstance s) ModelInt Source #
Associated Types type TermBaseType (FDInstance s :: * -> ) ModelInt :: Source # Methods getDomainSize :: ModelInt -> FDInstance s Int Source # getDomain :: ModelInt -> FDInstance s [TermBaseType (FDInstance s) ModelInt] Source # setValue :: ModelInt -> TermBaseType (FDInstance s) ModelInt -> FDInstance s [Constraint (FDInstance s)] Source # splitDomain :: ModelInt -> FDInstance s ([[Constraint (FDInstance s)]], Bool) Source # splitDomains :: [ModelInt] -> FDInstance s ([[Constraint (FDInstance s)]], [ModelInt]) Source # getValue :: ModelInt -> FDInstance s (Maybe (TermBaseType (FDInstance s) ModelInt)) Source # defaultOrder :: [ModelInt] -> FDInstance s [ModelInt] Source # enumerator :: (MonadTree m, ((* -> *) ~ TreeSolver m) (FDInstance s)) => Maybe ([ModelInt] -> m ()) Source #

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

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

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

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

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

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

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

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

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