Generated on Fri Oct 19 11:25:26 2018 for Gecode by doxygen 1.6.3

view-values.hpp File Reference

Go to the source code of this file.


class  Gecode::Int::Branch::PosValuesChoice
 Choice storing position and values for integer views More...


namespace  Gecode

Gecode toplevel namespace

namespace  Gecode::Int

Finite domain integers.

namespace  Gecode::Int::Branch

Integer branchers.


template<int n, bool min>
void Gecode::Int::Branch::postviewvaluesbrancher (Home home, ViewArray< IntView > &x, ViewSel< IntView > *vs[n], IntBranchFilter bf, IntVarValPrint vvp)
 Post brancher for view and values.