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. |