|
mtc_observercomputation.h File Reference#include "corefaudes.h"
#include "op_include.h"
#include "mtc_generator.h"
Go to the source code of this file.
Namespaces |
namespace | faudes |
| libFAUDES resides within the namespace faudes.
|
Functions |
Idx | faudes::calcNaturalObserver (const MtcSystem &rGen, EventSet &rHighAlph) |
| Calculate a colored natural observer by extending a given high-level alphabet.
|
void | faudes::calcAbstAlphObs (MtcSystem &rGenObs, EventSet &rHighAlph, EventSet &rNewHighAlph, std::map< Idx, std::set< Idx > > &rMapRelabeledEvents) |
| Lm-observer computation.
|
void | faudes::calcAbstAlphObs (MtcSystem &rGenObs, EventSet &rControllableEvents, EventSet &rHighAlph, EventSet &rNewHighAlph, std::map< Idx, std::set< Idx > > &rMapRelabeledEvents) |
| Lm-observer computation.
|
void | faudes::calcAbstAlphObs (MtcSystem &rGenObs, EventSet &rControllableEvents, EventSet &rHighAlph, EventSet &rNewHighAlph, std::map< Transition, Idx > &rMapChangedTrans) |
| Lm-observer computation.
|
void | faudes::calculateDynamicSystemObs (const MtcSystem &rGen, EventSet &rHighAlph, Generator &rGenDyn) |
| Computation of the dynamic system for an Lm-observer.
|
libFAUDES 2.23h
--- 2014.04.03
--- c++ api documentaion by doxygen
|