cvc4-1.4
CVC4::Divisible Struct Reference

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
 

Detailed Description

The structure representing the divisibility-by-k predicate.

Definition at line 32 of file divisible.h.

Constructor & Destructor Documentation

CVC4::Divisible::Divisible ( const Integer n)

Member Function Documentation

bool CVC4::Divisible::operator!= ( const Divisible d) const
inline

Definition at line 41 of file divisible.h.

bool CVC4::Divisible::operator== ( const Divisible d) const
inline

Definition at line 37 of file divisible.h.

References k.

Field Documentation

const Integer CVC4::Divisible::k

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