powerset.hh File Reference

#include "tgba/tgbaexplicit.hh"
Include dependency graph for powerset.hh:

Go to the source code of this file.

Namespaces

namespace  spot

Functions

tgba_explicit * spot::tgba_powerset (const tgba *aut)
 Build a deterministic automaton, ignoring acceptance conditions.This create a deterministic automaton that recognize the same language as aut would if its acceptance conditions were ignored. This is the classical powerset algorithm.

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