Generated on Thu Apr 11 14:00:00 2019 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)
 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, 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 349 of file distinct.hh.


Constructor & Destructor Documentation

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

Constructor for cloning p.

Definition at line 43 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 39 of file eqite.hpp.


Member Function Documentation

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

Copy propagator during cloning.

Implements Gecode::Actor.

Definition at line 46 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 41 of file eqite.cpp.

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

Perform propagation.

Implements Gecode::Propagator.

Definition at line 51 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 49 of file eqite.hpp.


Member Data Documentation

The integer constant.

Definition at line 354 of file distinct.hh.

Definition at line 354 of file distinct.hh.


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