Method insert

gecode/int/branch/cbs.hpp:59–64

  template<class View>
  forceinline void
  CBSBrancher<View>::VarIdToPos::insert(unsigned int var_id,
                                             unsigned int pos) {
    static_cast<VarIdToPosO*>(object())
      ->_varIdToPos.insert(std::make_pair(var_id, pos));
  }

  template<class View>
  CBSBrancher<View>::CBSBrancher(Home home, ViewArray<View>& x0)