ReactionList | Zsyntax.Labelled.Formula |
Regular | Zsyntax.ReactionList |
relDimap | Otter.Rule, Otter |
removeSubsumedBy | Otter.Internal.Search |
removeSubsumedByOp | Otter.Internal.Structures |
Res | |
1 (Type/Class) | Otter.SearchRes, Otter |
2 (Data Constructor) | Otter.SearchRes, Otter |
respects | Zsyntax.Labelled.Rule.BipoleRelation, Zsyntax.Labelled.Rule |
respectsCC | Zsyntax.ReactionList |
respectsRList | Zsyntax.ReactionList |
RL | Zsyntax.ReactionList |
RList | Zsyntax.ReactionList |
Rule | |
1 (Type/Class) | Otter.Rule, Otter |
2 (Data Constructor) | Otter.Rule, Otter |
RuleAppRes | Otter.Internal.Search |