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

Detailed Description

Definition at line 262 of file solution_crush.h.

#include <solution_crush.h>

Public Attributes

int var
int time
int64_t state

Member Data Documentation

◆ state

int64_t operations_research::sat::SolutionCrush::StateVar::state

Definition at line 265 of file solution_crush.h.

◆ time

int operations_research::sat::SolutionCrush::StateVar::time

Definition at line 264 of file solution_crush.h.

◆ var

int operations_research::sat::SolutionCrush::StateVar::var

Definition at line 263 of file solution_crush.h.

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