operations_research::sat::SolutionCrush::TableRowLiteral Struct Reference

#include <solution_crush.h>

Public Attributes
int	lit
std::vector< absl::InlinedVector< int64_t, 2 > >	var_values

Detailed Description

Represents lit = "for all i, the value of the i-th column var of a table constraint is in the `var_values`[i] set (unless this set is empty).".

Definition at line 257 of file solution_crush.h.

Member Data Documentation

lit

int operations_research::sat::SolutionCrush::TableRowLiteral::lit

Definition at line 258 of file solution_crush.h.

var_values

std::vector<absl::InlinedVector<int64_t, 2> > operations_research::sat::SolutionCrush::TableRowLiteral::var_values

Todo

(user): use a vector of (var, value) pairs instead?

Definition at line 260 of file solution_crush.h.

---

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

• ortools/sat/solution_crush.h