cvc4-1.4
|
The structure representing the divisibility-by-k predicate. More...
#include <divisible.h>
Public Member Functions | |
Divisible (const Integer &n) | |
bool | operator== (const Divisible &d) const |
bool | operator!= (const Divisible &d) const |
Data Fields | |
const Integer | k |
The structure representing the divisibility-by-k predicate.
Definition at line 32 of file divisible.h.
CVC4::Divisible::Divisible | ( | const Integer & | n | ) |
|
inline |
Definition at line 41 of file divisible.h.
|
inline |
Definition at line 37 of file divisible.h.
References k.
const Integer CVC4::Divisible::k |
Definition at line 33 of file divisible.h.
Referenced by CVC4::DivisibleHashFunction::operator()(), CVC4::operator<<(), and operator==().