Definition in file cgenfunct.cpp.
#include "cgenfunct.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. |