From 71eb8b4500ad745710c4f29dd9e97793cea43b0b Mon Sep 17 00:00:00 2001
From: graehl <graehl@ec762483-ff6d-05da-a07a-a48fb63a330f>
Date: Thu, 12 Aug 2010 01:21:10 +0000
Subject: decoder->utils

git-svn-id: https://ws10smt.googlecode.com/svn/trunk@533 ec762483-ff6d-05da-a07a-a48fb63a330f
---
 decoder/batched_append.h | 25 -------------------------
 1 file changed, 25 deletions(-)
 delete mode 100755 decoder/batched_append.h

(limited to 'decoder/batched_append.h')

diff --git a/decoder/batched_append.h b/decoder/batched_append.h
deleted file mode 100755
index 14a6d576..00000000
--- a/decoder/batched_append.h
+++ /dev/null
@@ -1,25 +0,0 @@
-#ifndef BATCHED_APPEND_H
-#define BATCHED_APPEND_H
-
-#include <algorithm> //swap
-#include <cstddef>
-
-template <class SRange,class Vector>
-void batched_append(Vector &v,SRange const& s) {
-  std::size_t news=v.size()+s.size();
-  v.reserve(news);
-  v.insert(v.end(),s.begin(),s.end());
-}
-
-template <class SRange,class Vector>
-void batched_append_swap(Vector &v,SRange & s) {
-  using namespace std; // to find the right swap
-  size_t i=v.size();
-  size_t news=i+s.size();
-  v.resize(news);
-  typename SRange::iterator si=s.begin();
-  for (;i<news;++i,++si)
-    swap(v[i],*si);
-}
-
-#endif
-- 
cgit v1.2.3