Generated on Fri Oct 19 11:26:05 2018 for Gecode by doxygen 1.6.3

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 Actorcopy (Space &home)
 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, 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 420 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 306 of file pow.hpp.

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

Constructor for cloning p.

Definition at line 325 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  )  [inline, virtual]

Copy propagator during cloning.

Implements Gecode::Actor.

Definition at line 331 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 337 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 348 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 312 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 425 of file arithmetic.hh.


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