37 public std::binary_function<const bdd&, const bdd&, bool>
40 operator()(
const bdd& left,
const bdd& right)
const
42 return left.id() < right.id();
54 public std::binary_function<const bdd&, const bdd&, bool>
57 operator()(
const bdd& left,
const bdd& right)
const
59 return bdd_stable_cmp(left, right) < 0;
66 public std::unary_function<const bdd&, size_t>
69 operator()(
const bdd& b)
const noexcept
Definition: automata.hh:27
Hash functor for BDDs.
Definition: bddlt.hh:67
Comparison functor for BDDs.
Definition: bddlt.hh:55
Comparison functor for BDDs.
Definition: bddlt.hh:38