powerset construction
More...
Go to the source code of this file.
Namespaces |
namespace | faudes |
| libFAUDES resides within the namespace faudes.
|
Functions |
void | faudes::UniqueInit (Generator &rGen) |
| Make initial states unique.
|
void | faudes::UniqueInit (const Generator &rGen, Generator &rResGen) |
| Make initial states unique.
|
void | faudes::Deterministic (const Generator &rGen, Generator &rResGen) |
| Make generator deterministic.
|
void | faudes::aDeterministic (const Generator &rGen, Generator &rResGen) |
| Make generator deterministic.
|
void | faudes::Deterministic (const Generator &rGen, std::map< Idx, StateSet > &rEntryStatesMap, Generator &rResGen) |
| Make generator deterministic.
|
void | faudes::Deterministic (const Generator &rGen, std::vector< StateSet > &rPowerStates, std::vector< Idx > &rDetStates, Generator &rResGen) |
| Make generator deterministic.
|
Detailed Description
powerset construction
Definition in file cfl_determin.cpp.