cfl_bisimulation.h
Go to the documentation of this file.
53 * of the coarsest quasi-congruence on the given generator by calling the function Bisimulation::partition.
56 * algorithm for bisimulation equivalence,” Science of Computer Programming, vol. 13, pp. 219-236, 1990.
68 extern FAUDES_API void calcBisimulation(const Generator& rGenOrig, std::map<Idx,Idx>& rMapStateToPartition);
89 extern FAUDES_API void calcBisimulation(const Generator& rGenOrig, std::map<Idx,Idx>& rMapStateToPartition, Generator& rGenPart);
107 extern FAUDES_API void calcBisimulation(const Generator& rGenOrig, std::list< StateSet >& rClasses);
libFAUDES 2.28a --- 2016.09.13 --- c++ api documentaion by doxygen |