Gecode::Set::Branch::ExcNGL Class Reference

No-good literal for exclusion. More...

#include <branch.hh>

Public Member Functions
	ExcNGL (Space &home, SetView x, int n)
	Constructor for creation.
	ExcNGL (Space &home, bool share, ExcNGL &ngl)
	Constructor for cloning ngl.
virtual NGL::Status	status (const Space &home) const
	Test the status of the no-good literal.
virtual ExecStatus	prune (Space &home)
	Propagate the negation of the no-good literal.
virtual NGL *	copy (Space &home, bool share)
	Create copy.

Detailed Description

No-good literal for exclusion.

Definition at line 300 of file branch.hh.

Gecode::Set::Branch::ExcNGL::ExcNGL	(	Space &	home,
		SetView	x,
		int	n
	)			`[inline]`

Constructor for creation.

Definition at line 48 of file ngl.hpp.

Gecode::Set::Branch::ExcNGL::ExcNGL	(	Space &	home,
		bool	share,
		ExcNGL &	ngl
	)			`[inline]`

Constructor for cloning ngl.

Definition at line 51 of file ngl.hpp.

NGL::Status Gecode::Set::Branch::ExcNGL::status ( const Space & home ) const [virtual]

Test the status of the no-good literal.

Implements Gecode::NGL.

Definition at line 65 of file ngl.cpp.

ExecStatus Gecode::Set::Branch::ExcNGL::prune ( Space & home ) [virtual]

Propagate the negation of the no-good literal.

Implements Gecode::NGL.

Definition at line 74 of file ngl.cpp.

NGL * Gecode::Set::Branch::ExcNGL::copy	(	Space &	home,
		bool	share
	)			`[virtual]`

Create copy.

Implements Gecode::NGL.

Definition at line 61 of file ngl.cpp.

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