delpi::Config Class Reference

Simple dataclass used to store the configuration of the program. More...

#include <Config.h>

Public Types
enum class	LpSolver { SOPLEX , QSOPTEX , DELPI }
	Underlying LP solver used by the theory solver. More...
enum class	Format { AUTO , MPS , LP }
	Format of the input file. More...
enum class	LpMode { AUTO = 0 , PURE_PRECISION_BOOSTING = 1 , PURE_ITERATIVE_REFINEMENT = 2 , HYBRID = 3 }
	LP mode used by the LP solver. More...

Public Member Functions
	Config (std::string filename)
	Construct a new Config object with the given filename.
	Config (bool read_from_stdin)
	Construct a new Config object that will read the input from the standard input.
	Config (Format format)
	Construct a new Config object and immediately set the format.

Detailed Description

Simple dataclass used to store the configuration of the program.

It is usually generated by the ArgParser using the command line arguments.

Definition at line 36 of file Config.h.

Member Enumeration Documentation

Format

enum class delpi::Config::Format

strong

Format of the input file.

Enumerator
AUTO	Automatically detect the input format based on the file extension. Default option.
MPS	MPS format.
LP	LP format.

Definition at line 45 of file Config.h.

LpMode

enum class delpi::Config::LpMode

strong

LP mode used by the LP solver.

Enumerator
AUTO	Let the LP solver choose the mode. Default option.
PURE_PRECISION_BOOSTING	Use the precision boosting mode, if available.
PURE_ITERATIVE_REFINEMENT	Use the iterative refinement mode, if available.
HYBRID	Use both modes, if available.

Definition at line 51 of file Config.h.

LpSolver

enum class delpi::Config::LpSolver

strong

Underlying LP solver used by the theory solver.

Enumerator
SOPLEX	Soplex Solver. Default option.
QSOPTEX	Qsoptex Solver.
DELPI	Delpi Solver.

Definition at line 39 of file Config.h.

Constructor & Destructor Documentation

Config() [1/3]

delpi::Config::Config ( std::string filename )

explicit

Construct a new Config object with the given filename.

Parameters

filename

name of the input file

Definition at line 16 of file Config.cpp.

Config() [2/3]

delpi::Config::Config ( bool read_from_stdin )

explicit

Construct a new Config object that will read the input from the standard input.

Parameters

read_from_stdin

whether to read the input from the standard input

Definition at line 17 of file Config.cpp.

Config() [3/3]

delpi::Config::Config ( Format format )

explicit

Construct a new Config object and immediately set the format.

Parameters

format

whether to read the input from the standard input

Definition at line 18 of file Config.cpp.

---

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

• delpi/util/Config.h
• delpi/util/Config.cpp