Gecode::Int::Branch::LqNGL< View > Class Template Reference

No-good literal for less or equal. More...

#include <branch.hh>

Public Member Functions
	LqNGL (Space &home, View x, int n)
	Constructor for creation.
	LqNGL (Space &home, LqNGL &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)
	Create copy.

Detailed Description

No-good literal for less or equal.

Definition at line 447 of file branch.hh.

template<class View >

Gecode::Int::Branch::LqNGL< View >::LqNGL	(	Space &	home,
		View	x,
		int	n
	)			`[inline]`

Constructor for creation.

Definition at line 94 of file ngl.hpp.

template<class View >

Gecode::Int::Branch::LqNGL< View >::LqNGL	(	Space &	home,
		LqNGL< View > &	ngl
	)			`[inline]`

Constructor for cloning ngl.

Definition at line 98 of file ngl.hpp.

template<class View >

NGL::Status Gecode::Int::Branch::LqNGL< View >::status ( const Space & home ) const [inline, virtual]

Test the status of the no-good literal.

Implements Gecode::NGL.

Definition at line 107 of file ngl.hpp.

template<class View >

ExecStatus Gecode::Int::Branch::LqNGL< View >::prune ( Space & home ) [inline, virtual]

Propagate the negation of the no-good literal.

Implements Gecode::NGL.

Definition at line 117 of file ngl.hpp.

template<class View >

NGL * Gecode::Int::Branch::LqNGL< View >::copy ( Space & home ) [inline, virtual]

Create copy.

Implements Gecode::NGL.

Definition at line 102 of file ngl.hpp.

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