Generated on Sat Aug 25 2012 15:53:12 for Gecode by doxygen 1.7.5
Gecode::Int::Element::Int Class Reference

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  IterIdxUnmark
 Value iterator for indices in index-value map. More...
class  IterVal
 Value iterator for values in index-value map. More...
class  IterValUnmark
 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 Types

typedef
Gecode::Support::IntTypeTraits
< Idx >::utype 
IdxSize
 Type for index size.
typedef
Gecode::Support::IntTypeTraits
< Val >::utype 
ValSize
 Type for value size.

Protected Member Functions

void prune_idx (void)
 Prune index according to x0.
void prune_val (void)
 Prune values according to x1.
 Int (Space &home, bool shared, Int &p)
 Constructor for cloning p.
 Int (Home home, IntSharedArray &i, V0 x0, V1 x1)
 Constructor for creation.

Static Protected Member Functions

static ExecStatus assigned_val (Space &home, IntSharedArray &c, V0 x0, V1 x1)
 Prune when x1 is assigned.

Protected Attributes

V0 x0
 View for index.
IdxSize s0
 Size of x0 at last execution.
V1 x1
 View for result.
ValSize s1
 Size of x1 at last execution.
IntSharedArray c
 Shared array of integer values.
IdxValiv
 The index-value data structure.

Detailed Description

Element propagator for array of integers

Requires


Member Typedef Documentation

Type for index size.

Definition at line 157 of file element.hh.

Type for value size.

Definition at line 163 of file element.hh.


Constructor & Destructor Documentation

Gecode::Int::Element::Int::Int ( Space home,
bool  shared,
Int p 
) [inline, protected]

Constructor for cloning p.

Definition at line 195 of file int.hpp.

Gecode::Int::Element::Int::Int ( Home  home,
IntSharedArray i,
V0  x0,
V1  x1 
) [inline, protected]

Constructor for creation.

Definition at line 162 of file int.hpp.


Member Function Documentation

void Gecode::Int::Element::Int::prune_idx ( void  ) [protected]

Prune index according to x0.

Definition at line 220 of file int.hpp.

void Gecode::Int::Element::Int::prune_val ( void  ) [protected]

Prune values according to x1.

Definition at line 242 of file int.hpp.

ExecStatus Gecode::Int::Element::Int::assigned_val ( Space home,
IntSharedArray c,
V0  x0,
V1  x1 
) [static, protected]

Prune when x1 is assigned.

Definition at line 265 of file int.hpp.

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

Perform copying during cloning.

Implements Gecode::Actor.

Definition at line 204 of file int.hpp.

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

Const function (defined as high binary)

Implements Gecode::Propagator.

Definition at line 210 of file int.hpp.

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

Perform propagation.

Implements Gecode::Propagator.

Definition at line 280 of file int.hpp.

ExecStatus Gecode::Int::Element::Int::post ( Home  home,
IntSharedArray i,
V0  x0,
V1  x1 
) [static]

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

Definition at line 182 of file int.hpp.

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

Delete propagator and return its size.

Reimplemented from Gecode::Actor.

Definition at line 171 of file int.hpp.


Member Data Documentation

View for index.

Definition at line 155 of file element.hh.

Size of x0 at last execution.

Definition at line 159 of file element.hh.

View for result.

Definition at line 161 of file element.hh.

Size of x1 at last execution.

Definition at line 165 of file element.hh.

Shared array of integer values.

Definition at line 167 of file element.hh.

The index-value data structure.

Definition at line 169 of file element.hh.


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