_actives | Otter.Internal.Search |
_cscCtxt | Zsyntax.ReactionList |
_cscType | Zsyntax.ReactionList |
_gnsConcl | Zsyntax.Labelled.Rule.Frontier, Zsyntax.Labelled.Rule |
_gnsLC | Zsyntax.Labelled.Rule.Frontier, Zsyntax.Labelled.Rule |
_gnsUC | Zsyntax.Labelled.Rule.Frontier, Zsyntax.Labelled.Rule |
_inactives | Otter.Internal.Search |
_index | Otter.Internal.Search |
_isGoal | Otter.Internal.Search |
_payload | Zsyntax.Labelled.Rule.BipoleRelation, Zsyntax.Labelled.Rule |
_rules | Otter.Internal.Search |
_scOnOnlyFirst | Zsyntax.Labelled.Rule.Interface, Zsyntax.Labelled.Rule |
_scRestFirst | Zsyntax.Labelled.Rule.Interface, Zsyntax.Labelled.Rule |
_sqConcl | Zsyntax.Formula, Zsyntax |
_sqLC | Zsyntax.Formula, Zsyntax |
_sqUC | Zsyntax.Formula, Zsyntax |
_term | Zsyntax.Labelled.Rule.BipoleRelation, Zsyntax.Labelled.Rule |