33 public std::binary_function<const bdd&, const bdd&, bool>
36 operator()(
const bdd& left,
const bdd& right)
const 38 return left.id() < right.id();
45 public std::unary_function<const bdd&, size_t>
48 operator()(
const bdd& b)
const Definition: automata.hh:26
Comparison functor for BDDs.
Definition: bddlt.hh:32
Hash functor for BDDs.
Definition: bddlt.hh:44