cvc4-1.4
|
Hash function for the BitVector constants. More...
#include <abstract_value.h>
Public Member Functions | |
size_t | operator() (const AbstractValue &val) const |
Hash function for the BitVector constants.
Definition at line 70 of file abstract_value.h.
|
inline |
Definition at line 71 of file abstract_value.h.
References CVC4::AbstractValue::getIndex().