Google OR-Tools v9.15
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
operations_research::sat::SolutionCrush::BoxInAreaLiteral Struct Reference

Detailed Description

Definition at line 316 of file solution_crush.h.

#include <solution_crush.h>

Public Attributes

int box_index
int area_index
int literal

Member Data Documentation

◆ area_index

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

Definition at line 318 of file solution_crush.h.

◆ box_index

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

Definition at line 317 of file solution_crush.h.

◆ literal

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

Definition at line 319 of file solution_crush.h.

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