main page modules namespaces classes files
Gecode home

Gecode::Int::Linear::NoView Class Reference

Inherits Gecode::ConstantViewBase.

List of all members.

---

Detailed Description

No view serves as filler for empty view arrays.

Definition at line 30 of file noview.icc.

Constructors and initialization
	NoView (void)
	Default constructor.
void	init (void)
	Initialize.
Value access
int	min (void) const
	Return minimum of domain.
int	max (void) const
	Return maximum of domain.
int	med (void) const
	Return median of domain.
int	val (void) const
	Return assigned value (only if assigned).
unsigned int	size (void) const
	Return size (cardinality) of domain.
unsigned int	width (void) const
	Return width of domain (distance between maximum and minimum).
unsigned int	regret_min (void) const
	Return regret of domain minimum (distance to next larger value).
unsigned int	regret_max (void) const
	Return regret of domain maximum (distance to next smaller value).
Domain tests
bool	range (void) const
	Test whether domain is a range.
bool	assigned (void) const
	Test whether view is assigned.
bool	in (int n) const
	Test whether n is contained in domain.
bool	in (double n) const
	Test whether n is contained in domain.
Domain update by value
ModEvent	lq (Space *home, int n)
	Restrict domain values to be less or equal than n.
ModEvent	lq (Space *home, double n)
	Restrict domain values to be less or equal than n.
ModEvent	le (Space *home, int n)
	Restrict domain values to be less than n.
ModEvent	le (Space *home, double n)
	Restrict domain values to be less than n.
ModEvent	gq (Space *home, int n)
	Restrict domain values to be greater or equal than n.
ModEvent	gq (Space *home, double n)
	Restrict domain values to be greater or equal than n.
ModEvent	gr (Space *home, int n)
	Restrict domain values to be greater than n.
ModEvent	gr (Space *home, double n)
	Restrict domain values to be greater than n.
ModEvent	nq (Space *home, int n)
	Restrict domain values to be different from n.
ModEvent	nq (Space *home, double n)
	Restrict domain values to be different from n.
ModEvent	eq (Space *home, int n)
	Restrict domain values to be equal to n.
ModEvent	eq (Space *home, double n)
	Restrict domain values to be equal to n.
Dependencies
void	subscribe (Space *home, Propagator *p, PropCond pc, bool process=true)
	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, NoView &x)
	Update this view to be a clone of view x.
View comparison
bool	operator== (const NoView &x) const
	Test whether this view is the same as x.
bool	operator!= (const NoView &x) const
	Test whether this view is not the same as x.
bool	operator< (const NoView &x) const
	Test whether this view is smaller than x (arbitrary order).
bool	operator> (const NoView &x) const
	Test whether this view is larger than x (arbitrary order).
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.

---

Constructor & Destructor Documentation

Gecode::Int::Linear::NoView::NoView

(

void

)

[inline]

Default constructor.

Definition at line 35 of file noview.icc.

---

Member Function Documentation

void Gecode::Int::Linear::NoView::init

(

void

)

[inline]

Initialize.

Definition at line 37 of file noview.icc.

int Gecode::Int::Linear::NoView::min

(

void

)

const [inline]

Return minimum of domain.

Definition at line 43 of file noview.icc.

int Gecode::Int::Linear::NoView::max

(

void

)

const [inline]

Return maximum of domain.

Definition at line 45 of file noview.icc.

int Gecode::Int::Linear::NoView::med

(

void

)

const [inline]

Return median of domain.

Definition at line 47 of file noview.icc.

int Gecode::Int::Linear::NoView::val

(

void

)

const [inline]

Return assigned value (only if assigned).

Definition at line 49 of file noview.icc.

unsigned int Gecode::Int::Linear::NoView::size

(

void

)

const [inline]

Return size (cardinality) of domain.

Definition at line 52 of file noview.icc.

unsigned int Gecode::Int::Linear::NoView::width

(

void

)

const [inline]

Return width of domain (distance between maximum and minimum).

Definition at line 54 of file noview.icc.

unsigned int Gecode::Int::Linear::NoView::regret_min

(

void

)

const [inline]

Return regret of domain minimum (distance to next larger value).

Definition at line 56 of file noview.icc.

unsigned int Gecode::Int::Linear::NoView::regret_max

(

void

)

const [inline]

Return regret of domain maximum (distance to next smaller value).

Definition at line 58 of file noview.icc.

bool Gecode::Int::Linear::NoView::range

(

void

)

const [inline]

Test whether domain is a range.

Definition at line 64 of file noview.icc.

bool Gecode::Int::Linear::NoView::assigned

(

void

)

const [inline]

Test whether view is assigned.

Definition at line 66 of file noview.icc.

bool Gecode::Int::Linear::NoView::in

(

int

n

)

const [inline]

Test whether n is contained in domain.

Definition at line 69 of file noview.icc.

bool Gecode::Int::Linear::NoView::in

(

double

n

)

const [inline]

Test whether n is contained in domain.

Definition at line 71 of file noview.icc.

ModEvent Gecode::Int::Linear::NoView::lq	(	Space *	home,
		int	n
	)			[inline]

Restrict domain values to be less or equal than n.

Definition at line 77 of file noview.icc.

ModEvent Gecode::Int::Linear::NoView::lq	(	Space *	home,
		double	n
	)			[inline]

Restrict domain values to be less or equal than n.

Definition at line 79 of file noview.icc.

ModEvent Gecode::Int::Linear::NoView::le	(	Space *	home,
		int	n
	)			[inline]

Restrict domain values to be less than n.

Definition at line 81 of file noview.icc.

ModEvent Gecode::Int::Linear::NoView::le	(	Space *	home,
		double	n
	)			[inline]

Restrict domain values to be less than n.

Definition at line 83 of file noview.icc.

ModEvent Gecode::Int::Linear::NoView::gq	(	Space *	home,
		int	n
	)			[inline]

Restrict domain values to be greater or equal than n.

Definition at line 85 of file noview.icc.

ModEvent Gecode::Int::Linear::NoView::gq	(	Space *	home,
		double	n
	)			[inline]

Restrict domain values to be greater or equal than n.

Definition at line 87 of file noview.icc.

ModEvent Gecode::Int::Linear::NoView::gr	(	Space *	home,
		int	n
	)			[inline]

Restrict domain values to be greater than n.

Definition at line 89 of file noview.icc.

ModEvent Gecode::Int::Linear::NoView::gr	(	Space *	home,
		double	n
	)			[inline]

Restrict domain values to be greater than n.

Definition at line 91 of file noview.icc.

ModEvent Gecode::Int::Linear::NoView::nq	(	Space *	home,
		int	n
	)			[inline]

Restrict domain values to be different from n.

Definition at line 93 of file noview.icc.

ModEvent Gecode::Int::Linear::NoView::nq	(	Space *	home,
		double	n
	)			[inline]

Restrict domain values to be different from n.

Definition at line 95 of file noview.icc.

ModEvent Gecode::Int::Linear::NoView::eq	(	Space *	home,
		int	n
	)			[inline]

Restrict domain values to be equal to n.

Definition at line 97 of file noview.icc.

ModEvent Gecode::Int::Linear::NoView::eq	(	Space *	home,
		double	n
	)			[inline]

Restrict domain values to be equal to n.

Definition at line 99 of file noview.icc.

static ModEvent Gecode::Int::Linear::NoView::pme

(

const Propagator *

p

)

[inline, static]

Return modification event of propagator p for view.

Definition at line 105 of file noview.icc.

static PropModEvent Gecode::Int::Linear::NoView::pme

(

ModEvent

me

)

[inline, static]

Translate modification event me to propagator modification event for view.

Definition at line 107 of file noview.icc.

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

Subscribe propagator p with propagation condition pc to view.

Definition at line 113 of file noview.icc.

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

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

Definition at line 115 of file noview.icc.

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

Update this view to be a clone of view x.

Definition at line 121 of file noview.icc.

bool Gecode::Int::Linear::NoView::operator==

(

const NoView &

x

)

const [inline]

Test whether this view is the same as x.

Definition at line 127 of file noview.icc.

bool Gecode::Int::Linear::NoView::operator!=

(

const NoView &

x

)

const [inline]

Test whether this view is not the same as x.

Definition at line 129 of file noview.icc.

bool Gecode::Int::Linear::NoView::operator<

(

const NoView &

x

)

const [inline]

Test whether this view is smaller than x (arbitrary order).

Definition at line 131 of file noview.icc.

bool Gecode::Int::Linear::NoView::operator>

(

const NoView &

x

)

const [inline]

Test whether this view is larger than x (arbitrary order).

Definition at line 133 of file noview.icc.

---

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

• gecode/int/linear/noview.icc (Revision: 3559)