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::Integer::hash(), and CVC4::Divisible::k.