Package tulip :: Package transys :: Package export :: Module machine2scxml
[frames] | no frames]

Module machine2scxml

Convert Finite State Machines to State Chart XML (SCXML)

Functions
SCXML str
mealy2scxml(mealy)
Convert Mealy machine to SCXML.
Variables
  __package__ = None
hash(x)
Function Details

mealy2scxml(mealy)

 

Convert Mealy machine to SCXML.

Using examples/transys/machine_examples:

>>> from machine_examples import garage_counter
>>> from tulip.transys.export import machine2scxml
>>> m = garage_counter()
>>> s = machine2scxml.mealy2scxml(m)
>>> f = open('mealy.scxml', 'w')
>>> f.write(s)
>>> f.close()

See Also

transys.machines.mealy

Parameters:
  • mealy (MealyMachine) - machine to export as SCXML
Returns: SCXML str