cfl_omega.cpp File Reference
Operations regarding omega languages.
More...
#include "cfl_omega.h"
#include "cfl_definitions.h"
#include "cfl_generator.h"
#include "cfl_parallel.h"
#include "cfl_project.h"
#include "cfl_graphfncts.h"
Go to the source code of this file.
Classes |
class | faudes::OPState |
Namespaces |
namespace | faudes |
| libFAUDES resides within the namespace faudes.
|
Functions |
void | faudes::aOmegaProduct (const Generator &rGen1, const Generator &rGen2, Generator &rResGen) |
| Product composition for Buechi automata.
|
void | faudes::OmegaProduct (const Generator &rGen1, const Generator &rGen2, Generator &rResGen) |
| Product composition for Buechi automata.
|
void | faudes::aOmegaParallel (const Generator &rGen1, const Generator &rGen2, Generator &rResGen) |
| Parallel composition with relaxed acceptance condition.
|
void | faudes::OmegaParallel (const Generator &rGen1, const Generator &rGen2, Generator &rResGen) |
| Parallel composition with relaxed acceptance condition.
|
void | faudes::OmegaClosure (Generator &rGen) |
| Topological closure.
|
bool | faudes::IsOmegaClosed (const Generator &rGen) |
| Test for topologically closed omega language.
|
Detailed Description
Operations regarding omega languages.
Definition in file cfl_omega.cpp.