monadiccp-0.7.6: Constraint Programming

Safe HaskellNone

Control.CP.FD.Graph

Documentation

data EGConstraintSpec Source

Constructors

EGIntValue EGPar 
EGBoolValue EGBoolPar 
EGColValue EGColPar 
EGIntExtern Int 
EGBoolExtern Int 
EGColExtern Int 
EGPlus 
EGMinus 
EGMult 
EGDiv 
EGMod 
EGAbs 
EGAt 
EGFold EGModel (Int, Int, Int) 
EGSize 
EGChannel 
EGList Int 
EGRange 
EGMap EGModel (Int, Int, Int) 
EGSlice EGModel (Int, Int, Int) 
EGCat 
EGAnd 
EGOr 
EGEquiv 
EGNot 
EGEqual 
EGDiff 
EGLess Bool 
EGAll EGModel (Int, Int, Int) Bool 
EGAny EGModel (Int, Int, Int) Bool 
EGSorted Bool 
EGAllDiff Bool 
EGDom 
EGCondEqual 
EGCondInt 

Instances

data EGParTerm Source

Constructors

EGPTParam Int 

Instances

data EGParBoolTerm Source

Constructors

EGPTBoolParam Int 

Instances

data EGParColTerm Source

Constructors

EGPTColParam Int 

Instances

type EGPar = Expr EGParTerm EGParColTerm EGParBoolTermSource

type EGBoolPar = BoolExpr EGParTerm EGParColTerm EGParBoolTermSource

type EGColPar = ColExpr EGParTerm EGParColTerm EGParBoolTermSource

type EGConsArgs = (Int, Int, Int)Source

data EGEdgeId Source

Instances

data EGVarId Source

Constructors

EGVarId 

Fields

unVarId :: Int
 

Instances

data EGVarType Source

Constructors

EGBoolType 
EGIntType 
EGColType 

Instances

data EGTypeData x Source

Constructors

EGTypeData 

Fields

boolData :: x
 
intData :: x
 
colData :: x
 

Instances

Eq x => Eq (EGTypeData x) 
Show x => Show (EGTypeData x) 

data EGEdge Source

Constructors

EGEdge 

Fields

egeCons :: EGConstraintSpec
 
egeLinks :: EGTypeData [EGVarId]
 

Instances

data EGModel Source

Constructors

EGModel 

Fields

egmParams :: EGTypeData Int
 
egmVars :: EGTypeData Int
 
egmNEdges :: Int
 
egmEdges :: Map EGEdgeId EGEdge
 
egmLinks :: EGTypeData (Map EGVarId [(EGEdgeId, Int)])
 

Instances

addEdge :: EGConstraintSpec -> EGTypeData [EGVarId] -> EGModel -> EGModelSource

addNode :: EGVarType -> EGModel -> (EGVarId, EGModel)Source

delNode :: EGVarType -> EGVarId -> EGModel -> EGModelSource

findEdge :: EGModel -> EGVarType -> EGVarId -> (Int -> Bool) -> (EGConstraintSpec -> Bool) -> Maybe (EGEdgeId, EGEdge)Source

unifyNodes :: EGVarType -> EGVarId -> EGVarId -> EGModel -> EGModelSource

unifyIds :: EGVarId -> EGVarId -> EGVarId -> EGVarIdSource

baseGraph :: EGModelSource

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

present :: Display a => a -> StringSource

getConnectedEdges :: EGModel -> EGVarType -> EGVarId -> [(EGEdge, Int)]Source

externMap :: EGModel -> EGTypeData (Map Int EGVarId)Source

filterModel :: EGModel -> (EGEdge -> Maybe a) -> (EGModel, [a])Source

emptyModel :: EGModel -> BoolSource

pruneNodes :: EGModel -> EGModelSource