Method isIn

gecode/int/branch/cbs.hpp:46–50

  template<class View>
  forceinline bool
  CBSBrancher<View>::VarIdToPos::isIn(unsigned int var_id) const {
    auto *hm = &static_cast<VarIdToPosO*>(object())->_varIdToPos;
    return hm->find(var_id) != hm->end();
  }

  template<class View>
  forceinline int