Query Functions : Transitions (tr) : Output List: tr : Input List Type: st

Input List Type: st
 
Query: Transitions that are the default entrance of a given state
Purpose: Returns the default entrances (compound transitions) of the states in the input list
Query: Transitions whose source is the specified state
Purpose: Returns the transitions whose source is a state appearing in the input list
Query: Transitions whose target is a given state
Purpose: Returns the transitions whose target is a state appearing in the input list.