main page modules namespaces classes files
Gecode home

search for 

Gecode::Int::Linear::Lin< Val, P, N, pc > Class Template Reference

#include <linear.hh>

Inherits Gecode::Propagator.

Inherited by Gecode::Int::Linear::ReLin< Val, P, N, PC_INT_BND, BoolView >, and Gecode::Int::Linear::ReLin< Val, P, N, PC_INT_BND, Ctrl >.

List of all members.

---

Detailed Description

template<class Val, class P, class N, PropCond pc>
class Gecode::Int::Linear::Lin< Val, P, N, pc >

Base-class for n-ary linear propagators.

The type Val can be either double or int, defining the numerical precision during propagation. Positive views are of type P whereas negative views are of type N.

The propagation condition pc refers to all views.

Definition at line 477 of file linear.hh.

Public Member Functions
virtual PropCost	cost (void) const
	Cost function (defined as dynamic PC_LINEAR_LO).
virtual size_t	dispose (Space *home)
	Delete propagator and return its size.
Protected Member Functions
	Lin (Space *home, bool share, Lin &p)
	Constructor for cloning p.
	Lin (Space *home, ViewArray< P > &x, ViewArray< N > &y, Val c)
	Constructor for creation.
Protected Attributes
ViewArray< P >	x
	Array of positive views.
ViewArray< N >	y
	Array of negative views.
Val	c
	Constant value.
Related Functions
(Note that these are not member functions.)
void	bounds_p (const Propagator *, ViewArray< View > &x, Val &c, Val &sl, Val &su)
	Compute bounds information for positive views.
void	bounds_n (const Propagator *, ViewArray< View > &y, Val &c, Val &sl, Val &su)
	Compute bounds information for negative views.

---

Constructor & Destructor Documentation

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

Constructor for cloning p.

template<class Val, class P, class N, PropCond pc> Gecode::Int::Linear::Lin< Val, P, N, pc >::Lin (  Space *  home, ViewArray< P > &  x, ViewArray< N > &  y, Val  c )  [protected]

Constructor for creation.

---

Member Function Documentation

template<class Val, class P, class N, PropCond pc> virtual PropCost Gecode::Int::Linear::Lin< Val, P, N, pc >::cost (  void   )  const [virtual]

Cost function (defined as dynamic PC_LINEAR_LO). Implements Gecode::Propagator. Reimplemented in Gecode::Int::Linear::DomEq< Val, View >.

template<class Val, class P, class N, PropCond pc> virtual size_t Gecode::Int::Linear::Lin< Val, P, N, pc >::dispose (  Space *  home  )  [virtual]

Delete propagator and return its size. Reimplemented from Gecode::Actor. Reimplemented in Gecode::Int::Linear::ReLin< Val, P, N, pc, Ctrl >, Gecode::Int::Linear::ReLin< Val, P, N, PC_INT_BND, Ctrl >, and Gecode::Int::Linear::ReLin< Val, P, N, PC_INT_BND, BoolView >.

---

Friends And Related Function Documentation

template<class Val, class P, class N, PropCond pc> void bounds_p (  const Propagator *  , ViewArray< View > &  x, Val &  c, Val &  sl, Val &  su )  [related]

Compute bounds information for positive views. Definition at line 117 of file nary.icc.

template<class Val, class P, class N, PropCond pc> void bounds_n (  const Propagator *  , ViewArray< View > &  y, Val &  c, Val &  sl, Val &  su )  [related]

Compute bounds information for negative views. Definition at line 139 of file nary.icc.

---

Member Data Documentation

template<class Val, class P, class N, PropCond pc> ViewArray<P> Gecode::Int::Linear::Lin< Val, P, N, pc >::x [protected]

Array of positive views. Definition at line 480 of file linear.hh.

template<class Val, class P, class N, PropCond pc> ViewArray<N> Gecode::Int::Linear::Lin< Val, P, N, pc >::y [protected]

Array of negative views. Definition at line 482 of file linear.hh.

template<class Val, class P, class N, PropCond pc> Val Gecode::Int::Linear::Lin< Val, P, N, pc >::c [protected]

Constant value. Definition at line 484 of file linear.hh.

---

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

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