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 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(Object o) |
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
|
String |
toString() |
public static final Name NAME
public static final 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 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
.