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

Detailed Description

Represents var = "automaton takes the transition labeled `transition_label` from state `transition_tail` at time `time`".

Definition at line 241 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 243 of file solution_crush.h.

transition_label

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

Definition at line 245 of file solution_crush.h.

transition_tail

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

Definition at line 244 of file solution_crush.h.

var

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

Definition at line 242 of file solution_crush.h.

---

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

• ortools/sat/solution_crush.h