libqsopt_ex.h

 
#pragma once
 
#ifndef DLINEAR_ENABLED_QSOPTEX
#error QSopt_ex is not enabled. Please enable it by adding "--//tools:enable_qsoptex" to the bazel command.
#endif
 
#include <gmpxx.h>
 
extern "C" {
#include <qsopt_ex/QSopt_ex.h>  // IWYU pragma: export
}
 
#include <string>
 
// These #defines from <qsopt_ex/QSopt_ex.h> cause problems for us
// because they mess with SoPlex's enums.
#undef OPTIMAL
#undef DUAL_INFEASIBLE
 
namespace dlinear::qsopt_ex {
 
mpq_class *StringToMpqPtr(const std::string &str);
mpq_class StringToMpq(const std::string &str);
mpq_class *CStringToMpqPtr(const char str[]);
mpq_class CStringToMpq(const char str[]);
 
class MpqArray {
 public:
  explicit MpqArray(size_t n_elements);
  MpqArray(const MpqArray &) = delete;
  MpqArray(MpqArray &&) = delete;
  MpqArray &operator=(const MpqArray &) = delete;
  MpqArray &operator=(MpqArray &&) = delete;
  ~MpqArray();
  explicit operator const mpq_t *() const { return array_; }
 
  explicit operator mpq_t *() { return array_; }
 
  mpq_t &operator[](const int idx) { return array_[idx]; }
 
  const mpq_t &operator[](const int idx) const { return array_[idx]; }
 
  [[nodiscard]] size_t size() const { return array_ ? reinterpret_cast<size_t *>(array_)[-1] : 0; }
 
  void Resize(size_t nElements);
 
 private:
  mpq_t *array_;  
 
  void AllocateMpqArray(size_t n_elements);
 
  void FreeMpqArray();
};
 
void QSXStart();
void QSXFinish();
 
}  // namespace dlinear::qsopt_ex