Generated on Fri Oct 19 11:26:07 2018 for Gecode by doxygen 1.6.3

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

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

#include <branch.hh>

List of all members.

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 NGLcopy (Space &home)
 Create copy.

Detailed Description

template<class View>
class Gecode::Int::Branch::LqNGL< View >

No-good literal for less or equal.

Definition at line 447 of file branch.hh.


Constructor & Destructor Documentation

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.


Member Function Documentation

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: