No-good literal for inclusion. More...

#include <branch.hh>

Public Member Functions
	IncNGL (Space &home, SetView x, int n)
	Constructor for creation.
	IncNGL (Space &home, IncNGL &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.
Public Member Functions inherited from Gecode::ViewValNGL< SetView, int, PC_SET_ANY >
	ViewValNGL (Space &home, SetView x, int n)
	Initialize for propagator p with view x and value n.
virtual void	subscribe (Space &home, Propagator &p)
	Create subscription for no-good literal.
virtual void	cancel (Space &home, Propagator &p)
	Cancel subscription for no-good literal.
virtual void	reschedule (Space &home, Propagator &p)
	Schedule propagator p.
virtual size_t	dispose (Space &home)
	Dispose.
Public Member Functions inherited from Gecode::NGL
	NGL (void)
	Constructor for creation.
	NGL (Space &home)
	Constructor for creation.
	NGL (Space &home, NGL &ngl)
	Constructor for cloning ngl.
virtual bool	notice (void) const
	Whether dispose must always be called (returns false).
bool	leaf (void) const
	Test whether literal is a leaf.
NGL *	next (void) const
	Return pointer to next literal.
void	leaf (bool l)
	Mark literal as leaf or not.
void	next (NGL *n)
	Set pointer to next literal
NGL *	add (NGL *n, bool l)
	Add node n and mark it as leaf l and return n.
virtual	~NGL (void)
	To avoid warnings.

Additional Inherited Members
Public Types inherited from Gecode::NGL
enum	Status { FAILED , SUBSUMED , NONE }
	The status of a no-good literal. More...
static void *	operator new (size_t s, Space &home)
	Allocate memory from space.
static void	operator delete (void *s, Space &home)
	Return memory to space.
static void	operator delete (void *p)
	Needed for exceptions.
static void *	operator new (size_t s)
	Not used.
Protected Attributes inherited from Gecode::ViewValNGL< SetView, int, PC_SET_ANY >
SetView	x
	The stored view.
int	n
	The stored value.

Detailed Description

No-good literal for inclusion.

Definition at line 301 of file branch.hh.

Constructor & Destructor Documentation

Gecode::Set::Branch::IncNGL::IncNGL	(	Space &	home,
		SetView	x,
		int	n )

inline

Constructor for creation.

Definition at line 37 of file ngl.hpp.

Gecode::Set::Branch::IncNGL::IncNGL	(	Space &	home,
		IncNGL &	ngl )

inline

Constructor for cloning ngl.

Definition at line 40 of file ngl.hpp.

NGL::Status Gecode::Set::Branch::IncNGL::status ( const Space & home ) const

virtual

Test the status of the no-good literal.

Implements Gecode::NGL.

Definition at line 43 of file ngl.cpp.

ExecStatus Gecode::Set::Branch::IncNGL::prune ( Space & home )

virtual

Propagate the negation of the no-good literal.

Implements Gecode::NGL.

Definition at line 52 of file ngl.cpp.

NGL * Gecode::Set::Branch::IncNGL::copy ( Space & home )

virtual

Create copy.

Implements Gecode::NGL.

Definition at line 39 of file ngl.cpp.

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