spot  0.8.1
Classes | Namespaces | Defines | Functions
tgbasafracomplement.hh File Reference
#include <vector>
#include "tgba/tgba.hh"
Include dependency graph for tgbasafracomplement.hh:

Go to the source code of this file.

Classes

class  spot::tgba_safra_complement
 Build a complemented automaton.It creates an automaton that recognizes the negated language of aut. More...

Namespaces

namespace  spot

Defines

#define TRANSFORM_TO_TBA   0
#define TRANSFORM_TO_TGBA   (!TRANSFORM_TO_TBA)

Functions

void spot::display_safra (const tgba_safra_complement *a)
 Produce a dot output of the Safra automaton associated to a.

Define Documentation

#define TRANSFORM_TO_TBA   0

Please comment this page and report errors about it on the RefDocComments page.
Generated on Sun Dec 18 2011 12:57:15 for spot by doxygen 1.7.6.1