libFAUDES
Sections
Index
|
cgenfunct.cpp File Reference
Detailed Description
convenience functions for cGenerator
#include "cgenfunct.h"
|
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.
|
void | faudes::cProjectNonDet (cGenerator &rGen, const EventSet &rProjectAlphabet) |
| Language projection, non deterministic.
|
void | faudes::cInvProject (cGenerator &rGen, const cEventSet &rProjectAlphabet) |
| Inverse projection.
|
|