Gecode::Int::Arithmetic::PowPlusDom< VA, VB, Ops > Class Template Reference

Domain consistent positive power propagator. More...

#include <arithmetic.hh>

List of all members.

Public Member Functions
virtual Actor *	copy (Space &home, bool share)
	Copy propagator during cloning.
virtual PropCost	cost (const Space &home, const ModEventDelta &med) const
	Cost function.
virtual ExecStatus	propagate (Space &home, const ModEventDelta &med)
	Perform propagation.
Static Public Member Functions
static ExecStatus	post (Home home, VA x0, VB x1, Ops ops)
	Post propagator.
Protected Member Functions
	PowPlusDom (Home home, VA x0, VB x1, const Ops &ops)
	Constructor for posting.
	PowPlusDom (Space &home, bool share, PowPlusDom< VA, VB, Ops > &p)
	Constructor for cloning p.
Protected Attributes
Ops	ops
	Operations.

---

Detailed Description

template<class VA, class VB, class Ops>
class Gecode::Int::Arithmetic::PowPlusDom< VA, VB, Ops >

Domain consistent positive power propagator.

This propagator is for positive views only.

Definition at line 422 of file arithmetic.hh.

---

Constructor & Destructor Documentation

template<class VA , class VB , class Ops >

Gecode::Int::Arithmetic::PowPlusDom< VA, VB, Ops >::PowPlusDom	(	Home	home,
		VA	x0,
		VB	x1,
		const Ops &	ops
	)			[inline, protected]

Constructor for posting.

Definition at line 311 of file pow.hpp.

template<class VA , class VB , class Ops >

Gecode::Int::Arithmetic::PowPlusDom< VA, VB, Ops >::PowPlusDom	(	Space &	home,
		bool	share,
		PowPlusDom< VA, VB, Ops > &	p
	)			[inline, protected]

Constructor for cloning p.

Definition at line 330 of file pow.hpp.

---

Member Function Documentation

template<class VA , class VB , class Ops >

Actor * Gecode::Int::Arithmetic::PowPlusDom< VA, VB, Ops >::copy	(	Space &	home,
		bool	share
	)			[inline, virtual]

Copy propagator during cloning.

Implements Gecode::Actor.

Definition at line 337 of file pow.hpp.

template<class VA , class VB , class Ops >

PropCost Gecode::Int::Arithmetic::PowPlusDom< VA, VB, Ops >::cost	(	const Space &	home,
		const ModEventDelta &	med
	)			const [inline, virtual]

Cost function.

If a view has been assigned, the cost is low unary. If in stage for bounds propagation, the cost is low binary. Otherwise it is high binary.

Reimplemented from Gecode::MixBinaryPropagator< VA, PC_INT_DOM, VB, PC_INT_DOM >.

Definition at line 343 of file pow.hpp.

template<class VA , class VB , class Ops >

ExecStatus Gecode::Int::Arithmetic::PowPlusDom< VA, VB, Ops >::propagate	(	Space &	home,
		const ModEventDelta &	med
	)			[inline, virtual]

Perform propagation.

Implements Gecode::Propagator.

Definition at line 354 of file pow.hpp.

template<class VA , class VB , class Ops >

ExecStatus Gecode::Int::Arithmetic::PowPlusDom< VA, VB, Ops >::post	(	Home	home,
		VA	x0,
		VB	x1,
		Ops	ops
	)			[inline, static]

Post propagator.

Definition at line 317 of file pow.hpp.

---

Member Data Documentation

template<class VA, class VB, class Ops>

Ops Gecode::Int::Arithmetic::PowPlusDom< VA, VB, Ops >::ops [protected]

Operations.

Definition at line 427 of file arithmetic.hh.

---

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

• gecode/int/arithmetic.hh (Revision: 14362)
• gecode/int/arithmetic/pow.hpp (Revision: 13510)