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)