Safe Haskell	None
Language	Haskell98

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 Source #
Methods (==) :: EGConstraintSpec -> EGConstraintSpec -> Bool # (/=) :: EGConstraintSpec -> EGConstraintSpec -> Bool #
Show EGConstraintSpec Source #
Methods showsPrec :: Int -> EGConstraintSpec -> ShowS # show :: EGConstraintSpec -> String # showList :: [EGConstraintSpec] -> ShowS #

data EGParTerm Source #

Constructors

EGPTParam Int

Instances

Eq EGParTerm Source #
Methods (==) :: EGParTerm -> EGParTerm -> Bool # (/=) :: EGParTerm -> EGParTerm -> Bool #
Ord EGParTerm Source #
Methods compare :: EGParTerm -> EGParTerm -> Ordering # (<) :: EGParTerm -> EGParTerm -> Bool # (<=) :: EGParTerm -> EGParTerm -> Bool # (>) :: EGParTerm -> EGParTerm -> Bool # (>=) :: EGParTerm -> EGParTerm -> Bool # max :: EGParTerm -> EGParTerm -> EGParTerm # min :: EGParTerm -> EGParTerm -> EGParTerm #
Show EGParTerm Source #
Methods showsPrec :: Int -> EGParTerm -> ShowS # show :: EGParTerm -> String # showList :: [EGParTerm] -> ShowS #
Eq (EGPar -> EGPar) Source #
Methods (==) :: (EGPar -> EGPar) -> (EGPar -> EGPar) -> Bool # (/=) :: (EGPar -> EGPar) -> (EGPar -> EGPar) -> Bool #
Ord (EGPar -> EGPar) Source #
Methods compare :: (EGPar -> EGPar) -> (EGPar -> EGPar) -> Ordering # (<) :: (EGPar -> EGPar) -> (EGPar -> EGPar) -> Bool # (<=) :: (EGPar -> EGPar) -> (EGPar -> EGPar) -> Bool # (>) :: (EGPar -> EGPar) -> (EGPar -> EGPar) -> Bool # (>=) :: (EGPar -> EGPar) -> (EGPar -> EGPar) -> Bool # max :: (EGPar -> EGPar) -> (EGPar -> EGPar) -> EGPar -> EGPar # min :: (EGPar -> EGPar) -> (EGPar -> EGPar) -> EGPar -> EGPar #
Show (EGPar -> EGPar) Source #
Methods showsPrec :: Int -> (EGPar -> EGPar) -> ShowS # show :: (EGPar -> EGPar) -> String # showList :: [EGPar -> EGPar] -> ShowS #

data EGParBoolTerm Source #

Constructors

EGPTBoolParam Int

Instances

Eq EGParBoolTerm Source #
Methods (==) :: EGParBoolTerm -> EGParBoolTerm -> Bool # (/=) :: EGParBoolTerm -> EGParBoolTerm -> Bool #
Ord EGParBoolTerm Source #
Methods compare :: EGParBoolTerm -> EGParBoolTerm -> Ordering # (<) :: EGParBoolTerm -> EGParBoolTerm -> Bool # (<=) :: EGParBoolTerm -> EGParBoolTerm -> Bool # (>) :: EGParBoolTerm -> EGParBoolTerm -> Bool # (>=) :: EGParBoolTerm -> EGParBoolTerm -> Bool # max :: EGParBoolTerm -> EGParBoolTerm -> EGParBoolTerm # min :: EGParBoolTerm -> EGParBoolTerm -> EGParBoolTerm #
Show EGParBoolTerm Source #
Methods showsPrec :: Int -> EGParBoolTerm -> ShowS # show :: EGParBoolTerm -> String # showList :: [EGParBoolTerm] -> ShowS #
Eq (EGPar -> EGPar) Source #
Methods (==) :: (EGPar -> EGPar) -> (EGPar -> EGPar) -> Bool # (/=) :: (EGPar -> EGPar) -> (EGPar -> EGPar) -> Bool #
Ord (EGPar -> EGPar) Source #
Methods compare :: (EGPar -> EGPar) -> (EGPar -> EGPar) -> Ordering # (<) :: (EGPar -> EGPar) -> (EGPar -> EGPar) -> Bool # (<=) :: (EGPar -> EGPar) -> (EGPar -> EGPar) -> Bool # (>) :: (EGPar -> EGPar) -> (EGPar -> EGPar) -> Bool # (>=) :: (EGPar -> EGPar) -> (EGPar -> EGPar) -> Bool # max :: (EGPar -> EGPar) -> (EGPar -> EGPar) -> EGPar -> EGPar # min :: (EGPar -> EGPar) -> (EGPar -> EGPar) -> EGPar -> EGPar #
Show (EGPar -> EGPar) Source #
Methods showsPrec :: Int -> (EGPar -> EGPar) -> ShowS # show :: (EGPar -> EGPar) -> String # showList :: [EGPar -> EGPar] -> ShowS #

data EGParColTerm Source #

Constructors

EGPTColParam Int

Instances

Eq EGParColTerm Source #
Methods (==) :: EGParColTerm -> EGParColTerm -> Bool # (/=) :: EGParColTerm -> EGParColTerm -> Bool #
Ord EGParColTerm Source #
Methods compare :: EGParColTerm -> EGParColTerm -> Ordering # (<) :: EGParColTerm -> EGParColTerm -> Bool # (<=) :: EGParColTerm -> EGParColTerm -> Bool # (>) :: EGParColTerm -> EGParColTerm -> Bool # (>=) :: EGParColTerm -> EGParColTerm -> Bool # max :: EGParColTerm -> EGParColTerm -> EGParColTerm # min :: EGParColTerm -> EGParColTerm -> EGParColTerm #
Show EGParColTerm Source #
Methods showsPrec :: Int -> EGParColTerm -> ShowS # show :: EGParColTerm -> String # showList :: [EGParColTerm] -> ShowS #
Eq (EGPar -> EGPar) Source #
Methods (==) :: (EGPar -> EGPar) -> (EGPar -> EGPar) -> Bool # (/=) :: (EGPar -> EGPar) -> (EGPar -> EGPar) -> Bool #
Ord (EGPar -> EGPar) Source #
Methods compare :: (EGPar -> EGPar) -> (EGPar -> EGPar) -> Ordering # (<) :: (EGPar -> EGPar) -> (EGPar -> EGPar) -> Bool # (<=) :: (EGPar -> EGPar) -> (EGPar -> EGPar) -> Bool # (>) :: (EGPar -> EGPar) -> (EGPar -> EGPar) -> Bool # (>=) :: (EGPar -> EGPar) -> (EGPar -> EGPar) -> Bool # max :: (EGPar -> EGPar) -> (EGPar -> EGPar) -> EGPar -> EGPar # min :: (EGPar -> EGPar) -> (EGPar -> EGPar) -> EGPar -> EGPar #
Show (EGPar -> EGPar) Source #
Methods showsPrec :: Int -> (EGPar -> EGPar) -> ShowS # show :: (EGPar -> EGPar) -> String # showList :: [EGPar -> EGPar] -> ShowS #

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 Source #
Methods (==) :: EGEdgeId -> EGEdgeId -> Bool # (/=) :: EGEdgeId -> EGEdgeId -> Bool #
Ord EGEdgeId Source #
Methods compare :: EGEdgeId -> EGEdgeId -> Ordering # (<) :: EGEdgeId -> EGEdgeId -> Bool # (<=) :: EGEdgeId -> EGEdgeId -> Bool # (>) :: EGEdgeId -> EGEdgeId -> Bool # (>=) :: EGEdgeId -> EGEdgeId -> Bool # max :: EGEdgeId -> EGEdgeId -> EGEdgeId # min :: EGEdgeId -> EGEdgeId -> EGEdgeId #
Show EGEdgeId Source #
Methods showsPrec :: Int -> EGEdgeId -> ShowS # show :: EGEdgeId -> String # showList :: [EGEdgeId] -> ShowS #

data EGVarId Source #

Constructors

EGVarId
Fields unVarId :: Int

Instances

Eq EGVarId Source #
Methods (==) :: EGVarId -> EGVarId -> Bool # (/=) :: EGVarId -> EGVarId -> Bool #
Ord EGVarId Source #
Methods compare :: EGVarId -> EGVarId -> Ordering # (<) :: EGVarId -> EGVarId -> Bool # (<=) :: EGVarId -> EGVarId -> Bool # (>) :: EGVarId -> EGVarId -> Bool # (>=) :: EGVarId -> EGVarId -> Bool # max :: EGVarId -> EGVarId -> EGVarId # min :: EGVarId -> EGVarId -> EGVarId #
Show EGVarId Source #
Methods showsPrec :: Int -> EGVarId -> ShowS # show :: EGVarId -> String # showList :: [EGVarId] -> ShowS #

data EGVarType Source #

Constructors

EGBoolType
EGIntType
EGColType

Instances

Eq EGVarType Source #
Methods (==) :: EGVarType -> EGVarType -> Bool # (/=) :: EGVarType -> EGVarType -> Bool #
Show EGVarType Source #
Methods showsPrec :: Int -> EGVarType -> ShowS # show :: EGVarType -> String # showList :: [EGVarType] -> ShowS #

data EGTypeData x Source #

Constructors

EGTypeData
Fields boolData :: x intData :: x colData :: x

Instances

Eq x => Eq (EGTypeData x) Source #
Methods (==) :: EGTypeData x -> EGTypeData x -> Bool # (/=) :: EGTypeData x -> EGTypeData x -> Bool #
Show x => Show (EGTypeData x) Source #
Methods showsPrec :: Int -> EGTypeData x -> ShowS # show :: EGTypeData x -> String # showList :: [EGTypeData x] -> ShowS #

data EGEdge Source #

Constructors

EGEdge
Fields egeCons :: EGConstraintSpec egeLinks :: EGTypeData [EGVarId]

Instances

Eq EGEdge Source #
Methods (==) :: EGEdge -> EGEdge -> Bool # (/=) :: EGEdge -> EGEdge -> Bool #
Show EGEdge Source #
Methods showsPrec :: Int -> EGEdge -> ShowS # show :: EGEdge -> String # showList :: [EGEdge] -> ShowS #

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 Source #
Methods (==) :: EGModel -> EGModel -> Bool # (/=) :: EGModel -> EGModel -> Bool #
Show EGModel Source #
Methods showsPrec :: Int -> EGModel -> ShowS # show :: EGModel -> String # showList :: [EGModel] -> ShowS #

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 x Source #

egTypeDataMap :: ((forall a. EGTypeData a -> a) -> b) -> EGTypeData b Source #

egTypeGet :: EGVarType -> EGTypeData a -> a Source #

egTypeMod :: EGVarType -> EGTypeData a -> (a -> a) -> EGTypeData a Source #

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 #