cvc4-1.3
CVC4::IntegerHashFunction Struct Reference

#include <integer_gmp_imp.h>

Public Member Functions

size_t operator() (const CVC4::Integer &i) const
 
size_t operator() (const CVC4::Integer &i) const
 

Detailed Description

Definition at line 501 of file integer_gmp_imp.h.

Member Function Documentation

size_t CVC4::IntegerHashFunction::operator() ( const CVC4::Integer i) const
inline

Definition at line 502 of file integer_gmp_imp.h.

References CVC4::Integer::hash().

size_t CVC4::IntegerHashFunction::operator() ( const CVC4::Integer i) const
inline

Definition at line 548 of file integer_cln_imp.h.

References CVC4::Integer::hash().


The documentation for this struct was generated from the following files: