spot
1.1.3
|
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) |