Comparison functor for BDDs. More...
#include <misc/bddlt.hh>
Public Member Functions | |
bool | operator() (const bdd &left, const bdd &right) const |
Comparison functor for BDDs.
bool spot::bdd_less_than::operator() | ( | const bdd & | left, | |
const bdd & | right | |||
) | const [inline] |