Safe Haskell | None |
---|
Control.CP.FD.Graph
Documentation
data EGConstraintSpec Source
Constructors
Instances
data EGParBoolTerm Source
Constructors
EGPTBoolParam Int |
Instances
Eq EGParBoolTerm | |
Ord EGParBoolTerm | |
Show EGParBoolTerm | |
Eq (EGPar -> EGPar) | |
Ord (EGPar -> EGPar) | |
Show (EGPar -> EGPar) |
data EGParColTerm Source
Constructors
EGPTColParam Int |
Instances
Eq EGParColTerm | |
Ord EGParColTerm | |
Show EGParColTerm | |
Eq (EGPar -> EGPar) | |
Ord (EGPar -> EGPar) | |
Show (EGPar -> EGPar) |
type EGConsArgs = (Int, Int, Int)Source
Constructors
EGBoolType | |
EGIntType | |
EGColType |
data EGTypeData x Source
Constructors
EGTypeData | |
Instances
Eq x => Eq (EGTypeData x) | |
Show x => Show (EGTypeData x) |
Constructors
EGEdge | |
Fields
|
Constructors
EGModel | |
addEdge :: EGConstraintSpec -> EGTypeData [EGVarId] -> EGModel -> EGModelSource
findEdge :: EGModel -> EGVarType -> EGVarId -> (Int -> Bool) -> (EGConstraintSpec -> Bool) -> Maybe (EGEdgeId, EGEdge)Source
baseTypeData :: x -> EGTypeData xSource
egTypeDataMap :: ((forall a. EGTypeData a -> a) -> b) -> EGTypeData bSource
egTypeGet :: EGVarType -> EGTypeData a -> aSource
egTypeMod :: EGVarType -> EGTypeData a -> (a -> a) -> EGTypeData aSource
emptyModel :: EGModel -> BoolSource
pruneNodes :: EGModel -> EGModelSource