libFAUDES

Sections

Index

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.

libFAUDES 2.13a c++ source docu by doxygen 1.5.6