op_partition.h File Reference Data structure that implements an equivalence class in the bisimulation algorithm. More... Go to the source code of this file.
Detailed DescriptionData structure that implements an equivalence class in the bisimulation algorithm. The algorithm is presented in J.-C. Fernandez, “An implementation of an efficient algorithm for bisimulation equivalence,” Science of Computer Programming, vol. 13, pp. 219-236, 1990. Definition in file op_partition.h. libFAUDES 2.24g --- 2014.09.15 --- c++ api documentaion by doxygen |