CVCL::TheoryArith::FreeConst Class Reference

Data class for the strongest free constant in separation inqualities. More...

Collaboration diagram for CVCL::TheoryArith::FreeConst:

[legend]List of all members.

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

---

Detailed Description

Data class for the strongest free constant in separation inqualities.

Definition at line 99 of file theory_arith.h.

---

Constructor & Destructor Documentation

CVCL::TheoryArith::FreeConst::FreeConst (   )  [inline]

Definition at line 104 of file theory_arith.h.

CVCL::TheoryArith::FreeConst::FreeConst (  const Rational &  r, bool  strict )  [inline]

Definition at line 105 of file theory_arith.h.

---

Member Function Documentation

const Rational& CVCL::TheoryArith::FreeConst::getConst (   )  const [inline]

Definition at line 106 of file theory_arith.h. References d_r. Referenced by CVCL::TheoryArith::isStale(), CVCL::operator<<(), and CVCL::TheoryArith::updateSubsumptionDB().

bool CVCL::TheoryArith::FreeConst::strict (   )  const [inline]

Definition at line 107 of file theory_arith.h. References d_strict. Referenced by CVCL::TheoryArith::isStale(), CVCL::operator<<(), and CVCL::TheoryArith::updateSubsumptionDB().

---

Member Data Documentation

Rational CVCL::TheoryArith::FreeConst::d_r [private]

Definition at line 101 of file theory_arith.h. Referenced by getConst().

bool CVCL::TheoryArith::FreeConst::d_strict [private]

Definition at line 102 of file theory_arith.h. Referenced by strict().

---

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

• theory_arith.h

---