Boolean integer variables.
More...
#include <int.hh>
|
(Note that these are not member functions.)
|
template<class Char , class Traits > |
std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const BoolVar &x) |
| Print Boolean variable x. More...
|
|
|
int | min (void) const |
| Return minimum of domain. More...
|
|
int | max (void) const |
| Return maximum of domain. More...
|
|
int | med (void) const |
| Return median of domain (greatest element not greater than the median) More...
|
|
int | val (void) const |
| Return assigned value. More...
|
|
unsigned int | size (void) const |
| Return size (cardinality) of domain. More...
|
|
unsigned int | width (void) const |
| Return width of domain (distance between maximum and minimum) More...
|
|
unsigned int | regret_min (void) const |
| Return regret of domain minimum (distance to next larger value) More...
|
|
unsigned int | regret_max (void) const |
| Return regret of domain maximum (distance to next smaller value) More...
|
|
Boolean integer variables.
Definition at line 491 of file int.hh.
Gecode::BoolVar::BoolVar |
( |
void |
| ) |
|
|
inline |
Default constructor.
Definition at line 52 of file bool.hpp.
Gecode::BoolVar::BoolVar |
( |
const BoolVar & |
y | ) |
|
|
inline |
Initialize from Boolean variable y.
Definition at line 54 of file bool.hpp.
Initialize from Boolean view y.
Definition at line 57 of file bool.hpp.
Gecode::BoolVar::BoolVar |
( |
Space & |
home, |
|
|
int |
min, |
|
|
int |
max |
|
) |
| |
Initialize Boolean variable with range domain.
The variable is created with a domain ranging from min to max. The following exceptions might be thrown:
Definition at line 42 of file bool.cpp.
int Gecode::BoolVar::min |
( |
void |
| ) |
const |
|
inline |
Return minimum of domain.
Definition at line 67 of file bool.hpp.
int Gecode::BoolVar::max |
( |
void |
| ) |
const |
|
inline |
Return maximum of domain.
Definition at line 75 of file bool.hpp.
int Gecode::BoolVar::med |
( |
void |
| ) |
const |
|
inline |
Return median of domain (greatest element not greater than the median)
Definition at line 71 of file bool.hpp.
int Gecode::BoolVar::val |
( |
void |
| ) |
const |
|
inline |
unsigned int Gecode::BoolVar::size |
( |
void |
| ) |
const |
|
inline |
Return size (cardinality) of domain.
Definition at line 85 of file bool.hpp.
unsigned int Gecode::BoolVar::width |
( |
void |
| ) |
const |
|
inline |
Return width of domain (distance between maximum and minimum)
Definition at line 81 of file bool.hpp.
unsigned int Gecode::BoolVar::regret_min |
( |
void |
| ) |
const |
|
inline |
Return regret of domain minimum (distance to next larger value)
Definition at line 89 of file bool.hpp.
unsigned int Gecode::BoolVar::regret_max |
( |
void |
| ) |
const |
|
inline |
Return regret of domain maximum (distance to next smaller value)
Definition at line 93 of file bool.hpp.
bool Gecode::BoolVar::range |
( |
void |
| ) |
const |
|
inline |
Test whether domain is a range.
Definition at line 98 of file bool.hpp.
bool Gecode::BoolVar::in |
( |
int |
n | ) |
const |
|
inline |
Test whether n is contained in domain.
Definition at line 102 of file bool.hpp.
bool Gecode::BoolVar::zero |
( |
void |
| ) |
const |
|
inline |
bool Gecode::BoolVar::one |
( |
void |
| ) |
const |
|
inline |
bool Gecode::BoolVar::none |
( |
void |
| ) |
const |
|
inline |
Test whether domain is neither zero nor one.
Definition at line 115 of file bool.hpp.
template<class Char , class Traits >
std::basic_ostream< Char, Traits > & operator<< |
( |
std::basic_ostream< Char, Traits > & |
os, |
|
|
const BoolVar & |
x |
|
) |
| |
|
related |
Print Boolean variable x.
Definition at line 49 of file print.hpp.
The documentation for this class was generated from the following files: