main page modules namespaces classes files
Gecode home

search for 

Gecode::Int::Linear::ReLinBin< Val, A, B, pc, Ctrl > 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 Ctrl>
class Gecode::Int::Linear::ReLinBin< Val, A, B, pc, Ctrl >

Base-class for reified 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 82 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
	ReLinBin (Space *home, bool share, ReLinBin &p)
	Constructor for cloning p.
	ReLinBin (Space *home, A x0, B x1, Val c, Ctrl b)
	Constructor for creation.
Protected Attributes
A	x0
	View of type A.
B	x1
	View of type B.
Val	c
	Value of type Val.
Ctrl	b
	Control view for reification.

---

Constructor & Destructor Documentation

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

Constructor for cloning p.

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

Constructor for creation. Definition at line 76 of file binary.icc.

---

Member Function Documentation

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

Cost function (defined as PC_BINARY_LO). Implements Gecode::Propagator. Definition at line 95 of file binary.icc.

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

Delete propagator and return its size. Reimplemented from Gecode::Actor. Definition at line 101 of file binary.icc.

---

Member Data Documentation

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

View of type A. Definition at line 85 of file linear.hh.

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

View of type B. Definition at line 87 of file linear.hh.

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

Value of type Val. Definition at line 89 of file linear.hh.

template<class Val, class A, class B, PropCond pc, class Ctrl> Ctrl Gecode::Int::Linear::ReLinBin< Val, A, B, pc, Ctrl >::b [protected]

Control view for reification. Definition at line 91 of file linear.hh.

---

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

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