main page modules namespaces classes files
Gecode home

search for 

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 328 of file linear.hh.

Public Member Functions
virtual PropCost	cost (void) const
	Cost function (defined as PC_TERNARY_LO).
virtual size_t	dispose (Space *home)
	Delete propagator and return its size.
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.
	LinTer (Space *home, bool share, Propagator &p, A x0, B x1, C x2, Val c)
	Constructor for rewriting p during cloning.
Protected Attributes
A	x0
	View of type A.
B	x1
	View of type B.
C	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, A  x0, B  x1, C  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 (  Space *  home, bool  share, Propagator &  p, A  x0, B  x1, C  x2, Val  c )  [inline, protected]

Constructor for rewriting p during cloning. Definition at line 49 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 59 of file ternary.icc.

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

Delete propagator and return its size. Reimplemented from Gecode::Actor. Definition at line 65 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 331 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 333 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 335 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 337 of file linear.hh.

---

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

• gecode/int/linear.hh (Revision: 3604)
• gecode/int/linear/ternary.icc (Revision: 3512)