Generated on Fri Mar 20 15:56:57 2015 for Gecode by doxygen 1.6.3
Gecode::Int::Arithmetic::PowPlusBnd

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

Bounds 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 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

 PowPlusBnd (Home home, VA x0, VB x1, const Ops &ops)
 Constructor for posting.
 PowPlusBnd (Space &home, bool share, PowPlusBnd< 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::PowPlusBnd< VA, VB, Ops >

Bounds consistent positive power propagator.

This propagator is for positive views only.

Definition at line 371 of file arithmetic.hh.

Constructor & Destructor Documentation

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

Constructor for posting.

Definition at line 81 of file pow.hpp.

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

Constructor for cloning p.

Definition at line 100 of file pow.hpp.

Member Function Documentation

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

Copy propagator during cloning.

Implements Gecode::Actor.

Definition at line 107 of file pow.hpp.

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

Perform propagation.

Implements Gecode::Propagator.

Definition at line 113 of file pow.hpp.

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

Post propagator.

Definition at line 87 of file pow.hpp.

Member Data Documentation

template<class VA, class VB, class Ops>
Ops Gecode::Int::Arithmetic::PowPlusBnd< VA, VB, Ops >::ops [protected]

Operations.

Definition at line 376 of file arithmetic.hh.

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