Configures SolveResult matcher IsConsistentWith() below. More...

#include <matchers.h>

Public Attributes
double	tolerance = 1e-5

bool	first_solution_only = true

bool	check_dual = true

bool	check_rays = true

bool	check_solutions_if_inf_or_unbounded = false

bool	check_basis = false

Detailed Description

Configures SolveResult matcher IsConsistentWith() below.

Definition at line 385 of file matchers.h.

Member Data Documentation

◆ check_basis

bool operations_research::math_opt::SolveResultMatcherOptions::check_basis = false

Definition at line 401 of file matchers.h.

◆ check_dual

bool operations_research::math_opt::SolveResultMatcherOptions::check_dual = true

Definition at line 388 of file matchers.h.

◆ check_rays

bool operations_research::math_opt::SolveResultMatcherOptions::check_rays = true

Definition at line 389 of file matchers.h.

◆ check_solutions_if_inf_or_unbounded

bool operations_research::math_opt::SolveResultMatcherOptions::check_solutions_if_inf_or_unbounded = false

If the expected result has termination reason kInfeasible, kUnbounded, or kDualInfeasasible, the primal solution, dual solution, and basis are ignored unless check_solutions_if_inf_or_unbounded is true.

Todo: (b/201099290): this is perhaps not a good default. Gurobi as implemented is returning primal solutions for both unbounded and infeasible problems. We need to add unit tests that inspect this value and turn them on one solver at a time with a new parameter on SimpleLpTestParameters.

Definition at line 400 of file matchers.h.

◆ first_solution_only

bool operations_research::math_opt::SolveResultMatcherOptions::first_solution_only = true

Definition at line 387 of file matchers.h.

◆ tolerance

double operations_research::math_opt::SolveResultMatcherOptions::tolerance = 1e-5

Definition at line 386 of file matchers.h.

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

ortools/math_opt/cpp/matchers.h

Public Attributes