Temporal logic can be used only on transitions that are reachable from exactly one state
Temporal conditions cannot be defined on default transitions
Temporal conditions cannot be defined within functions
cdr
Temporal logic can be used only on transitions that are reachable from exactly one state
Who is online
Users browsing this forum: No registered users and 20 guests