operations_research::math_opt::PdlpSolver Class Reference

#include <pdlp_solver.h>

Inheritance diagram for operations_research::math_opt::PdlpSolver:

Public Member Functions
absl::StatusOr< SolveResultProto >	Solve (const SolveParametersProto &parameters, const ModelSolveParametersProto &model_parameters, MessageCallback message_cb, const CallbackRegistrationProto &callback_registration, Callback cb, const SolveInterrupter *interrupter) override
absl::StatusOr< bool >	Update (const ModelUpdateProto &model_update) override
absl::StatusOr< ComputeInfeasibleSubsystemResultProto >	ComputeInfeasibleSubsystem (const SolveParametersProto &parameters, MessageCallback message_cb, const SolveInterrupter *interrupter) override
Public Member Functions inherited from operations_research::math_opt::SolverInterface
	SolverInterface ()=default
	SolverInterface (const SolverInterface &)=delete
SolverInterface &	operator= (const SolverInterface &)=delete
virtual	~SolverInterface ()=default

Static Public Member Functions
static absl::StatusOr< std::unique_ptr< SolverInterface > >	New (const ModelProto &model, const InitArgs &init_args)
static absl::StatusOr< pdlp::PrimalDualHybridGradientParams >	MergeParameters (const SolveParametersProto &parameters, bool has_message_callback)
	Returns the merged parameters and a list of warnings.

Additional Inherited Members
Public Types inherited from operations_research::math_opt::SolverInterface
using	MessageCallback = std::function<void(const std::vector<std::string>&)>
using	Callback
using	Factory

Detailed Description

Definition at line 36 of file pdlp_solver.h.

Member Function Documentation

ComputeInfeasibleSubsystem()

absl::StatusOr< ComputeInfeasibleSubsystemResultProto > operations_research::math_opt::PdlpSolver::ComputeInfeasibleSubsystem ( const SolveParametersProto & parameters, MessageCallback message_cb, const SolveInterrupter * interrupter )

overridevirtual

Computes a infeasible subsystem of the model (including all updates).

All input arguments are ensured (by solver.cc) to be valid. Furthermore, since all parameters are references or functions (which could be a lambda expression), the implementation should not keep a reference or copy of them, as they may become invalid reference after the invocation if this function.

The parameters message_cb and interrupter are optional. They are nullptr when not set.

When parameter message_cb is not null the value of parameters.enable_output should be ignored the solver should behave as it is was false (i.e. not print anything).

When parameter message_cb is not null and the underlying solver does not supports message callbacks, it should ignore it.

Implements operations_research::math_opt::SolverInterface.

Definition at line 377 of file pdlp_solver.cc.

MergeParameters()

absl::StatusOr< PrimalDualHybridGradientParams > operations_research::math_opt::PdlpSolver::MergeParameters ( const SolveParametersProto & parameters, bool has_message_callback )

static

Returns the merged parameters and a list of warnings.

Definition at line 74 of file pdlp_solver.cc.

New()

absl::StatusOr< std::unique_ptr< SolverInterface > > operations_research::math_opt::PdlpSolver::New ( const ModelProto & model, const InitArgs & init_args )

static

Definition at line 67 of file pdlp_solver.cc.

Solve()

absl::StatusOr< SolveResultProto > operations_research::math_opt::PdlpSolver::Solve ( const SolveParametersProto & parameters, const ModelSolveParametersProto & model_parameters, MessageCallback message_cb, const CallbackRegistrationProto & callback_registration, Callback cb, const SolveInterrupter * interrupter )

overridevirtual

Solves the current model (included all updates).

All input arguments are ensured (by solver.cc) to be valid. Furthermore, since all parameters are references or functions (which could be a lambda expression), the implementation should not keep a reference or copy of them, as they may become invalid reference after the invocation if this function.

Parameters message_cb, cb and interrupter are optional. They are nullptr when not set.

When parameter message_cb is not null the value of parameters.enable_output should be ignored the solver should behave as it is was false (i.e. not print anything).

When parameter message_cb is not null and the underlying solver does not supports message callbacks, it should ignore it.

Solvers should return a InvalidArgumentError when called with events on callback_registration that are not supported by the solver for the type of model being solved (for example MIP events if the model is an LP, or events that are not emitted by the solver). Solvers should use CheckRegisteredCallbackEvents() to implement that.

PDLP returns (TERMINATION_REASON_INVALID_PROBLEM): The input problem has / inconsistent bounds. but we want a more detailed error.

Implements operations_research::math_opt::SolverInterface.

Definition at line 331 of file pdlp_solver.cc.

Update()

absl::StatusOr< bool > operations_research::math_opt::PdlpSolver::Update ( const ModelUpdateProto & model_update )

overridevirtual

Updates the model to solve and returns true, or returns false if this update is not supported.

The implementation should assume the input ModelUpdate is valid and is free to assert if this is not the case.

Implements operations_research::math_opt::SolverInterface.

Definition at line 372 of file pdlp_solver.cc.

---

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

• ortools/math_opt/solvers/pdlp_solver.h
• ortools/math_opt/solvers/pdlp_solver.cc