CVCL::TheoryArith::Ineq Class Reference

Private class for an inequality in the Fourier-Motzkin database. More...

List of all members.

Public Member Functions

• Ineq (const Theorem &ineq, bool varOnRHS, const FreeConst &c)

  Initial constructor. 'r' is taken from the subsumption database.
  

• const Theorem & ineq () const

  Get the inequality.
  

• const FreeConst & getConst () const

  Get the max/min constant.
  

• bool varOnRHS () const

  Flag whether var is isolated on the RHS.
  

• bool varOnLHS () const

  Flag whether var is isolated on the LHS.
  

• operator Theorem () const

  Auto-cast to Theorem.
  

Private Member Functions

• Ineq ()

  Default constructor is disabled.
  

Private Attributes

• Theorem d_ineq

  The inequality.
  

• bool d_rhs

  Var is isolated on the RHS.
  

• const FreeConst * d_const

---

Detailed Description

Private class for an inequality in the Fourier-Motzkin database.

Definition at line 114 of file theory_arith.h.

---

Constructor & Destructor Documentation

CVCL::TheoryArith::Ineq::Ineq (   )  [inline, private]

Default constructor is disabled. Definition at line 120 of file theory_arith.h.

CVCL::TheoryArith::Ineq::Ineq (  const Theorem &  ineq, bool  varOnRHS, const FreeConst &  c )  [inline]

Initial constructor. 'r' is taken from the subsumption database. Definition at line 123 of file theory_arith.h.

---

Member Function Documentation

const Theorem& CVCL::TheoryArith::Ineq::ineq (   )  const [inline]

Get the inequality. Definition at line 126 of file theory_arith.h. Referenced by CVCL::TheoryArith::isStale(), CVCL::operator<<(), and CVCL::TheoryArith::projectInequalities().

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

Get the max/min constant. Definition at line 128 of file theory_arith.h. Referenced by CVCL::TheoryArith::isStale(), and CVCL::operator<<().

bool CVCL::TheoryArith::Ineq::varOnRHS (   )  const [inline]

Flag whether var is isolated on the RHS. Definition at line 130 of file theory_arith.h. Referenced by CVCL::TheoryArith::isStale(), and CVCL::operator<<().

bool CVCL::TheoryArith::Ineq::varOnLHS (   )  const [inline]

Flag whether var is isolated on the LHS. Definition at line 132 of file theory_arith.h.

CVCL::TheoryArith::Ineq::operator Theorem (   )  const [inline]

Auto-cast to Theorem. Definition at line 134 of file theory_arith.h.

---

Member Data Documentation

Theorem CVCL::TheoryArith::Ineq::d_ineq [private]

The inequality. Definition at line 116 of file theory_arith.h.

bool CVCL::TheoryArith::Ineq::d_rhs [private]

Var is isolated on the RHS. Definition at line 117 of file theory_arith.h.

const FreeConst* CVCL::TheoryArith::Ineq::d_const [private]

The max/min const for subsumption check Definition at line 118 of file theory_arith.h.

---

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

• theory_arith.h

---