libFAUDES

Sections

Index

cfl_generator.cpp File Reference

Class vGenerator. More...

#include "cfl_generator.h"

Go to the source code of this file.

Namespaces

namespace  faudes
 

libFAUDES resides within the namespace faudes.


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 StateSet &rStateSet)
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::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.

Detailed Description

Class vGenerator.

Definition in file cfl_generator.cpp.

libFAUDES 2.16b --- 2010-9-8 --- c++ source docu by doxygen 1.6.3