| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Analysis.ParallelIndependent
- data Algorithm
- data IndependenceType
- isIndependent :: (EpiPairs m, DPO m) => IndependenceType -> Algorithm -> MorphismsConfig -> Production m -> Production m -> Bool
- pbTest :: (AdhesiveHLR m, FindMorphism m) => Production m -> Production m -> m -> m -> Bool
- findIsoFromDomains :: FindMorphism m => m -> m -> [m]
Documentation
isIndependent :: (EpiPairs m, DPO m) => IndependenceType -> Algorithm -> MorphismsConfig -> Production m -> Production m -> Bool Source #
Checks if two transformations are independent (just delete-use), works with delete-use or pullback checking.
pbTest :: (AdhesiveHLR m, FindMorphism m) => Production m -> Production m -> m -> m -> Bool Source #
Checks independence between transformations via pullback tests
findIsoFromDomains :: FindMorphism m => m -> m -> [m] Source #