Propagator for negated equality More...

#include <rel.hh>

Public Member Functions
virtual Actor *	copy (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.

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.

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: