Generated on Sat Feb 7 2015 02:01:47 for Gecode by doxygen 1.8.9.1
Gecode::Int::LDSB::LDSBChoice< Val > Class Template Reference

Choice storing position and value, and symmetric literals to be excluded on the right branch. More...

#include <ldsb.hh>

Public Member Functions

 LDSBChoice (const Brancher &b, unsigned int a, const Pos &p, const Val &n, const Literal *literals, int nliterals)
 Initialize choice for brancher b, position p, value n, and set of literals literals (of size nliterals) More...
 
 ~LDSBChoice (void)
 Destructor. More...
 
const Literalliterals (void) const
 Return literals. More...
 
int nliterals (void) const
 Return number of literals. More...
 
virtual size_t size (void) const
 Report size occupied. More...
 
virtual void archive (Archive &e) const
 Archive into e. More...
 
- Public Member Functions inherited from Gecode::PosValChoice< Val >
 PosValChoice (const Brancher &b, unsigned int a, const Pos &p, const Val &n)
 Initialize choice for brancher b, number of alternatives a, position p, and value n. More...
 
const Val & val (void) const
 Return value to branch with. More...
 
- Public Member Functions inherited from Gecode::PosChoice
 PosChoice (const Brancher &b, unsigned int a, const Pos &p)
 Initialize choice for brancher b, number of alternatives a, and position p. More...
 
const Pospos (void) const
 Return position in array. More...
 
- Public Member Functions inherited from Gecode::Choice
unsigned int alternatives (void) const
 Return number of alternatives. More...
 
virtual ~Choice (void)
 Destructor. More...
 

Additional Inherited Members

- Static Public Member Functions inherited from Gecode::Choice
static void * operator new (size_t)
 Allocate memory from heap. More...
 
static void operator delete (void *)
 Return memory to heap. More...
 
- Protected Member Functions inherited from Gecode::Choice
 Choice (const Brancher &b, const unsigned int a)
 Initialize for particular brancher b and alternatives a. More...
 

Detailed Description

template<class Val>
class Gecode::Int::LDSB::LDSBChoice< Val >

Choice storing position and value, and symmetric literals to be excluded on the right branch.

Definition at line 303 of file ldsb.hh.

Constructor & Destructor Documentation

template<class Val >
Gecode::Int::LDSB::LDSBChoice< Val >::LDSBChoice ( const Brancher b,
unsigned int  a,
const Pos p,
const Val &  n,
const Literal literals,
int  nliterals 
)
inline

Initialize choice for brancher b, position p, value n, and set of literals literals (of size nliterals)

Definition at line 63 of file brancher.hpp.

template<class Val >
Gecode::Int::LDSB::LDSBChoice< Val >::~LDSBChoice ( void  )

Destructor.

Definition at line 70 of file brancher.hpp.

Member Function Documentation

template<class Val >
const Literal * Gecode::Int::LDSB::LDSBChoice< Val >::literals ( void  ) const
inline

Return literals.

Definition at line 76 of file brancher.hpp.

template<class Val >
int Gecode::Int::LDSB::LDSBChoice< Val >::nliterals ( void  ) const
inline

Return number of literals.

Definition at line 80 of file brancher.hpp.

template<class Val >
size_t Gecode::Int::LDSB::LDSBChoice< Val >::size ( void  ) const
virtual

Report size occupied.

Reimplemented from Gecode::PosValChoice< Val >.

Definition at line 84 of file brancher.hpp.

template<class Val >
void Gecode::Int::LDSB::LDSBChoice< Val >::archive ( Archive e) const
virtual

Archive into e.

Reimplemented from Gecode::PosValChoice< Val >.

Definition at line 90 of file brancher.hpp.


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