diff --git a/src/duality/duality.h b/src/duality/duality.h index f20d664be..ebf6c8632 100644 --- a/src/duality/duality.h +++ b/src/duality/duality.h @@ -1007,3 +1007,15 @@ private: }; } + +// allow to walk sets of nodes without address dependency + +namespace std { + template <> + class less { + public: + bool operator()(Duality::RPFP::Node * const &s, Duality::RPFP::Node * const &t) const { + return s->number < t->number; // s.raw()->get_id() < t.raw()->get_id(); + } + }; +}