cvc4-1.3
|
Hash function for the BitVectorBitOf objects. More...
#include <bitvector.h>
Public Member Functions | |
size_t | operator() (const BitVectorBitOf &b) const |
Hash function for the BitVectorBitOf objects.
Definition at line 445 of file bitvector.h.
|
inline |
Definition at line 446 of file bitvector.h.
References CVC4::BitVectorBitOf::bitIndex.