Generated on Tue May 22 09:41:39 2018 for Gecode by doxygen 1.6.3

Gecode::Search::NoNGL Class Reference

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

#include <nogoods.hh>

List of all members.

Public Member Functions

 NoNGL (void)
 Constructor for creation.
 NoNGL (Space &home)
 Constructor for creation.
 NoNGL (Space &home, 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 reschedule (Space &home, Propagator &p)
 Schedule propagator p for 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 NGLcopy (Space &home)
 Create copy.

Detailed Description

Class for a sentinel no-good literal.

Definition at line 42 of file nogoods.hh.


Constructor & Destructor Documentation

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

Constructor for creation.

Definition at line 37 of file nogoods.hpp.

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

Constructor for creation.

Definition at line 40 of file nogoods.hpp.

Gecode::Search::NoNGL::NoNGL ( Space home,
NoNGL ngl 
) [inline]

Constructor for cloning ngl.

Definition at line 44 of file nogoods.hpp.


Member Function Documentation

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

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

Implements Gecode::NGL.

Definition at line 49 of file nogoods.cpp.

void Gecode::Search::NoNGL::reschedule ( Space home,
Propagator p 
) [virtual]

Schedule propagator p for all views of the no-good literal.

Implements Gecode::NGL.

Definition at line 57 of file nogoods.cpp.

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

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

Implements Gecode::NGL.

Definition at line 53 of file nogoods.cpp.

NGL::Status Gecode::Search::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::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::NoNGL::copy ( Space home  )  [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: