Generated on Tue Sep 25 2012 20:53:31 for Gecode by doxygen 1.7.5
Gecode::Int::Linear::LinBoolInt Class Reference

Baseclass for 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.
 LinBoolInt (Space &home, bool share, LinBoolInt &p)
 Constructor for cloning p.
 LinBoolInt (Home home, ViewArray< VX > &x, int n_s, int c)
 Constructor for creation.

Protected Attributes

Council< Advisorco
 Council for managing single advisor.
ViewArray< VX > x
 Boolean views.
int n_as
 Number of active subscriptions.
int n_hs
 Number of views that have or had subscriptions.
int c
 Righthandside.

Detailed Description

Baseclass for integer Boolean sum.


Constructor & Destructor Documentation

Gecode::Int::Linear::LinBoolInt::LinBoolInt ( Space home,
bool  share,
LinBoolInt p 
) [protected]

Constructor for cloning p.

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

Constructor for creation.

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


Member Function Documentation

void Gecode::Int::Linear::LinBoolInt::normalize ( void  ) [inline, protected]

Normalize by removing unused views.

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

PropCost Gecode::Int::Linear::LinBoolInt::cost ( const Space home,
const ModEventDelta med 
) const [virtual]

Cost function (defined as high unary)

Implements Gecode::Propagator.

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

size_t Gecode::Int::Linear::LinBoolInt::dispose ( Space home) [inline, virtual]

Delete propagator and return its size.

Reimplemented from Gecode::Actor.

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


Member Data Documentation

Council for managing single advisor.

Definition at line 782 of file linear.hh.

Boolean views.

Definition at line 784 of file linear.hh.

Number of active subscriptions.

Definition at line 786 of file linear.hh.

Number of views that have or had subscriptions.

Definition at line 788 of file linear.hh.

Righthandside.

Definition at line 790 of file linear.hh.


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