cgenfunct.h File Reference
Detailed Description
convenience functions for cGenerator
#include "definitions.h"
#include "cgenerator.h"
#include "project.h"
#include "parallel.h"
#include "supcon.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::cProjectNonDet (cGenerator &rGen, const EventSet &rProjectAlphabet) |
| Language projection, non deterministic.
|
void | faudes::cProject (const cGenerator &rGen, const EventSet &rProjectAlphabet, cGenerator &rResGen) |
| Minimized (deterministic) projection.
|
void | faudes::cInvProject (cGenerator &rGen, const cEventSet &rProjectAlphabet) |
| Inverse projection.
|