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

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>

List of all members.

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).
 ~LDSBChoice (void)
 Destructor.
const Literalliterals (void) const
 Return literals.
int nliterals (void) const
 Return number of literals.
virtual void archive (Archive &e) const
 Archive into e.

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 301 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 59 of file brancher.hpp.

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

Destructor.

Definition at line 66 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 72 of file brancher.hpp.

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

Return number of literals.

Definition at line 76 of file brancher.hpp.

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

Archive into e.

Reimplemented from Gecode::PosValChoice< Val >.

Definition at line 80 of file brancher.hpp.


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