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