Classes |
class | faudes::vGenerator |
| Base class of all FAUDES generators. More...
|
Namespaces |
namespace | faudes |
| libFAUDES resides within the namespace faudes.
|
Typedefs |
typedef vGenerator | faudes::Generator |
| Plain generator, api typedef for generator with no attributes.
|
typedef TBaseVector< Generator > | faudes::GeneratorVector |
| Convenience typedef for vectors og generators.
|
Functions |
bool | faudes::IsAccessible (const vGenerator &rGen) |
| RTI wrapper function.
|
bool | faudes::IsCoaccessible (const vGenerator &rGen) |
| RTI wrapper function.
|
bool | faudes::IsTrim (const vGenerator &rGen) |
| RTI wrapper function.
|
bool | faudes::IsOmegaTrim (const vGenerator &rGen) |
| RTI wrapper function.
|
bool | faudes::IsComplete (const vGenerator &rGen) |
| RTI wrapper function.
|
bool | faudes::IsComplete (const vGenerator &rGen, const EventSet &rSigmaO) |
| RTI wrapper function.
|
bool | faudes::IsDeterministic (const vGenerator &rGen) |
| RTI wrapper function.
|
void | faudes::Accessible (vGenerator &rGen) |
| RTI wrapper function.
|
void | faudes::Accessible (const vGenerator &rGen, vGenerator &rRes) |
| RTI wrapper function.
|
void | faudes::Coaccessible (vGenerator &rGen) |
| RTI wrapper function.
|
void | faudes::Coaccessible (const vGenerator &rGen, vGenerator &rRes) |
| RTI wrapper function.
|
void | faudes::Complete (vGenerator &rGen) |
| RTI wrapper function.
|
void | faudes::Complete (const vGenerator &rGen, vGenerator &rRes) |
| RTI wrapper function.
|
void | faudes::Complete (vGenerator &rGen, const EventSet &rSigmaO) |
| RTI wrapper function.
|
void | faudes::Complete (const vGenerator &rGen, const EventSet &rSigmaO, vGenerator &rRes) |
| RTI wrapper function.
|
void | faudes::Trim (vGenerator &rGen) |
| RTI wrapper function.
|
void | faudes::Trim (const vGenerator &rGen, vGenerator &rRes) |
| RTI wrapper function.
|
void | faudes::OmegaTrim (vGenerator &rGen) |
| RTI wrapper function.
|
void | faudes::OmegaTrim (const vGenerator &rGen, vGenerator &rRes) |
| RTI wrapper function.
|
void | faudes::MarkAllStates (vGenerator &rGen) |
| RTI wrapper function.
|
void | faudes::AlphabetExtract (const vGenerator &rGen, EventSet &rRes) |
| RTI wrapper function.
|
void | faudes::SetIntersection (const vGenerator &rGenA, const vGenerator &rGenB, EventSet &rRes) |
| RTI convenience function.
|
void | faudes::SetIntersection (const GeneratorVector &rGenVec, EventSet &rRes) |
| RTI convenience function.
|
void | faudes::SetUnion (const vGenerator &rGenA, const vGenerator &rGenB, EventSet &rRes) |
| RTI convenience function.
|
void | faudes::SetUnion (const GeneratorVector &rGenVec, EventSet &rRes) |
| RTI convenience function.
|
void | faudes::SetDifference (const vGenerator &rGenA, const vGenerator &rGenB, EventSet &rRes) |
| RTI convenience function.
|
Class vGenerator.