spot
0.8.3
|
Hash functor for BDDs. More...
#include <misc/bddlt.hh>
Public Member Functions | |
size_t | operator() (const bdd &b) const |
Hash functor for BDDs.
size_t spot::bdd_hash::operator() | ( | const bdd & | b | ) | const [inline] |