cfl_generator.cpp File Reference

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

Go to the source code of this file.

Namespaces
namespace	faudes

Functions
bool	faudes::IsAccessible (const vGenerator &rGen)
bool	faudes::IsCoaccessible (const vGenerator &rGen)
bool	faudes::IsTrim (const vGenerator &rGen)
bool	faudes::IsComplete (const vGenerator &rGen)
bool	faudes::IsComplete (const vGenerator &rGen, const StateSet &rStateSet)
bool	faudes::IsComplete (const vGenerator &rGen, const EventSet &rSigmaO)
bool	faudes::IsDeterministic (const vGenerator &rGen)
void	faudes::Accessible (vGenerator &rGen)
void	faudes::Accessible (const vGenerator &rGen, vGenerator &rRes)
void	faudes::Coaccessible (vGenerator &rGen)
void	faudes::Coaccessible (const vGenerator &rGen, vGenerator &rRes)
void	faudes::Complete (vGenerator &rGen)
void	faudes::Complete (const vGenerator &rGen, vGenerator &rRes)
void	faudes::Complete (vGenerator &rGen, const EventSet &rSigmaO)
void	faudes::Complete (const vGenerator &rGen, const EventSet &rSigmaO, vGenerator &rRes)
void	faudes::Trim (vGenerator &rGen)
void	faudes::Trim (const vGenerator &rGen, vGenerator &rRes)
void	faudes::MarkAllStates (vGenerator &rGen)
void	faudes::AlphabetExtract (const vGenerator &rGen, EventSet &rRes)
void	faudes::SetIntersection (const GeneratorVector &rGenVec, EventSet &rRes)
void	faudes::SetUnion (const GeneratorVector &rGenVec, EventSet &rRes)
void	faudes::SetIntersection (const vGenerator &rGenA, const vGenerator &rGenB, EventSet &rRes)
void	faudes::SetUnion (const vGenerator &rGenA, const vGenerator &rGenB, EventSet &rRes)
void	faudes::SetDifference (const vGenerator &rGenA, const vGenerator &rGenB, EventSet &rRes)
void	faudes::ApplyRelabelMap (const RelabelMap &rMap, const vGenerator &rGen, vGenerator &rRes)

Variables
AutoRegisterType< GeneratorVector >	faudes::gRtiGeneratorVector ("GeneratorVector")
AutoRegisterType< Generator >	faudes::gRtiGenerator ("Generator")
AutoRegisterType< Alphabet > *	faudes::gRtiAlphabet_ref =&gRtiAlphabet
AutoRegisterType< System > *	faudes::gRtiSystem_ref = &gRtiSystem
AutoRegisterType< AlphabetVector > *	faudes::gRtiAlphabetVector_ref =&gRtiAlphabetVector
AutoRegisterType< SystemVector > *	faudes::gRtiSystemVector_ref = &gRtiSystemVector

Detailed Description

Class vGenerator

Definition in file cfl_generator.cpp.