Gecode::Int::Linear::ReLinBoolInt< VX, VB > Class Template Reference

Baseclass for reified integer Boolean sum. More...

#include <linear.hh>

List of all members.

Public Member Functions
virtual PropCost	cost (const Space &home, const ModEventDelta &med) const
	Cost function (defined as high unary).
virtual size_t	dispose (Space &home)
	Delete propagator and return its size.
Protected Member Functions
void	normalize (void)
	Normalize by removing unused views.
	ReLinBoolInt (Space &home, bool share, ReLinBoolInt &p)
	Constructor for cloning p.
	ReLinBoolInt (Home home, ViewArray< VX > &x, int c, VB b)
	Constructor for creation.
Protected Attributes
Council< Advisor >	co
	Council for single advisor.
ViewArray< VX >	x
	Views.
int	n_s
	Number of subscriptions.
int	c
	Righthandside.
VB	b
	Control variable.

---

Detailed Description

template<class VX, class VB>
class Gecode::Int::Linear::ReLinBoolInt< VX, VB >

Baseclass for reified integer Boolean sum.

Definition at line 920 of file linear.hh.

---

Constructor & Destructor Documentation

template<class VX , class VB >

Gecode::Int::Linear::ReLinBoolInt< VX, VB >::ReLinBoolInt	(	Space &	home,
		bool	share,
		ReLinBoolInt< VX, VB > &	p
	)			[inline, protected]

Constructor for cloning p.

Definition at line 522 of file bool-int.hpp.

template<class VX , class VB >

Gecode::Int::Linear::ReLinBoolInt< VX, VB >::ReLinBoolInt	(	Home	home,
		ViewArray< VX > &	x,
		int	c,
		VB	b
	)			[inline, protected]

Constructor for creation.

Definition at line 500 of file bool-int.hpp.

---

Member Function Documentation

template<class VX , class VB >

void Gecode::Int::Linear::ReLinBoolInt< VX, VB >::normalize

(

void

)

[inline, protected]

Normalize by removing unused views.

Definition at line 509 of file bool-int.hpp.

template<class VX , class VB >

PropCost Gecode::Int::Linear::ReLinBoolInt< VX, VB >::cost	(	const Space &	home,
		const ModEventDelta &	med
	)			const [inline, virtual]

Cost function (defined as high unary).

Implements Gecode::Propagator.

Definition at line 544 of file bool-int.hpp.

template<class VX , class VB >

size_t Gecode::Int::Linear::ReLinBoolInt< VX, VB >::dispose

(

Space &

home

)

[inline, virtual]

Delete propagator and return its size.

Reimplemented from Gecode::Actor.

Definition at line 533 of file bool-int.hpp.

---

Member Data Documentation

template<class VX, class VB>

Council<Advisor> Gecode::Int::Linear::ReLinBoolInt< VX, VB >::co [protected]

Council for single advisor.

Definition at line 923 of file linear.hh.

template<class VX, class VB>

ViewArray<VX> Gecode::Int::Linear::ReLinBoolInt< VX, VB >::x [protected]

Views.

Definition at line 925 of file linear.hh.

template<class VX, class VB>

int Gecode::Int::Linear::ReLinBoolInt< VX, VB >::n_s [protected]

Number of subscriptions.

Definition at line 927 of file linear.hh.

template<class VX, class VB>

int Gecode::Int::Linear::ReLinBoolInt< VX, VB >::c [protected]

Righthandside.

Definition at line 929 of file linear.hh.

template<class VX, class VB>

VB Gecode::Int::Linear::ReLinBoolInt< VX, VB >::b [protected]

Control variable.

Definition at line 931 of file linear.hh.

---

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

• gecode/int/linear.hh (Revision: 15137)
• gecode/int/linear/bool-int.hpp (Revision: 15137)