public class OccurenceIdentifier
extends java.lang.Object
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) |
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() |
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)
Copyright © 2003-2019 The KeY-Project.