private static class IntermediatePresentationProofFileParser.BuiltinRuleInformation extends IntermediatePresentationProofFileParser.RuleInformation
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 |
currFormula, currNewNames, currPosInTerm, currRuleName
Constructor and Description |
---|
BuiltinRuleInformation(java.lang.String ruleName) |
isBuiltinInfo
protected ImmutableList<Pair<java.lang.Integer,PosInTerm>> builtinIfInsts
protected int currIfInstFormula
protected PosInTerm currIfInstPosInTerm
protected java.lang.String currContract
protected java.lang.String currMergeProc
protected int currNrPartners
protected int currCorrespondingMergeNodeId
protected int currMergeNodeId
protected java.lang.String currDistFormula
protected java.lang.Class<? extends AbstractPredicateAbstractionLattice> currPredAbstraLatticeType
protected java.lang.String currAbstractionPredicates
public java.lang.String currUserChoices