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

Detailed Description

Definition at line 85 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 87 of file shaving_solver.h.

reduced_domain

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

Definition at line 93 of file shaving_solver.h.

shave_using_objective

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

Definition at line 94 of file shaving_solver.h.

var_index

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

Definition at line 86 of file shaving_solver.h.

---

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

• ortools/sat/shaving_solver.h