#include <list>
#include <map>
#include "tgba/tgbaexplicit.hh"
Go to the source code of this file.
Namespaces |
namespace | spot |
Functions |
|
tgba_explicit_number * | spot::tgba_powerset (const tgba *aut, power_map &pm) |
| Build a deterministic automaton, ignoring acceptance conditions.This create a deterministic automaton that recognizes the same language as aut would if its acceptance conditions were ignored. This is the classical powerset algorithm.
|
tgba_explicit_number * | spot::tgba_powerset (const tgba *aut) |