Query Functions : Mixed (mx) : Function Relationships : Input List Type: tr

Input List Type: tr
 
Query: Elements affected by a given transition
Purpose: Returns the elements (data-items, conditions, and events) that are affected (modified, generated) by transitions (in mini-specs and combinational assignments) in the input list
Query: Elements labeling a given transition
Purpose: Returns those elements that appear in labels of the transitions in the input list
Query: Elements that are sources of a given transition
Purpose: Returns the elements (states and connectors) that are sources of transitions in the input list
Query: Elements that are targets of a given transition
Purpose: Returns elements (states and connectors) that are targets of transitions in the input list
Query: Elements used by a given transition
Purpose: Returns the elements (data-items, conditions, and events) that are used (evaluated) by transitions (in mini-specs and combinational assignments) in the input list