sabacomplementtgba.hh File Reference

#include <tgba/tgba.hh>
#include <tgba/tgbatba.hh>
#include <list>
#include <bdd.h>
#include <functional>
#include "sabastate.hh"
#include "sabasucciter.hh"
#include <tgba/bdddict.hh>
Include dependency graph for sabacomplementtgba.hh:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  spot::saba_complement_tgba
 Complement a TGBA and produce a SABA.The original TGBA is transformed into a States-based Büchi Automaton. More...

Namespaces

namespace  spot

Please comment this page and report errors about it on the RefDocComments page.
Generated on Fri Apr 16 09:41:39 2010 for spot by doxygen 1.6.3