de.uka.ilkd.key.proof.io

Class IntermediatePresentationProofFileParser.BuiltinRuleInformation

java.lang.Object

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

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

Enclosing class:

IntermediatePresentationProofFileParser

private static class IntermediatePresentationProofFileParser.BuiltinRuleInformation
extends IntermediatePresentationProofFileParser.RuleInformation

Information about built-in rule applications.

Author:

Dominic Scheurer

Field Summary

Fields

Modifier and Type	Field and Description
protected ImmutableList<Pair<java.lang.Integer,PosInTerm>>	builtinIfInsts
protected java.lang.String	currAbstractionPredicates
protected java.lang.String	currContract
protected int	currCorrespondingMergeNodeId
protected java.lang.String	currDistFormula
protected int	currIfInstFormula
protected PosInTerm	currIfInstPosInTerm
protected int	currMergeNodeId
protected java.lang.String	currMergeProc
protected int	currNrPartners
protected java.lang.Class<? extends AbstractPredicateAbstractionLattice>	currPredAbstraLatticeType
java.lang.String	currUserChoices

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

currFormula, currNewNames, currPosInTerm, currRuleName

Constructor Summary

Constructors

Constructor and Description
BuiltinRuleInformation(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

builtinIfInsts

protected ImmutableList<Pair<java.lang.Integer,PosInTerm>> builtinIfInsts

currIfInstFormula

protected int currIfInstFormula

currIfInstPosInTerm

protected PosInTerm currIfInstPosInTerm

currContract

protected java.lang.String currContract

currMergeProc

protected java.lang.String currMergeProc

currNrPartners

protected int currNrPartners

currCorrespondingMergeNodeId

protected int currCorrespondingMergeNodeId

currMergeNodeId

protected int currMergeNodeId

currDistFormula

protected java.lang.String currDistFormula

currPredAbstraLatticeType

protected java.lang.Class<? extends AbstractPredicateAbstractionLattice> currPredAbstraLatticeType

currAbstractionPredicates

protected java.lang.String currAbstractionPredicates

currUserChoices

public java.lang.String currUserChoices

Constructor Detail

BuiltinRuleInformation

public BuiltinRuleInformation(java.lang.String ruleName)