Solver-native solution metadata produced by the SCIP backend. More...

#include <SCIPSettings.hpp>

Inheritance diagram for ZonoOpt::SCIPSolverResults:

Collaboration diagram for ZonoOpt::SCIPSolverResults:

Public Member Functions
std::shared_ptr< ExternalSolverResults >	clone () const override
	Polymorphic copy; required so callers can deep-copy an OptSolution.

std::string	print () const override
	Human-readable summary of the solver-specific fields.

Public Member Functions inherited from ZonoOpt::ExternalSolverResults
virtual	~ExternalSolverResults ()=default

Public Attributes
double	dual_bound = 0.0
	Best dual bound found (SCIPgetDualbound).

double	mip_gap = 0.0
	Relative gap at termination (SCIPgetGap). +infinity if no primal bound found.

int	n_sols_pool = 0
	Number of feasible solutions in SCIP's solution storage at termination (SCIPgetNSols).

long long	node_count = 0
	Total branch-and-bound nodes explored (SCIPgetNTotalNodes).

int	status = 0
	Raw SCIP_Status code (see SCIP's status enum; layout differs across versions).

Detailed Description

Solver-native solution metadata produced by the SCIP backend.

When an OptSolution is produced by a SCIP solve, OptSolution::external_results points to an instance of this class so the caller can read SCIP-specific status, node counts, gap, and dual bound. Inspect via dynamic_cast / isinstance.

Member Function Documentation

◆ clone()

std::shared_ptr< ExternalSolverResults > ZonoOpt::SCIPSolverResults::clone ( ) const

inlineoverridevirtual

Polymorphic copy; required so callers can deep-copy an OptSolution.

Implements ZonoOpt::ExternalSolverResults.

◆ print()

std::string ZonoOpt::SCIPSolverResults::print ( ) const

inlineoverridevirtual

Human-readable summary of the solver-specific fields.

Reimplemented from ZonoOpt::ExternalSolverResults.

Member Data Documentation

◆ dual_bound

double ZonoOpt::SCIPSolverResults::dual_bound = 0.0

Best dual bound found (SCIPgetDualbound).

◆ mip_gap

double ZonoOpt::SCIPSolverResults::mip_gap = 0.0

Relative gap at termination (SCIPgetGap). +infinity if no primal bound found.

◆ n_sols_pool

int ZonoOpt::SCIPSolverResults::n_sols_pool = 0

Number of feasible solutions in SCIP's solution storage at termination (SCIPgetNSols).

◆ node_count

long long ZonoOpt::SCIPSolverResults::node_count = 0

Total branch-and-bound nodes explored (SCIPgetNTotalNodes).

◆ status

int ZonoOpt::SCIPSolverResults::status = 0

Raw SCIP_Status code (see SCIP's status enum; layout differs across versions).

The documentation for this struct was generated from the following file:

/home/joshr/Documents/Projects/ZonoOpt/include/zonoopt/SCIPSettings.hpp

Public Member Functions

Public Attributes