Remove usage of static options in arithmetic theory (#7221)

This PR removes the usage of static accesses to options from the arithmetic theory, mostly by making more classes inherit from EnvObj. 

1 files changed, 7 insertions, 3 deletions

diff --git a/src/theory/arith/attempt_solution_simplex.cpp b/src/theory/arith/attempt_solution_simplex.cpp
index 33b0e2e26..11a9cc6f2 100644
--- a/src/theory/arith/attempt_solution_simplex.cpp
+++ b/src/theory/arith/attempt_solution_simplex.cpp
@@ -31,9 +31,13 @@ namespace cvc5 {
 namespace theory {
 namespace arith {
 
-AttemptSolutionSDP::AttemptSolutionSDP(LinearEqualityModule& linEq, ErrorSet& errors, RaiseConflict conflictChannel, TempVarMalloc tvmalloc)
-  : SimplexDecisionProcedure(linEq, errors, conflictChannel, tvmalloc)
-  , d_statistics()
+AttemptSolutionSDP::AttemptSolutionSDP(Env& env,
+                                       LinearEqualityModule& linEq,
+                                       ErrorSet& errors,
+                                       RaiseConflict conflictChannel,
+                                       TempVarMalloc tvmalloc)
+    : SimplexDecisionProcedure(env, linEq, errors, conflictChannel, tvmalloc),
+      d_statistics()
 { }
 
 AttemptSolutionSDP::Statistics::Statistics()