spot  1.0
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 Sat Oct 27 2012 09:34:32 for spot by doxygen 1.8.1.2