state space minimization
More...
#include "cfl_statemin.h"
#include "cfl_exception.h"
#include "cfl_project.h"
#include <stack>
Go to the source code of this file.
|
| | faudes |
| | libFAUDES resides within the namespace faudes.
|
| |
|
| void | faudes::StateMin_org (const Generator &rGen, Generator &rResGen, std::vector< StateSet > &rSubsets, std::vector< Idx > &rNewIndices) |
| |
| void | faudes::StateMin (const Generator &rGen, Generator &rResGen) |
| | State set minimization. More...
|
| |
| void | faudes::StateMin (const Generator &rGen, Generator &rResGen, std::vector< StateSet > &rSubsets, std::vector< Idx > &rNewIndices) |
| | State set minimization. More...
|
| |
| void | faudes::aStateMin (const Generator &rGen, Generator &rResGen) |
| | State set minimization. More...
|
| |
| void | faudes::aStateMin (Generator &rGen) |
| | State set minimization. More...
|
| |
state space minimization
Definition in file cfl_statemin.cpp.