Generated on Tue Apr 18 10:23:48 2017 for Gecode by doxygen 1.6.3

Gecode::Int::Distinct::EqIte Class Reference
[Integer propagators]

Equal-if-then-else domain-consistent propagator. More...

#include <distinct.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 function (defined as high ternary).
virtual ExecStatus propagate (Space &home, const ModEventDelta &med)
 Perform propagation.

Static Public Member Functions

static ExecStatus post (Home home, IntView x0, IntView x1, int c0, int c1)
 Post if-then-else propagator.

Protected Member Functions

 EqIte (Space &home, bool share, EqIte &p)
 Constructor for cloning p.
 EqIte (Home home, IntView x0, IntView x1, int c0, int c1)
 Constructor for creation.

Protected Attributes

int c0
 The integer constant.
int c1

Detailed Description

Equal-if-then-else domain-consistent propagator.

Implements the propagator $x_1=(x_0 = c_0) ? c_1 : x_0$.

Requires

Definition at line 312 of file distinct.hh.


Constructor & Destructor Documentation

Gecode::Int::Distinct::EqIte::EqIte ( Space home,
bool  share,
EqIte p 
) [inline, protected]

Constructor for cloning p.

Definition at line 47 of file eqite.hpp.

Gecode::Int::Distinct::EqIte::EqIte ( Home  home,
IntView  x0,
IntView  x1,
int  c0,
int  c1 
) [inline, protected]

Constructor for creation.

Definition at line 43 of file eqite.hpp.


Member Function Documentation

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

Copy propagator during cloning.

Implements Gecode::Actor.

Definition at line 50 of file eqite.cpp.

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

Cost function (defined as high ternary).

Reimplemented from Gecode::BinaryPropagator< IntView, PC_INT_DOM >.

Definition at line 45 of file eqite.cpp.

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

Perform propagation.

Implements Gecode::Propagator.

Definition at line 55 of file eqite.cpp.

ExecStatus Gecode::Int::Distinct::EqIte::post ( Home  home,
IntView  x0,
IntView  x1,
int  c0,
int  c1 
) [inline, static]

Post if-then-else propagator.

Definition at line 53 of file eqite.hpp.


Member Data Documentation

The integer constant.

Definition at line 317 of file distinct.hh.

Definition at line 317 of file distinct.hh.


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