#include <domain.hpp>
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 | ( | ) |
destructor
save current point and start using another
save current point and start using another
void Domain::push | ( | const DomainPoint & | dp, | |
bool | copy = true | |||
) |
save current point and start using another
void Domain::pop | ( | ) |
restore previous point
DomainPoint* Domain::current | ( | ) | [inline] |
CouNumber& Domain::x | ( | register int | index | ) | [inline] |
CouNumber& Domain::lb | ( | register int | index | ) | [inline] |
CouNumber& Domain::ub | ( | register int | index | ) | [inline] |
CouNumber* Domain::x | ( | ) | [inline] |
return current variable vector
Definition at line 141 of file domain.hpp.
References point_.
Referenced by x().
CouNumber* Domain::lb | ( | ) | [inline] |
return current lower bound vector
Definition at line 142 of file domain.hpp.
References point_.
Referenced by lb().
CouNumber* Domain::ub | ( | ) | [inline] |
return current upper bound vector
Definition at line 143 of file domain.hpp.
References point_.
Referenced by ub().
DomainPoint* Domain::point_ [protected] |
std::stack<DomainPoint *> Domain::domStack_ [protected] |