operations_research::sat::SolutionCrush::StateVar Struct Reference

Represents var = "automaton is in state `state` at time `time`". More...

#include <solution_crush.h>

Public Attributes
int	var
int	time
int64_t	state

Detailed Description

Represents var = "automaton is in state `state` at time `time`".

Definition at line 233 of file solution_crush.h.

Member Data Documentation

state

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

Definition at line 236 of file solution_crush.h.

time

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

Definition at line 235 of file solution_crush.h.

var

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

Definition at line 234 of file solution_crush.h.

---

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

• ortools/sat/solution_crush.h