Gecode::Optimize::SolveOptions Struct Reference

#include < -- improving gecode/implementation/gecode/gecode/optimize/result.hpp>

Public Member Functions
void	validate () const

Public Attributes
Backend	backend = Backend::Auto
Guarantee	guarantee = Guarantee::Numerical
double	time_limit_seconds = std::numeric_limits<double>::infinity()
int	threads = 1
int	random_seed = 0
double	relative_gap = 1e-4
double	absolute_gap = 1e-6
double	feasibility_tolerance = 1e-7
double	integrality_tolerance = 1e-6
std::shared_ptr< CancellationToken >	cancellation
std::optional< std::uint64_t >	node_limit
std::vector< StartValue >	primal_start

Member Function Documentation

validate()

void Gecode::Optimize::SolveOptions::validate

(

)

const

Validate values, throwing ModelError for malformed options. Exact and Certified requests are valid options; a backend that cannot deliver the requested guarantee must return Termination::Unsupported. Gap tolerances may be zero. Feasibility/integrality tolerances must be positive and finite; integrality tolerance must also be less than 0.5.

Member Data Documentation

backend

Backend Gecode::Optimize::SolveOptions::backend = Backend::Auto

guarantee

Guarantee Gecode::Optimize::SolveOptions::guarantee = Guarantee::Numerical

time_limit_seconds

double Gecode::Optimize::SolveOptions::time_limit_seconds = std::numeric_limits<double>::infinity()

threads

int Gecode::Optimize::SolveOptions::threads = 1

random_seed

int Gecode::Optimize::SolveOptions::random_seed = 0

relative_gap

double Gecode::Optimize::SolveOptions::relative_gap = 1e-4

absolute_gap

double Gecode::Optimize::SolveOptions::absolute_gap = 1e-6

feasibility_tolerance

double Gecode::Optimize::SolveOptions::feasibility_tolerance = 1e-7

integrality_tolerance

double Gecode::Optimize::SolveOptions::integrality_tolerance = 1e-6

cancellation

std::shared_ptr<CancellationToken> Gecode::Optimize::SolveOptions::cancellation

node_limit

std::optional<std::uint64_t> Gecode::Optimize::SolveOptions::node_limit

primal_start

std::vector<StartValue> Gecode::Optimize::SolveOptions::primal_start

Optional sparse primal start. Values must be finite, unique, and satisfy their original variable domains. A complete start must satisfy every original constraint, including retained indicators and globals. A partial start is a hint, not a validated incumbent or a fixed assignment. HiGHS accepts partial hints. Native requires a complete exact assignment after any deterministic completion of live indicator inactivity gates; unresolved partial starts are Unsupported. See solve_native().

---

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

• result.hpp