spot  0.8.2
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 Thu Jan 19 2012 19:33:04 for spot by doxygen 1.7.6.1