cpsp::gecode::GC_Neighbored2 Class Reference

#include <old_GC_Neighbored2.hh>

Detailed Description

Definition at line 18 of file old_GC_Neighbored2.hh.


Public Member Functions
virtual Gecode::Actor *	copy (Gecode::Space *home, bool share)
virtual Gecode::PropCost	cost (void) const
virtual Gecode::ExecStatus	propagate (Gecode::Space *home)
Static Public Member Functions
static Gecode::ExecStatus	post (Gecode::Space home, Gecode::Int::IntView x0, Gecode::Int::IntView x1, const biu::LatticeFrame lattice, Gecode::IntConLevel conLvl=Gecode::ICL_BND, unsigned int maxPrSize=MAXPROPSIZEINIT, bool maxPrSizeBin=false, unsigned int minPrSize=0)
Protected Member Functions
	GC_Neighbored2 (Gecode::Space home, Gecode::Int::IntView x0, Gecode::Int::IntView x1, const biu::LatticeFrame lattice, Gecode::IntConLevel conLvl, unsigned int maxPrSize, bool maxPrSizeBin, unsigned int minPrSize)
	GC_Neighbored2 (Gecode::Space *home, bool share, GC_Neighbored2 &p)
Protected Attributes
Gecode::IntConLevel	conLevel
const biu::LatticeFrame *	lattice
unsigned int	maxPropSize
bool	maxPropSizeBin
unsigned int	minPropSize
biu::IndexVec	neighborhood
Private Member Functions
biu::IndexSet	getIndexedNeighbors (const biu::LatticeFrame::index_type center) const
Gecode::ModEvent	removeNonNeighbors (Gecode::Space *home)
Gecode::ModEvent	removeNonNeighbors (Gecode::Space *home, Gecode::Int::IntView &x, int center)
Static Private Attributes
static const unsigned int	MAXPROPSIZEINIT = 50

Constructor & Destructor Documentation

cpsp::gecode::GC_Neighbored2::GC_Neighbored2	(	Gecode::Space *	home,
		bool	share,
		GC_Neighbored2 &	p
	)			`[protected]`

Constructor for cloning p.

Definition at line 58 of file old_GC_Neighbored2.cc.

cpsp::gecode::GC_Neighbored2::GC_Neighbored2	(	Gecode::Space *	home,
		Gecode::Int::IntView	x0,
		Gecode::Int::IntView	x1,
		const biu::LatticeFrame *	lattice,
		Gecode::IntConLevel	conLvl,
		unsigned int	maxPrSize,
		bool	maxPrSizeBin,
		unsigned int	minPrSize
	)			`[protected]`

Constructor for posting p.

Definition at line 33 of file old_GC_Neighbored2.cc.

Member Function Documentation

Gecode::Actor * cpsp::gecode::GC_Neighbored2::copy	(	Gecode::Space *	home,
		bool	share
	)			`[virtual]`

Copy propagator during cloning.

Definition at line 90 of file old_GC_Neighbored2.cc.

Gecode::PropCost cpsp::gecode::GC_Neighbored2::cost ( void ) const [virtual]

Cost function.

Definition at line 112 of file old_GC_Neighbored2.cc.

biu::IndexSet cpsp::gecode::GC_Neighbored2::getIndexedNeighbors ( const biu::LatticeFrame::index_type center ) const [private]

Returns the indices of all neighbored points of center. The center should not be in the border of the lattice frame, otherwise it will generate indices that are not inside the frame.

Parameters:

center

has to be inside the frame and no border point of the frame

Definition at line 228 of file old_GC_Neighbored2.cc.

Gecode::ExecStatus cpsp::gecode::GC_Neighbored2::post	(	Gecode::Space *	home,
		Gecode::Int::IntView	x0,
		Gecode::Int::IntView	x1,
		const biu::LatticeFrame *	lattice,
		Gecode::IntConLevel	conLvl = `Gecode::ICL_BND`,
		unsigned int	maxPrSize = `MAXPROPSIZEINIT`,
		bool	maxPrSizeBin = `false`,
		unsigned int	minPrSize = `0`
	)			`[static]`

post a binary neighbor constraint

Definition at line 71 of file old_GC_Neighbored2.cc.

Gecode::ExecStatus cpsp::gecode::GC_Neighbored2::propagate ( Gecode::Space * home ) [virtual]

Perform propagation.

Definition at line 120 of file old_GC_Neighbored2.cc.

Gecode::ModEvent cpsp::gecode::GC_Neighbored2::removeNonNeighbors ( Gecode::Space * home ) [private]

Removes all elements from x0/x1 that are not neighbored to an element in x1/x0

Definition at line 154 of file old_GC_Neighbored2.cc.

Gecode::ModEvent cpsp::gecode::GC_Neighbored2::removeNonNeighbors	(	Gecode::Space *	home,
		Gecode::Int::IntView &	x,
		int	center
	)			`[private]`

Removes all elements from x that are not neighbored to center.

Definition at line 144 of file old_GC_Neighbored2.cc.

Field Documentation

Gecode::IntConLevel cpsp::gecode::GC_Neighbored2::conLevel [protected]

Consistency level for neighbor propagation. ICL_VAL = only if one domain is bound ICL_BND = only propagating if one domain size is lower than maxPropSize ICL_DOM = full propagation

Definition at line 60 of file old_GC_Neighbored2.hh.

const biu::LatticeFrame* cpsp::gecode::GC_Neighbored2::lattice [protected]

The underlying lattice model used to check the neighbor constraint.

Definition at line 51 of file old_GC_Neighbored2.hh.

unsigned int cpsp::gecode::GC_Neighbored2::maxPropSize [protected]

the maximal size for the minimal domain so that the neighbor constraint is propagated

Definition at line 64 of file old_GC_Neighbored2.hh.

bool cpsp::gecode::GC_Neighbored2::maxPropSizeBin [protected]

if true, two successive domains have to be smaller or equal than maxPropSize so that the neighbor constraint is propagated

Definition at line 68 of file old_GC_Neighbored2.hh.

const unsigned int cpsp::gecode::GC_Neighbored2::MAXPROPSIZEINIT = 50 [static, private]

the initial maxPropSize value