op_obserververification.h
Go to the documentation of this file.
125 bool IsOCC(const Generator& rLowGen, const EventSet& rControllableEvents, const EventSet& rHighAlph);
146 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 bool IsLCC(const Generator& rLowGen, const EventSet& rControllableEvents, const EventSet& rHighAlph);
211 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.26g --- 2015.08.17 --- c++ api documentaion by doxygen |