operations_research::sat::CutGenerator Struct Reference

#include <cuts.h>

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

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 53 of file cuts.h.

Member Data Documentation

generate_cuts

std::function<bool(LinearConstraintManager* manager)> operations_research::sat::CutGenerator::generate_cuts

Definition at line 56 of file cuts.h.

only_run_at_level_zero

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

Definition at line 54 of file cuts.h.

vars

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

Definition at line 55 of file cuts.h.

---

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

• ortools/sat/cuts.h