---

kernel_union_find.hh

Go to the documentation of this file.

#ifndef __KERNEL_UNION_FIND_HH__
#define __KERNEL_UNION_FIND_HH__

#include "kernel.hh"
#include "equivalent_union_find.hh"

class kernel_union_find: public kernel
{
private:
  // Pointor on an equivalent_union_find class
  equivalent_union_find *equiv;

public:
  kernel_union_find(equivalent_union_find &equi): equiv(&equi)
  {}
  virtual ~kernel_union_find()
  {}
  void compute_kernel(combi_map_priv &);
  bool continue_computation();
};

#endif // __KERNEL_UNION_FIND_HH__

---