op_obserververification.h
Go to the documentation of this file.
125 extern FAUDES_API bool IsOCC(const Generator& rLowGen, const EventSet& rControllableEvents, const EventSet& rHighAlph);
146 extern FAUDES_API bool backwardVerificationOCC(const Generator& rLowGen, const EventSet& rControllableEvents, const EventSet& rHighAlph, Idx currentState);
152 * high-level event is feasible, at least one local state cannot be reached by an uncontrollable path, LCC is violated.
171 * high-level event is feasible, at least one local state cannot be reached by an uncontrollable path, LCC is violated.
184 extern FAUDES_API bool IsLCC(const Generator& rLowGen, const EventSet& rControllableEvents, const EventSet& rHighAlph);
211 extern FAUDES_API void backwardVerificationLCC(const TransSetX2EvX1& rTransSetX2EvX1, const EventSet& rControllableEvents, const EventSet& rHighAlph, Idx exitState, Idx currentState, bool controllablePath, std::map<Idx, bool>& rLocalStatesMap, StateSet& rDoneStates);
libFAUDES 2.28c --- 2016.09.30 --- c++ api documentaion by doxygen |