Operations on omega languages.
More...
Go to the source code of this file.
Namespaces |
namespace | faudes |
| libFAUDES resides within the namespace faudes.
|
Functions |
void | faudes::OmegaProduct (const Generator &rGen1, const Generator &rGen2, Generator &rResGen) |
| Product composition for Buechi automata.
|
void | faudes::aOmegaProduct (const Generator &rGen1, const Generator &rGen2, Generator &rResGen) |
| Product composition for Buechi automata.
|
void | faudes::OmegaParallel (const Generator &rGen1, const Generator &rGen2, Generator &rResGen) |
| Parallel composition with relaxed acceptance condition.
|
void | faudes::aOmegaParallel (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 on omega languages.
Definition in file cfl_omega.h.