From fbfc078e9f44c1c1e95c9c484f1d5650bcf631b7 Mon Sep 17 00:00:00 2001
From: Benji Dial <benji@benjidial.net>
Date: Sat, 27 Jul 2024 16:57:39 -0400
Subject: lots and lots of userspace stuff

---
 euler/include/vector | 61 +---------------------------------------------------
 1 file changed, 1 insertion(+), 60 deletions(-)

(limited to 'euler/include/vector')

diff --git a/euler/include/vector b/euler/include/vector
index f5083ed..2184475 100644
--- a/euler/include/vector
+++ b/euler/include/vector
@@ -1,62 +1,3 @@
 #pragma once
 
-#include <stddef.h>
-#include <utility>
-
-namespace std {
-
-  template <class t>
-  class vector {
-
-    t *buffer;
-    size_t buffer_length;//always positive
-    size_t count;
-
-  public:
-    vector() : buffer(new t[16]), buffer_length(16), count(0) {}
-
-    ~vector() {
-      delete[] buffer;
-    }
-
-    t &operator[](size_t pos) {
-      return buffer[pos];
-    }
-
-    const t &operator[](size_t pos) const {
-      return buffer[pos];
-    }
-
-    t *data() {
-      return buffer;
-    }
-
-    const t *data() const {
-      return buffer;
-    }
-
-    size_t size() const {
-      return count;
-    }
-
-    void reserve(size_t new_length) {
-      if (new_length <= buffer_length)
-        return;
-      t *new_buffer = new t[new_length];
-      for (size_t i = 0; i < count; ++i)
-        new_buffer[i] = std::move(buffer[i]);
-      delete[] buffer;
-      buffer = new_buffer;
-      buffer_length = new_length;
-    }
-
-    void push_back(t &&value) {
-      if (count == buffer_length)
-        reserve(count * 2);
-      buffer[count++] = std::move(value);
-    }
-
-    //TODO
-  };
-
-}
+#include <std/vector.hpp>
-- 
cgit v1.2.3