Package tulip :: Package transys

Package transys

TuLiP Toolbox Transition System subpackage

Suggested abbreviation:

>>> from tulip import transys as trs

Submodules

tulip.transys.algorithms: Algorithms on Kripke structures and Automata
tulip.transys.automata: Automata Module
tulip.transys.export: Export functions for labeled graphs to various file formats.
- tulip.transys.export.graph2dot: Convert labeled graph to dot using pydot and custom filtering
- tulip.transys.export.graph2promela: Convert state graphs to promela
- tulip.transys.export.machine2scxml: Convert Finite State Machines to State Chart XML (SCXML)
- tulip.transys.export.save_d3: Export html containing d3.js animating SVG
tulip.transys.labeled_graphs: Base classes for labeled directed graphs
tulip.transys.machines: Finite State Machines Module
tulip.transys.mathset: Mathematical Sets and Power Sets
tulip.transys.products: Products between automata and transition systems
tulip.transys.transys: Transition System Module

Variables
	__package__ = `'tulip.transys'`