Gecode::Int::BoolView Class Reference
[Integer views]
Inherits
Gecode::Int::IntView.
List of all members.
Detailed Description
Boolean view for integer variables.
Provides convenient and efficient operations for Boolean views.
Definition at line 886 of file view.icc.
Constructor & Destructor Documentation
Gecode::Int::BoolView::BoolView |
( |
void |
|
) |
[inline] |
Default constructor.
Definition at line 31 of file bool.icc.
Gecode::Int::BoolView::BoolView |
( |
const BoolVar & |
b |
) |
[inline] |
Initialize from Boolean variable b.
Definition at line 33 of file bool.icc.
Gecode::Int::BoolView::BoolView |
( |
const IntView & |
x |
) |
[inline, explicit] |
Initialize from integer variable x.
Definition at line 39 of file bool.icc.
Member Function Documentation
bool Gecode::Int::BoolView::zero |
( |
void |
|
) |
const [inline] |
Test whether view is assigned to be zero.
Definition at line 49 of file bool.icc.
bool Gecode::Int::BoolView::one |
( |
void |
|
) |
const [inline] |
Test whether view is assigned to be one.
Definition at line 53 of file bool.icc.
bool Gecode::Int::BoolView::none |
( |
void |
|
) |
const [inline] |
Test whether view is not yet assigned.
Definition at line 57 of file bool.icc.
Try to assign view to one.
Definition at line 83 of file bool.icc.
Try to assign view to zero.
Definition at line 76 of file bool.icc.
void Gecode::Int::BoolView::t_one_none |
( |
Space * |
home |
) |
[inline] |
Assign not yet assigned view to one.
Definition at line 71 of file bool.icc.
void Gecode::Int::BoolView::t_zero_none |
( |
Space * |
home |
) |
[inline] |
Assign not yet assigned view to zero.
Definition at line 67 of file bool.icc.
void Gecode::Int::BoolView::update |
( |
Space * |
home, |
|
|
bool |
share, |
|
|
BoolView & |
x | |
|
) |
| | [inline] |
Update this view to be a clone of view x.
Definition at line 96 of file bool.icc.
Friends And Related Function Documentation
Test whether views b0 and b1 are the same.
Definition at line 249 of file bool.icc.
Test whether views b0 and b1 are complementary.
Definition at line 253 of file bool.icc.
Test whether views b0 and b1 are complementary.
Definition at line 257 of file bool.icc.
Test whether views b0 and b1 are the same.
Definition at line 262 of file bool.icc.
The documentation for this class was generated from the following files: