cfl_determin.h File Reference
powersetset construction
More...
#include "cfl_definitions.h"
#include "cfl_agenerator.h"
Go to the source code of this file.
Namespaces |
namespace | faudes |
| libFAUDES resides within the namespace faudes.
|
Defines |
#define | FAUDES_DETERMIN_H |
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
powersetset construction
Definition in file cfl_determin.h.
Define Documentation
#define FAUDES_DETERMIN_H |