public class MergePartner
extends java.lang.Object
MergePartner
consists of a Goal
and a
PosInOccurrence
; the PosInOccurrence
part indicates the
portion of the sequent in the Goal
which represents the symbolic
state-program counter part.Modifier and Type | Field and Description |
---|---|
private Goal |
goal |
private PosInOccurrence |
pio |
Constructor and Description |
---|
MergePartner(Goal goal,
PosInOccurrence pio) |
Modifier and Type | Method and Description |
---|---|
Goal |
getGoal() |
PosInOccurrence |
getPio() |
void |
setGoal(Goal goal) |
void |
setPio(PosInOccurrence pio) |
private Goal goal
private PosInOccurrence pio
public MergePartner(Goal goal, PosInOccurrence pio)
public Goal getGoal()
public void setGoal(Goal goal)
public PosInOccurrence getPio()
PosInOccurrence
representing the symbolic
state-program counter part of the MergePartner
.public void setPio(PosInOccurrence pio)