chore: fix linting

TendTo · Jul 15, 2024 · b4959f2 · b4959f2
1 parent a771eb5
commit b4959f2
Show file tree

Hide file tree

Showing 3 changed files with 9 additions and 10 deletions.
diff --git a/dlinear/util/BUILD.bazel b/dlinear/util/BUILD.bazel
@@ -107,16 +107,9 @@ dlinear_cc_library(
         "Interval.h",
         "RoundingModeGuard.hpp",
     ],
-    implementation_deps = [
-        ":exception",
-        ":math",
-    ],
     deps = [
         ":definitions",
-        ":logging",
         "//dlinear/libs:gmp",
-        "//dlinear/symbolic",
-        "//dlinear/symbolic:literal",
     ],
 )
 

diff --git a/dlinear/util/Box.cpp b/dlinear/util/Box.cpp
@@ -39,8 +39,8 @@ Box::Box(const Config::LPSolver lp_solver)
   switch (lp_solver) {
 #ifdef DLINEAR_ENABLED_QSOPTEX
     case Config::LPSolver::QSOPTEX:
-      ninfinity_ = -qsopt_ex::infinity();
-      infinity_ = qsopt_ex::infinity();
+      ninfinity_ = mpq_class{mpq_NINFTY};
+      infinity_ = mpq_class{mpq_INFTY};
       break;
 #endif
 #ifdef DLINEAR_ENABLED_SOPLEX

diff --git a/dlinear/util/Interval.cpp b/dlinear/util/Interval.cpp
@@ -1,3 +1,9 @@
+/**
+* @file Interval.cpp
+* @author dlinear (https://github.com/TendTo/dlinear)
+* @copyright 2024 dlinear
+* @licence Apache-2.0 license
+*/
 #include "Interval.h"
 
 #include "dlinear/util/RoundingModeGuard.hpp"
@@ -101,4 +107,4 @@ Interval Interval::fromString(const std::string &s) {
   return Interval{lb, ub};
 }
 
-}  // namespace dlinear
+}  // namespace dlinear