Function pos

gecode/kernel/branch/view.hpp:113–114

* Position information * */

   *
   */
  forceinline
  Pos::Pos(int p) : pos(p) {}
  forceinline
  Pos::Pos(const Pos& p) : pos(p.pos) {}