Methods
fdIntSpec_const :: EGPar -> (FDIntSpecType OvertonFD, OvertonFD (FDIntSpec OvertonFD)) Source #
fdBoolSpec_const :: EGBoolPar -> (FDBoolSpecType OvertonFD, OvertonFD (FDBoolSpec OvertonFD)) Source #
fdColSpec_const :: EGColPar -> (FDColSpecType OvertonFD, OvertonFD (FDColSpec OvertonFD)) Source #
fdColSpec_list :: [FDIntSpec OvertonFD] -> (FDColSpecType OvertonFD, OvertonFD (FDColSpec OvertonFD)) Source #
fdIntSpec_term :: FDIntTerm OvertonFD -> (FDIntSpecType OvertonFD, OvertonFD (FDIntSpec OvertonFD)) Source #
fdBoolSpec_term :: FDBoolTerm OvertonFD -> (FDBoolSpecType OvertonFD, OvertonFD (FDBoolSpec OvertonFD)) Source #
fdColSpec_size :: EGPar -> (FDColSpecType OvertonFD, OvertonFD (FDColSpec OvertonFD)) Source #
fdIntVarSpec :: FDIntSpec OvertonFD -> OvertonFD (Maybe (FDIntTerm OvertonFD)) Source #
fdBoolVarSpec :: FDBoolSpec OvertonFD -> OvertonFD (Maybe (FDBoolTerm OvertonFD)) Source #
fdTypeReqBool :: OvertonFD (EGEdge -> [(EGVarId, FDBoolSpecTypeSet OvertonFD)]) Source #
fdTypeReqInt :: OvertonFD (EGEdge -> [(EGVarId, FDIntSpecTypeSet OvertonFD)]) Source #
fdTypeReqCol :: OvertonFD (EGEdge -> [(EGVarId, FDColSpecTypeSet OvertonFD)]) Source #
fdTypeVarInt :: OvertonFD (Set (FDIntSpecType OvertonFD)) Source #
fdTypeVarBool :: OvertonFD (Set (FDBoolSpecType OvertonFD)) Source #
fdSpecify :: Mixin (SpecFn OvertonFD) Source #
fdColInspect :: FDColSpec OvertonFD -> OvertonFD [FDIntTerm OvertonFD] Source #
fdProcess :: Mixin (EGConstraintSpec -> FDSpecInfo OvertonFD -> FDInstance OvertonFD ()) Source #
fdEqualBool :: FDBoolSpec OvertonFD -> FDBoolSpec OvertonFD -> FDInstance OvertonFD () Source #
fdEqualInt :: FDIntSpec OvertonFD -> FDIntSpec OvertonFD -> FDInstance OvertonFD () Source #
fdEqualCol :: FDColSpec OvertonFD -> FDColSpec OvertonFD -> FDInstance OvertonFD () Source #
fdConstrainIntTerm :: FDIntTerm OvertonFD -> Integer -> OvertonFD (Constraint OvertonFD) Source #
fdSplitIntDomain :: FDIntTerm OvertonFD -> OvertonFD ([Constraint OvertonFD], Bool) Source #
fdSplitBoolDomain :: FDBoolTerm OvertonFD -> OvertonFD ([Constraint OvertonFD], Bool) Source #