Gecode::Int::NoOverlap::OptBox< Dim, n > Class Template Reference

Optional box class. More...

#include <no-overlap.hh>

List of all members.

Public Member Functions
void	optional (BoolView o)
	Set Boolean view to o.
bool	mandatory (void) const
	Whether box is mandatory.
bool	optional (void) const
	Whether box is optional.
bool	excluded (void) const
	Whether box is excluded.
ExecStatus	exclude (Space &home)
	Exclude box.
void	update (Space &home, bool share, OptBox< Dim, n > &r)
	Update box during cloning.
void	subscribe (Space &home, Propagator &p)
	Subscribe propagator p to box.
void	cancel (Space &home, Propagator &p)
	Cancel propagator p from box.
Protected Attributes
BoolView	o
	Whether box is optional or not.

---

Detailed Description

template<class Dim, int n>
class Gecode::Int::NoOverlap::OptBox< Dim, n >

Optional box class.

Definition at line 189 of file no-overlap.hh.

---

Member Function Documentation

template<class Dim , int n>

void Gecode::Int::NoOverlap::OptBox< Dim, n >::optional

(

BoolView

o

)

[inline]

Set Boolean view to o.

Definition at line 149 of file box.hpp.

template<class Dim , int n>

bool Gecode::Int::NoOverlap::OptBox< Dim, n >::mandatory

(

void

)

const [inline]

Whether box is mandatory.

Reimplemented from Gecode::Int::NoOverlap::ManBox< Dim, n >.

Definition at line 154 of file box.hpp.

template<class Dim , int n>

bool Gecode::Int::NoOverlap::OptBox< Dim, n >::optional

(

void

)

const [inline]

Whether box is optional.

Reimplemented from Gecode::Int::NoOverlap::ManBox< Dim, n >.

Definition at line 164 of file box.hpp.

template<class Dim , int n>

bool Gecode::Int::NoOverlap::OptBox< Dim, n >::excluded

(

void

)

const [inline]

Whether box is excluded.

Reimplemented from Gecode::Int::NoOverlap::ManBox< Dim, n >.

Definition at line 159 of file box.hpp.

template<class Dim , int n>

ExecStatus Gecode::Int::NoOverlap::OptBox< Dim, n >::exclude

(

Space &

home

)

[inline]

Exclude box.

Reimplemented from Gecode::Int::NoOverlap::ManBox< Dim, n >.

Definition at line 170 of file box.hpp.

template<class Dim, int n>

void Gecode::Int::NoOverlap::OptBox< Dim, n >::update	(	Space &	home,
		bool	share,
		OptBox< Dim, n > &	r
	)			[inline]

Update box during cloning.

Definition at line 177 of file box.hpp.

template<class Dim , int n>

void Gecode::Int::NoOverlap::OptBox< Dim, n >::subscribe	(	Space &	home,
		Propagator &	p
	)			[inline]

Subscribe propagator p to box.

Reimplemented from Gecode::Int::NoOverlap::ManBox< Dim, n >.

Definition at line 184 of file box.hpp.

template<class Dim , int n>

void Gecode::Int::NoOverlap::OptBox< Dim, n >::cancel	(	Space &	home,
		Propagator &	p
	)			[inline]

Cancel propagator p from box.

Reimplemented from Gecode::Int::NoOverlap::ManBox< Dim, n >.

Definition at line 190 of file box.hpp.

---

Member Data Documentation

template<class Dim, int n>

BoolView Gecode::Int::NoOverlap::OptBox< Dim, n >::o [protected]

Whether box is optional or not.

Definition at line 193 of file no-overlap.hh.

---

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

• gecode/int/no-overlap.hh (Revision: 12194)
• gecode/int/no-overlap/box.hpp (Revision: 12192)