dlinear  0.0.1
Delta-complete SMT solver for linear programming
Loading...
Searching...
No Matches
dlinear::qsopt_ex Namespace Reference

Classes

class  MpqArray
 A wrapper around an array of mpq_t elements. More...
 

Functions

mpq_class * StringToMpqPtr (const std::string &str)
 Convert a string to a mpq_class.
 
mpq_class StringToMpq (const std::string &str)
 Convert a string to a mpq_class.
 
mpq_class * CStringToMpqPtr (const char str[])
 Convert a C-string to a mpq_class.
 
mpq_class CStringToMpq (const char str[])
 Convert a string to a mpq_class.
 

Detailed Description

Author
Ernesto Casablanca (casab.nosp@m.lanc.nosp@m.aerne.nosp@m.sto@.nosp@m.gmail.nosp@m..com)
Licence:
BSD 3-Clause License
Author
Ernesto Casablanca (casab.nosp@m.lanc.nosp@m.aerne.nosp@m.sto@.nosp@m.gmail.nosp@m..com)
Licence:
BSD 3-Clause License Qsopt_ex wrapper.

This header includes the Qsopt_ex library and provides a various helpers. Other files in the library should depend on this header instead of the Qsopt_ex library directly. Instead of including <qsopt_ex/Qsopt_ex.h>, include "dlinear/libs/libqsopt_ex.h". In the build files, instead of depending on "@qsopt_ex", depend on "//dlinear/libs:qsopt_ex".

Function Documentation

◆ CStringToMpq()

mpq_class dlinear::qsopt_ex::CStringToMpq ( const char str[])

Convert a string to a mpq_class.

Parameters
strC-string representation of a rational number
Returns
mpq_class object

Definition at line 21 of file libqsopt_ex.cpp.

◆ CStringToMpqPtr()

mpq_class * dlinear::qsopt_ex::CStringToMpqPtr ( const char str[])

Convert a C-string to a mpq_class.

Parameters
strC-string representation of a rational number
Returns
pointer to a dynamically allocated mpq_class. Must be freed with delete.
Warning
The caller is responsible for freeing the returned pointer.

Definition at line 13 of file libqsopt_ex.cpp.

◆ StringToMpq()

mpq_class dlinear::qsopt_ex::StringToMpq ( const std::string & str)

Convert a string to a mpq_class.

Parameters
strstring representation of a rational number
Returns
mpq_class object

Definition at line 12 of file libqsopt_ex.cpp.

◆ StringToMpqPtr()

mpq_class * dlinear::qsopt_ex::StringToMpqPtr ( const std::string & str)

Convert a string to a mpq_class.

Parameters
strstring representation of a rational number
Returns
pointer to a dynamically allocated mpq_class. Must be freed with delete.
Warning
The caller is responsible for freeing the returned pointer.

Definition at line 11 of file libqsopt_ex.cpp.