Boolean integer variables.
More...
#include <int.hh>
List of all members.
Related Functions |
(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.
|
Constructors and initialization |
|
| BoolVar (void) |
| Default constructor.
|
| BoolVar (const BoolVar &y) |
| Initialize from Boolean variable y.
|
| BoolVar (const Int::BoolView &y) |
| Initialize from Boolean view y.
|
| BoolVar (Space &home, int min, int max) |
| Initialize Boolean variable with range domain.
|
Value access |
|
int | min (void) const |
| Return minimum of domain.
|
int | max (void) const |
| Return maximum of domain.
|
int | med (void) const |
| Return median of domain (greatest element not greater than the median).
|
int | val (void) const |
| Return assigned value.
|
unsigned int | size (void) const |
| Return size (cardinality) of domain.
|
unsigned int | width (void) const |
| Return width of domain (distance between maximum and minimum).
|
unsigned int | regret_min (void) const |
| Return regret of domain minimum (distance to next larger value).
|
unsigned int | regret_max (void) const |
| Return regret of domain maximum (distance to next smaller value).
|
Domain tests |
|
bool | range (void) const |
| Test whether domain is a range.
|
bool | in (int n) const |
| Test whether n is contained in domain.
|
Boolean domain tests |
|
bool | zero (void) const |
| Test whether domain is zero.
|
bool | one (void) const |
| Test whether domain is one.
|
bool | none (void) const |
| Test whether domain is neither zero nor one.
|
Detailed Description
Boolean integer variables.
Definition at line 476 of file int.hh.
Constructor & Destructor Documentation
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.
Member Function Documentation
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.
Friends And Related Function Documentation
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: