cfl_generator.cpp File Reference

Class vGenerator. More...

#include "cfl_generator.h"
#include <stack>

Go to the source code of this file.

Namespaces
	faudes
	libFAUDES resides within the namespace faudes.

Functions
bool	faudes::IsAccessible (const vGenerator &rGen)
	RTI wrapper function. More...
bool	faudes::IsCoaccessible (const vGenerator &rGen)
	RTI wrapper function. More...
bool	faudes::IsTrim (const vGenerator &rGen)
	RTI wrapper function. More...
bool	faudes::IsOmegaTrim (const vGenerator &rGen)
	RTI wrapper function. More...
bool	faudes::IsComplete (const vGenerator &rGen)
	RTI wrapper function. More...
bool	faudes::IsComplete (const vGenerator &rGen, const StateSet &rStateSet)
bool	faudes::IsComplete (const vGenerator &rGen, const EventSet &rSigmaO)
	RTI wrapper function. More...
bool	faudes::IsDeterministic (const vGenerator &rGen)
	RTI wrapper function. More...
void	faudes::Accessible (vGenerator &rGen)
	RTI wrapper function. More...
void	faudes::Accessible (const vGenerator &rGen, vGenerator &rRes)
	RTI wrapper function. More...
void	faudes::Coaccessible (vGenerator &rGen)
	RTI wrapper function. More...
void	faudes::Coaccessible (const vGenerator &rGen, vGenerator &rRes)
	RTI wrapper function. More...
void	faudes::Complete (vGenerator &rGen)
	RTI wrapper function. More...
void	faudes::Complete (const vGenerator &rGen, vGenerator &rRes)
	RTI wrapper function. More...
void	faudes::Complete (vGenerator &rGen, const EventSet &rSigmaO)
	RTI wrapper function. More...
void	faudes::Complete (const vGenerator &rGen, const EventSet &rSigmaO, vGenerator &rRes)
	RTI wrapper function. More...
void	faudes::Trim (vGenerator &rGen)
	RTI wrapper function. More...
void	faudes::Trim (const vGenerator &rGen, vGenerator &rRes)
	RTI wrapper function. More...
void	faudes::OmegaTrim (vGenerator &rGen)
	RTI wrapper function. More...
void	faudes::OmegaTrim (const vGenerator &rGen, vGenerator &rRes)
	RTI wrapper function. More...
void	faudes::MarkAllStates (vGenerator &rGen)
	RTI wrapper function. More...
void	faudes::AlphabetExtract (const vGenerator &rGen, EventSet &rRes)
	RTI wrapper function. More...
void	faudes::SetIntersection (const GeneratorVector &rGenVec, EventSet &rRes)
	RTI convenience function. More...
void	faudes::SetUnion (const GeneratorVector &rGenVec, EventSet &rRes)
	RTI convenience function. More...
void	faudes::SetIntersection (const vGenerator &rGenA, const vGenerator &rGenB, EventSet &rRes)
	RTI convenience function. More...
void	faudes::SetUnion (const vGenerator &rGenA, const vGenerator &rGenB, EventSet &rRes)
	RTI convenience function. More...
void	faudes::SetDifference (const vGenerator &rGenA, const vGenerator &rGenB, EventSet &rRes)
	RTI convenience function. More...

Detailed Description

Class vGenerator.

Definition in file cfl_generator.cpp.