Generated on Wed Nov 1 15:05:19 2006 for Gecode by doxygen 1.4.5
Gecode::Int::Linear::LinBin

Gecode::Int::Linear::LinBin< Val, A, B, pc > Class Template Reference

#include <linear.hh>

Inherits Gecode::Propagator.

List of all members.

Detailed Description

template<class Val, class A, class B, PropCond pc>
class Gecode::Int::Linear::LinBin< Val, A, B, pc >

Base-class for binary linear propagators.

The type Val can be either double or int, defining the numerical precision during propagation. The types A and B give the types of the views.

The propagation condition pc refers to both views.

Definition at line 51 of file linear.hh.

Public Member Functions

virtual PropCost cost (void) const
 Cost function (defined as PC_BINARY_LO).
virtual size_t dispose (Space *home)
 Delete propagator and return its size.

Protected Member Functions

 LinBin (Space *home, bool share, LinBin &p)
 Constructor for cloning p.
 LinBin (Space *home, bool share, Propagator &p, A x0, B x1, Val c)
 Constructor for rewriting p during cloning.
 LinBin (Space *home, A x0, B x1, Val c)
 Constructor for creation.

Protected Attributes

A x0
 View of type A.
B x1
 View of type B.
Val c
 Value of type Val.

Constructor & Destructor Documentation

template<class Val, class A, class B, PropCond pc>
Gecode::Int::Linear::LinBin< Val, A, B, pc >::LinBin (  Space *  home,
bool  share,
LinBin< Val, A, B, pc > &  p
)  [protected]
 

Constructor for cloning p.

template<class Val, class A, class B, PropCond pc>
Gecode::Int::Linear::LinBin< Val, A, B, pc >::LinBin (  Space *  home,
bool  share,
Propagator &  p,
A  x0,
B  x1,
Val  c
)  [inline, protected]
 

Constructor for rewriting p during cloning.

Definition at line 46 of file binary.icc.

template<class Val, class A, class B, PropCond pc>
Gecode::Int::Linear::LinBin< Val, A, B, pc >::LinBin (  Space *  home,
A  x0,
B  x1,
Val  c
)  [inline, protected]
 

Constructor for creation.

Definition at line 30 of file binary.icc.

Member Function Documentation

template<class Val, class A, class B, PropCond pc>
PropCost Gecode::Int::Linear::LinBin< Val, A, B, pc >::cost (  void   )  const [virtual]
 

Cost function (defined as PC_BINARY_LO).

Implements Gecode::Propagator.

Reimplemented in Gecode::Int::Linear::NqBin< Val, A, B >.

Definition at line 55 of file binary.icc.

template<class Val, class A, class B, PropCond pc>
size_t Gecode::Int::Linear::LinBin< Val, A, B, pc >::dispose (  Space *  home  )  [virtual]
 

Delete propagator and return its size.

Reimplemented from Gecode::Actor.

Definition at line 61 of file binary.icc.

Member Data Documentation

template<class Val, class A, class B, PropCond pc>
A Gecode::Int::Linear::LinBin< Val, A, B, pc >::x0 [protected]
 

View of type A.

Definition at line 54 of file linear.hh.

template<class Val, class A, class B, PropCond pc>
B Gecode::Int::Linear::LinBin< Val, A, B, pc >::x1 [protected]
 

View of type B.

Definition at line 56 of file linear.hh.

template<class Val, class A, class B, PropCond pc>
Val Gecode::Int::Linear::LinBin< Val, A, B, pc >::c [protected]
 

Value of type Val.

Definition at line 58 of file linear.hh.

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