cvc4-1.3
|
Hash function for the BitVector constants. More...
#include <bitvector.h>
Public Member Functions | |
size_t | operator() (const BitVector &bv) const |
Hash function for the BitVector constants.
Definition at line 391 of file bitvector.h.
|
inline |
Definition at line 392 of file bitvector.h.
References CVC4::BitVector::hash().