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 63 if (li <= 1 || ri <= 1)
66 int vl = bdd_var(left);
67 int vr = bdd_var(right);
74 bdd hl = bdd_high(left);
75 bdd hr = bdd_high(right);
77 return operator()(hl, hr);
78 return operator()(bdd_low(left), bdd_low(right));
86 public std::unary_function<const bdd&, size_t>
89 operator()(
const bdd& b)
const noexcept
Definition: automata.hh:26
Comparison functor for BDDs.
Definition: bddlt.hh:36
Hash functor for BDDs.
Definition: bddlt.hh:85
Comparison functor for BDDs.
Definition: bddlt.hh:53