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

Index - F

FailureReasonOtter.SearchRes, Otter, Zsyntax
filterImplZsyntax.Labelled.Rule.Frontier, Zsyntax.Labelled.Rule
filterUnsubsumedOtter.Internal.Search
FKindZsyntax.Labelled.Formula
focZsyntax.Labelled.Rule.Frontier, Zsyntax.Labelled.Rule
FocMatchResZsyntax.Labelled.Rule.BipoleRelation, Zsyntax.Labelled.Rule
focusZsyntax.Labelled.Rule.BipoleRelation, Zsyntax.Labelled.Rule
foldActivesOtter.Internal.Structures
Formula 
1 (Type/Class)Zsyntax.Formula, Zsyntax
2 (Data Constructor)Zsyntax.Formula, Zsyntax
frmlHetEqZsyntax.Labelled.Formula
frmlHetOrdZsyntax.Labelled.Formula
frNegZsyntax.Labelled.Rule.Frontier, Zsyntax.Labelled.Rule
fromCSCtxtsZsyntax.ReactionList
frontierZsyntax.Labelled.Rule.Frontier, Zsyntax.Labelled.Rule
frPosZsyntax.Labelled.Rule.Frontier, Zsyntax.Labelled.Rule
FSCheckedOtter.Internal.Structures
FSCheckedNodeOtter.Internal.Structures
FullXiEmptyResultZsyntax.Labelled.Rule.Interface, Zsyntax.Labelled.Rule
FullZetaXiZsyntax.Labelled.Rule.Interface, Zsyntax.Labelled.Rule
fwdSubsumesOtter.Internal.Structures