cfl_generator.h File Reference

Class vGenerator. More...

#include "cfl_definitions.h"
#include "cfl_exception.h"
#include "cfl_types.h"
#include "cfl_symboltable.h"
#include "cfl_indexset.h"
#include "cfl_nameset.h"
#include "cfl_transset.h"
#include "cfl_token.h"
#include "cfl_tokenreader.h"
#include "cfl_tokenwriter.h"
#include <map>
#include <set>
#include <sstream>
#include <cstdlib>
#include <cassert>

Go to the source code of this file.

Classes
class	faudes::vGenerator
	Base class of all FAUDES generators. More...

Namespaces
	faudes
	libFAUDES resides within the namespace faudes.

Typedefs
typedef vGenerator	faudes::Generator
	Plain generator, api typedef for generator with no attributes. More...
typedef TBaseVector< Generator >	faudes::GeneratorVector
	Convenience typedef for vectors og generators. More...

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 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 vGenerator &rGenA, const vGenerator &rGenB, EventSet &rRes)
	RTI convenience function. More...
void	faudes::SetIntersection (const GeneratorVector &rGenVec, EventSet &rRes)
	RTI convenience function. More...
void	faudes::SetUnion (const vGenerator &rGenA, const vGenerator &rGenB, EventSet &rRes)
	RTI convenience function. More...
void	faudes::SetUnion (const GeneratorVector &rGenVec, 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.h.