Definition at line 572 of file theory_arith_new.h.
CVC3::TheoryArithNew::ExprBoundInfo::ExprBoundInfo | ( | const EpsRational & | bound, | |
const Expr & | e | |||
) | [inline] |
Constructor
Definition at line 579 of file theory_arith_new.h.
CVC3::TheoryArithNew::ExprBoundInfo::ExprBoundInfo | ( | ) | [inline] |
The empty constructor for the map
Definition at line 582 of file theory_arith_new.h.
CVC3::TheoryArithNew::ExprBoundInfo::ExprBoundInfo | ( | const EpsRational & | bound, | |
const Expr & | e | |||
) | [inline] |
Constructor
Definition at line 583 of file theory_arith_new.mine.h.
CVC3::TheoryArithNew::ExprBoundInfo::ExprBoundInfo | ( | ) | [inline] |
The empty constructor for the map
Definition at line 586 of file theory_arith_new.mine.h.
bool CVC3::TheoryArithNew::ExprBoundInfo::operator< | ( | const ExprBoundInfo & | bI | ) | const [inline] |
The comparator, just if we need it. Compares first by expressions then by bounds
Definition at line 587 of file theory_arith_new.h.
References bound, e, CVC3::Expr::getKind(), and CVC3::LE.
bool CVC3::TheoryArithNew::ExprBoundInfo::operator< | ( | const ExprBoundInfo & | bI | ) | const [inline] |
The comparator, just if we need it. Compares first by expressions then by bounds
Definition at line 591 of file theory_arith_new.mine.h.
References bound, e, CVC3::Expr::getKind(), and CVC3::LE.
The assertion theoreem of the bound
Definition at line 576 of file theory_arith_new.h.
Referenced by operator<().