|
|
lucid
0.0.1
Lifting-based Uncertain Control Invariant Dynamics
|
Linear optimiser using the SoPlex solver. More...
#include <SoplexOptimiser.h>
Public Member Functions | |
| 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. | |
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. | |
Linear optimiser using the SoPlex solver.
|
nodiscardoverridevirtual |
Get string representation of the optimiser.
Reimplemented from lucid::Optimiser.