cvc4-1.4
|
Hash function for the BitVector constants. More...
#include <uninterpreted_constant.h>
Public Member Functions | |
size_t | operator() (const UninterpretedConstant &uc) const |
Hash function for the BitVector constants.
Definition at line 78 of file uninterpreted_constant.h.
|
inline |
Definition at line 79 of file uninterpreted_constant.h.
References CVC4::UninterpretedConstant::getIndex(), and CVC4::UninterpretedConstant::getType().