Util::BddCompare Class Reference

Class that defines a comparison operator for the BDD class. More...

#include <Util.hh>

Public Member Functions
bool	operator() (BDD const &bdd1, BDD const &bdd2) const

Detailed Description

Class that defines a comparison operator for the BDD class.

This is useful for sets of BDDs. Note that the '<' operator is already overloaded for BDDs and is not suitable as comparison operator in ordered containers.

---

The documentation for this class was generated from the following file:

• Util/Util.hh