Gecode::Int::BoolView Class Reference
[Integer views]
Inherits Gecode::Int::IntView.
Detailed Description
Boolean view for integer variables.Provides convenient and efficient operations for Boolean views.
Definition at line 886 of file view.icc.
Constructors and initialization | |
BoolView (void) | |
Default constructor. | |
BoolView (const BoolVar &b) | |
Initialize from Boolean variable b. | |
BoolView (const IntView &x) | |
Initialize from integer variable x. | |
Boolean domain tests | |
bool | zero (void) const |
Test whether view is assigned to be zero. | |
bool | one (void) const |
Test whether view is assigned to be one. | |
bool | none (void) const |
Test whether view is not yet assigned. | |
Boolean assignment operations | |
ModEvent | t_one (Space *home) |
Try to assign view to one. | |
ModEvent | t_zero (Space *home) |
Try to assign view to zero. | |
void | t_one_none (Space *home) |
Assign not yet assigned view to one. | |
void | t_zero_none (Space *home) |
Assign not yet assigned view to zero. | |
Cloning | |
void | update (Space *home, bool share, BoolView &x) |
Update this view to be a clone of view x. | |
Test sharing between Boolean and negated Boolean views | |
NegBoolView | |
BoolTest | bool_test (const BoolView &b0, const BoolView &b1) |
Test whether views b0 and b1 are the same. | |
BoolTest | bool_test (const BoolView &b0, const NegBoolView &b1) |
Test whether views b0 and b1 are complementary. | |
BoolTest | bool_test (const NegBoolView &b0, const BoolView &b1) |
Test whether views b0 and b1 are complementary. | |
BoolTest | bool_test (const NegBoolView &b0, const NegBoolView &b1) |
Test whether views b0 and b1 are the same. |
Constructor & Destructor Documentation
|
Default constructor.
|
|
Initialize from Boolean variable b.
|
|
Initialize from integer variable x.
|
Member Function Documentation
|
Test whether view is assigned to be zero.
|
|
Test whether view is assigned to be one.
|
|
Test whether view is not yet assigned.
|
|
Try to assign view to one.
|
|
Try to assign view to zero.
|
|
Assign not yet assigned view to one.
|
|
Assign not yet assigned view to zero.
|
|
Update this view to be a clone of view x.
|
Friends And Related Function Documentation
|
Test whether views b0 and b1 are the same.
|
|
Test whether views b0 and b1 are complementary.
|
|
Test whether views b0 and b1 are complementary.
|
|
Test whether views b0 and b1 are the same.
|
The documentation for this class was generated from the following files:
- gecode/int/view.icc (Revision: 3559)
- gecode/int/view/bool.icc (Revision: 3559)