Gecode::Int::NoOverlap::FlexDim Class Reference

Dimension combining coordinate and integer view size information. More...

#include <no-overlap.hh>

List of all members.

Public Member Functions
	FlexDim (void)
	Default constructor.
	FlexDim (IntView c0, IntView s, IntView c1)
	Constructor.
int	ssc (void) const
	Return smallest start coordinate.
int	lsc (void) const
	Return largest start coordinate.
int	sec (void) const
	Return smallest end coordinate.
int	lec (void) const
	Return largest end coordinate.
ExecStatus	nooverlap (Space &home, FlexDim &d)
	Dimension must not overlap with d.
void	update (Space &home, bool share, FlexDim &d)
	Update dimension during cloning.
void	subscribe (Space &home, Propagator &p)
	Subscribe propagator p to dimension.
void	cancel (Space &home, Propagator &p)
	Cancel propagator p from dimension.
Protected Member Functions
ExecStatus	ssc (Space &home, int n)
	Modify smallest start coordinate.
ExecStatus	lec (Space &home, int n)
	Modify largest end coordinate.
ExecStatus	nooverlap (Space &home, int n, int m)
	Dimension must not overlap with coordinates n to m.
Protected Attributes
IntView	c0
	Start coordinate.
IntView	s
	Size.
IntView	c1
	End coordinate.

---

Detailed Description

Dimension combining coordinate and integer view size information.

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

---

Constructor & Destructor Documentation

Gecode::Int::NoOverlap::FlexDim::FlexDim

(

void

)

[inline]

Default constructor.

Definition at line 119 of file dim.hpp.

Gecode::Int::NoOverlap::FlexDim::FlexDim	(	IntView	c0,
		IntView	s,
		IntView	c1
	)		[inline]

Constructor.

Definition at line 121 of file dim.hpp.

---

Member Function Documentation

ExecStatus Gecode::Int::NoOverlap::FlexDim::ssc	(	Space &	home,
		int	n
	)		[inline, protected]

Modify smallest start coordinate.

Definition at line 142 of file dim.hpp.

ExecStatus Gecode::Int::NoOverlap::FlexDim::lec	(	Space &	home,
		int	n
	)		[inline, protected]

Modify largest end coordinate.

Definition at line 147 of file dim.hpp.

ExecStatus Gecode::Int::NoOverlap::FlexDim::nooverlap	(	Space &	home,
		int	n,
		int	m
	)		[inline, protected]

Dimension must not overlap with coordinates n to m.

Definition at line 152 of file dim.hpp.

int Gecode::Int::NoOverlap::FlexDim::ssc

(

void

)

const [inline]

Return smallest start coordinate.

Definition at line 125 of file dim.hpp.

int Gecode::Int::NoOverlap::FlexDim::lsc

(

void

)

const [inline]

Return largest start coordinate.

Definition at line 129 of file dim.hpp.

int Gecode::Int::NoOverlap::FlexDim::sec

(

void

)

const [inline]

Return smallest end coordinate.

Definition at line 133 of file dim.hpp.

int Gecode::Int::NoOverlap::FlexDim::lec

(

void

)

const [inline]

Return largest end coordinate.

Definition at line 137 of file dim.hpp.

ExecStatus Gecode::Int::NoOverlap::FlexDim::nooverlap	(	Space &	home,
		FlexDim &	d
	)		[inline]

Dimension must not overlap with d.

Definition at line 162 of file dim.hpp.

void Gecode::Int::NoOverlap::FlexDim::update	(	Space &	home,
		bool	share,
		FlexDim &	d
	)		[inline]

Update dimension during cloning.

Definition at line 175 of file dim.hpp.

void Gecode::Int::NoOverlap::FlexDim::subscribe	(	Space &	home,
		Propagator &	p
	)		[inline]

Subscribe propagator p to dimension.

Definition at line 182 of file dim.hpp.

void Gecode::Int::NoOverlap::FlexDim::cancel	(	Space &	home,
		Propagator &	p
	)		[inline]

Cancel propagator p from dimension.

Definition at line 188 of file dim.hpp.

---

Member Data Documentation

IntView Gecode::Int::NoOverlap::FlexDim::c0 [protected]

Start coordinate.

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

IntView Gecode::Int::NoOverlap::FlexDim::s [protected]

Size.

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

IntView Gecode::Int::NoOverlap::FlexDim::c1 [protected]

End coordinate.

Definition at line 102 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/dim.hpp (Revision: 12194)