Generated on Sat Feb 7 2015 02:01:42 for Gecode by doxygen 1.8.9.1
Gecode::ViewValNGL< View, Val, pc > Class Template Reference

View-value no-good literal. More...

#include <brancher-view-val.hpp>

Public Member Functions

 ViewValNGL (Space &home, View x, Val n)
 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 NGL::Status status (const Space &home) const =0
 Test the status of the no-good literal. More...
 
virtual ExecStatus prune (Space &home)=0
 Propagate the negation of the no-good literal. More...
 
virtual NGLcopy (Space &home, bool share)=0
 Create copy. 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...
 

Protected Attributes

View x
 The stored view. More...
 
Val n
 The stored value. 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...
 

Detailed Description

template<class View, class Val, PropCond pc>
class Gecode::ViewValNGL< View, Val, pc >

View-value no-good literal.

Definition at line 68 of file brancher-view-val.hpp.

Constructor & Destructor Documentation

template<class View, class Val, PropCond pc>
Gecode::ViewValNGL< View, Val, pc >::ViewValNGL ( Space home,
View  x,
Val  n 
)
inline

Initialize for propagator p with view x and value n.

Definition at line 187 of file brancher-view-val.hpp.

template<class View, class Val, PropCond pc>
Gecode::ViewValNGL< View, Val, pc >::ViewValNGL ( Space home,
bool  share,
ViewValNGL< View, Val, pc > &  ngl 
)
inline

Constructor for cloning ngl.

Definition at line 192 of file brancher-view-val.hpp.

Member Function Documentation

template<class View , class Val , PropCond pc>
void Gecode::ViewValNGL< View, Val, pc >::subscribe ( Space home,
Propagator p 
)
virtual

Create subscription for no-good literal.

Implements Gecode::NGL.

Definition at line 199 of file brancher-view-val.hpp.

template<class View , class Val , PropCond pc>
void Gecode::ViewValNGL< View, Val, pc >::cancel ( Space home,
Propagator p 
)
virtual

Cancel subscription for no-good literal.

Implements Gecode::NGL.

Definition at line 205 of file brancher-view-val.hpp.

template<class View , class Val , PropCond pc>
size_t Gecode::ViewValNGL< View, Val, pc >::dispose ( Space home)
virtual

Dispose.

Reimplemented from Gecode::NGL.

Definition at line 211 of file brancher-view-val.hpp.

Member Data Documentation

template<class View, class Val, PropCond pc>
View Gecode::ViewValNGL< View, Val, pc >::x
protected

The stored view.

Definition at line 71 of file brancher-view-val.hpp.

template<class View, class Val, PropCond pc>
Val Gecode::ViewValNGL< View, Val, pc >::n
protected

The stored value.

Definition at line 73 of file brancher-view-val.hpp.


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