match | Otter.Rule, Otter |
matchLinearCtxt | Zsyntax.Labelled.Rule.BipoleRelation, Zsyntax.Labelled.Rule |
matchMultiSet | Zsyntax.Labelled.Rule.BipoleRelation, Zsyntax.Labelled.Rule |
matchRel | Zsyntax.Labelled.Rule.BipoleRelation, Zsyntax.Labelled.Rule |
MatchRes | Zsyntax.Labelled.Rule.Interface, Zsyntax.Labelled.Rule |
matchSchema | Zsyntax.Labelled.Rule.BipoleRelation, Zsyntax.Labelled.Rule |
maybeBFormula | Zsyntax.Labelled.Formula |
maybeNeutral | Zsyntax.Formula, Zsyntax |
mayProperRule | Zsyntax.Labelled.Rule.Frontier, Zsyntax.Labelled.Rule |
maySequent | Zsyntax.Labelled.Rule.Frontier, Zsyntax.Labelled.Rule |
merge | Otter.Internal.Search |
mkGoal | Otter.Internal.Structures |
MREmptyGoal | Zsyntax.Labelled.Rule.Interface, Zsyntax.Labelled.Rule |
MRFullGoal | Zsyntax.Labelled.Rule.Interface, Zsyntax.Labelled.Rule |
msRespectsCS | Zsyntax.ReactionList |