Gecode::Search::Meta::NoNGL Class Reference

Class for a sentinel no-good literal. More...

#include <nogoods.hh>

Public Member Functions
	NoNGL (void)
	Constructor for creation.
	NoNGL (Space &home)
	Constructor for creation.
	NoNGL (Space &home, bool share, NoNGL &ngl)
	Constructor for cloning ngl.
virtual void	subscribe (Space &home, Propagator &p)
	Subscribe propagator p to all views of the no-good literal.
virtual void	cancel (Space &home, Propagator &p)
	Cancel propagator p from all views of the no-good literal.
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

Class for a sentinel no-good literal.

Definition at line 46 of file nogoods.hh.

Gecode::Search::Meta::NoNGL::NoNGL ( void ) [inline]

Constructor for creation.

Definition at line 92 of file nogoods.hh.

Gecode::Search::Meta::NoNGL::NoNGL ( Space & home ) [inline]

Constructor for creation.

Definition at line 95 of file nogoods.hh.

Gecode::Search::Meta::NoNGL::NoNGL	(	Space &	home,
		bool	share,
		NoNGL &	ngl
	)			`[inline]`

Constructor for cloning ngl.

Definition at line 99 of file nogoods.hh.

void Gecode::Search::Meta::NoNGL::subscribe	(	Space &	home,
		Propagator &	p
	)			`[virtual]`

Subscribe propagator p to all views of the no-good literal.

Implements Gecode::NGL.

Definition at line 53 of file nogoods.cpp.

void Gecode::Search::Meta::NoNGL::cancel	(	Space &	home,
		Propagator &	p
	)			`[virtual]`

Cancel propagator p from all views of the no-good literal.

Implements Gecode::NGL.

Definition at line 57 of file nogoods.cpp.

NGL::Status Gecode::Search::Meta::NoNGL::status ( const Space & home ) const [virtual]

Test the status of the no-good literal.

Implements Gecode::NGL.

Definition at line 61 of file nogoods.cpp.

ExecStatus Gecode::Search::Meta::NoNGL::prune ( Space & home ) [virtual]

Propagate the negation of the no-good literal.

Implements Gecode::NGL.

Definition at line 66 of file nogoods.cpp.

NGL * Gecode::Search::Meta::NoNGL::copy	(	Space &	home,
		bool	share
	)			`[virtual]`

Create copy.

Implements Gecode::NGL.

Definition at line 71 of file nogoods.cpp.

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