[sip] Fix bug with static constexpr

ibex-team · Mar 26, 2019 · 40c3e00 · 40c3e00
1 parent f93bc4f
commit 40c3e00
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 4 deletions.
diff --git a/plugins/sip/src/marendet/strategy/ibex_SIPOptimizer.cpp b/plugins/sip/src/marendet/strategy/ibex_SIPOptimizer.cpp
@@ -36,6 +36,11 @@ using namespace std;
 
 namespace ibex {
 
+const double SIPOptimizer::default_rel_eps_f = 1e-3;
+const double SIPOptimizer::default_abs_eps_f = 1e-3;
+const double SIPOptimizer::default_lf_loop_ratio = 0.1;
+const double SIPOptimizer::default_eps_x = 0;
+
 SIPOptimizer::SIPOptimizer(int n, Ctc& ctc, Bsc& bisector, LoupFinder& loup_finder, LoupFinder& loup_finder2,
 		CellBufferOptim& buffer, int goal_var,
 		double eps_x,

diff --git a/plugins/sip/src/marendet/strategy/ibex_SIPOptimizer.h b/plugins/sip/src/marendet/strategy/ibex_SIPOptimizer.h
@@ -36,10 +36,10 @@ class SIPOptimizer {
 		UNREACHED_PREC
 	};
 
-	static constexpr double default_rel_eps_f = 1e-3;
-	static constexpr double default_abs_eps_f = 1e-3;
-	static constexpr double default_lf_loop_ratio = 0.1;
-	static constexpr double default_eps_x = 0;
+	static const double default_rel_eps_f;
+	static const double default_abs_eps_f;
+	static const double default_lf_loop_ratio;
+	static const double default_eps_x;
 
 	SIPOptimizer(int n, Ctc& ctc, Bsc& bisector,
 			LoupFinder& loup_finder, LoupFinder& loup_finder2, CellBufferOptim& buffer, int goal_var,