Vector (const) view

src/common/View.h

@@ -0,0 +1,28 @@
+#ifndef OPENSMT_VIEW_H
+#define OPENSMT_VIEW_H
+
+#include <ranges>
+
+namespace opensmt {
+
+template<typename V>
+class VectorView : public std::ranges::view_interface<VectorView<V>> {
+public:
+    using Vector = V;
+    using Iterator = typename Vector::const_iterator;
+
+    VectorView() = default;
+    VectorView(Vector const & vec) : VectorView(vec.cbegin(), vec.cend()) {}
+    VectorView(Iterator begin_, Iterator end_) : _begin(begin_), _end(end_) {}
+
+    Iterator begin() const { return _begin; }
+    Iterator end() const { return _end; }
+
+private:
+    Iterator _begin{};
+    Iterator _end{};
+};
+
+} // namespace opensmt
+
+#endif // OPENSMT_VIEW_H

src/minisat/mtl/Vec.h

@@ -52,6 +52,10 @@ class vec {
     static inline void nextCap(int& cap){ cap += ((cap >> 1) + 2) & ~1; }
 
 public:
+    // types for STL compatibility
+    using iterator = T *;
+    using const_iterator = T const *;
+
     // Constructors:
     vec()                       : data(NULL) , sz(0)   , cap(0)    { }
     explicit vec(int size)      : data(NULL) , sz(0)   , cap(0)    { growTo(size); }
@@ -100,10 +104,12 @@ class vec {
     T&       operator [] (int index)       { return data[index]; }
 
     // methods for STL compatibility
-    T*          begin()       { return data; }
-    const T*    begin() const { return data; }
-    T*          end()         { return data + sz; }
-    const T*    end()   const { return data + sz; }
+    iterator       begin()       { return data; }
+    const_iterator begin() const { return data; }
+    iterator       end()         { return data + sz; }
+    const_iterator end()   const { return data + sz; }
+    const_iterator cbegin() const { return begin(); }
+    const_iterator cend()   const { return end(); }
 
 
     // Duplicatation (preferred instead):