cfl_localgen.h
Go to the documentation of this file.
55 const std::map<Idx,StateSet>& rEntryStatesMap, const TransSetX2EvX1& rLowRevTransRel, Idx highState);
76 extern FAUDES_API void LowExitStates(const EventSet& rHighAlph, const std::map<Idx,StateSet>& rEntryStatesMap,
142 extern FAUDES_API void LocalAccessibleReach(const Generator& rLowGen, const EventSet& rHighAlph,
libFAUDES 2.28a --- 2016.09.13 --- c++ api documentaion by doxygen |