soplex_solver_interface.h

#ifndef LP_SOPLEX_SOLVER_INTERFACE_H
#define LP_SOPLEX_SOLVER_INTERFACE_H
 
#include "downward/lp/solver_interface.h"
 
#ifdef __GNUG__
#pragma GCC diagnostic push
#pragma GCC diagnostic ignored "-Wunused-parameter"
#pragma GCC diagnostic ignored "-Wzero-as-null-pointer-constant"
#if (__GNUG__ >= 11) || (__clang_major__ >= 12)
#pragma GCC diagnostic ignored "-Wdeprecated-enum-enum-conversion"
#endif
#if __GNUG__ >= 12
#pragma GCC diagnostic ignored "-Wuse-after-free"
#endif
#endif
 
#include <soplex.h>
 
#ifdef __GNUG__
#pragma GCC diagnostic pop
#endif
 
namespace lp {
class SoPlexSolverInterface : public SolverInterface {
    // The reference to the solver is mutable because objValueReal is not const.
    mutable soplex::SoPlex soplex;
    int num_permanent_constraints;
    int num_temporary_constraints;
 
public:
    SoPlexSolverInterface();
 
    virtual void load_problem(const LinearProgram& lp) override;
    virtual void add_temporary_constraints(
        const named_vector::NamedVector<LPConstraint>& constraints) override;
    virtual void clear_temporary_constraints() override;
    virtual double get_infinity() const override;
 
    virtual void set_objective_coefficients(
        const std::vector<double>& coefficients) override;
    virtual void
    set_objective_coefficient(int index, double coefficient) override;
    virtual void set_constraint_lower_bound(int index, double bound) override;
    virtual void set_constraint_upper_bound(int index, double bound) override;
    virtual void set_variable_lower_bound(int index, double bound) override;
    virtual void set_variable_upper_bound(int index, double bound) override;
 
    virtual void set_mip_gap(double gap) override;
 
    virtual void solve() override;
    virtual void write_lp(const std::string& filename) const override;
    virtual void print_failure_analysis() const override;
    virtual bool is_infeasible() const override;
    virtual bool is_unbounded() const override;
 
    virtual bool has_optimal_solution() const override;
 
    virtual double get_objective_value() const override;
 
    virtual std::vector<double> extract_solution() const override;
 
    virtual int get_num_variables() const override;
    virtual int get_num_constraints() const override;
    virtual bool has_temporary_constraints() const override;
    virtual void print_statistics() const override;
 
    virtual std::vector<double> extract_dual_solution() const override;
 
    virtual void add_variable(
        const LPVariable& var,
        const std::vector<int>& ids,
        const std::vector<double>& coefs,
        std::string_view name = "") override;
 
    virtual void
    add_constraint(const LPConstraint& constraint, std::string_view name = "")
        override;
};
} // namespace lp
 
#endif