libFAUDES

Sections

Index

vgenerator.h File Reference


Detailed Description

Class vGenerator.

Definition in file vgenerator.h.

#include "definitions.h"
#include "exception.h"
#include "rtitypes.h"
#include "symboltable.h"
#include "indexset.h"
#include "nameset.h"
#include "transset.h"
#include "token.h"
#include "tokenreader.h"
#include "tokenwriter.h"
#include <map>
#include <set>
#include <sstream>
#include <cstdlib>
#include <cassert>

Go to the source code of this file.

Namespaces

namespace  faudes

Classes

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

Typedefs

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

Functions

void faudes::IsAccessible (const vGenerator &rGen, bool &rRes)
 RTI wrapper function.
void faudes::IsCoaccessible (const vGenerator &rGen, bool &rRes)
 RTI wrapper function.
void faudes::IsTrim (const vGenerator &rGen, bool &rRes)
 RTI wrapper function.
void faudes::IsComplete (const vGenerator &rGen, bool &rRes)
 RTI wrapper function.
void faudes::IsDeterministic (const vGenerator &rGen, bool &rRes)
 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::Trim (vGenerator &rGen)
 RTI wrapper function.
void faudes::Trim (const vGenerator &rGen, vGenerator &rRes)
 RTI wrapper function.
void faudes::MarkAllStates (vGenerator &rGen)
 RTI wrapper function.

libFAUDES 2.14g --- 2009-12-3 --- c++ source docu by doxygen 1.5.6