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) | |
~LDSBChoice (void) | |
Destructor. | |
const Literal * | literals (void) const |
Return literals. | |
int | nliterals (void) const |
Return number of literals. | |
virtual size_t | size (void) const |
Report size occupied. | |
virtual void | archive (Archive &e) const |
Archive into e. |
Choice storing position and value, and symmetric literals to be excluded on the right branch.
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.
Gecode::Int::LDSB::LDSBChoice< Val >::~LDSBChoice | ( | void | ) |
Destructor.
Definition at line 70 of file brancher.hpp.
const Literal * Gecode::Int::LDSB::LDSBChoice< Val >::literals | ( | void | ) | const [inline] |
Return literals.
Definition at line 76 of file brancher.hpp.
int Gecode::Int::LDSB::LDSBChoice< Val >::nliterals | ( | void | ) | const [inline] |
Return number of literals.
Definition at line 80 of file brancher.hpp.
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.
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.