Generated on Sat Feb 7 2015 02:01:34 for Gecode by doxygen 1.8.9.1
brancher.hpp File Reference

(Revision: 13603)

Go to the source code of this file.

Namespaces

 Gecode
 Gecode toplevel namespace
 
 Gecode::Set
 Finite integer sets.
 
 Gecode::Set::LDSB
 Symmetry breaking for set variables.
 

Functions

template<class View >
ValueSymmetryImp< View > * Gecode::Set::LDSB::specialUpdate (Space &home, ValueSymmetryImp< View > *s, IntSet usedValues)
 Bulk update of a value symmetry s, using usedValues. More...