Type | Description |
![]() ![]() ![]() ![]()
|
|
![]() ![]() ![]() ![]() The datatype QName implements qualified identifiers with explicit genealogy of an identifier. See Names.sig for more information. |
Function or value | Description |
Full Usage:
AssertIndex
Returns: int
|
![]() ![]() ![]() ![]()
|
Full Usage:
AssumeIndex
Returns: int
|
![]() ![]() ![]() ![]()
|
Full Usage:
AuxIndex
Returns: int
|
![]() ![]() ![]() ![]()
|
|
![]() ![]() ![]() ![]()
|
|
![]() ![]() ![]() ![]()
|
Full Usage:
InstanceIndex
Returns: int
|
![]() ![]() ![]() ![]()
|
Full Usage:
LabelIndex
Returns: int
|
![]() ![]() ![]() ![]()
|
Full Usage:
LocalVarIndex
Returns: int
|
![]() ![]() ![]() ![]()
|
|
![]() ![]() ![]() ![]()
determine name of index
index
|
|
![]() ![]() ![]() ![]()
|
|
![]() ![]() ![]() ![]()
|
|
![]() ![]() ![]() ![]()
|
|
![]() ![]() ![]() ![]()
|
|
![]() ![]() ![]() ![]()
|
|
![]() ![]() ![]() ![]()
|
|
![]() ![]() ![]() ![]()
|
|
![]() ![]() ![]() ![]()
|
|
![]() ![]() ![]() ![]()
|
Full Usage:
NewUniqueName namestub index
Parameters:
string
index : int
Returns: int * QName
|
![]() ![]() ![]() ![]() generate new names for program locations, module calls, oracles (used in non-deterministic expressions, local variables (used in macro expansions), assumptions, assertions, and runtime exceptions.
|
Full Usage:
OracleIndex
Returns: int
|
![]() ![]() ![]() ![]()
|
|
![]() ![]() ![]() ![]()
|
|
![]() ![]() ![]() ![]() append the name of a package to a qualified name
|
|
![]() ![]() ![]() ![]()
|
|
![]() ![]() ![]() ![]()
|
|
![]() ![]() ![]() ![]()
|
|
![]() ![]() ![]() ![]() select the root index of a qualified name
|
Full Usage:
RteIndex
Returns: int
|
![]() ![]() ![]() ![]()
|
Full Usage:
TransIndex
Returns: int
|
![]() ![]() ![]() ![]()
|
|
![]() ![]() ![]() ![]()
|
|
![]() ![]() ![]() ![]()
|
Full Usage:
nameTableEntries
Returns: int
|
![]() ![]() ![]() ![]()
|
|
![]() ![]() ![]() ![]()
|