JoinPartnerAppIntermediate
public JoinPartnerAppIntermediate(String ruleName,
Pair<Integer,PosInTerm> pos,
int joinNodeId,
ImmutableList<Name> newNames)
Constructs a new close-join-partner intermediate application.
- Parameters:
ruleName
- The name of the rule; should be "CloseAfterJoin".pos
- Position information for the join rule application (Symbolic State - Program Counter formula).joinNodeId
- The ID of the corresponding join node.newNames
- New names registered in the course of partner goal closing.