dlinear/Infinity_8h_source.html

#pragma once


#include "dlinear/libs/libgmp.h"

#include "dlinear/util/Config.h"


namespace dlinear {


class Infinity {

 public:

  static const mpq_class& infinity(const Config& config);

  static const mpq_class& ninfinity(const Config& config);

  static const mpq_class& infinity(Config::LPSolver lp_solver);

  static const mpq_class& ninfinity(Config::LPSolver lp_solver);


 private:

  static void Initialise();


  static bool initialised_;

#ifdef DLINEAR_ENABLED_QSOPTEX

  static mpq_class qsoptex_ninfinity_;

  static mpq_class qsoptex_infinity_;

#endif

#ifdef DLINEAR_ENABLED_SOPLEX

  static mpq_class soplex_ninfinity_;

  static mpq_class soplex_infinity_;

#endif

};


}  // namespace dlinear

dlinear::Config
Simple dataclass used to store the configuration of the program.
Definition Config.h:38

dlinear::Config::LPSolver
LPSolver
Underlying LP solver used by the theory solver.
Definition Config.h:41

dlinear::Infinity
Global class storing the infinity values for the different LP solvers.
Definition Infinity.h:21

dlinear::Infinity::ninfinity
static const mpq_class & ninfinity(const Config &config)
Get the negative infinity value for the given LP solver in the config.
Definition Infinity.cpp:31

dlinear::Infinity::infinity
static const mpq_class & infinity(const Config &config)
Get the positive infinity value for the given LP solver in the config.
Definition Infinity.cpp:30

dlinear::Infinity::Initialise
static void Initialise()
Lazy initialisation of the infinity values.
Definition Infinity.cpp:33

dlinear
Global namespace for the dlinear library.