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
Query: States that are targets of a given transition
Purpose: Returns the states that are targets of transitions in the input list