monadiccp-0.7.6: Constraint Programming

Safe Haskell	None

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

Eq EGConstraintSpec
Show EGConstraintSpec

data EGParTerm Source

Constructors

Instances

Eq EGParTerm
Ord EGParTerm
Show EGParTerm
Eq (EGPar -> EGPar)
Ord (EGPar -> EGPar)
Show (EGPar -> EGPar)

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 EGPar = Expr EGParTerm EGParColTerm EGParBoolTerm Source

type EGBoolPar = BoolExpr EGParTerm EGParColTerm EGParBoolTerm Source

type EGColPar = ColExpr EGParTerm EGParColTerm EGParBoolTerm Source

type EGConsArgs = (Int, Int, Int)Source

data EGEdgeId Source

Instances

Eq EGEdgeId
Ord EGEdgeId
Show EGEdgeId

data EGVarId Source

Constructors

EGVarId
Fields unVarId :: Int

Instances

Eq EGVarId
Ord EGVarId
Show EGVarId

data EGVarType Source

Constructors

EGBoolType
EGIntType
EGColType

Instances

Eq EGVarType
Show EGVarType

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

Eq EGEdge
Show EGEdge

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

Eq EGModel
Show EGModel

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

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

delNode :: EGVarType -> EGVarId -> EGModel -> EGModel Source

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

unifyNodes :: EGVarType -> EGVarId -> EGVarId -> EGModel -> EGModel Source

unifyIds :: EGVarId -> EGVarId -> EGVarId -> EGVarId Source

baseGraph :: EGModel 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

present :: Display a => a -> String Source

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

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

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

emptyModel :: EGModel -> Bool Source

pruneNodes :: EGModel -> EGModel Source