| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Analysis.EssentialCriticalPairs
- namedEssentialCriticalPairs :: (EpiPairs m, DPO m) => MorphismsConfig -> [NamedRule m] -> [NamedCriticalPairs m]
- findAllEssentialDeleteUse :: (EpiPairs m, DPO m) => MorphismsConfig -> Production m -> Production m -> [CriticalPair m]
- findAllEssentialProduceForbid :: MorphismsConfig -> Production m -> Production m -> [CriticalPair m]
- findAllEssentialProduceDangling :: MorphismsConfig -> Production m -> Production m -> [CriticalPair m]
Documentation
namedEssentialCriticalPairs :: (EpiPairs m, DPO m) => MorphismsConfig -> [NamedRule m] -> [NamedCriticalPairs m] Source #
Returns the Essential Critical Pairs with rule names
findAllEssentialDeleteUse :: (EpiPairs m, DPO m) => MorphismsConfig -> Production m -> Production m -> [CriticalPair m] Source #
Get all essential delete-use and organize them in a list of CriticalPair.
findAllEssentialProduceForbid :: MorphismsConfig -> Production m -> Production m -> [CriticalPair m] Source #
findAllEssentialProduceDangling :: MorphismsConfig -> Production m -> Production m -> [CriticalPair m] Source #