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 756 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
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 47 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.

---

Member Function Documentation

template<class View>

void Gecode::Int::Linear::LinBool< View >::eliminate

(

void

)

[protected]

Eliminate assigned Boolean views.

Definition at line 61 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 74 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 81 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 55 of file bool.icc.

template<class View>

size_t Gecode::Int::Linear::LinBool< View >::dispose

(

Space *

home

)

[virtual]

Delete propagator and return its size.

Reimplemented from Gecode::Actor.

Definition at line 37 of file bool.icc.

---

Member Data Documentation

template<class View>

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

Boolean views.

Definition at line 759 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 761 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 763 of file linear.hh.

---

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

• gecode/int/linear.hh (Revision: 3309)
• gecode/int/linear/bool.icc (Revision: 3309)