public class ProspectivePartner
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private Term |
commonFormula |
private Node |
commonParent |
private Term |
commonPredicate |
private SequentFormula[] |
formula |
private SequentFormula |
formulaForHiding |
private Node[] |
nodes |
private Term[] |
updates |
Constructor and Description |
---|
ProspectivePartner(Term commonFormula,
Node node1,
SequentFormula formula1,
Term update1,
Node node2,
SequentFormula formula2,
Term update2)
Constructs a new prospective partner object, i.e. a
structure comprising the information about two partners
of a join operation.
|
Modifier and Type | Method and Description |
---|---|
Term |
getCommonFormula() |
Node |
getCommonParent() |
Term |
getCommonPredicate() |
SequentFormula |
getFormula(int i) |
SequentFormula |
getFormulaForHiding() |
Node |
getNode(int index) |
Sequent |
getSequent(int index) |
Term |
getUpdate(int index) |
void |
setCommonParent(Node commonParent) |
void |
setCommonPredicate(Term commonPredicate) |
private void |
setFormulaForHiding(SequentFormula formulaForHiding) |
private final Term[] updates
private final Term commonFormula
private final SequentFormula[] formula
private final Node[] nodes
private Term commonPredicate
private Node commonParent
private SequentFormula formulaForHiding
public ProspectivePartner(Term commonFormula, Node node1, SequentFormula formula1, Term update1, Node node2, SequentFormula formula2, Term update2)
commonFormula
- The common formula of a join operation,
i.e. the "symbolic state - program counter" part of the join.node1
- The first node of the join.formula1
- The first join formula.update1
- The first symbolic state.node2
- The second node of the join.formula2
- The second join formula.update2
- The second symbolic state.public Term getCommonFormula()
public Node getNode(int index)
public Term getUpdate(int index)
public void setCommonPredicate(Term commonPredicate)
public Term getCommonPredicate()
public void setCommonParent(Node commonParent)
private void setFormulaForHiding(SequentFormula formulaForHiding)
public SequentFormula getFormulaForHiding()
public Node getCommonParent()
public Sequent getSequent(int index)
public SequentFormula getFormula(int i)