Changes in src/ResolvExpr/Alternative.h [bd4f2e9:50377a4]

File:

• src/ResolvExpr/Alternative.h (modified) (3 diffs)

src/ResolvExpr/Alternative.h

@@ -17 +17 @@
 
 #include <iosfwd>             // for ostream
-#include <vector>             // for vector
+#include <list>               // for list
 
 #include "Cost.h"             // for Cost
@@ -25 +25 @@
 
 namespace ResolvExpr {
+        struct Alternative;
+
+        typedef std::list< Alternative > AltList;
+
         struct Alternative {
                 Alternative();
@@ -42 +46 @@
                 TypeEnvironment env;
         };
-
-        typedef std::vector< Alternative > AltList;
-
-        /// Moves all elements from src to the end of dst
-        void splice( AltList& dst, AltList& src );
-
-        /// Moves all elements from src to the beginning of dst
-        void spliceBegin( AltList& dst, AltList& src );
 } // namespace ResolvExpr