Generated on Sat Aug 25 2012 15:53:12 for Gecode by doxygen 1.7.5
Gecode::Int::Linear::ReLinBoolInt Class 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< Advisorco
 Council for single advisor.
ViewArray< VX > x
 Views.
int n_s
 Number of subscriptions.
int c
 Righthandside.
VB b
 Control variable.

Detailed Description

Baseclass for reified integer Boolean sum.


Constructor & Destructor Documentation

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

Constructor for cloning p.

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

Constructor for creation.

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


Member Function Documentation

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

Normalize by removing unused views.

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

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

Cost function (defined as high unary)

Implements Gecode::Propagator.

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

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

Delete propagator and return its size.

Reimplemented from Gecode::Actor.

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


Member Data Documentation

Council for single advisor.

Definition at line 905 of file linear.hh.

Views.

Definition at line 907 of file linear.hh.

Number of subscriptions.

Definition at line 909 of file linear.hh.

Righthandside.

Definition at line 911 of file linear.hh.

Control variable.

Definition at line 913 of file linear.hh.


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