dlinear
0.0.1
Delta-complete SMT solver for linear programming
|
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. | |
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".
mpq_class dlinear::qsopt_ex::CStringToMpq | ( | const char | str[] | ) |
Convert a string to a mpq_class.
str | C-string representation of a rational number |
Definition at line 21 of file libqsopt_ex.cpp.
mpq_class * dlinear::qsopt_ex::CStringToMpqPtr | ( | const char | str[] | ) |
Convert a C-string to a mpq_class.
str | C-string representation of a rational number |
Definition at line 13 of file libqsopt_ex.cpp.
mpq_class dlinear::qsopt_ex::StringToMpq | ( | const std::string & | str | ) |
Convert a string to a mpq_class.
str | string representation of a rational number |
Definition at line 12 of file libqsopt_ex.cpp.
mpq_class * dlinear::qsopt_ex::StringToMpqPtr | ( | const std::string & | str | ) |
Convert a string to a mpq_class.
str | string representation of a rational number |
Definition at line 11 of file libqsopt_ex.cpp.