Gecode::Int::Rel::NqSubsume< View > Class Template Reference

#include <GC_Nq_Subsume.hh>

Detailed Description

Definition at line 34 of file GC_Nq_Subsume.hh.


Public Member Functions
virtual Actor *	copy (Space *home, bool share)
virtual PropCost	cost (void) const
virtual ExecStatus	propagate (Space *home)
Static Public Member Functions
static ExecStatus	post (Space *home, View x0, View x1, unsigned int maxCheckSize_=Limits::Int::int_max)
Protected Member Functions
	NqSubsume (Space *home, View x0, View x1, unsigned int maxCheckSize_)
	NqSubsume (Space *home, bool share, NqSubsume< View > &p)
Protected Attributes
unsigned int	maxCheckSize

template<class View>

forceinline Gecode::Int::Rel::NqSubsume< View >::NqSubsume	(	Space *	home,
		bool	share,
		NqSubsume< View > &	p
	)			`[inline, protected]`

Constructor for cloning p.

Definition at line 80 of file GC_Nq_Subsume.hh.

template<class View>

forceinline Gecode::Int::Rel::NqSubsume< View >::NqSubsume	(	Space *	home,
		View	x0,
		View	x1,
		unsigned int	maxCheckSize_
	)			`[inline, protected]`

Constructor for posting.

Definition at line 59 of file GC_Nq_Subsume.hh.

template<class View>

forceinline Actor * Gecode::Int::Rel::NqSubsume< View >::copy	(	Space *	home,
		bool	share
	)			`[inline, virtual]`

Copy propagator during cloning.

Definition at line 86 of file GC_Nq_Subsume.hh.

template<class View>

forceinline PropCost Gecode::Int::Rel::NqSubsume< View >::cost ( void ) const [inline, virtual]

Cost function (defined as PC_UNARY_LO).

Definition at line 93 of file GC_Nq_Subsume.hh.

template<class View>

forceinline ExecStatus Gecode::Int::Rel::NqSubsume< View >::post	(	Space *	home,
		View	x0,
		View	x1,
		unsigned int	maxCheckSize_ = `Limits::Int::int_max`
	)			`[inline, static]`

Post propagator $x_0\neq x_1$ .

Definition at line 65 of file GC_Nq_Subsume.hh.

template<class View>

forceinline ExecStatus Gecode::Int::Rel::NqSubsume< View >::propagate ( Space * home ) [inline, virtual]

Perform propagation.

Definition at line 100 of file GC_Nq_Subsume.hh.

template<class View>

unsigned int Gecode::Int::Rel::NqSubsume< View >::maxCheckSize [protected]

Definition at line 38 of file GC_Nq_Subsume.hh.

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