zsyntax-0.2.0.0: Automated theorem prover for the Zsyntax biochemical calculus (Index - M)

zsyntax-0.2.0.0: Automated theorem prover for the Zsyntax biochemical calculus

A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
R
S
T
U
W
Z
:
_
All

Index - M

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