Generated on Wed Jan 4 17:49:22 2006 for Gecode by doxygen 1.4.6

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< BoolViewx
 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: