op_partition.h File Reference

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

#include "corefaudes.h"
#include "op_debug.h"
#include <vector>
#include <map>

Go to the source code of this file.

Classes

struct  faudes::Partition
 This struct implements a coset (=equivalence class) as needed for the computation of the coarsest quasi-congruence on an automaton. More...

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.h.

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