spot  0.9.1
Classes | Namespaces
tgbatba.hh File Reference
#include <list>
#include "tgba.hh"
#include "misc/bddlt.hh"
#include "misc/hash.hh"
Include dependency graph for tgbatba.hh:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  spot::tgba_tba_proxy
 Degeneralize a spot::tgba on the fly, producing a TBA.This class acts as a proxy in front of a spot::tgba, that should be degeneralized on the fly. The result is still a spot::tgba, but it will always have exactly one acceptance condition so it could be called TBA (without the G). More...
class  spot::tgba_sba_proxy
 Degeneralize a spot::tgba on the fly, producing an SBA.This class acts as a proxy in front of a spot::tgba, that should be degeneralized on the fly. More...

Namespaces

namespace  spot

Please comment this page and report errors about it on the RefDocComments page.
Generated on Wed May 23 2012 12:06:46 for spot by doxygen 1.7.6.1