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_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_TGBA   (!TRANSFORM_TO_TBA)

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