cfl_generator.cpp File Reference

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

Go to the source code of this file.

Namespaces
	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)

Detailed Description

Class vGenerator

Definition in file cfl_generator.cpp.