de.uka.ilkd.key.proof.io

Class IntermediatePresentationProofFileParser.TacletInformation

java.lang.Object

de.uka.ilkd.key.proof.io.IntermediatePresentationProofFileParser.RuleInformation

de.uka.ilkd.key.proof.io.IntermediatePresentationProofFileParser.TacletInformation

Enclosing class:

IntermediatePresentationProofFileParser

private static class IntermediatePresentationProofFileParser.TacletInformation
extends IntermediatePresentationProofFileParser.RuleInformation

Information about taclet applications.

Author:

Dominic Scheurer

Field Summary

Fields

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

Fields inherited from class de.uka.ilkd.key.proof.io.IntermediatePresentationProofFileParser.RuleInformation

currFormula, currNewNames, currPosInTerm, currRuleName

Constructor Summary

Constructors

Constructor and Description
TacletInformation(java.lang.String ruleName)

Method Summary

Methods inherited from class de.uka.ilkd.key.proof.io.IntermediatePresentationProofFileParser.RuleInformation

isBuiltinInfo

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

loadedInsts

protected java.util.LinkedList<java.lang.String> loadedInsts

ifSeqFormulaList

protected ImmutableList<java.lang.String> ifSeqFormulaList

ifDirectFormulaList

protected ImmutableList<java.lang.String> ifDirectFormulaList

Constructor Detail

TacletInformation

public TacletInformation(java.lang.String ruleName)