private static class IntermediatePresentationProofFileParser.BuiltinRuleInformation extends IntermediatePresentationProofFileParser.RuleInformation
Modifier and Type | Field and Description |
---|---|
protected ImmutableList<Pair<Integer,PosInTerm>> |
builtinIfInsts |
protected String |
currContract |
protected int |
currCorrespondingJoinNodeId |
protected String |
currDistFormula |
protected int |
currIfInstFormula |
protected PosInTerm |
currIfInstPosInTerm |
protected int |
currJoinNodeId |
protected String |
currJoinProc |
protected int |
currNrPartners |
currFormula, currNewNames, currPosInTerm, currRuleName
Constructor and Description |
---|
BuiltinRuleInformation(String ruleName) |
protected ImmutableList<Pair<Integer,PosInTerm>> builtinIfInsts
protected int currIfInstFormula
protected PosInTerm currIfInstPosInTerm
protected String currContract
protected String currJoinProc
protected int currNrPartners
protected int currCorrespondingJoinNodeId
protected int currJoinNodeId
protected String currDistFormula
public BuiltinRuleInformation(String ruleName)