operations_research::sat::LratProofStep::_Internal Class Reference

Detailed Description

Definition at line 1945 of file lrat.pb.cc.

Static Public Attributes
static constexpr ::int32_t	kOneofCaseOffset

Member Data Documentation

kOneofCaseOffset

::int32_t operations_research::sat::LratProofStep::_Internal::kOneofCaseOffset

static

Initial value:

=
      PROTOBUF_FIELD_OFFSET(::operations_research::sat::LratProofStep, _impl_._oneof_case_)

Definition at line 1947 of file lrat.pb.cc.

---

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

• build/ortools/sat/lrat.pb.cc