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

Detailed Description

Definition at line 286 of file solution_crush.h.

#include <solution_crush.h>

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

Member Data Documentation

lit

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

Definition at line 287 of file solution_crush.h.

var_values

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

Definition at line 289 of file solution_crush.h.

---

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

• ortools/sat/solution_crush.h