SoPlex

Sequential object-oriented simPlex

spxdefines.cpp
Go to the documentation of this file.
1/* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */
2/* */
3/* This file is part of the class library */
4/* SoPlex --- the Sequential object-oriented simPlex. */
5/* */
6/* Copyright (c) 1996-2026 Zuse Institute Berlin (ZIB) */
7/* */
8/* Licensed under the Apache License, Version 2.0 (the "License"); */
9/* you may not use this file except in compliance with the License. */
10/* You may obtain a copy of the License at */
11/* */
12/* http://www.apache.org/licenses/LICENSE-2.0 */
13/* */
14/* Unless required by applicable law or agreed to in writing, software */
15/* distributed under the License is distributed on an "AS IS" BASIS, */
16/* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. */
17/* See the License for the specific language governing permissions and */
18/* limitations under the License. */
19/* */
20/* You should have received a copy of the Apache-2.0 license */
21/* along with SoPlex; see the file LICENSE. If not email to soplex@zib.de. */
22/* */
23/* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */
24
25/**@file spxdefines.cpp
26 * @brief Debugging, floating point type and parameter definitions.
27 */
28#include "assert.h"
29#include "soplex/spxdefines.h"
30#include "soplex/spxout.h"
31#include "soplex/rational.h"
32
33namespace soplex
34{
35// Overloaded EQ function
36bool EQ(int a, int b)
37{
38 return (a == b);
39}
40
41bool msginconsistent(const char* name, const char* file, int line)
42{
43 assert(name != nullptr);
44 assert(file != nullptr);
45 assert(line >= 0);
46
47 SPX_MSG_ERROR(std::cerr << file << "(" << line << ") "
48 << "Inconsistency detected in " << name << std::endl;)
49
50 return 0;
51}
52
53
55{
56 return (s_epsilon);
57}
58
60{
61 s_epsilon = eps;
63}
64
65
67{
69}
70
72{
74}
75
76
78{
79 return s_epsilon_update;
80}
81
83{
84 s_epsilon_update = eps;
85}
86
88{
89 return s_epsilon_pivot;
90}
91
93{
94 s_epsilon_pivot = eps;
95}
96
98{
99 return s_feastol;
100}
101
103{
104 s_feastol = ftol;
105}
106
108{
109 return s_opttol;
110}
111
113{
114 s_opttol = otol;
115}
116
118{
120}
121
123{
125}
126
128{
130}
131
133{
135}
136// namespace soplex
137}
Real s_epsilon_factorization
epsilon for factorization
Definition: spxdefines.h:330
Real feastol()
global feasibility tolerance
Definition: spxdefines.cpp:97
Real floatingPointFeastol()
floating point feasibility tolerance used within the solver
Definition: spxdefines.cpp:117
void setFloatingPointFeastol(Real ftol)
set floating point feasibility tolerance used within the solver
Definition: spxdefines.cpp:122
Real s_floating_point_opttol
floating point optimality tolerance
Definition: spxdefines.h:342
Real s_floating_point_feastol
floating point feasibility tolerance
Definition: spxdefines.h:340
Real epsilon()
global zero epsilon
Definition: spxdefines.cpp:54
Real s_epsilon_update
epsilon for factorization update
Definition: spxdefines.h:332
Real s_epsilon_pivot
epsilon for pivot zero tolerance in factorization
Definition: spxdefines.h:334
Real epsilonFactorization()
zero espilon used in factorization
Definition: spxdefines.cpp:66
Real s_feastol
feasibility tolerance
Definition: spxdefines.h:336
void setFeastol(Real ftol)
set global feasibility tolerance
Definition: spxdefines.cpp:102
void setEpsilonUpdate(Real eps)
set zero espilon used in factorization update
Definition: spxdefines.cpp:82
Real epsilonPivot()
zero espilon used in pivot
Definition: spxdefines.cpp:87
void setOpttol(Real otol)
set global optimality tolerance
Definition: spxdefines.cpp:112
void setEpsilonFactorization(Real eps)
set zero espilon used in factorization
Definition: spxdefines.cpp:71
Real floatingPointOpttol()
floating point optimality tolerance used within the solver
Definition: spxdefines.cpp:127
void setFloatingPointOpttol(Real otol)
set floating point optimality tolerance used within the solver
Definition: spxdefines.cpp:132
void setEpsilon(Real eps)
set global zero epsilon
Definition: spxdefines.cpp:59
Real s_epsilon
default allowed additive zero: 1.0 + EPS_ZERO == 1.0
Definition: spxdefines.h:328
void setEpsilonPivot(Real eps)
set zero espilon used in pivot
Definition: spxdefines.cpp:92
Real s_epsilon_multiplier
multiplier for fixed numbers that should change if s_epsilon changes
Definition: spxdefines.h:344
Real epsilonUpdate()
zero espilon used in factorization update
Definition: spxdefines.cpp:77
Real s_opttol
optimality tolerance
Definition: spxdefines.h:338
Real opttol()
global optimality tolerance
Definition: spxdefines.cpp:107
Everything should be within this namespace.
bool msginconsistent(const char *name, const char *file, int line)
Definition: spxdefines.cpp:41
double Real
Definition: spxdefines.h:269
bool EQ(int a, int b)
Definition: spxdefines.cpp:36
Rational number types.
Debugging, floating point type and parameter definitions.
#define SOPLEX_DEFAULT_EPS_ZERO
default allowed additive zero: 1.0 + EPS_ZERO == 1.0
Definition: spxdefines.h:281
#define SPX_MSG_ERROR(x)
Prints out message x if the verbosity level is at least SPxOut::VERB_ERROR.
Definition: spxdefines.h:163
Wrapper for different output streams and verbosity levels.