Generated on Mon May 10 06:46:58 2010 for Gecode by doxygen 1.6.3

Gecode::Int::Element::Int< V0, V1, Idx, Val > Class Template Reference
[Integer propagators]

Element propagator for array of integers More...

#include <element.hh>

List of all members.

Classes

class  ByVal
 Sorting pointers to (index,value) pairs in value order. More...
class  IdxVal
 Linked index-value pairs. More...
class  IterIdx
 Value iterator for indices in index-value map. More...
class  IterVal
 Value iterator for values in index-value map. More...

Public Member Functions

virtual Actorcopy (Space &home, bool share)
 Perform copying during cloning.
virtual PropCost cost (const Space &home, const ModEventDelta &med) const
 Const function (defined as high binary).
virtual ExecStatus propagate (Space &home, const ModEventDelta &med)
 Perform propagation.
virtual size_t dispose (Space &home)
 Delete propagator and return its size.

Static Public Member Functions

static ExecStatus post (Home home, IntSharedArray &i, V0 x0, V1 x1)
 Post propagator for $i_{x_0}=x_1$.

Protected Member Functions

 Int (Space &home, bool shared, Int &p)
 Constructor for cloning p.
 Int (Home home, IntSharedArray &i, V0 x0, V1 x1)
 Constructor for creation.

Protected Attributes

V0 x0
 View for index.
V1 x1
 View for result.
IntSharedArray c
 Shared array of integer values.
IdxValiv
 The index-value data structure.

Detailed Description

template<class V0, class V1, class Idx, class Val>
class Gecode::Int::Element::Int< V0, V1, Idx, Val >

Element propagator for array of integers

Requires

Definition at line 60 of file element.hh.


Constructor & Destructor Documentation

template<class V0 , class V1 , class Idx , class Val >
Gecode::Int::Element::Int< V0, V1, Idx, Val >::Int ( Space home,
bool  shared,
Int< V0, V1, Idx, Val > &  p 
) [inline, protected]

Constructor for cloning p.

Definition at line 159 of file int.hpp.

template<class V0 , class V1 , class Idx , class Val >
Gecode::Int::Element::Int< V0, V1, Idx, Val >::Int ( Home  home,
IntSharedArray i,
V0  x0,
V1  x1 
) [inline, protected]

Constructor for creation.

Definition at line 128 of file int.hpp.


Member Function Documentation

template<class V0 , class V1 , class Idx , class Val >
Actor * Gecode::Int::Element::Int< V0, V1, Idx, Val >::copy ( Space home,
bool  share 
) [inline, virtual]

Perform copying during cloning.

Implements Gecode::Actor.

Definition at line 168 of file int.hpp.

template<class V0 , class V1 , class Idx , class Val >
PropCost Gecode::Int::Element::Int< V0, V1, Idx, Val >::cost ( const Space home,
const ModEventDelta med 
) const [inline, virtual]

Const function (defined as high binary).

Implements Gecode::Propagator.

Definition at line 174 of file int.hpp.

template<class V0 , class V1 , class Idx , class Val >
ExecStatus Gecode::Int::Element::Int< V0, V1, Idx, Val >::propagate ( Space home,
const ModEventDelta med 
) [inline, virtual]

Perform propagation.

Implements Gecode::Propagator.

Definition at line 180 of file int.hpp.

template<class V0 , class V1 , class Idx , class Val >
ExecStatus Gecode::Int::Element::Int< V0, V1, Idx, Val >::post ( Home  home,
IntSharedArray i,
V0  x0,
V1  x1 
) [inline, static]

Post propagator for $i_{x_0}=x_1$.

Definition at line 148 of file int.hpp.

template<class V0 , class V1 , class Idx , class Val >
size_t Gecode::Int::Element::Int< V0, V1, Idx, Val >::dispose ( Space home  )  [inline, virtual]

Delete propagator and return its size.

Reimplemented from Gecode::Actor.

Definition at line 137 of file int.hpp.


Member Data Documentation

template<class V0, class V1, class Idx, class Val>
V0 Gecode::Int::Element::Int< V0, V1, Idx, Val >::x0 [protected]

View for index.

Definition at line 133 of file element.hh.

template<class V0, class V1, class Idx, class Val>
V1 Gecode::Int::Element::Int< V0, V1, Idx, Val >::x1 [protected]

View for result.

Definition at line 135 of file element.hh.

template<class V0, class V1, class Idx, class Val>
IntSharedArray Gecode::Int::Element::Int< V0, V1, Idx, Val >::c [protected]

Shared array of integer values.

Definition at line 137 of file element.hh.

template<class V0, class V1, class Idx, class Val>
IdxVal* Gecode::Int::Element::Int< V0, V1, Idx, Val >::iv [protected]

The index-value data structure.

Definition at line 139 of file element.hh.


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