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

#include <shaving_solver.h>

Public Attributes
int	var_index
bool	minimize
Domain	reduced_domain

Detailed Description

Definition at line 82 of file shaving_solver.h.

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

Definition at line 85 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