operations_research::sat::DelayedRootLevelDeduction Struct Reference

#include <integer.h>

Public Attributes
std::vector< Literal >	literal_to_fix
std::vector< IntegerLiteral >	integer_literal_to_fix

Detailed Description

Sometimes we propagate fact with no reason at a positive level, those will automatically be fixed on the next restart.

Todo

(user): If we change the logic to not restart right away, we probably need to remove duplicates bounds for the same variable.

Definition at line 448 of file integer.h.

Member Data Documentation

integer_literal_to_fix

std::vector<IntegerLiteral> operations_research::sat::DelayedRootLevelDeduction::integer_literal_to_fix

Definition at line 450 of file integer.h.

literal_to_fix

std::vector<Literal> operations_research::sat::DelayedRootLevelDeduction::literal_to_fix

Definition at line 449 of file integer.h.

---

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

• ortools/sat/integer.h