private static class IntermediatePresentationProofFileParser.TacletInformation extends IntermediatePresentationProofFileParser.RuleInformation
Modifier and Type | Field and Description |
---|---|
protected ImmutableList<java.lang.String> |
ifDirectFormulaList |
protected ImmutableList<java.lang.String> |
ifSeqFormulaList |
protected java.util.LinkedList<java.lang.String> |
loadedInsts |
currFormula, currNewNames, currPosInTerm, currRuleName
Constructor and Description |
---|
TacletInformation(java.lang.String ruleName) |
isBuiltinInfo
protected java.util.LinkedList<java.lang.String> loadedInsts
protected ImmutableList<java.lang.String> ifSeqFormulaList
protected ImmutableList<java.lang.String> ifDirectFormulaList