op_partition.cpp File Reference

Data structure that implements an equivalence class in the bisimulation algorithm. More...

#include "op_partition.h"

Go to the source code of this file.

Namespaces

namespace  faudes
 

libFAUDES resides within the namespace faudes.



Detailed Description

Data 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.cpp.

libFAUDES 2.23h --- 2014.04.03 --- c++ api documentaion by doxygen