Changes in src/ResolvExpr/Candidate.hpp [d76f32c:432ce7a]

File:

• src/ResolvExpr/Candidate.hpp (modified) (2 diffs)

src/ResolvExpr/Candidate.hpp

@@ -9 +9 @@
 // Author           : Aaron B. Moss
 // Created On       : Wed Jun 5 14:30:00 2019
-// Last Modified By : Andrew Beach
-// Last Modified On : Wed Jun 12 14:15:00 2019
-// Update Count     : 2
+// Last Modified By : Aaron B. Moss
+// Last Modified On : Wed Jun 5 14:30:00 2019
+// Update Count     : 1
 //
 
@@ -49 +49 @@
 
         Candidate() : expr(), cost( Cost::zero ), cvtCost( Cost::zero ), env(), open(), need() {}
-
+        
         Candidate( const ast::Expr * x, const ast::TypeEnvironment & e )
         : expr( x ), cost( Cost::zero ), cvtCost( Cost::zero ), env( e ), open(), need() {}
 
         Candidate( const Candidate & o, const ast::Expr * x )
-        : expr( x ), cost( o.cost ), cvtCost( Cost::zero ), env( o.env ), open( o.open ),
+        : expr( x ), cost( o.cost ), cvtCost( Cost::zero ), env( o.env ), open( o.open ), 
           need( o.need ) {}
-
-        Candidate(
-                const ast::Expr * x, ast::TypeEnvironment && e, ast::OpenVarSet && o,
-                ast::AssertionSet && n, const Cost & c, const Cost & cvt = Cost::zero )
-        : expr( x ), cost( c ), cvtCost( cvt ), env( std::move( e ) ), open( std::move( o ) ),
+        
+        Candidate( 
+                const ast::Expr * x, ast::TypeEnvironment && e, ast::OpenVarSet && o, 
+                ast::AssertionSet && n, const Cost & c )
+        : expr( x ), cost( c ), cvtCost( Cost::zero ), env( std::move( e ) ), open( std::move( o ) ), 
           need( n.begin(), n.end() ) {}
 };