Gecode::Int::NegBoolView Class Reference
[Integer views]
Inherits Gecode::DerivedViewBase< View >< Gecode::Int::BoolView >.
Detailed Description
Negated Boolean view.
A negated Boolean view for a Boolean view
provides operations such that
behaves as
.
Definition at line 933 of file view.icc.
Constructors and initialization | |
NegBoolView (void) | |
Default constructor. | |
NegBoolView (const BoolView &b) | |
Initialize with Boolean view b. | |
void | init (const BoolView &b) |
Initialize with Boolean view b. | |
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. | |
Value access | |
int | min (void) const |
Return minimum of domain. | |
int | max (void) const |
Return maximum of domain. | |
int | val (void) const |
Return assigned value (only if assigned). | |
Domain tests | |
bool | assigned (void) const |
Test whether view is assigned. | |
Dependencies | |
void | subscribe (Space *home, Propagator *p, PropCond pc) |
Subscribe propagator p with propagation condition pc to view. | |
void | cancel (Space *home, Propagator *p, PropCond pc) |
Cancel subscription of propagator p with propagation condition pc to view. | |
Cloning | |
void | update (Space *home, bool share, NegBoolView &x) |
Update this view to be a clone of view x. | |
Propagator modification events | |
static ModEvent | pme (const Propagator *p) |
Return modification event of propagator p for view. | |
static PropModEvent | pme (ModEvent me) |
Translate modification event me to propagator modification event for view. | |
View comparison | |
bool | same (const Int::NegBoolView &x, const Int::NegBoolView &y) |
Test whether views x and y are the same. | |
bool | before (const Int::NegBoolView &x, const Int::NegBoolView &y) |
Test whether view x comes before y (arbitrary order). | |
Related Functions | |
(Note that these are not member functions.) | |
std::ostream & | operator<< (std::ostream &, const Gecode::Int::NegBoolView &) |
Print negated Boolean view. |
Constructor & Destructor Documentation
Gecode::Int::NegBoolView::NegBoolView | ( | void | ) | [inline] |
Gecode::Int::NegBoolView::NegBoolView | ( | const BoolView & | b | ) | [inline] |
Member Function Documentation
void Gecode::Int::NegBoolView::init | ( | const BoolView & | b | ) | [inline] |
bool Gecode::Int::NegBoolView::zero | ( | void | ) | const [inline] |
bool Gecode::Int::NegBoolView::one | ( | void | ) | const [inline] |
bool Gecode::Int::NegBoolView::none | ( | void | ) | const [inline] |
void Gecode::Int::NegBoolView::t_one_none | ( | Space * | home | ) | [inline] |
void Gecode::Int::NegBoolView::t_zero_none | ( | Space * | home | ) | [inline] |
int Gecode::Int::NegBoolView::min | ( | void | ) | const [inline] |
int Gecode::Int::NegBoolView::max | ( | void | ) | const [inline] |
int Gecode::Int::NegBoolView::val | ( | void | ) | const [inline] |
bool Gecode::Int::NegBoolView::assigned | ( | void | ) | const [inline] |
ModEvent Gecode::Int::NegBoolView::pme | ( | const Propagator * | p | ) | [inline, static] |
PropModEvent Gecode::Int::NegBoolView::pme | ( | ModEvent | me | ) | [inline, static] |
void Gecode::Int::NegBoolView::subscribe | ( | Space * | home, | |
Propagator * | p, | |||
PropCond | pc | |||
) | [inline] |
void Gecode::Int::NegBoolView::cancel | ( | Space * | home, | |
Propagator * | p, | |||
PropCond | pc | |||
) | [inline] |
void Gecode::Int::NegBoolView::update | ( | Space * | home, | |
bool | share, | |||
NegBoolView & | x | |||
) | [inline] |
Friends And Related Function Documentation
bool same | ( | const Int::NegBoolView & | x, | |
const Int::NegBoolView & | y | |||
) | [related] |
bool before | ( | const Int::NegBoolView & | x, | |
const Int::NegBoolView & | y | |||
) | [related] |
std::ostream & operator<< | ( | std::ostream & | , | |
const Gecode::Int::NegBoolView & | ||||
) | [related] |
The documentation for this class was generated from the following files:
- gecode/int/view.icc (Revision: 3236)
- gecode/int/view/bool.icc (Revision: 3236)