Generated on Mon May 30 22:31:53 2016 for Gecode by doxygen 1.6.1

brancher.hpp File Reference

(Revision: 13644)

#include <deque>
#include <set>

Go to the source code of this file.

Namespaces

namespace  Gecode
 

Gecode toplevel namespace


namespace  Gecode::Int
 

Finite domain integers.


namespace  Gecode::Int::LDSB
 

Symmetry breaking for integer variables.


Functions

template<>
ModEvent Gecode::Int::LDSB::prune< Int::IntView > (Space &home, Int::IntView x, int v)
template<>
ModEvent Gecode::Int::LDSB::prune< Int::BoolView > (Space &home, Int::BoolView x, int v)