Generated on Thu Jul 6 07:07:04 2006 for Gecode by doxygen 1.4.7

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