Modifier and Type | Field and Description |
---|---|
private int |
id
The unique ID of this term label in the
Sequent . |
static Name |
NAME
The unique name of this label.
|
static java.lang.String |
PROOF_COUNTER_NAME
The name used in
Services.getCounter(String) to keep track
of the already used IDs. |
Constructor and Description |
---|
SymbolicExecutionTermLabel(int id)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object o) |
java.lang.Object |
getChild(int i)
Retrieves the i-th parameter object of this term label.
|
int |
getChildCount()
Gets the number of parameters of this term label.
|
int |
getId()
Returns the unique ID of this label in the
Sequent . |
Name |
name()
returns the name of this element
|
java.lang.String |
toString() |
public static final Name NAME
public static final java.lang.String PROOF_COUNTER_NAME
Services.getCounter(String)
to keep track
of the already used IDs.private final int id
Sequent
.public SymbolicExecutionTermLabel(int id)
id
- The unique ID of this term label in the Sequent
.public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object
public java.lang.Object getChild(int i)
A term label may have structure, i.e. can be parameterized.
public int getChildCount()
getChildCount
in interface TermLabel
public int getId()
Sequent
.Sequent
.