main page modules namespaces classes files
Gecode home

Gecode::Int::NegBoolView Class Reference
[Integer views]

Inherits Gecode::DerivedViewBase< View >< Gecode::Int::BoolView >.

List of all members.

---

Detailed Description

Negated Boolean view.

A negated Boolean view for a Boolean view provides operations such that behaves as .

Definition at line 962 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, bool process=true)
	Subscribe propagator p with propagation condition pc to variable.
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]

Default constructor.

Definition at line 110 of file bool.icc.

Gecode::Int::NegBoolView::NegBoolView

(

const BoolView &

b

)

[inline]

Initialize with Boolean view b.

Definition at line 112 of file bool.icc.

---

Member Function Documentation

void Gecode::Int::NegBoolView::init

(

const BoolView &

b

)

[inline]

Initialize with Boolean view b.

Definition at line 115 of file bool.icc.

bool Gecode::Int::NegBoolView::zero

(

void

)

const [inline]

Test whether view is assigned to be zero.

Definition at line 125 of file bool.icc.

bool Gecode::Int::NegBoolView::one

(

void

)

const [inline]

Test whether view is assigned to be one.

Definition at line 129 of file bool.icc.

bool Gecode::Int::NegBoolView::none

(

void

)

const [inline]

Test whether view is not yet assigned.

Definition at line 133 of file bool.icc.

ModEvent Gecode::Int::NegBoolView::t_one

(

Space *

home

)

[inline]

Try to assign view to one.

Definition at line 156 of file bool.icc.

ModEvent Gecode::Int::NegBoolView::t_zero

(

Space *

home

)

[inline]

Try to assign view to zero.

Definition at line 152 of file bool.icc.

void Gecode::Int::NegBoolView::t_one_none

(

Space *

home

)

[inline]

Assign not yet assigned view to one.

Definition at line 147 of file bool.icc.

void Gecode::Int::NegBoolView::t_zero_none

(

Space *

home

)

[inline]

Assign not yet assigned view to zero.

Definition at line 143 of file bool.icc.

int Gecode::Int::NegBoolView::min

(

void

)

const [inline]

Return minimum of domain.

Definition at line 166 of file bool.icc.

int Gecode::Int::NegBoolView::max

(

void

)

const [inline]

Return maximum of domain.

Definition at line 170 of file bool.icc.

int Gecode::Int::NegBoolView::val

(

void

)

const [inline]

Return assigned value (only if assigned).

Definition at line 174 of file bool.icc.

bool Gecode::Int::NegBoolView::assigned

(

void

)

const [inline]

Test whether view is assigned.

Definition at line 184 of file bool.icc.

ModEvent Gecode::Int::NegBoolView::pme

(

const Propagator *

p

)

[inline, static]

Return modification event of propagator p for view.

Definition at line 193 of file bool.icc.

PropModEvent Gecode::Int::NegBoolView::pme

(

ModEvent

me

)

[inline, static]

Translate modification event me to propagator modification event for view.

Definition at line 197 of file bool.icc.

void Gecode::Int::NegBoolView::subscribe	(	Space *	home,
		Propagator *	p,
		PropCond	pc,
		bool	process = true
	)			[inline]

Subscribe propagator p with propagation condition pc to variable.

In case process is false, the propagator is just subscribed but not processed for execution (this must be used when creating subscriptions during propagation).

Definition at line 207 of file bool.icc.

void Gecode::Int::NegBoolView::cancel	(	Space *	home,
		Propagator *	p,
		PropCond	pc
	)			[inline]

Cancel subscription of propagator p with propagation condition pc to view.

Definition at line 212 of file bool.icc.

void Gecode::Int::NegBoolView::update	(	Space *	home,
		bool	share,
		NegBoolView &	x
	)			[inline]

Update this view to be a clone of view x.

Definition at line 222 of file bool.icc.

---

Friends And Related Function Documentation

bool same	(	const Int::NegBoolView &	x,
		const Int::NegBoolView &	y
	)			[related]

Test whether views x and y are the same.

Definition at line 234 of file bool.icc.

bool before	(	const Int::NegBoolView &	x,
		const Int::NegBoolView &	y
	)			[related]

Test whether view x comes before y (arbitrary order).

Definition at line 238 of file bool.icc.

std::ostream & operator<<	(	std::ostream &	,
		const Gecode::Int::NegBoolView &
	)			[related]

Print negated Boolean view.

Definition at line 99 of file print.cc.

---

The documentation for this class was generated from the following files:

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