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.
89 void calcBisimulation(const Generator& rGenOrig, std::map<Idx,Idx>& rMapStateToPartition, Generator& rGenPart);
libFAUDES 2.26g --- 2015.08.17 --- c++ api documentaion by doxygen |