CVC3
|
Public Member Functions | |
FreeConst () | |
FreeConst (const Rational &r, bool strict) | |
const Rational & | getConst () const |
bool | strict () const |
Private Attributes | |
Rational | d_r |
bool | d_strict |
Data class for the strongest free constant in separation inqualities
Definition at line 51 of file theory_arith_new.h.
|
inline |
Definition at line 56 of file theory_arith_new.h.
|
inline |
Definition at line 57 of file theory_arith_new.h.
|
inline |
|
inline |
Definition at line 59 of file theory_arith_new.h.
References d_strict.
Referenced by CVC3::operator<<().
|
private |
Definition at line 53 of file theory_arith_new.h.
Referenced by getConst().
|
private |
Definition at line 54 of file theory_arith_new.h.
Referenced by strict().