diff options
Diffstat (limited to 'src/theory/arith/approx_simplex.cpp')
-rw-r--r-- | src/theory/arith/approx_simplex.cpp | 34 |
1 files changed, 16 insertions, 18 deletions
diff --git a/src/theory/arith/approx_simplex.cpp b/src/theory/arith/approx_simplex.cpp index 8d98475ce..c911d03e9 100644 --- a/src/theory/arith/approx_simplex.cpp +++ b/src/theory/arith/approx_simplex.cpp @@ -36,7 +36,7 @@ using namespace std; -namespace CVC4 { +namespace CVC5 { namespace theory { namespace arith { @@ -367,9 +367,9 @@ public: double sumInfeasibilities(bool mip) const override { return 0.0; } }; -}/* CVC4::theory::arith namespace */ -}/* CVC4::theory namespace */ -}/* CVC4 namespace */ +} // namespace arith +} // namespace theory +} // namespace CVC5 /* Begin the declaration of GLPK specific code. */ #ifdef CVC4_USE_GLPK @@ -377,7 +377,7 @@ extern "C" { #include <glpk.h> }/* extern "C" */ -namespace CVC4 { +namespace CVC5 { namespace theory { namespace arith { @@ -535,14 +535,14 @@ private: int ApproxGLPK::s_verbosity = 0; -}/* CVC4::theory::arith namespace */ -}/* CVC4::theory namespace */ -}/* CVC4 namespace */ +} // namespace arith +} // namespace theory +} // namespace CVC5 #endif /*#ifdef CVC4_USE_GLPK */ /* End the declaration of GLPK specific code. */ /* Begin GPLK/NOGLPK Glue code. */ -namespace CVC4 { +namespace CVC5 { namespace theory { namespace arith { ApproximateSimplex* ApproximateSimplex::mkApproximateSimplexSolver(const ArithVariables& vars, TreeLog& l, ApproximateStatistics& s){ @@ -559,15 +559,14 @@ bool ApproximateSimplex::enabled() { return false; #endif } -}/* CVC4::theory::arith namespace */ -}/* CVC4::theory namespace */ -}/* CVC4 namespace */ +} // namespace arith +} // namespace theory +} // namespace CVC5 /* End GPLK/NOGLPK Glue code. */ - /* Begin GPLK implementation. */ #ifdef CVC4_USE_GLPK -namespace CVC4 { +namespace CVC5 { namespace theory { namespace arith { @@ -3175,9 +3174,8 @@ void ApproxGLPK::tryCut(int nid, CutInfo& cut) } } - -}/* CVC4::theory::arith namespace */ -}/* CVC4::theory namespace */ -}/* CVC4 namespace */ +} // namespace arith +} // namespace theory +} // namespace CVC5 #endif /*#ifdef CVC4_USE_GLPK */ /* End GPLK implementation. */ |