Generated on Sat Aug 25 2012 15:53:14 for Gecode by doxygen 1.7.5
Gecode::Set::Rel::DistinctDoit Class Reference

Propagator for negated equality More...

#include <rel.hh>

List of all members.

Public Member Functions

virtual Actorcopy (Space &home, bool)
 Copy propagator during cloning.
virtual ExecStatus propagate (Space &home, const ModEventDelta &med)
 Perform propagation.

Static Public Member Functions

static ExecStatus post (Home home, View0, ConstSetView)
 Post propagator $ x\neq y $.

Protected Member Functions

 DistinctDoit (Space &home, bool share, DistinctDoit &)
 Constructor for cloning p.
 DistinctDoit (Home home, View0, ConstSetView)
 Constructor for posting.

Protected Attributes

ConstSetView y
 The view that is already assigned.

Detailed Description

Propagator for negated equality

This propagator actually propagates the distinctness, after the Distinct propagator waited for one variable to become assigned.

Requires

 #include <gecode/set/rel.hh> 

Constructor & Destructor Documentation

Gecode::Set::Rel::DistinctDoit::DistinctDoit ( Space home,
bool  share,
DistinctDoit  
) [protected]

Constructor for cloning p.

Gecode::Set::Rel::DistinctDoit::DistinctDoit ( Home  home,
View0  _x,
ConstSetView  _y 
) [inline, protected]

Constructor for posting.

Definition at line 147 of file nq.hpp.


Member Function Documentation

Actor * Gecode::Set::Rel::DistinctDoit::copy ( Space home,
bool  share 
) [virtual]

Copy propagator during cloning.

Definition at line 108 of file nq.hpp.

ExecStatus Gecode::Set::Rel::DistinctDoit::propagate ( Space home,
const ModEventDelta med 
) [virtual]

Perform propagation.

Definition at line 114 of file nq.hpp.

ExecStatus Gecode::Set::Rel::DistinctDoit::post ( Home  home,
View0  x,
ConstSetView  y 
) [static]

Post propagator $ x\neq y $.

Definition at line 101 of file nq.hpp.


Member Data Documentation

The view that is already assigned.

Definition at line 294 of file rel.hh.


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