There are a number of database extraction functions that retrieve elements or list of elements from the specification database. In the case of elements, the functions return values that belong to DGL data types
STATE
,EVENT
,ELEMENT
, and so on. For example, consider the following function call:This call extracts the state
S1
from the database. Because the function returns aSTATE
,state_id
must be declared to be of typeSTATE
orELEMENT
.In the case of list of elements, the functions return values that belong to the DGL data types
LIST
OF
STATE
,LIST
OF
ACTION
,LIST
OF
ELEMENT
, and so on. All query functions return a list of Rational Statemate elements.