#include "tgba/tgbaexplicit.hh"
Include dependency graph for powerset.hh:
Go to the source code of this file.
Namespaces | |
namespace | spot |
Functions | |
tgba_explicit * | tgba_powerset (const tgba *aut) |
Build a deterministic automaton, ignoring acceptance conditions. |
|
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. |