Retrieves the element ID of the specified element. This ID is an internal representation that Statemate uses to identify each element in the database. Because Statemate requires the
ID to locate elements, this function is very often the first one called when using database exttraction functions.
Identify the ID of an event EV1
. Once the ID has been determined, you can use it to retrieve information about
EV1
from the database, as follows:
The ID for EV1
is assigned to the variable
ev_id
. Note that
ev_id
is declared to be of type
EVENT
.