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

Gecode::Int::Distinct::TerDom< View > Class Template Reference
[Integer propagators]

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

template<class View>
class Gecode::Int::Distinct::TerDom< View >

Ternary domain consistent distinct propagator.

Requires

Definition at line 285 of file distinct.hh.


Constructor & Destructor Documentation

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

Constructor for cloning p.

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

template<class View >
Gecode::Int::Distinct::TerDom< View >::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

template<class View >
ExecStatus Gecode::Int::Distinct::TerDom< View >::propagate ( Space home,
const ModEventDelta med 
) [inline, virtual]

Perform propagation.

Implements Gecode::Propagator.

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

template<class View >
Actor * Gecode::Int::Distinct::TerDom< View >::copy ( Space home,
bool  share 
) [inline, virtual]

Copy propagator during cloning.

Implements Gecode::Actor.

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

template<class View >
ExecStatus Gecode::Int::Distinct::TerDom< View >::post ( Home  home,
View  x0,
View  x1,
View  x2 
) [inline, 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: