spot  1.0
Namespaces | Functions
ltl2tgba_lacim.hh File Reference
#include "ltlast/formula.hh"
#include "tgba/tgbabddconcrete.hh"
Include dependency graph for ltl2tgba_lacim.hh:

Go to the source code of this file.

Namespaces

namespace  spot

Functions

tgba_bdd_concrete * spot::ltl_to_tgba_lacim (const ltl::formula *f, bdd_dict *dict)
 Build a spot::tgba_bdd_concrete from an LTL formula.This is based on the following paper.

Please comment this page and report errors about it on the RefDocComments page.
Generated on Sat Oct 27 2012 09:34:33 for spot by doxygen 1.8.1.2