public class ProspectivePartner
extends java.lang.Object
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.
|
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) |
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)
public SequentFormula getFormulaForHiding()
public Node getCommonParent()
public Sequent getSequent(int index)
public SequentFormula getFormula(int i)
Copyright © 2003-2019 The KeY-Project.