The following two functions enable you to extract the trigger part and the action part from a reaction string, trigger/action:
They operate on a reaction string that was extracted by single-element functions that return lists of transition labels and static reactions of states.
The return values of the two functions are a string of type
stm_expression
. Because they are defined asstatic
in the functions, you should copy them for later use.