| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Analysis.ConcurrentRules
- data CRDependencies
- allConcurrentRules :: (DPO m, EpiPairs m, Eq (Obj m), Valid m) => CRDependencies -> MorphismsConfig -> [Constraint m] -> [Production m] -> [Production m]
- maxConcurrentRules :: (DPO m, EpiPairs m, Eq (Obj m), Valid m, Cardinality (Obj m)) => CRDependencies -> MorphismsConfig -> [Constraint m] -> [Production m] -> [Production m]
Documentation
data CRDependencies Source #
Constructors
| AllOverlapings | |
| OnlyDependency |
allConcurrentRules :: (DPO m, EpiPairs m, Eq (Obj m), Valid m) => CRDependencies -> MorphismsConfig -> [Constraint m] -> [Production m] -> [Production m] Source #
Generates the Concurrent Rules for a given list of Productions following the order of the elements in the list.
maxConcurrentRules :: (DPO m, EpiPairs m, Eq (Obj m), Valid m, Cardinality (Obj m)) => CRDependencies -> MorphismsConfig -> [Constraint m] -> [Production m] -> [Production m] Source #
Generates the Concurrent Rules with the least disjoint EpiPairs (EpiPairs with the least cardinality) for a given list of Productions (following the order of the elements in the list).