main page modules namespaces classes files
Gecode home

search for 

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.

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

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.

ModEvent Gecode::Int::BoolView::t_one (  Space *  home  )  [inline]

Try to assign view to one. Definition at line 83 of file bool.icc.

ModEvent Gecode::Int::BoolView::t_zero (  Space *  home  )  [inline]

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

BoolTest bool_test (  const BoolView &  b0, const BoolView &  b1 )  [related]

Test whether views b0 and b1 are the same. Definition at line 249 of file bool.icc.

BoolTest bool_test (  const BoolView &  b0, const NegBoolView &  b1 )  [related]

Test whether views b0 and b1 are complementary. Definition at line 253 of file bool.icc.

BoolTest bool_test (  const NegBoolView &  b0, const BoolView &  b1 )  [related]

Test whether views b0 and b1 are complementary. Definition at line 257 of file bool.icc.

BoolTest bool_test (  const NegBoolView &  b0, const NegBoolView &  b1 )  [related]

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:

• gecode/int/view.icc (Revision: 3559)
• gecode/int/view/bool.icc (Revision: 3559)