spot  1.1.4
Classes | Namespaces
powerset.hh File Reference
#include <list>
#include <map>
#include "tgba/tgbaexplicit.hh"
Include dependency graph for powerset.hh:

Go to the source code of this file.

Classes

struct  spot::power_map
 

Namespaces

 spot
 

Functions

tgba_explicit_number * spot::tgba_powerset (const tgba *aut, power_map &pm)
 Build a deterministic automaton, ignoring acceptance conditions. More...
 
tgba_explicit_number * spot::tgba_powerset (const tgba *aut)
 

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Mon Jul 29 2013 00:27:25 for spot by doxygen 1.8.4