cvc4-1.4
|
#include <integer_gmp_imp.h>
Public Member Functions | |
size_t | operator() (const CVC4::Integer &i) const |
size_t | operator() (const CVC4::Integer &i) const |
Definition at line 508 of file integer_gmp_imp.h.
|
inline |
Definition at line 509 of file integer_gmp_imp.h.
References CVC4::Integer::hash().
|
inline |
Definition at line 516 of file integer_cln_imp.h.
References CVC4::Integer::hash().