Range over which some other constuct is defined. More...
#include <MP_domain.hpp>
Public Member Functions | |
MP_domain () | |
a set which points to nothing. | |
~MP_domain () | |
MP_domain (MP_domain_base *r) | |
For internal use. | |
MP_domain | such_that (const MP_boolean &b) |
Special conditional creation of a subset. | |
void | forall (const Functor *op) const |
Special conditional operation on the domain. | |
void | forall (const Functor &op) const |
size_t | size () const |
returns number of elements in the domain. | |
Static Public Member Functions | |
static const MP_domain & | getEmpty () |
returns a reference to the "empty" set. | |
Private Attributes | |
std::vector< MP_boolean > | condition |
Handle< MP_domain_base * > | last |
Static Private Attributes | |
static const MP_domain * | Empty |
Friends | |
class | MP_constraint |
class | MP_index_exp |
MP_domain | operator* (const MP_domain &a, const MP_domain &b) |
Range over which some other constuct is defined.
This is one of the main public interface classes. One uses this in the context of a constraint, objective, variable, or data. It is usually used in conjunction with an MP_set, or a subset, but can be used without one. It is the range over which the other construct is defined.
Definition at line 61 of file MP_domain.hpp.
flopc::MP_domain::MP_domain | ( | ) |
a set which points to nothing.
flopc::MP_domain::~MP_domain | ( | ) |
flopc::MP_domain::MP_domain | ( | MP_domain_base * | r | ) |
For internal use.
MP_domain flopc::MP_domain::such_that | ( | const MP_boolean & | b | ) |
Special conditional creation of a subset.
This method allows for a test for inclusion of a condition during construction of a subset. The output MP_domain will include references where the condition is satisfied.
void flopc::MP_domain::forall | ( | const Functor * | op | ) | const |
Special conditional operation on the domain.
This method will call the functor for each member of the MP_domain.
void flopc::MP_domain::forall | ( | const Functor & | op | ) | const |
size_t flopc::MP_domain::size | ( | ) | const |
returns number of elements in the domain.
static const MP_domain& flopc::MP_domain::getEmpty | ( | ) | [static] |
returns a reference to the "empty" set.
friend class MP_constraint [friend] |
Definition at line 64 of file MP_domain.hpp.
friend class MP_index_exp [friend] |
Definition at line 65 of file MP_domain.hpp.
std::vector<MP_boolean> flopc::MP_domain::condition [private] |
Definition at line 96 of file MP_domain.hpp.
Handle<MP_domain_base*> flopc::MP_domain::last [private] |
Definition at line 97 of file MP_domain.hpp.
const MP_domain* flopc::MP_domain::Empty [static, private] |
Definition at line 98 of file MP_domain.hpp.