| Stability | development |
|---|---|
| Safe Haskell | Safe |
| Language | Haskell2010 |
Analysis.Interlevel.InterLevelCP
Description
- interLevelCP :: MorphismsConfig -> (String, SndOrderRule a b) -> (String, GraphRule a b) -> [(String, String, Int, InterLevelCP a b)]
- data InterLevelCP a b = InterLevelCP {
- sndOrderMatch :: RuleMorphism a b
- fstOrderMatch :: TypedGraphMorphism a b
- danglingExtension :: TypedGraphMorphism a b -> TypedGraphMorphism a b
Documentation
interLevelCP :: MorphismsConfig -> (String, SndOrderRule a b) -> (String, GraphRule a b) -> [(String, String, Int, InterLevelCP a b)] Source #
Matches the second order rule with the first order, and calls theirs critical pairs
data InterLevelCP a b Source #
Constructors
| InterLevelCP | |
Fields
| |
Instances
| Eq (InterLevelCP a b) Source # | |
| Show (InterLevelCP a b) Source # | |
danglingExtension :: TypedGraphMorphism a b -> TypedGraphMorphism a b Source #