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
	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. More...
void	faudes::calcAbstAlphObs (MtcSystem &rGenObs, EventSet &rHighAlph, EventSet &rNewHighAlph, std::map< Idx, std::set< Idx > > &rMapRelabeledEvents)
	Lm-observer computation. More...
FAUDES_API void	faudes::calcAbstAlphObs (MtcSystem &rGenObs, EventSet &rControllableEvents, EventSet &rHighAlph, EventSet &rNewHighAlph, std::map< Idx, std::set< Idx > > &rMapRelabeledEvents)
	Lm-observer computation. More...
FAUDES_API void	faudes::calcAbstAlphObs (MtcSystem &rGenObs, EventSet &rControllableEvents, EventSet &rHighAlph, EventSet &rNewHighAlph, std::map< Transition, Idx > &rMapChangedTrans)
	Lm-observer computation. More...
void	faudes::calculateDynamicSystemObs (const MtcSystem &rGen, EventSet &rHighAlph, Generator &rGenDyn)
	Computation of the dynamic system for an Lm-observer. More...