Generated on Thu Apr 11 13:59:28 2019 for Gecode by doxygen 1.6.3

ldsb.hh File Reference

#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, Filter, Print >
 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 , int n, class Val , unsigned int a>
void Gecode::Int::LDSB::postldsbbrancher (Home home, ViewArray< View > &x, ViewSel< View > *vs[n], ValSelCommitBase< View, Val > *vsc, SymmetryImp< View > **syms, int nsyms, BranchFilter< typename View::VarType > bf, VarValPrint< typename View::VarType, Val > vvp)
 Post LDSB brancher.
template<class View >
ModEvent Gecode::Int::LDSB::prune (Space &home, View x, int v)
 Exclude value from variable view .