cvc4-1.4
|
Hash function for the BitVectorExtract objects. More...
#include <bitvector.h>
Public Member Functions | |
size_t | operator() (const BitVectorExtract &extract) const |
Hash function for the BitVectorExtract objects.
Definition at line 420 of file bitvector.h.
|
inline |
Definition at line 421 of file bitvector.h.
References CVC4::BitVectorExtract::high, and CVC4::BitVectorExtract::low.