main page modules namespaces classes files
Gecode home

search for 

Gecode::Int::Linear::LinBoolView< XV, YV > Class Template Reference

#include <linear.hh>

Inherits Gecode::Propagator.

Inherited by Gecode::Int::Linear::EqBoolView< XV, YV >, Gecode::Int::Linear::GqBoolView< XV, YV >, and Gecode::Int::Linear::NqBoolView< XV, YV >.

List of all members.

---

Detailed Description

template<class XV, class YV>
class Gecode::Int::Linear::LinBoolView< XV, YV >

Base-class for Boolean linear propagators.

Definition at line 868 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
	LinBoolView (Space *home, bool share, LinBoolView &p)
	Constructor for cloning p.
	LinBoolView (Space *home, ViewArray< XV > &x, YV y, int c)
	Constructor for creation.
Protected Attributes
ViewArray< XV >	x
	Boolean views.
YV	y
	View to compare number of assigned Boolean views to.
int	c
	Righthandside (constant part from Boolean views assigned to 1).

---

Constructor & Destructor Documentation

template<class XV, class YV> Gecode::Int::Linear::LinBoolView< XV, YV >::LinBoolView (  Space *  home, bool  share, LinBoolView< XV, YV > &  p )  [inline, protected]

Constructor for cloning p. Definition at line 48 of file bool-view.icc.

template<class XV, class YV> Gecode::Int::Linear::LinBoolView< XV, YV >::LinBoolView (  Space *  home, ViewArray< XV > &  x, YV  y, int  c )  [protected]

Constructor for creation. Definition at line 29 of file bool-view.icc.

---

Member Function Documentation

template<class XV, class YV> PropCost Gecode::Int::Linear::LinBoolView< XV, YV >::cost (  void   )  const [virtual]

Cost function (defined as dynamic PC_LINEAR_LO). Implements Gecode::Propagator. Definition at line 56 of file bool-view.icc.

template<class XV, class YV> size_t Gecode::Int::Linear::LinBoolView< XV, YV >::dispose (  Space *  home  )  [virtual]

Delete propagator and return its size. Reimplemented from Gecode::Actor. Definition at line 38 of file bool-view.icc.

---

Member Data Documentation

template<class XV, class YV> ViewArray<XV> Gecode::Int::Linear::LinBoolView< XV, YV >::x [protected]

Boolean views. Definition at line 871 of file linear.hh.

template<class XV, class YV> YV Gecode::Int::Linear::LinBoolView< XV, YV >::y [protected]

View to compare number of assigned Boolean views to. Definition at line 873 of file linear.hh.

template<class XV, class YV> int Gecode::Int::Linear::LinBoolView< XV, YV >::c [protected]

Righthandside (constant part from Boolean views assigned to 1). Definition at line 875 of file linear.hh.

---

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

• gecode/int/linear.hh (Revision: 3604)
• gecode/int/linear/bool-view.icc (Revision: 3609)