35 operator()(
const bdd& left,
const bdd& right)
const
37 return left.id() < right.id();
51 operator()(
const bdd& left,
const bdd& right)
const
53 return bdd_stable_cmp(left, right) < 0;
62 operator()(
const bdd& b)
const noexcept
Definition: automata.hh:26
Hash functor for BDDs.
Definition: bddlt.hh:60
Comparison functor for BDDs.
Definition: bddlt.hh:49
Comparison functor for BDDs.
Definition: bddlt.hh:33