#include <domain.hpp>
Collaboration diagram for Domain:
Public Member Functions | |
Domain () | |
basic constructor | |
Domain (const Domain &src) | |
copy constructor | |
~Domain () | |
destructor | |
void | push (int dim, CouNumber *x, CouNumber *lb, CouNumber *ub, bool copy=true) |
save current point and start using another | |
void | push (int dim, const CouNumber *x, const CouNumber *lb, const CouNumber *ub) |
save current point and start using another | |
void | push (const DomainPoint &dp, bool copy=true) |
save current point and start using another | |
void | pop () |
restore previous point | |
DomainPoint * | current () |
return current point | |
CouNumber & | x (register int index) |
current variable | |
CouNumber & | lb (register int index) |
current lower bound | |
CouNumber & | ub (register int index) |
current upper bound | |
CouNumber * | x () |
return current variable vector | |
CouNumber * | lb () |
return current lower bound vector | |
CouNumber * | ub () |
return current upper bound vector | |
Protected Attributes | |
DomainPoint * | point_ |
current point | |
std::stack< DomainPoint * > | domStack_ |
stack of saved points |
Definition at line 92 of file domain.hpp.
Domain::Domain | ( | ) | [inline] |
Domain::Domain | ( | const Domain & | src | ) | [inline] |
Domain::~Domain | ( | ) |
save current point and start using another
Definition at line 157 of file domain.cpp.
References domStack_, lb(), point_, ub(), and x().
Referenced by CouenneSolver::buildSolverInstance(), CouenneProblem::checkNLP(), CouenneProblem::getAuxs(), CouenneProblem::getIntegerCandidate(), CouenneProblem::reformulate(), and CouenneProblem::restoreUnusedOriginals().
void Domain::push | ( | const DomainPoint & | dp, | |
bool | copy = true | |||
) |
void Domain::pop | ( | ) |
restore previous point
Definition at line 193 of file domain.cpp.
References domStack_, and point_.
Referenced by CouenneProblem::checkNLP(), CouenneProblem::getAuxs(), and CouenneProblem::getIntegerCandidate().
DomainPoint* Domain::current | ( | ) | [inline] |
return current point
Definition at line 135 of file domain.hpp.
References point_.
Referenced by CouenneProblem::initAuxs(), CouenneProblem::reformulate(), and CouenneProblem::standardize().
CouNumber& Domain::x | ( | register int | index | ) | [inline] |
current variable
Definition at line 137 of file domain.hpp.
Referenced by CouenneProblem::checkNLP(), CouenneProblem::standardize(), and CouenneProblem::X().
CouNumber& Domain::lb | ( | register int | index | ) | [inline] |
current lower bound
Definition at line 138 of file domain.hpp.
Referenced by CouenneProblem::checkNLP(), CouenneProblem::getAuxs(), CouenneProblem::impliedBounds(), CouenneProblem::Lb(), CouenneProblem::print(), CouenneProblem::reformulate(), and CouenneProblem::standardize().
CouNumber& Domain::ub | ( | register int | index | ) | [inline] |
current upper bound
Definition at line 139 of file domain.hpp.
Referenced by CouenneProblem::checkNLP(), CouenneProblem::getAuxs(), CouenneProblem::impliedBounds(), CouenneProblem::print(), CouenneProblem::standardize(), and CouenneProblem::Ub().
CouNumber* Domain::x | ( | ) | [inline] |
CouNumber* Domain::lb | ( | ) | [inline] |
return current lower bound vector
Definition at line 142 of file domain.hpp.
References point_.
Referenced by exprGroup::isInteger(), exprOp::isInteger(), lb(), and push().
CouNumber* Domain::ub | ( | ) | [inline] |
return current upper bound vector
Definition at line 143 of file domain.hpp.
References point_.
Referenced by exprGroup::isInteger(), exprOp::isInteger(), push(), and ub().
DomainPoint* Domain::point_ [protected] |
std::stack<DomainPoint *> Domain::domStack_ [protected] |