libFAUDES
Sections
Index
|
mtc_observercomputation.h File Reference
#include "libfaudes.h"
#include "mtc_generator.h"
#include "op_include.h"
#include <map>
#include <vector>
#include <stack>
|
Namespaces |
namespace | faudes |
Defines |
#define | MTC_OBSERVERCOMPUTATION_H |
Functions |
Idx | faudes::calcNaturalObserver (const mtcGenerator &rGen, EventSet &rHighAlph) |
| Calculate a colored natural observer by extending a given high-level alphabet.
|
void | faudes::calcAbstAlphObs (mtcGenerator &rGenObs, EventSet &rHighAlph, EventSet &rNewHighAlph, map< Idx, set< Idx > > &rMapRelabeledEvents) |
| Lm-observer computation.
|
void | faudes::calcAbstAlphObs (mtcGenerator &rGenObs, EventSet &rControllableEvents, EventSet &rHighAlph, EventSet &rNewHighAlph, map< Idx, set< Idx > > &rMapRelabeledEvents) |
| Lm-observer computation.
|
void | faudes::calcAbstAlphObs (mtcGenerator &rGenObs, EventSet &rControllableEvents, EventSet &rHighAlph, EventSet &rNewHighAlph, map< Transition, Idx > &rMapChangedTrans) |
| Lm-observer computation.
|
void | faudes::calculateDynamicSystemObs (const mtcGenerator &rGen, EventSet &rHighAlph, vGenerator &rGenDyn) |
| Computation of the dynamic system for an Lm-observer.
|
Define Documentation
#define MTC_OBSERVERCOMPUTATION_H |
|