Package tulip :: Package spec

Package spec

Specification subpackage of TuLiP

Submodules

tulip.spec.ast: Abstract syntax tree classes for LTL.
tulip.spec.form: Formulae constituting specifications
tulip.spec.gr1_fragment: Test if given formula belongs to an LTL fragment that is convertible to deterministic Buchi Automata (readily expressible in GR(1) ).
tulip.spec.lexyacc: PLY-based parser for TuLiP LTL syntax, using AST classes from spec.ast
tulip.spec.parser: LTL parser supporting JTLV, SPIN, SMV, and gr1c syntax
tulip.spec.transformation: Syntactic manipulation of trees.
tulip.spec.translation: AST subclasses to translate to each syntax of:

Variables
	__package__ = `'tulip.spec'`