cgenfunct.h File Reference


Detailed Description

convenience functions for cGenerator

Definition in file cgenfunct.h.

#include "definitions.h"
#include "cgenerator.h"
#include "project.h"
#include "parallel.h"
#include "supcon.h"

Go to the source code of this file.

Namespaces

namespace  faudes

Functions

bool faudes::cIsControllable (const cGenerator &rPlantGen, const vGenerator &rSupCandGen)
 Controllability.
void faudes::cSupConNB (const cGenerator &rPlantGen, const vGenerator &rSpecGen, cGenerator &rResGen)
 Nonblocking Supremal Controllable Sublanguage.
void faudes::cSupCon (const cGenerator &rPlantGen, const vGenerator &rSpecGen, cGenerator &rResGen)
 Supremal Controllable Sublanguage.
void faudes::cParallel (const cGenerator &rGen1, const cGenerator &rGen2, cGenerator &rResGen)
 Parallel composition of accessible states of generators rGen1 and rGen2.
void faudes::cProject (const cGenerator &rGen, const EventSet &rProjectAlphabet, cGenerator &rResGen)
 Minimized (deterministic) projection.


Generated on Fri May 9 11:26:47 2008 for libFAUDES 2.09b by  doxygen 1.4.4