spot  1.0.1
Classes | Namespaces
tgbasgba.hh File Reference
#include "tgba.hh"
#include "misc/bddlt.hh"
Include dependency graph for tgbasgba.hh:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  spot::tgba_sgba_proxy
 Change the labeling-mode of spot::tgba on the fly, producing a state-based generalized Büchi automaton.This class acts as a proxy in front of a spot::tgba, that should label on states on-the-fly. The result is still a spot::tgba, but acceptances conditions are also on states. More...

Namespaces

namespace  spot

Please comment this page and report errors about it on the RefDocComments page.
Generated on Wed Jan 23 2013 15:00:01 for spot by doxygen 1.8.1.2