operations_research::sat::AssignmentInfo Struct Reference

Detailed Description

Definition at line 277 of file sat_base.h.

#include <sat_base.h>

Public Member Functions
std::string	DebugString () const

Public Attributes
uint32_t	level: 28
uint32_t	type: 4
int32_t	trail_index

Member Function Documentation

DebugString()

std::string operations_research::sat::AssignmentInfo::DebugString ( ) const

inline

Definition at line 300 of file sat_base.h.

Member Data Documentation

level

uint32_t operations_research::sat::AssignmentInfo::level

Definition at line 289 of file sat_base.h.

trail_index

int32_t operations_research::sat::AssignmentInfo::trail_index

Definition at line 298 of file sat_base.h.

type

uint32_t operations_research::sat::AssignmentInfo::type

mutable

Definition at line 295 of file sat_base.h.

---

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

• ortools/sat/sat_base.h