operations_research::sat::CutGenerator Struct Reference

Detailed Description

A "cut" generator on a set of IntegerVariable.

The generate_cuts() function can get the current LP solution with manager->LpValues(). Note that a CutGenerator should:

• Only look at the lp_values positions that corresponds to its 'vars' or their negation.
• Only add cuts in term of the same variables or their negation.

Definition at line 56 of file cuts.h.

#include <cuts.h>

Public Attributes
bool	only_run_at_level_zero = false
std::vector< IntegerVariable >	vars
absl::AnyInvocable< bool(LinearConstraintManager *manager)>	generate_cuts

Member Data Documentation

generate_cuts

absl::AnyInvocable<bool(LinearConstraintManager* manager)> operations_research::sat::CutGenerator::generate_cuts

Definition at line 59 of file cuts.h.

only_run_at_level_zero

bool operations_research::sat::CutGenerator::only_run_at_level_zero = false

Definition at line 57 of file cuts.h.

vars

std::vector<IntegerVariable> operations_research::sat::CutGenerator::vars

Definition at line 58 of file cuts.h.

---

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

• ortools/sat/cuts.h