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.