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). | |
| ~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. | |
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
| 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 | ) | [inline] |
Destructor.
Definition at line 70 of file brancher.hpp.
Member Function Documentation
| 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 [inline, 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 [inline, 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:
- gecode/int/ldsb.hh (Revision: 13622)
- gecode/int/ldsb/brancher.hpp (Revision: 13644)