Package tulip :: Package interfaces :: Module ltl2ba

Module ltl2ba

Interface to ltl2ba

Classes
	Lexer Token rules to build lexer for ltl2ba output.
	Parser Production rules to build parser for ltl2ba output.

Functions

tulip.transys.BA

call_ltl2ba(formula, prefix='')
Load a Buchi Automaton from a Never Claim.

Variables
	logger = `logging.getLogger(__name__)`
	TABMODULE = `'ltl2ba_parsetab'`
	__package__ = `'tulip.interfaces'`

Function Details

Load a Buchi Automaton from a Never Claim.

TODO

Make sure guard semantics properly accounted for: 'prop' | '!prop' | '1' and skip

ltl2ba: http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/

Parameters:

Returns: tulip.transys.BA

Buchi Automaton