operations_research::sat::SolutionCrush::TransitionVar Struct Reference

Detailed Description

Definition at line 270 of file solution_crush.h.

#include <solution_crush.h>

Public Attributes
int	var
int	time
int64_t	transition_tail
int64_t	transition_label

Member Data Documentation

time

int operations_research::sat::SolutionCrush::TransitionVar::time

Definition at line 272 of file solution_crush.h.

transition_label

int64_t operations_research::sat::SolutionCrush::TransitionVar::transition_label

Definition at line 274 of file solution_crush.h.

transition_tail

int64_t operations_research::sat::SolutionCrush::TransitionVar::transition_tail

Definition at line 273 of file solution_crush.h.

var

int operations_research::sat::SolutionCrush::TransitionVar::var

Definition at line 271 of file solution_crush.h.

---

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

• ortools/sat/solution_crush.h