Generated on Sat Feb 7 2015 02:01:46 for Gecode by doxygen 1.8.9.1
Gecode::Int::Branch::GqNGL< View > Class Template Reference

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

#include <branch.hh>

Public Member Functions

 GqNGL (Space &home, View x, int n)
 Constructor for creation. More...
 
 GqNGL (Space &home, bool share, GqNGL &ngl)
 Constructor for cloning ngl. More...
 
virtual NGL::Status status (const Space &home) const
 Test the status of the no-good literal. More...
 
virtual ExecStatus prune (Space &home)
 Propagate the negation of the no-good literal. More...
 
virtual NGLcopy (Space &home, bool share)
 Create copy. More...
 
- Public Member Functions inherited from Gecode::ViewValNGL< View, int, PC_INT_BND >
 ViewValNGL (Space &home, View x, intn)
 Initialize for propagator p with view x and value n. More...
 
 ViewValNGL (Space &home, bool share, ViewValNGL &ngl)
 Constructor for cloning ngl. More...
 
virtual void subscribe (Space &home, Propagator &p)
 Create subscription for no-good literal. More...
 
virtual void cancel (Space &home, Propagator &p)
 Cancel subscription for no-good literal. More...
 
virtual size_t dispose (Space &home)
 Dispose. More...
 
- Public Member Functions inherited from Gecode::NGL
 NGL (void)
 Constructor for creation. More...
 
 NGL (Space &home)
 Constructor for creation. More...
 
 NGL (Space &home, bool share, NGL &ngl)
 Constructor for cloning ngl. More...
 
virtual bool notice (void) const
 Whether dispose must always be called (returns false) More...
 
bool leaf (void) const
 Test whether literal is a leaf. More...
 
NGLnext (void) const
 Return pointer to next literal. More...
 
void leaf (bool l)
 Mark literal as leaf or not. More...
 
void next (NGL *n)
 Set pointer to next literal More...
 
NGLadd (NGL *n, bool l)
 Add node n and mark it as leaf l and return n. More...
 

Additional Inherited Members

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

Detailed Description

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

No-good literal for greater or equal.

Definition at line 475 of file branch.hh.

Constructor & Destructor Documentation

template<class View >
Gecode::Int::Branch::GqNGL< View >::GqNGL ( Space home,
View  x,
int  n 
)
inline

Constructor for creation.

Definition at line 128 of file ngl.hpp.

template<class View >
Gecode::Int::Branch::GqNGL< View >::GqNGL ( Space home,
bool  share,
GqNGL< View > &  ngl 
)
inline

Constructor for cloning ngl.

Definition at line 132 of file ngl.hpp.

Member Function Documentation

template<class View >
NGL::Status Gecode::Int::Branch::GqNGL< View >::status ( const Space home) const
virtual

Test the status of the no-good literal.

Implements Gecode::NGL.

Definition at line 141 of file ngl.hpp.

template<class View >
ExecStatus Gecode::Int::Branch::GqNGL< View >::prune ( Space home)
virtual

Propagate the negation of the no-good literal.

Implements Gecode::NGL.

Definition at line 151 of file ngl.hpp.

template<class View >
NGL * Gecode::Int::Branch::GqNGL< View >::copy ( Space home,
bool  share 
)
virtual

Create copy.

Implements Gecode::NGL.

Definition at line 136 of file ngl.hpp.


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