Control.CP.EnumTerm

Documentation

class (Term s t, Enum (TermDomain s t)) => EnumTerm s t where

Associated Types

type TermDomain s t :: *

Methods

get_domain_size :: t -> s Int

get_value :: t -> s (Maybe (TermDomain s t))

split_domain_partial :: t -> s [Tree s ()]

split_domain :: t -> s (Tree s ())

split_domains :: [t] -> s (Tree s ())

label :: ([t] -> s [t]) -> [t] -> Tree s ()

enumerate :: [t] -> Tree s ()

Instances

EnumTerm OvertonFD FDVar

(FDTerm s ~ t, FDSolver s, Eq t, EnumTerm s t, Integral (TermDomain s t)) => EnumTerm (FDWrapper s) (Expr t)

in_order :: Monad m => a -> m a

firstfail :: EnumTerm m a => [a] -> m [a]

middleout :: [a] -> [a]

endsout :: [a] -> [a]

interleave :: [t] -> [t] -> [t]

assignment :: EnumTerm s t => t -> Tree s (TermDomain s t)

assignments :: EnumTerm s t => [t] -> Tree s [TermDomain s t]