ldsb.hh File Reference
(Revision: 13622)
#include <gecode/int.hh>
#include <gecode/int/ldsb/brancher.hpp>
#include <gecode/int/ldsb/sym-imp.hpp>
Go to the source code of this file.
Classes | |
class | Gecode::Int::LDSB::Literal |
A Literal is a pair of variable index and value. More... | |
class | Gecode::ArrayTraits< ArgArray< VarImpBase * > > |
Traits of ArgArray<VarImpBase*> More... | |
class | Gecode::ArrayTraits< LiteralArgs > |
Traits of LiteralArgs. More... | |
class | Gecode::Int::LDSB::SymmetryObject |
Implementation of a symmetry at the modelling level. More... | |
class | Gecode::Int::LDSB::VariableSymmetryObject |
Implementation of a variable symmetry at the modelling level. More... | |
class | Gecode::Int::LDSB::ValueSymmetryObject |
Implementation of a value symmetry at the modelling level. More... | |
class | Gecode::Int::LDSB::VariableSequenceSymmetryObject |
Implementation of a variable sequence symmetry at the modelling level. More... | |
class | Gecode::Int::LDSB::ValueSequenceSymmetryObject |
Implementation of a value sequence symmetry at the modelling level. More... | |
class | Gecode::Int::LDSB::SymmetryImp< View > |
Implementation of a single symmetry. More... | |
class | Gecode::Int::LDSB::VariableSymmetryImp< View > |
Implementation of a variable symmetry. More... | |
class | Gecode::Int::LDSB::ValueSymmetryImp< View > |
Implementation of a value symmetry. More... | |
class | Gecode::Int::LDSB::VariableSequenceSymmetryImp< View > |
Implementation of a variable sequence symmetry. More... | |
class | Gecode::Int::LDSB::ValueSequenceSymmetryImp< View > |
Implementation of a value sequence symmetry. More... | |
class | Gecode::Int::LDSB::LDSBChoice< Val > |
Choice storing position and value, and symmetric literals to be excluded on the right branch. More... | |
class | Gecode::Int::LDSB::LDSBBrancher< View, n, Val, a > |
Symmetry-breaking brancher with generic view and value selection. More... | |
Namespaces | |
namespace | Gecode::Int::LDSB |
Symmetry breaking for integer variables. | |
namespace | Gecode |
Gecode toplevel namespace | |
namespace | Gecode::Int |
Finite domain integers. | |
Typedefs | |
typedef ArgArray < Int::LDSB::Literal > | Gecode::LiteralArgs |
An array of literals. | |
Functions | |
std::pair< int, int > | Gecode::Int::LDSB::findVar (int *indices, unsigned int n_values, unsigned int seq_size, int index) |
Find the location of an integer in a collection of sequences. | |
template<class View > | |
ModEvent | Gecode::Int::LDSB::prune (Space &home, View x, int v) |
Exclude value from variable view . |