Domain consistent pair-with-offsets propagator. More...

#include <gecode/int/element.hh>

Public Member Functions
	PairWithOffsets (Home home, OffsetView x0, OffsetView x1, IntView x2, int w)
	Constructor for posting.
virtual Actor *	copy (Space &home)
	Copy propagator during cloning.
virtual ExecStatus	propagate (Space &home, const ModEventDelta &med)
	Perform propagation.
Public Member Functions inherited from Gecode::TernaryPropagator< OffsetView, PC_INT_DOM >
virtual PropCost	cost (const Space &home, const ModEventDelta &med) const
	Cost function (defined as low ternary).
virtual void	reschedule (Space &home)
	Schedule function.
virtual size_t	dispose (Space &home)
	Delete propagator and return its size.
ModEventDelta	modeventdelta (void) const
	Return the modification event delta.
virtual ExecStatus	advise (Space &home, Advisor &a, const Delta &d)
	Advise function.
virtual void	advise (Space &home, Advisor &a)
	Run advisor a to be run on failure in failed space.
double	afc (void) const
	Return the accumulated failure count.
unsigned int	id (void) const
	Return propagator id.
PropagatorGroup	group (void) const
	Return group propagator belongs to.
void	group (PropagatorGroup g)
	Add propagator to group g.
bool	disabled (void) const
	Whether propagator is currently disabled.
virtual	~Actor (void)
	To avoid warnings.

Static Public Member Functions
static ExecStatus	post (Home home, OffsetView x0, OffsetView x1, IntView x2, int w, int h)
	Post propagator \(x_0+x_1\cdot w=x_2\).
static void *	operator new (size_t s, Space &home)
	Allocate memory from space.
static void	operator delete (void *p, Space &home)
	No-op for exceptions.
static void *	operator new (size_t s)
	Not used.
static void	operator delete (void *p)
	Not used.

Protected Member Functions
	PairWithOffsets (Space &home, PairWithOffsets &p)
	Constructor for cloning p.
Protected Member Functions inherited from Gecode::TernaryPropagator< OffsetView, PC_INT_DOM >
	TernaryPropagator (Space &home, TernaryPropagator &p)
	Constructor for cloning p.
Protected Member Functions inherited from Gecode::Propagator
	Propagator (Home home)
	Constructor for posting.
	Propagator (Space &home, Propagator &p)
	Constructor for cloning p.
Propagator *	fwd (void) const
	Return forwarding pointer during copying.
Kernel::GPI::Info &	gpi (void)
	Provide access to global propagator information.

Protected Attributes
int	w
	Width.
Protected Attributes inherited from Gecode::TernaryPropagator< OffsetView, PC_INT_DOM >
OffsetView	x0
	Three views.
OffsetView	x1
OffsetView	x2

Detailed Description

Domain consistent pair-with-offsets propagator.

Requires

#include <gecode/int/element.hh>

element.hh

Definition at line 326 of file element.hh.

Constructor & Destructor Documentation

◆ PairWithOffsets() [1/2]

Gecode::Int::Element::PairWithOffsets::PairWithOffsets	(	Space &	home,
		PairWithOffsets &	p )

inlineprotected

Constructor for cloning p.

Definition at line 95 of file pair.hpp.

◆ PairWithOffsets() [2/2]

Gecode::Int::Element::PairWithOffsets::PairWithOffsets	(	Home	home,
		OffsetView	x0,
		OffsetView	x1,
		IntView	x2,
		int	w )

inline

Constructor for posting.

Definition at line 68 of file pair.hpp.

Member Function Documentation

◆ post()

ExecStatus Gecode::Int::Element::PairWithOffsets::post	(	Home	home,
		OffsetView	x0,
		OffsetView	x1,
		IntView	x2,
		int	w,
		int	h )

inlinestatic

Post propagator \(x_0+x_1\cdot w=x_2\).

Definition at line 74 of file pair.hpp.

◆ copy()

virtual Actor * Gecode::Int::Element::PairWithOffsets::copy ( Space & home )

virtual

Copy propagator during cloning.

Implements Gecode::Actor.

◆ propagate()

virtual ExecStatus Gecode::Int::Element::PairWithOffsets::propagate	(	Space &	home,
		const ModEventDelta &	med )

virtual

Perform propagation.

Implements Gecode::Propagator.

Member Data Documentation

◆ w

int Gecode::Int::Element::PairWithOffsets::w

protected

Width.

Definition at line 333 of file element.hh.

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

gecode/int/element.hh
gecode/int/element/pair.hpp

Public Member Functions

Static Public Member Functions

Protected Member Functions

Protected Attributes