Gecode::Int::Element::Int< V0, V1, Idx, Val > Class Template Reference
[Integer propagators]
Element propagator for array of integers More...
#include <element.hh>
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 Actor * | copy (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 ![]() | |
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. | |
IdxVal * | iv |
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
#include <gecode/int/element.hh>
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] |
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] |
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] |
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.
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] |
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] |
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.
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:
- gecode/int/element.hh (Revision: 10026)
- gecode/int/element/int.hpp (Revision: 9902)