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

Go to the source code of this file.

Namespaces

namespace  spot

Functions

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

Please comment this page and report errors about it on the RefDocComments page.
Generated on Sun Dec 18 2011 12:57:15 for spot by doxygen 1.7.6.1