cvc4-1.4
|
Hash function for the Divisible objects. More...
#include <divisible.h>
Public Member Functions | |
size_t | operator() (const Divisible &d) const |
Hash function for the Divisible objects.
Definition at line 49 of file divisible.h.
|
inline |
Definition at line 50 of file divisible.h.
References CVC4_PUBLIC, CVC4::Integer::hash(), CVC4::Divisible::k, and CVC4::operator<<().