Generated on Tue Sep 25 2012 20:53:30 for Gecode by doxygen 1.7.5
Gecode::Int::GCC::Val Class Reference

Value consistent global cardinality propagator. More...

#include <gcc.hh>

List of all members.

Public Member Functions

virtual Actorcopy (Space &home, bool share)
 Copy propagator during cloning.
virtual PropCost cost (const Space &home, const ModEventDelta &med) const
 Cost funtion returning high linear.
virtual ExecStatus propagate (Space &home, const ModEventDelta &med)
 Perform propagation.
virtual size_t dispose (Space &home)
 Destructor.

Static Public Member Functions

static ExecStatus post (Home home, ViewArray< IntView > &x, ViewArray< Card > &k)
 Post propagator for views x and cardinalities k.

Protected Member Functions

 Val (Home home, ViewArray< IntView > &x, ViewArray< Card > &k)
 Constructor for posting.
 Val (Space &home, bool share, Val< Card > &p)
 Constructor for cloning p.

Protected Attributes

ViewArray< IntViewx
 Views on which to perform value-propagation.
ViewArray< Card > k
 Array containing either fixed cardinalities or CardViews.

Detailed Description

Value consistent global cardinality propagator.

Requires

 #include <gecode/int/gcc.hh> 

Constructor & Destructor Documentation

Gecode::Int::GCC::Val::Val ( Home  home,
ViewArray< IntView > &  x,
ViewArray< Card > &  k 
) [inline, protected]

Constructor for posting.

Definition at line 47 of file val.hpp.

Gecode::Int::GCC::Val::Val ( Space home,
bool  share,
Val< Card > &  p 
) [inline, protected]

Constructor for cloning p.

Definition at line 56 of file val.hpp.


Member Function Documentation

Actor * Gecode::Int::GCC::Val::copy ( Space home,
bool  share 
) [virtual]

Copy propagator during cloning.

Implements Gecode::Actor.

Definition at line 73 of file val.hpp.

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

Cost funtion returning high linear.

Implements Gecode::Propagator.

Definition at line 79 of file val.hpp.

ExecStatus Gecode::Int::GCC::Val::propagate ( Space home,
const ModEventDelta med 
) [virtual]

Perform propagation.

Implements Gecode::Propagator.

Definition at line 278 of file val.hpp.

size_t Gecode::Int::GCC::Val::dispose ( Space home) [inline, virtual]

Destructor.

Reimplemented from Gecode::Actor.

Definition at line 64 of file val.hpp.

ExecStatus Gecode::Int::GCC::Val::post ( Home  home,
ViewArray< IntView > &  x,
ViewArray< Card > &  k 
) [static]

Post propagator for views x and cardinalities k.

Definition at line 284 of file val.hpp.


Member Data Documentation

Views on which to perform value-propagation.

Definition at line 70 of file gcc.hh.

Array containing either fixed cardinalities or CardViews.

Definition at line 72 of file gcc.hh.


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