dlinear::Infinity Class Reference

Global class storing the infinity values for the different LP solvers. More...

#include <Infinity.h>

Static Public Member Functions
static const mpq_class &	infinity (const Config &config)
	Get the positive infinity value for the given LP solver in the config.
static const mpq_class &	ninfinity (const Config &config)
	Get the negative infinity value for the given LP solver in the config.
static const mpq_class &	infinity (Config::LPSolver lp_solver)
	Get the positive infinity value for the given lp_solver.
static const mpq_class &	ninfinity (Config::LPSolver lp_solver)
	Get the negative infinity value for the given lp_solver.

Static Private Member Functions
static void	Initialise ()
	Lazy initialisation of the infinity values.

Detailed Description

Global class storing the infinity values for the different LP solvers.

The infinity values are lazily initialised when the first request is made. Since different LP solvers may use different values to represent infinity, they are stored separately and accessed through static methods, based on the LPSolver in the Config object.

Definition at line 21 of file Infinity.h.

Member Function Documentation

infinity() [1/2]

const mpq_class & dlinear::Infinity::infinity ( Config::LPSolver lp_solver )

static

Get the positive infinity value for the given lp_solver.

Parameters

lp_solver

LP solver to consider

Returns

positive infinity value

Definition at line 46 of file Infinity.cpp.

infinity() [2/2]

const mpq_class & dlinear::Infinity::infinity ( const Config & config )

static

Get the positive infinity value for the given LP solver in the config.

Parameters

config

configuration object indicating which LP solver to consider

Returns

positive infinity value

Definition at line 30 of file Infinity.cpp.

ninfinity() [1/2]

const mpq_class & dlinear::Infinity::ninfinity ( Config::LPSolver lp_solver )

static

Get the negative infinity value for the given lp_solver.

Parameters

lp_solver

LP solver to consider

Returns

negative infinity value

Definition at line 62 of file Infinity.cpp.

ninfinity() [2/2]

const mpq_class & dlinear::Infinity::ninfinity ( const Config & config )

static

Get the negative infinity value for the given LP solver in the config.

Parameters

config

configuration object indicating which LP solver to consider

Returns

negative infinity value

Definition at line 31 of file Infinity.cpp.

---

The documentation for this class was generated from the following files:

• dlinear/util/Infinity.h
• dlinear/util/Infinity.cpp