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 489 of file int.hh.
Constructor & Destructor Documentation
Default constructor.
Definition at line 52 of file bool.hpp.
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.
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
Return minimum of domain.
Definition at line 67 of file bool.hpp.
Return maximum of domain.
Definition at line 75 of file bool.hpp.
Return median of domain (greatest element not greater than the median)
Definition at line 71 of file bool.hpp.
Return size (cardinality) of domain.
Definition at line 85 of file bool.hpp.
Return width of domain (distance between maximum and minimum)
Definition at line 81 of file bool.hpp.
Return regret of domain minimum (distance to next larger value)
Definition at line 89 of file bool.hpp.
Return regret of domain maximum (distance to next smaller value)
Definition at line 93 of file bool.hpp.
Test whether domain is a range.
Definition at line 98 of file bool.hpp.
Test whether n is contained in domain.
Definition at line 102 of file bool.hpp.
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: