as2fm.jani_generator.scxml_helpers.scxml_to_jani_interfaces_helpers

Helper functions used in as2fm.jani_generator.scxml_helpers.scxml_to_jani_interfaces.

Functions

append_scxml_body_to_jani_automaton(...)	Converts the body of an SCXML element to a set of locations and edges.
append_scxml_body_to_jani_edge(jani_edge, ...)	Converts the body of an SCXML element to a JaniDestination and appends it to an existing edge.
generate_jani_assignments(target_expr, ...)	Interpret SCXML assign element.
hash_element(element)	Hash an ElementTree element.
merge_conditions(previous_conditions[, ...])	This merges negated conditions of previous if-clauses with the condition of the current if-clause.