Ternary domain consistent distinct propagator. More...

#include <distinct.hh>

Public Member Functions
virtual ExecStatus	propagate (Space &home, const ModEventDelta &med)
	Perform propagation.
virtual Actor *	copy (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

 #include <gecode/int/distinct.hh>

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.

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: