main page modules namespaces classes files
Gecode home

Gecode::Int::Linear::LinBool< View > Class Template Reference

#include <linear.hh>

Inherits Gecode::Propagator.

Inherited by Gecode::Int::Linear::EqBool< View >, Gecode::Int::Linear::GqBool< View >, Gecode::Int::Linear::LqBool< View >, and Gecode::Int::Linear::NqBool< View >.

List of all members.

---

Detailed Description

template<class View>
class Gecode::Int::Linear::LinBool< View >

Base-class for Boolean linear propagators.

Definition at line 703 of file linear.hh.

Public Member Functions
virtual PropCost	cost (void) const
	Cost function (defined as dynamic PC_LINEAR_LO).
virtual	~LinBool (void)
	Destructor.
Protected Member Functions
void	eliminate (void)
	Eliminate assigned Boolean views.
void	all_one (Space *home)
	Post that all remaining Boolean views must be one.
void	all_zero (Space *home)
	Post that all remaining Boolean views must be zero.
	LinBool (Space *home, bool share, LinBool &p)
	Constructor for cloning p.
	LinBool (Space *home, ViewArray< BoolView > &x, int n, View y)
	Constructor for creation.
Protected Attributes
ViewArray< BoolView >	x
	Boolean views.
int	n
	Number of Boolean views assigned to 1.
View	y
	View to compare number of assigned Boolean views to.

---

Constructor & Destructor Documentation

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

Constructor for cloning p. Definition at line 43 of file bool.icc.

template<class View> Gecode::Int::Linear::LinBool< View >::LinBool (  Space *  home, ViewArray< BoolView > &  x, int  n, View  y )  [protected]

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

template<class View> Gecode::Int::Linear::LinBool< View >::~LinBool (  void   )  [virtual]

Destructor. Definition at line 36 of file bool.icc.

---

Member Function Documentation

template<class View> void Gecode::Int::Linear::LinBool< View >::eliminate (  void   )  [protected]

Eliminate assigned Boolean views. Definition at line 57 of file bool.icc.

template<class View> void Gecode::Int::Linear::LinBool< View >::all_one (  Space *  home  )  [protected]

Post that all remaining Boolean views must be one. Definition at line 70 of file bool.icc.

template<class View> void Gecode::Int::Linear::LinBool< View >::all_zero (  Space *  home  )  [protected]

Post that all remaining Boolean views must be zero. Definition at line 77 of file bool.icc.

template<class View> PropCost Gecode::Int::Linear::LinBool< View >::cost (  void   )  const [virtual]

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

---

Member Data Documentation

template<class View> ViewArray<BoolView> Gecode::Int::Linear::LinBool< View >::x [protected]

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

template<class View> int Gecode::Int::Linear::LinBool< View >::n [protected]

Number of Boolean views assigned to 1. Definition at line 708 of file linear.hh.

template<class View> View Gecode::Int::Linear::LinBool< View >::y [protected]

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

---

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

• int/linear.hh (Revision: 2467)
• int/linear/bool.icc (Revision: 2121)