operations_research::sat::LratInferredClause_RatInfo::_Internal Class Reference

Detailed Description

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

Public Types
using	HasBits

Static Public Attributes
static constexpr ::int32_t	kHasBitsOffset

Member Typedef Documentation

HasBits

using operations_research::sat::LratInferredClause_RatInfo::_Internal::HasBits

Initial value:

 
      decltype(::std::declval<LratInferredClause_RatInfo>()._impl_._has_bits_)

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

Member Data Documentation

kHasBitsOffset

::int32_t operations_research::sat::LratInferredClause_RatInfo::_Internal::kHasBitsOffset

static

Initial value:

=
      8 * PROTOBUF_FIELD_OFFSET(LratInferredClause_RatInfo, _impl_._has_bits_)

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

---

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

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