Changes in src/ResolvExpr/ExplodedActual.h [8d7bef2:d286cf68]

File:

• src/ResolvExpr/ExplodedActual.h (modified) (2 diffs)

src/ResolvExpr/ExplodedActual.h

@@ -16 +16 @@
 #pragma once
 
+#include <memory>
 #include <vector>
 
@@ -28 +29 @@
                 TypeEnvironment env;
                 Cost cost;
-                std::vector< Expression* > exprs;
+                std::vector< std::unique_ptr<Expression> > exprs;
 
                 ExplodedActual() : env(), cost(Cost::zero), exprs() {}
-
                 ExplodedActual( const Alternative& actual, const SymTab::Indexer& indexer );
+                ExplodedActual(ExplodedActual&&) = default;
+                ExplodedActual& operator= (ExplodedActual&&) = default;
         };
 }