as2fm.jani_generator.scxml_helpers
Modules
Module to hold scxml even information to convert to jani syncs later. |
|
Module to process events from scxml and implement them as syncs between jani automata. |
|
Module producing jani expressions from ecmascript. |