Generated on Thu Apr 11 14:00:10 2019 for Gecode by doxygen 1.6.3

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

No-good literal for exclusion. More...

#include <branch.hh>

List of all members.

Public Member Functions

 ExcNGL (Space &home, SetView x, int n)
 Constructor for creation.
 ExcNGL (Space &home, 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 NGLcopy (Space &home)
 Create copy.

Detailed Description

No-good literal for exclusion.

Definition at line 319 of file branch.hh.


Constructor & Destructor Documentation

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

Constructor for creation.

Definition at line 44 of file ngl.hpp.

Gecode::Set::Branch::ExcNGL::ExcNGL ( Space home,
ExcNGL ngl 
) [inline]

Constructor for cloning ngl.

Definition at line 47 of file ngl.hpp.


Member Function Documentation

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 61 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 70 of file ngl.cpp.

NGL * Gecode::Set::Branch::ExcNGL::copy ( Space home  )  [virtual]

Create copy.

Implements Gecode::NGL.

Definition at line 57 of file ngl.cpp.


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