public class OccurenceIdentifier
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private boolean |
antec |
private java.lang.Integer[] |
path |
private java.lang.String |
subTerm |
private int |
termHash |
private java.lang.String |
toplevelTerm |
Constructor and Description |
---|
OccurenceIdentifier() |
Modifier and Type | Method and Description |
---|---|
static OccurenceIdentifier |
get(PosInOccurrence p) |
java.lang.Integer[] |
getPath() |
java.lang.String |
getTerm() |
int |
getTermHash() |
java.lang.String |
getToplevelTerm() |
boolean |
isAntec() |
PosInOccurrence |
rebuildOn(Goal goal) |
private PosInOccurrence |
rebuildOn(Sequent seq) |
void |
setAntec(boolean antec) |
void |
setPath(java.lang.Integer[] path) |
void |
setTerm(java.lang.String term) |
void |
setTermHash(int termHash) |
void |
setToplevelTerm(java.lang.String toplevelTerm) |
java.lang.String |
toString() |
private java.lang.Integer[] path
private java.lang.String subTerm
private java.lang.String toplevelTerm
private int termHash
private boolean antec
public static OccurenceIdentifier get(PosInOccurrence p)
public java.lang.Integer[] getPath()
public void setPath(java.lang.Integer[] path)
public java.lang.String getTerm()
public void setTerm(java.lang.String term)
public int getTermHash()
public void setTermHash(int termHash)
public boolean isAntec()
public void setAntec(boolean antec)
public java.lang.String getToplevelTerm()
public void setToplevelTerm(java.lang.String toplevelTerm)
public java.lang.String toString()
toString
in class java.lang.Object
public PosInOccurrence rebuildOn(Goal goal)
private PosInOccurrence rebuildOn(Sequent seq)