lucid  0.0.1
Lifting-based Uncertain Control Invariant Dynamics
Loading...
Searching...
No Matches
lucid::HighsOptimiser Class Referencefinal

Linear optimiser using the HiGHS mathematical library. More...

#include <HighsOptimiser.h>

Inheritance diagram for lucid::HighsOptimiser:
lucid::Optimiser

Public Member Functions

 HighsOptimiser (std::map< std::string, std::string > options, std::string problem_log_file="", std::string iis_log_file="")
 Construct a new Highs Optimiser object.
 
std::string to_string () const override
 Get string representation of the optimiser.
 
- Public Member Functions inherited from lucid::Optimiser
bool solve_fourier_barrier_synthesis (const FourierBarrierSynthesisProblem &problem, const SolutionCallback &cb) const
 Solve the Fourier barrier synthesis problem.
 
const std::string & problem_log_file () const
 Get read-only access to the problem log file of the solver.
 
const std::string & iis_log_file () const
 Get read-only access to the irreducible infeasible set log file of the solver.
 
bool has_problem_log_file () const
 Get read-only access to the problem log file of the solver.
 
bool has_iis_log_file () const
 Get read-only access to the irreducible infeasible set log file of the solver.
 
std::string & m_problem_log_file ()
 Get read-write access to the problem log file of the solver.
 
std::string & m_iis_log_file ()
 Get read-write access to the irreducible infeasible set log file of the solver.
 
bool should_log_problem () const
 Check whether the solver is configured to log the lp problem.
 
bool should_log_iis () const
 Check whether the solver is configured to log the iis.
 

Private Attributes

std::map< std::string, std::string > options_
 Map of options to set in the HiGHS solver.
 

Additional Inherited Members

- Public Types inherited from lucid::Optimiser
using SolutionCallback = std::function<void(bool, double, const Vector&, double, double, double)>
 Callback function called when the optimisation is done.
 
- Protected Attributes inherited from lucid::Optimiser
std::string problem_log_file_
 File to log the problem to, if provided.
 
std::string iis_log_file_
 File to log the IIS (Irreducible Inconsistent Subsystem) to, if found.
 

Detailed Description

Linear optimiser using the HiGHS mathematical library.

Constructor & Destructor Documentation

◆ HighsOptimiser()

lucid::HighsOptimiser::HighsOptimiser ( std::map< std::string, std::string > options,
std::string problem_log_file = "",
std::string iis_log_file = "" )
explicit

Construct a new Highs Optimiser object.

Parameters
optionsmap of options to set in the HiGHS solver
problem_log_filefile to log the problem to. If empty, no logging is done
iis_log_filefile to log the irreducible infeasible set (IIS) to, if found. If empty, no logging is done

Member Function Documentation

◆ to_string()

std::string lucid::HighsOptimiser::to_string ( ) const
nodiscardoverridevirtual

Get string representation of the optimiser.

Returns
string representation Obtain the string representation of this object.
string representation of this object

Reimplemented from lucid::Optimiser.


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