operations_research::sat::SolutionCrush::BoxInAreaLiteral Struct Reference

#include <solution_crush.h>

Public Attributes
int	box_index
int	area_index
int	literal

Detailed Description

Given a list of N disjoint packing areas (each described by a union of rectangles) and a list of M boxes (described by their x and y interval constraints in the model proto), sets the value of the literals in box_in_area_lits with whether the box i intersects area j.

Definition at line 287 of file solution_crush.h.

Member Data Documentation

area_index

int operations_research::sat::SolutionCrush::BoxInAreaLiteral::area_index

Definition at line 289 of file solution_crush.h.

box_index

int operations_research::sat::SolutionCrush::BoxInAreaLiteral::box_index

Definition at line 288 of file solution_crush.h.

literal

int operations_research::sat::SolutionCrush::BoxInAreaLiteral::literal

Definition at line 290 of file solution_crush.h.

---

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

• ortools/sat/solution_crush.h