Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
data PositiveInfiniteInt Source #
Instances
addPositiveInfiniteInt :: PositiveInfiniteInt -> PositiveInfiniteInt -> PositiveInfiniteInt Source #
type IDLGraph = Map (IDLGraphVertex, IDLGraphVertex) Int Source #
type IDLGraphVertex = Maybe Variable Source #
initializeIDL :: [Expressed] -> (IDLGraph, IDLWeightMap) Source #