22 #ifndef SPOT_MISC_BDDLT_HH
23 # define SPOT_MISC_BDDLT_HH
26 # include <functional>
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
56 #endif // SPOT_MISC_BDDLT_HH
this class acts like a wrapper to the C code of the open_set.
Definition: public.hh:32
Comparison functor for BDDs.
Definition: bddlt.hh:32
Hash functor for BDDs.
Definition: bddlt.hh:44