spot  1.0.2
Classes | Namespaces | Macros | 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

Macros

#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.

Macro Definition Documentation

#define TRANSFORM_TO_TBA   0
#define TRANSFORM_TO_TGBA   (!TRANSFORM_TO_TBA)

Please comment this page and report errors about it on the RefDocComments page.
Generated on Wed Mar 6 2013 09:25:15 for spot by doxygen 1.8.1.2