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

Ternary domain consistent distinct propagator. More...

#include <distinct.hh>

List of all members.

Public Member Functions

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

Static Public Member Functions

static ExecStatus post (Home home, View x0, View x1, View x2)
 Post propagator for views x.

Protected Member Functions

 TerDom (Space &home, bool share, TerDom< View > &p)
 Constructor for cloning p.
 TerDom (Home home, View x0, View x1, View x2)
 Constructor for posting.

Detailed Description

Ternary domain consistent distinct propagator.

Requires


Constructor & Destructor Documentation

Gecode::Int::Distinct::TerDom::TerDom ( Space home,
bool  share,
TerDom< View > &  p 
) [inline, protected]

Constructor for cloning p.

Definition at line 60 of file ter-dom.hpp.

Gecode::Int::Distinct::TerDom::TerDom ( Home  home,
View  x0,
View  x1,
View  x2 
) [inline, protected]

Constructor for posting.

Definition at line 48 of file ter-dom.hpp.


Member Function Documentation

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

Perform propagation.

Definition at line 97 of file ter-dom.hpp.

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

Copy propagator during cloning.

Definition at line 65 of file ter-dom.hpp.

ExecStatus Gecode::Int::Distinct::TerDom::post ( Home  home,
View  x0,
View  x1,
View  x2 
) [static]

Post propagator for views x.

Definition at line 53 of file ter-dom.hpp.


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