operations_research::sat::DebugSolution Struct Reference

Detailed Description

Definition at line 543 of file integer_base.h.

#include <integer_base.h>

Public Member Functions
void	Clear ()

Public Attributes
std::vector< int64_t >	proto_values
IntegerValue	inner_objective_value = kMinIntegerValue
util_intops::StrongVector< IntegerVariable, bool >	ivar_has_value
util_intops::StrongVector< IntegerVariable, IntegerValue >	ivar_values

Member Function Documentation

Clear()

void operations_research::sat::DebugSolution::Clear ( )

inline

Definition at line 544 of file integer_base.h.

Member Data Documentation

inner_objective_value

IntegerValue operations_research::sat::DebugSolution::inner_objective_value = kMinIntegerValue

Definition at line 555 of file integer_base.h.

ivar_has_value

util_intops::StrongVector<IntegerVariable, bool> operations_research::sat::DebugSolution::ivar_has_value

Definition at line 564 of file integer_base.h.

ivar_values

util_intops::StrongVector<IntegerVariable, IntegerValue> operations_research::sat::DebugSolution::ivar_values

Definition at line 565 of file integer_base.h.

proto_values

std::vector<int64_t> operations_research::sat::DebugSolution::proto_values

Definition at line 553 of file integer_base.h.

---

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

• ortools/sat/integer_base.h