Query Functions : List of Query Functions : States (st) : Input List Type: tr

Input List Type: tr
 
Query: States that are sources of a given transition
Purpose: Returns the states that are sources of transitions in the input list
stm_r_st_source_of_tr (IN tr_list: LIST OF TRANSITION, OUT status: INTEGER)
Query: States that are targets of a given transition
Purpose: Returns the states that are targets of transitions in the input list
stm_r_st_target_of_tr (IN tr_list: LIST OF TRANSITION, OUT status: INTEGER)