operations_research::sat::VariablesShavingSolver::State Struct Reference

Detailed Description

Definition at line 82 of file shaving_solver.h.

#include <shaving_solver.h>

Public Attributes
int	var_index
bool	minimize
Domain	reduced_domain
bool	shave_using_objective = false

Member Data Documentation

minimize

bool operations_research::sat::VariablesShavingSolver::State::minimize

Definition at line 84 of file shaving_solver.h.

reduced_domain

Domain operations_research::sat::VariablesShavingSolver::State::reduced_domain

We have two modes:

• When "shave_using_objective" is true, we shave by minimizing the value of a variable.
• When false, we restrict its domain and detect feasible/infeasible.

Definition at line 90 of file shaving_solver.h.

shave_using_objective

bool operations_research::sat::VariablesShavingSolver::State::shave_using_objective = false

Definition at line 91 of file shaving_solver.h.

var_index

int operations_research::sat::VariablesShavingSolver::State::var_index

Definition at line 83 of file shaving_solver.h.

---

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

• ortools/sat/shaving_solver.h