Generated on Wed Jan 4 17:49:21 2006 for Gecode by doxygen 1.4.6

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

#include <linear.hh>

Inherits Gecode::Propagator.

List of all members.


Detailed Description

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

Base-class for ternary linear propagators.

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

The propagation condition pc refers to all three views.

Definition at line 318 of file linear.hh.

Public Member Functions

virtual PropCost cost (void) const
 Cost function (defined as PC_TERNARY_LO).
virtual ~LinTer (void)
 Destructor.

Protected Member Functions

 LinTer (Space *home, bool share, LinTer &p)
 Constructor for cloning p.
 LinTer (Space *home, A x0, B x1, C x2, Val c)
 Constructor for creation.

Protected Attributes

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


Constructor & Destructor Documentation

template<class Val, class A, class B, class C, PropCond pc>
Gecode::Int::Linear::LinTer< Val, A, B, C, pc >::LinTer Space home,
bool  share,
LinTer< Val, A, B, C, pc > &  p
[protected]
 

Constructor for cloning p.

template<class Val, class A, class B, class C, PropCond pc>
Gecode::Int::Linear::LinTer< Val, A, B, C, pc >::LinTer Space home,
x0,
x1,
x2,
Val  c
[inline, protected]
 

Constructor for creation.

Definition at line 30 of file ternary.icc.

template<class Val, class A, class B, class C, PropCond pc>
Gecode::Int::Linear::LinTer< Val, A, B, C, pc >::~LinTer void   )  [inline, virtual]
 

Destructor.

Definition at line 55 of file ternary.icc.


Member Function Documentation

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

Cost function (defined as PC_TERNARY_LO).

Implements Gecode::Propagator.

Definition at line 49 of file ternary.icc.


Member Data Documentation

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

View of type A.

Definition at line 321 of file linear.hh.

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

View of type B.

Definition at line 323 of file linear.hh.

template<class Val, class A, class B, class C, PropCond pc>
C Gecode::Int::Linear::LinTer< Val, A, B, C, pc >::x2 [protected]
 

View of type C.

Definition at line 325 of file linear.hh.

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

Value of type Val.

Definition at line 327 of file linear.hh.


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