Util::PairWithBddCompare< T > Class Template Reference

Class that defines a comparison operator for pairs with BDDs. More...

#include <Util.hh>

Public Types
using	pwbdd = std::pair< T, BDD >

Public Member Functions
bool	operator() (pwbdd const &p1, pwbdd const &p2) const

Detailed Description

template<typename T>
class Util::PairWithBddCompare< T >

Class that defines a comparison operator for pairs with BDDs.

---

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

• Util/Util.hh