Generated on Wed Nov 1 15:05:16 2006 for Gecode by doxygen 1.4.5
Gecode::Int::Arithmetic::Mult

Gecode::Int::Arithmetic::Mult< View > Class Template Reference
[Integer propagators]

#include <arithmetic.hh>

Inherits Gecode::TernaryPropagator< View, PC_INT_BND >.

List of all members.

Detailed Description

template<class View>
class Gecode::Int::Arithmetic::Mult< View >

Bounds-consistent multiplication propagator.

Requires

 #include "gecode/int/arithmetic.hh"

Todo:
Currently this propagator only works for View being IntView. This will change when integer views are available in fully generic form.

Definition at line 262 of file arithmetic.hh.

Public Member Functions

 Mult (Space *home, View x0, View x1, View x2)
 Constructor for posting.
virtual Actor * copy (Space *home, bool share)
 Copy propagator during cloning.
virtual ExecStatus propagate (Space *home)
 Perform propagation.
virtual PropCost cost (void) const
 Cost function (defined as PC_TERNARY_HI).

Static Public Member Functions

static ExecStatus post (Space *home, View x0, View x1, View x2)
 Post propagator $x_0\cdot x_1=x_2$.

Protected Member Functions

 Mult (Space *home, bool share, Mult< View > &p)
 Constructor for cloning p.

Constructor & Destructor Documentation

template<class View>
Gecode::Int::Arithmetic::Mult< View >::Mult (  Space *  home,
bool  share,
Mult< View > &  p
)  [inline, protected]
 

Constructor for cloning p.

Definition at line 329 of file mult.icc.

template<class View>
Gecode::Int::Arithmetic::Mult< View >::Mult (  Space *  home,
View  x0,
View  x1,
View  x2
)  [inline]
 

Constructor for posting.

Definition at line 324 of file mult.icc.

Member Function Documentation

template<class View>
ExecStatus Gecode::Int::Arithmetic::Mult< View >::post (  Space *  home,
View  x0,
View  x1,
View  x2
)  [static]
 

Post propagator $x_0\cdot x_1=x_2$.

Definition at line 446 of file mult.icc.

template<class View>
Actor * Gecode::Int::Arithmetic::Mult< View >::copy (  Space *  home,
bool  share
)  [virtual]
 

Copy propagator during cloning.

Implements Gecode::Actor.

Definition at line 334 of file mult.icc.

template<class View>
ExecStatus Gecode::Int::Arithmetic::Mult< View >::propagate (  Space *  home  )  [virtual]
 

Perform propagation.

Implements Gecode::Propagator.

Definition at line 346 of file mult.icc.

template<class View>
PropCost Gecode::Int::Arithmetic::Mult< View >::cost (  void   )  const [virtual]
 

Cost function (defined as PC_TERNARY_HI).

Reimplemented from Gecode::TernaryPropagator< View, PC_INT_BND >.

Definition at line 340 of file mult.icc.

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