39 operator()(
const bdd& left,
const bdd& right)
const
41 return left.id() < right.id();
55 operator()(
const bdd& left,
const bdd& right)
const
57 return bdd_stable_cmp(left, right) < 0;
66 operator()(
const bdd& b)
const noexcept
Definition: automata.hh:27
Hash functor for BDDs.
Definition: bddlt.hh:64
Comparison functor for BDDs.
Definition: bddlt.hh:53
Comparison functor for BDDs.
Definition: bddlt.hh:37