Safe Haskell	None
Language	Haskell98

Control.CP.FD.OvertonFD.OvertonFD

Documentation

data OvertonFD a Source #

Instances

Monad OvertonFD Source #
Methods (>>=) :: OvertonFD a -> (a -> OvertonFD b) -> OvertonFD b # (>>) :: OvertonFD a -> OvertonFD b -> OvertonFD b # return :: a -> OvertonFD a # fail :: String -> OvertonFD a #
Functor OvertonFD Source #
Methods fmap :: (a -> b) -> OvertonFD a -> OvertonFD b # (<$) :: a -> OvertonFD b -> OvertonFD a #
Applicative OvertonFD Source #
Methods pure :: a -> OvertonFD a # (<>) :: OvertonFD (a -> b) -> OvertonFD a -> OvertonFD b # liftA2 :: (a -> b -> c) -> OvertonFD a -> OvertonFD b -> OvertonFD c # (>) :: OvertonFD a -> OvertonFD b -> OvertonFD b # (<*) :: OvertonFD a -> OvertonFD b -> OvertonFD a #
Solver OvertonFD Source #
Associated Types type Constraint (OvertonFD :: * -> ) :: Source # type Label (OvertonFD :: * -> ) :: Source # Methods add :: Constraint OvertonFD -> OvertonFD Bool Source # run :: OvertonFD a -> a Source # mark :: OvertonFD (Label OvertonFD) Source # markn :: Int -> OvertonFD (Label OvertonFD) Source # goto :: Label OvertonFD -> OvertonFD () Source #
Term OvertonFD FDVar Source #
Associated Types type Help (OvertonFD :: * -> ) FDVar :: Source # Methods newvar :: OvertonFD FDVar Source # help :: OvertonFD () -> FDVar -> Help OvertonFD FDVar Source #
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 #
type Constraint OvertonFD Source #
type Constraint OvertonFD = OConstraint
type Label OvertonFD Source #
type Label OvertonFD
type FDIntTerm OvertonFD Source #
type FDIntTerm OvertonFD = FDVar
type FDBoolTerm OvertonFD Source #
type FDBoolTerm OvertonFD = FDVar
type FDIntSpec OvertonFD Source #
type FDIntSpec OvertonFD = FDVar
type FDBoolSpec OvertonFD Source #
type FDBoolSpec OvertonFD = FDVar
type FDColSpec OvertonFD Source #
type FDColSpec OvertonFD = [FDVar]
type FDIntSpecType OvertonFD Source #
type FDIntSpecType OvertonFD = ()
type FDBoolSpecType OvertonFD Source #
type FDBoolSpecType OvertonFD = ()
type FDColSpecType OvertonFD Source #
type FDColSpecType OvertonFD = ()
type Help OvertonFD FDVar Source #
type Help OvertonFD FDVar = ()
type TermBaseType OvertonFD FDVar Source #
type TermBaseType OvertonFD FDVar = Int

fd_objective :: OvertonFD FDVar Source #

fd_domain :: FDVar -> OvertonFD [Int] Source #

data FDVar Source #

Instances

Eq FDVar Source #
Methods (==) :: FDVar -> FDVar -> Bool # (/=) :: FDVar -> FDVar -> Bool #
Ord FDVar Source #
Methods compare :: FDVar -> FDVar -> Ordering # (<) :: FDVar -> FDVar -> Bool # (<=) :: FDVar -> FDVar -> Bool # (>) :: FDVar -> FDVar -> Bool # (>=) :: FDVar -> FDVar -> Bool # max :: FDVar -> FDVar -> FDVar # min :: FDVar -> FDVar -> FDVar #
Show FDVar Source #
Methods showsPrec :: Int -> FDVar -> ShowS # show :: FDVar -> String # showList :: [FDVar] -> ShowS #
Term OvertonFD FDVar Source #
Associated Types type Help (OvertonFD :: * -> ) FDVar :: Source # Methods newvar :: OvertonFD FDVar Source # help :: OvertonFD () -> FDVar -> Help OvertonFD FDVar Source #
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 #
type Help OvertonFD FDVar Source #
type Help OvertonFD FDVar = ()
type TermBaseType OvertonFD FDVar Source #
type TermBaseType OvertonFD FDVar = Int

data OConstraint Source #

Constructors

OHasValue FDVar Int
OSame FDVar FDVar
ODiff FDVar FDVar
OLess FDVar FDVar
OLessEq FDVar FDVar
OAdd FDVar FDVar FDVar
OSub FDVar FDVar FDVar
OMult FDVar FDVar FDVar
OAbs FDVar FDVar

Instances

Eq OConstraint Source #
Methods (==) :: OConstraint -> OConstraint -> Bool # (/=) :: OConstraint -> OConstraint -> Bool #
Show OConstraint Source #
Methods showsPrec :: Int -> OConstraint -> ShowS # show :: OConstraint -> String # showList :: [OConstraint] -> ShowS #

lookup :: FDVar -> OvertonFD Domain Source #