Control.CP.FD.FD

Documentation

module Data.Expr.Sugar

data FDSolver s => FDInstance s a

definition of FDInstance, a Solver wrapper that adds power to post boolean expressions as constraints

Instances

Monad s => Monad (FDInstance s)

Methods

(>>=) :: FDInstance s a -> (a -> FDInstance s b) -> FDInstance s b

(>>) :: FDInstance s a -> FDInstance s b -> FDInstance s b

return :: a -> FDInstance s a

fail :: String -> FDInstance s a

Functor s => Functor (FDInstance s)

Methods

fmap :: (a -> b) -> FDInstance s a -> FDInstance s b

(<$) :: a -> FDInstance s b -> FDInstance s a

Monad s => Applicative (FDInstance s)

Methods

pure :: a -> FDInstance s a

(<*>) :: FDInstance s (a -> b) -> FDInstance s a -> FDInstance s b

liftA2 :: (a -> b -> c) -> FDInstance s a -> FDInstance s b -> FDInstance s c

(*>) :: FDInstance s a -> FDInstance s b -> FDInstance s b

(<*) :: FDInstance s a -> FDInstance s b -> FDInstance s a

FDSolver s => Solver (FDInstance s)

Associated Types

type Constraint (FDInstance s :: * -> *) :: *

type Label (FDInstance s :: * -> *) :: *

Methods

add :: Constraint (FDInstance s) -> FDInstance s Bool

run :: FDInstance s a -> a

mark :: FDInstance s (Label (FDInstance s))

markn :: Int -> FDInstance s (Label (FDInstance s))

goto :: Label (FDInstance s) -> FDInstance s ()

FDSolver s => Term (FDInstance s) ModelCol

Associated Types

type Help (FDInstance s :: * -> *) ModelCol :: *

Methods

newvar :: FDInstance s ModelCol

help :: FDInstance s () -> ModelCol -> Help (FDInstance s) ModelCol

FDSolver s => Term (FDInstance s) ModelBool

Associated Types

type Help (FDInstance s :: * -> *) ModelBool :: *

Methods

newvar :: FDInstance s ModelBool

help :: FDInstance s () -> ModelBool -> Help (FDInstance s) ModelBool

FDSolver s => Term (FDInstance s) ModelInt

Associated Types

type Help (FDInstance s :: * -> *) ModelInt :: *

Methods

newvar :: FDInstance s ModelInt

help :: FDInstance s () -> ModelInt -> Help (FDInstance s) ModelInt

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

Associated Types

type TermBaseType (FDInstance s :: * -> *) ModelBool :: *

Methods

getDomainSize :: ModelBool -> FDInstance s Int

getDomain :: ModelBool -> FDInstance s [TermBaseType (FDInstance s) ModelBool]

setValue :: ModelBool -> TermBaseType (FDInstance s) ModelBool -> FDInstance s [Constraint (FDInstance s)]

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

splitDomains :: [ModelBool] -> FDInstance s ([[Constraint (FDInstance s)]], [ModelBool])

getValue :: ModelBool -> FDInstance s (Maybe (TermBaseType (FDInstance s) ModelBool))

defaultOrder :: [ModelBool] -> FDInstance s [ModelBool]

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

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

Associated Types

type TermBaseType (FDInstance s :: * -> *) ModelInt :: *

Methods

getDomainSize :: ModelInt -> FDInstance s Int

getDomain :: ModelInt -> FDInstance s [TermBaseType (FDInstance s) ModelInt]

setValue :: ModelInt -> TermBaseType (FDInstance s) ModelInt -> FDInstance s [Constraint (FDInstance s)]

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

splitDomains :: [ModelInt] -> FDInstance s ([[Constraint (FDInstance s)]], [ModelInt])

getValue :: ModelInt -> FDInstance s (Maybe (TermBaseType (FDInstance s) ModelInt))

defaultOrder :: [ModelInt] -> FDInstance s [ModelInt]

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

type Constraint (FDInstance s)

type Constraint (FDInstance s) = Either Model (Constraint s)

type Label (FDInstance s)

type Label (FDInstance s)

type Help (FDInstance s) ModelCol

type Help (FDInstance s) ModelCol = ()

type Help (FDInstance s) ModelBool

type Help (FDInstance s) ModelBool = ()

type Help (FDInstance s) ModelInt

type Help (FDInstance s) ModelInt = ()

type TermBaseType (FDInstance s) ModelBool

type TermBaseType (FDInstance s) ModelBool = TermBaseType s (FDBoolTerm s)

type TermBaseType (FDInstance s) ModelInt

type TermBaseType (FDInstance s) ModelInt = TermBaseType s (FDIntTerm s)

class (Solver s, Term s (FDIntTerm s), Term s (FDBoolTerm s), Eq (FDBoolSpecType s), Ord (FDBoolSpecType s), Enum (FDBoolSpecType s), Bounded (FDBoolSpecType s), Show (FDBoolSpecType s), Eq (FDIntSpecType s), Ord (FDIntSpecType s), Enum (FDIntSpecType s), Bounded (FDIntSpecType s), Show (FDIntSpecType s), Eq (FDColSpecType s), Ord (FDColSpecType s), Enum (FDColSpecType s), Bounded (FDColSpecType s), Show (FDColSpecType s), Show (FDIntSpec s), Show (FDColSpec s), Show (FDBoolSpec s)) => FDSolver s where

A solver needs to be an instance of this FDSolver class in order to create an FDInstance around it.

Minimal complete definition

fdIntSpec_const, fdBoolSpec_const, fdColSpec_const, fdColSpec_list, fdIntSpec_term, fdBoolSpec_term, fdColSpec_size, fdIntVarSpec, fdBoolVarSpec, fdColInspect, fdProcess, fdEqualBool, fdEqualInt, fdEqualCol, fdConstrainIntTerm, fdSplitIntDomain, fdSplitBoolDomain

Associated Types

type FDIntTerm s :: *

type FDBoolTerm s :: *

type FDIntSpec s :: *

type FDBoolSpec s :: *

type FDColSpec s :: *

type FDIntSpecType s :: *

type FDBoolSpecType s :: *

type FDColSpecType s :: *

Methods

fdIntSpec_const :: EGPar -> (FDIntSpecType s, s (FDIntSpec s))

fdBoolSpec_const :: EGBoolPar -> (FDBoolSpecType s, s (FDBoolSpec s))

fdColSpec_const :: EGColPar -> (FDColSpecType s, s (FDColSpec s))

fdColSpec_list :: [FDIntSpec s] -> (FDColSpecType s, s (FDColSpec s))

fdIntSpec_term :: FDIntTerm s -> (FDIntSpecType s, s (FDIntSpec s))

fdBoolSpec_term :: FDBoolTerm s -> (FDBoolSpecType s, s (FDBoolSpec s))

fdColSpec_size :: EGPar -> (FDColSpecType s, s (FDColSpec s))

fdIntVarSpec :: FDIntSpec s -> s (Maybe (FDIntTerm s))

fdBoolVarSpec :: FDBoolSpec s -> s (Maybe (FDBoolTerm s))

fdTypeReqBool :: s (EGEdge -> [(EGVarId, FDBoolSpecTypeSet s)])

fdTypeReqInt :: s (EGEdge -> [(EGVarId, FDIntSpecTypeSet s)])

fdTypeReqCol :: s (EGEdge -> [(EGVarId, FDColSpecTypeSet s)])

fdTypeVarInt :: s (Set (FDIntSpecType s))

fdTypeVarBool :: s (Set (FDBoolSpecType s))

fdSpecify :: Mixin (SpecFn s)

fdColInspect :: FDColSpec s -> s [FDIntTerm s]

fdProcess :: Mixin (EGConstraintSpec -> FDSpecInfo s -> FDInstance s ())

fdEqualBool :: FDBoolSpec s -> FDBoolSpec s -> FDInstance s ()

fdEqualInt :: FDIntSpec s -> FDIntSpec s -> FDInstance s ()

fdEqualCol :: FDColSpec s -> FDColSpec s -> FDInstance s ()

fdConstrainIntTerm :: FDIntTerm s -> Integer -> s (Constraint s)

fdSplitIntDomain :: FDIntTerm s -> s ([Constraint s], Bool)

fdSplitBoolDomain :: FDBoolTerm s -> s ([Constraint s], Bool)

type FDSpecInfo s = ([FDSpecInfoBool s], [FDSpecInfoInt s], [FDSpecInfoCol s])

data FDSpecInfoBool s

Constructors

FDSpecInfoBool

Fields

• fdspBoolSpec :: Maybe (FDBoolSpecType s) -> Maybe (FDBoolSpec s)
• fdspBoolVar :: Maybe EGVarId
• fdspBoolVal :: Maybe EGBoolPar
• fdspBoolTypes :: Set (FDBoolSpecType s)

Instances

(Ord (FDBoolSpec s), Ord (FDBoolSpecType s)) => Eq (FDSpecInfoBool s)

Methods

(==) :: FDSpecInfoBool s -> FDSpecInfoBool s -> Bool

(/=) :: FDSpecInfoBool s -> FDSpecInfoBool s -> Bool

(Ord (FDBoolSpec s), Ord (FDBoolSpecType s)) => Ord (FDSpecInfoBool s)

Methods

compare :: FDSpecInfoBool s -> FDSpecInfoBool s -> Ordering

(<) :: FDSpecInfoBool s -> FDSpecInfoBool s -> Bool

(<=) :: FDSpecInfoBool s -> FDSpecInfoBool s -> Bool

(>) :: FDSpecInfoBool s -> FDSpecInfoBool s -> Bool

(>=) :: FDSpecInfoBool s -> FDSpecInfoBool s -> Bool

max :: FDSpecInfoBool s -> FDSpecInfoBool s -> FDSpecInfoBool s

min :: FDSpecInfoBool s -> FDSpecInfoBool s -> FDSpecInfoBool s

Show (FDBoolSpec s) => Show (FDSpecInfoBool s)

Methods

showsPrec :: Int -> FDSpecInfoBool s -> ShowS

show :: FDSpecInfoBool s -> String

showList :: [FDSpecInfoBool s] -> ShowS

data FDSpecInfoInt s

Constructors

FDSpecInfoInt

Fields

• fdspIntSpec :: Maybe (FDIntSpecType s) -> Maybe (FDIntSpec s)
• fdspIntVar :: Maybe EGVarId
• fdspIntVal :: Maybe EGPar
• fdspIntTypes :: Set (FDIntSpecType s)

Instances

(Ord (FDIntSpec s), Ord (FDIntSpecType s)) => Eq (FDSpecInfoInt s)

Methods

(==) :: FDSpecInfoInt s -> FDSpecInfoInt s -> Bool

(/=) :: FDSpecInfoInt s -> FDSpecInfoInt s -> Bool

(Ord (FDIntSpec s), Ord (FDIntSpecType s)) => Ord (FDSpecInfoInt s)

Methods

compare :: FDSpecInfoInt s -> FDSpecInfoInt s -> Ordering

(<) :: FDSpecInfoInt s -> FDSpecInfoInt s -> Bool

(<=) :: FDSpecInfoInt s -> FDSpecInfoInt s -> Bool

(>) :: FDSpecInfoInt s -> FDSpecInfoInt s -> Bool

(>=) :: FDSpecInfoInt s -> FDSpecInfoInt s -> Bool

max :: FDSpecInfoInt s -> FDSpecInfoInt s -> FDSpecInfoInt s

min :: FDSpecInfoInt s -> FDSpecInfoInt s -> FDSpecInfoInt s

Show (FDIntSpec s) => Show (FDSpecInfoInt s)

Methods

showsPrec :: Int -> FDSpecInfoInt s -> ShowS

show :: FDSpecInfoInt s -> String

showList :: [FDSpecInfoInt s] -> ShowS

data FDSpecInfoCol s

Constructors

FDSpecInfoCol

Fields

• fdspColSpec :: Maybe (FDColSpecType s) -> Maybe (FDColSpec s)
• fdspColVar :: Maybe EGVarId
• fdspColVal :: Maybe EGColPar
• fdspColTypes :: Set (FDColSpecType s)

Instances

(Ord (FDColSpec s), Ord (FDColSpecType s)) => Eq (FDSpecInfoCol s)

Methods

(==) :: FDSpecInfoCol s -> FDSpecInfoCol s -> Bool

(/=) :: FDSpecInfoCol s -> FDSpecInfoCol s -> Bool

(Ord (FDColSpec s), Ord (FDColSpecType s)) => Ord (FDSpecInfoCol s)

Methods

compare :: FDSpecInfoCol s -> FDSpecInfoCol s -> Ordering

(<) :: FDSpecInfoCol s -> FDSpecInfoCol s -> Bool

(<=) :: FDSpecInfoCol s -> FDSpecInfoCol s -> Bool

(>) :: FDSpecInfoCol s -> FDSpecInfoCol s -> Bool

(>=) :: FDSpecInfoCol s -> FDSpecInfoCol s -> Bool

max :: FDSpecInfoCol s -> FDSpecInfoCol s -> FDSpecInfoCol s

min :: FDSpecInfoCol s -> FDSpecInfoCol s -> FDSpecInfoCol s

Show (FDColSpec s) => Show (FDSpecInfoCol s)

Methods

showsPrec :: Int -> FDSpecInfoCol s -> ShowS

show :: FDSpecInfoCol s -> String

showList :: [FDSpecInfoCol s] -> ShowS

liftFD :: FDSolver s => s a -> FDInstance s a

lift a monad action for the underlying solver to a monad action for an FDInstance around it

addFD :: (Show (Constraint s), FDSolver s) => Constraint s -> FDInstance s ()

type SpecFn s = EGEdge -> SpecFnRes s

type SpecFnRes s = ([(Int, EGVarId, Bool, SpecBool s)], [(Int, EGVarId, Bool, SpecInt s)], [(Int, EGVarId, Bool, SpecCol s)])

data SpecResult t

Constructors

SpecResNone

SpecResSpec t

SpecResUnify EGVarId

getBoolSpec_ :: FDSolver s => EGVarId -> FDBoolSpecTypeSet s -> FDInstance s (Maybe (FDBoolSpecType s, FDBoolSpec s))

getIntSpec_ :: FDSolver s => EGVarId -> FDIntSpecTypeSet s -> FDInstance s (Maybe (FDIntSpecType s, FDIntSpec s))

getColSpec_ :: FDSolver s => EGVarId -> FDColSpecTypeSet s -> FDInstance s (Maybe (FDColSpecType s, FDColSpec s))

getBoolSpec :: FDSolver s => EGVarId -> FDInstance s (Maybe (FDBoolSpec s))

getIntSpec :: FDSolver s => EGVarId -> FDInstance s (Maybe (FDIntSpec s))

getColSpec :: (Show (FDColSpec s), FDSolver s) => EGVarId -> FDInstance s (Maybe (FDColSpec s))

getEdge :: FDSolver s => EGEdgeId -> FDInstance s (Maybe EGEdge)

markEdge :: FDSolver s => EGEdgeId -> FDInstance s ()

setFailed :: FDSolver s => FDInstance s ()

getLevel :: FDSolver s => FDInstance s Int

getIntVal :: FDSolver s => EGVarId -> FDInstance s (Maybe EGPar)

getBoolVal :: FDSolver s => EGVarId -> FDInstance s (Maybe EGBoolPar)

getColVal :: FDSolver s => EGVarId -> FDInstance s (Maybe EGColPar)

getIntTerm :: FDSolver s => [ModelInt] -> FDInstance s [FDIntTerm s]

getBoolTerm :: FDSolver s => [ModelBool] -> FDInstance s [FDBoolTerm s]

getColTerm :: FDSolver s => [ModelCol] -> FDColSpecType s -> FDInstance s [FDColSpec s]

getSingleIntTerm :: FDSolver s => ModelInt -> FDInstance s (FDIntTerm s)

getDefBoolSpec :: FDSolver s => FDSpecInfoBool s -> FDBoolSpec s

getDefIntSpec :: FDSolver s => FDSpecInfoInt s -> FDIntSpec s

getDefColSpec :: FDSolver s => FDSpecInfoCol s -> FDColSpec s

getFullBoolSpec :: (FDSolver s, MonadState (FDState s) m) => EGVarId -> m (FDSpecInfoBool s)

getFullIntSpec :: (FDSolver s, MonadState (FDState s) m) => EGVarId -> m (FDSpecInfoInt s)

getFullColSpec :: (FDSolver s, MonadState (FDState s) m) => EGVarId -> m (FDSpecInfoCol s)

getColItems :: FDSolver s => ModelCol -> FDColSpecType s -> FDInstance s [FDIntTerm s]

fdSpecInfo_spec :: FDSolver s => ([Either (FDSpecInfoBool s) (FDBoolSpecType s, FDBoolSpec s)], [Either (FDSpecInfoInt s) (FDIntSpecType s, FDIntSpec s)], [Either (FDSpecInfoCol s) (FDColSpecType s, FDColSpec s)]) -> FDSpecInfo s

specInfoBoolTerm :: FDSolver s => FDBoolTerm s -> s (FDSpecInfoBool s)

specInfoIntTerm :: FDSolver s => FDIntTerm s -> s (FDSpecInfoInt s)

newInt :: FDSolver s => FDInstance s ModelInt

newBool :: FDSolver s => FDInstance s ModelBool

newCol :: FDSolver s => FDInstance s ModelCol

procSubModel :: FDSolver s => EGModel -> (Int -> FDSpecInfoBool s, Int -> FDSpecInfoInt s, Int -> FDSpecInfoCol s) -> FDInstance s ()

procSubModelEx :: FDSolver s => EGModel -> (Int -> Maybe (FDSpecInfoBool s), Int -> Maybe (FDSpecInfoInt s), Int -> Maybe (FDSpecInfoCol s)) -> FDInstance s ()

specSubModelEx :: FDSolver s => EGModel -> (Int -> Maybe (FDSpecInfoBool s), Int -> Maybe (FDSpecInfoInt s), Int -> Maybe (FDSpecInfoCol s)) -> FDInstance s (Map EGVarId (FDSpecInfoBool s), Map EGVarId (FDSpecInfoInt s), Map EGVarId (FDSpecInfoCol s))

runFD :: FDSolver s => FDInstance s a -> s a

setMinimizeVar :: (Show (FDIntTerm s), FDSolver s) => ModelInt -> FDInstance s ()

boundMinimize :: (Show (FDIntTerm s), FDSolver s, EnumTerm s (FDIntTerm s), Integral (TermBaseType s (FDIntTerm s))) => NewBound (FDInstance s)

getMinimizeTerm :: (Show (FDIntTerm s), FDSolver s) => FDInstance s (Maybe (FDIntTerm s))

getMinimizeVar :: (Show (FDIntTerm s), FDSolver s) => FDInstance s (Maybe ModelInt)

fdNewvar :: (FDSolver s, Term s t) => FDInstance s (Maybe t)