Generated on Thu Mar 22 10:39:57 2012 for Gecode by doxygen 1.6.3

Gecode::Int::GCC::CardConst Class Reference

Constant view containing lower and upper cardinality bounds. More...

#include <view.hpp>

List of all members.

Public Member Functions

IntView base (void) const
 Return used IntView (cannot be used).

Static Public Attributes

static const bool propagate = false
 This view does not require propagation.

Initialization



 CardConst (void)
 Default constructor.
void init (Space &home, int min, int max, int c)
 Initialize with min, max, and cardinality c.

Value access



int min (void) const
 Return minimum of domain.
int max (void) const
 Return maximum of domain.
int card (void) const
 Return cardinality.
int counter (void) const
 Return the number of times the value occurs.

Domain tests

Test whether view is assigned



bool assigned (void) const

Domain update by value

Set counter to n



void counter (int n)
 Increment counter.
ModEvent inc (void)
 Increment counter.
ModEvent lq (Space &home, int n)
 Restrict domain values to be less or equal than n.
ModEvent gq (Space &home, int n)
 Restrict domain values to be greater or equal than n.
ModEvent eq (Space &home, int n)
 Restrict domain values to be equal to n.

Dependencies

Subscribe propagator p with propagation condition pc to view



void subscribe (Space &home, Propagator &p, PropCond pc, bool process=true)
 Cancel subscription of propagator p with propagation condition pc to view.
void cancel (Space &home, Propagator &p, PropCond pc)
 Cancel subscription of propagator p with propagation condition pc to view.

Cloning

Update this view to be a clone of view x



void update (Space &home, bool share, CardConst &x)

Detailed Description

Constant view containing lower and upper cardinality bounds.

Definition at line 68 of file view.hpp.


Constructor & Destructor Documentation

Gecode::Int::GCC::CardConst::CardConst ( void   )  [inline]

Default constructor.

Definition at line 216 of file view.hpp.


Member Function Documentation

void Gecode::Int::GCC::CardConst::init ( Space home,
int  min,
int  max,
int  c 
) [inline]

Initialize with min, max, and cardinality c.

Definition at line 218 of file view.hpp.

int Gecode::Int::GCC::CardConst::min ( void   )  const [inline]

Return minimum of domain.

Definition at line 223 of file view.hpp.

int Gecode::Int::GCC::CardConst::max ( void   )  const [inline]

Return maximum of domain.

Definition at line 227 of file view.hpp.

int Gecode::Int::GCC::CardConst::card ( void   )  const [inline]

Return cardinality.

Definition at line 231 of file view.hpp.

int Gecode::Int::GCC::CardConst::counter ( void   )  const [inline]

Return the number of times the value occurs.

Definition at line 235 of file view.hpp.

bool Gecode::Int::GCC::CardConst::assigned ( void   )  const [inline]

Definition at line 239 of file view.hpp.

void Gecode::Int::GCC::CardConst::counter ( int  n  )  [inline]

Increment counter.

Definition at line 245 of file view.hpp.

ModEvent Gecode::Int::GCC::CardConst::inc ( void   )  [inline]

Increment counter.

Definition at line 249 of file view.hpp.

ModEvent Gecode::Int::GCC::CardConst::lq ( Space home,
int  n 
) [inline]

Restrict domain values to be less or equal than n.

Definition at line 255 of file view.hpp.

ModEvent Gecode::Int::GCC::CardConst::gq ( Space home,
int  n 
) [inline]

Restrict domain values to be greater or equal than n.

Definition at line 261 of file view.hpp.

ModEvent Gecode::Int::GCC::CardConst::eq ( Space home,
int  n 
) [inline]

Restrict domain values to be equal to n.

Definition at line 267 of file view.hpp.

void Gecode::Int::GCC::CardConst::subscribe ( Space home,
Propagator p,
PropCond  pc,
bool  process = true 
) [inline]

Cancel subscription of propagator p with propagation condition pc to view.

Definition at line 274 of file view.hpp.

void Gecode::Int::GCC::CardConst::cancel ( Space home,
Propagator p,
PropCond  pc 
) [inline]

Cancel subscription of propagator p with propagation condition pc to view.

Definition at line 276 of file view.hpp.

void Gecode::Int::GCC::CardConst::update ( Space home,
bool  share,
CardConst x 
) [inline]

Definition at line 279 of file view.hpp.

IntView Gecode::Int::GCC::CardConst::base ( void   )  const [inline]

Return used IntView (cannot be used).

Definition at line 284 of file view.hpp.


Member Data Documentation

const bool Gecode::Int::GCC::CardConst::propagate = false [static]

This view does not require propagation.

Definition at line 80 of file view.hpp.


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