Google OR-Tools v9.15
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
operations_research::sat::LratInferredClause Class Referencefinal

Detailed Description

Definition at line 937 of file lrat.pb.h.

#include <lrat.pb.h>

Inheritance diagram for operations_research::sat::LratInferredClause:

Classes

class  _Internal

Public Types

enum  : int {
  kLiteralsFieldNumber = 2 , kUnitIdsFieldNumber = 3 , kRatInfosFieldNumber = 4 , kClauseIdFieldNumber = 1 ,
  kExportedFieldNumber = 5
}
using RatInfo = LratInferredClause_RatInfo

Public Member Functions

 LratInferredClause ()
 ~LratInferredClause () PROTOBUF_FINAL
template<typename = void>
PROTOBUF_CONSTEXPR LratInferredClause (::google::protobuf::internal::ConstantInitialized)
 LratInferredClause (const LratInferredClause &from)
 LratInferredClause (LratInferredClause &&from) noexcept
LratInferredClause & operator= (const LratInferredClause &from)
LratInferredClause & operator= (LratInferredClause &&from) noexcept
const ::google::protobuf::UnknownFieldSet & unknown_fields () const ABSL_ATTRIBUTE_LIFETIME_BOUND
inline ::google::protobuf::UnknownFieldSet *PROTOBUF_NONNULL mutable_unknown_fields () ABSL_ATTRIBUTE_LIFETIME_BOUND
void Swap (LratInferredClause *PROTOBUF_NONNULL other)
void UnsafeArenaSwap (LratInferredClause *PROTOBUF_NONNULL other)
LratInferredClause *PROTOBUF_NONNULL New (::google::protobuf::Arena *PROTOBUF_NULLABLE arena=nullptr) const
void CopyFrom (const LratInferredClause &from)
void MergeFrom (const LratInferredClause &from)
bool IsInitialized () const
ABSL_ATTRIBUTE_REINITIALIZES void Clear () PROTOBUF_FINAL
::size_t ByteSizeLong () const final
::uint8_t *PROTOBUF_NONNULL _InternalSerialize (::uint8_t *PROTOBUF_NONNULL target, ::google::protobuf::io::EpsCopyOutputStream *PROTOBUF_NONNULL stream) const final
int GetCachedSize () const
::google::protobuf::Metadata GetMetadata () const
int literals_size () const
void clear_literals ()
::int32_t literals (int index) const
void set_literals (int index, ::int32_t value)
void add_literals (::int32_t value)
const ::google::protobuf::RepeatedField<::int32_t > & literals () const
::google::protobuf::RepeatedField<::int32_t > *PROTOBUF_NONNULL mutable_literals ()
int unit_ids_size () const
void clear_unit_ids ()
::int64_t unit_ids (int index) const
void set_unit_ids (int index, ::int64_t value)
void add_unit_ids (::int64_t value)
const ::google::protobuf::RepeatedField<::int64_t > & unit_ids () const
::google::protobuf::RepeatedField<::int64_t > *PROTOBUF_NONNULL mutable_unit_ids ()
int rat_infos_size () const
void clear_rat_infos ()
::operations_research::sat::LratInferredClause_RatInfo *PROTOBUF_NONNULL mutable_rat_infos (int index)
::google::protobuf::RepeatedPtrField<::operations_research::sat::LratInferredClause_RatInfo > *PROTOBUF_NONNULL mutable_rat_infos ()
const ::operations_research::sat::LratInferredClause_RatInfo & rat_infos (int index) const
::operations_research::sat::LratInferredClause_RatInfo *PROTOBUF_NONNULL add_rat_infos ()
const ::google::protobuf::RepeatedPtrField<::operations_research::sat::LratInferredClause_RatInfo > & rat_infos () const
bool has_clause_id () const
void clear_clause_id ()
::int64_t clause_id () const
void set_clause_id (::int64_t value)
bool has_exported () const
void clear_exported ()
bool exported () const
void set_exported (bool value)
template<typename>
PROTOBUF_CONSTEXPR LratInferredClause (::_pbi::ConstantInitialized)

Static Public Member Functions

static const ::google::protobuf::Descriptor *PROTOBUF_NONNULL descriptor ()
static const ::google::protobuf::Descriptor *PROTOBUF_NONNULL GetDescriptor ()
static const ::google::protobuf::Reflection *PROTOBUF_NONNULL GetReflection ()
static const LratInferredClause & default_instance ()
static constexpr auto InternalGenerateClassData_ ()

Static Public Attributes

static constexpr int kIndexInFileMessages = 2

Friends

class ::google::protobuf::internal::TcParser
class ::google::protobuf::MessageLite
class ::google::protobuf::Arena
template<typename T>
class ::google::protobuf::Arena::InternalHelper
struct ::TableStruct_ortools_2fsat_2flrat_2eproto
void swap (LratInferredClause &a, LratInferredClause &b)

Member Typedef Documentation

◆ RatInfo

using operations_research::sat::LratInferredClause::RatInfo = LratInferredClause_RatInfo

Definition at line 1076 of file lrat.pb.h.

Member Enumeration Documentation

◆ anonymous enum

anonymous enum : int
Enumerator
kLiteralsFieldNumber 
kUnitIdsFieldNumber 
kRatInfosFieldNumber 
kClauseIdFieldNumber 
kExportedFieldNumber 

Definition at line 1079 of file lrat.pb.h.

Constructor & Destructor Documentation

◆ LratInferredClause() [1/5]

operations_research::sat::LratInferredClause::LratInferredClause ( )
inline

Definition at line 940 of file lrat.pb.h.

◆ ~LratInferredClause()

operations_research::sat::LratInferredClause::~LratInferredClause ( )

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

◆ LratInferredClause() [2/5]

template<typename = void>
PROTOBUF_CONSTEXPR operations_research::sat::LratInferredClause::LratInferredClause ( ::google::protobuf::internal::ConstantInitialized )
explicit

◆ LratInferredClause() [3/5]

operations_research::sat::LratInferredClause::LratInferredClause ( const LratInferredClause & from)
inline

Definition at line 953 of file lrat.pb.h.

◆ LratInferredClause() [4/5]

operations_research::sat::LratInferredClause::LratInferredClause ( LratInferredClause && from)
inlinenoexcept

Definition at line 954 of file lrat.pb.h.

◆ LratInferredClause() [5/5]

template<typename>
PROTOBUF_CONSTEXPR operations_research::sat::LratInferredClause::LratInferredClause ( ::_pbi::ConstantInitialized )

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

Member Function Documentation

◆ _InternalSerialize()

uint8_t *PROTOBUF_NONNULL operations_research::sat::LratInferredClause::_InternalSerialize ( ::uint8_t *PROTOBUF_NONNULL target,
::google::protobuf::io::EpsCopyOutputStream *PROTOBUF_NONNULL stream ) const
final

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

◆ add_literals()

void operations_research::sat::LratInferredClause::add_literals ( ::int32_t value)
inline

Definition at line 1721 of file lrat.pb.h.

◆ add_rat_infos()

operations_research::sat::LratInferredClause_RatInfo *PROTOBUF_NONNULL operations_research::sat::LratInferredClause::add_rat_infos ( )
inline

Definition at line 1830 of file lrat.pb.h.

◆ add_unit_ids()

void operations_research::sat::LratInferredClause::add_unit_ids ( ::int64_t value)
inline

Definition at line 1771 of file lrat.pb.h.

◆ ByteSizeLong()

size_t operations_research::sat::LratInferredClause::ByteSizeLong ( ) const
final

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

◆ clause_id()

int64_t operations_research::sat::LratInferredClause::clause_id ( ) const
inline

Definition at line 1682 of file lrat.pb.h.

◆ Clear()

PROTOBUF_NOINLINE void operations_research::sat::LratInferredClause::Clear ( )

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

◆ clear_clause_id()

void operations_research::sat::LratInferredClause::clear_clause_id ( )
inline

Definition at line 1676 of file lrat.pb.h.

◆ clear_exported()

void operations_research::sat::LratInferredClause::clear_exported ( )
inline

Definition at line 1861 of file lrat.pb.h.

◆ clear_literals()

void operations_research::sat::LratInferredClause::clear_literals ( )
inline

Definition at line 1707 of file lrat.pb.h.

◆ clear_rat_infos()

void operations_research::sat::LratInferredClause::clear_rat_infos ( )
inline

Definition at line 1807 of file lrat.pb.h.

◆ clear_unit_ids()

void operations_research::sat::LratInferredClause::clear_unit_ids ( )
inline

Definition at line 1757 of file lrat.pb.h.

◆ CopyFrom()

void operations_research::sat::LratInferredClause::CopyFrom ( const LratInferredClause & from)

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

◆ default_instance()

const LratInferredClause & operations_research::sat::LratInferredClause::default_instance ( )
inlinestatic

Definition at line 988 of file lrat.pb.h.

◆ descriptor()

const ::google::protobuf::Descriptor *PROTOBUF_NONNULL operations_research::sat::LratInferredClause::descriptor ( )
inlinestatic

Definition at line 979 of file lrat.pb.h.

◆ exported()

bool operations_research::sat::LratInferredClause::exported ( ) const
inline

Definition at line 1867 of file lrat.pb.h.

◆ GetCachedSize()

int operations_research::sat::LratInferredClause::GetCachedSize ( ) const
inline

Definition at line 1047 of file lrat.pb.h.

◆ GetDescriptor()

const ::google::protobuf::Descriptor *PROTOBUF_NONNULL operations_research::sat::LratInferredClause::GetDescriptor ( )
inlinestatic

Definition at line 982 of file lrat.pb.h.

◆ GetMetadata()

google::protobuf::Metadata operations_research::sat::LratInferredClause::GetMetadata ( ) const

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

◆ GetReflection()

const ::google::protobuf::Reflection *PROTOBUF_NONNULL operations_research::sat::LratInferredClause::GetReflection ( )
inlinestatic

Definition at line 985 of file lrat.pb.h.

◆ has_clause_id()

bool operations_research::sat::LratInferredClause::has_clause_id ( ) const
inline

Definition at line 1672 of file lrat.pb.h.

◆ has_exported()

bool operations_research::sat::LratInferredClause::has_exported ( ) const
inline

Definition at line 1857 of file lrat.pb.h.

◆ InternalGenerateClassData_()

auto operations_research::sat::LratInferredClause::InternalGenerateClassData_ ( )
staticconstexpr

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

◆ IsInitialized()

bool operations_research::sat::LratInferredClause::IsInitialized ( ) const
inline

Definition at line 1023 of file lrat.pb.h.

◆ literals() [1/2]

const::google::protobuf::RepeatedField<::int32_t > & operations_research::sat::LratInferredClause::literals ( ) const
inline

Definition at line 1727 of file lrat.pb.h.

◆ literals() [2/2]

int32_t operations_research::sat::LratInferredClause::literals ( int index) const
inline

Definition at line 1713 of file lrat.pb.h.

◆ literals_size()

int operations_research::sat::LratInferredClause::literals_size ( ) const
inline

Definition at line 1704 of file lrat.pb.h.

◆ MergeFrom()

void operations_research::sat::LratInferredClause::MergeFrom ( const LratInferredClause & from)
inline

Definition at line 1016 of file lrat.pb.h.

◆ mutable_literals()

google::protobuf::RepeatedField<::int32_t > *PROTOBUF_NONNULL operations_research::sat::LratInferredClause::mutable_literals ( )
inline

Definition at line 1732 of file lrat.pb.h.

◆ mutable_rat_infos() [1/2]

google::protobuf::RepeatedPtrField<::operations_research::sat::LratInferredClause_RatInfo > *PROTOBUF_NONNULL operations_research::sat::LratInferredClause::mutable_rat_infos ( )
inline

Definition at line 1818 of file lrat.pb.h.

◆ mutable_rat_infos() [2/2]

operations_research::sat::LratInferredClause_RatInfo *PROTOBUF_NONNULL operations_research::sat::LratInferredClause::mutable_rat_infos ( int index)
inline

Definition at line 1813 of file lrat.pb.h.

◆ mutable_unit_ids()

google::protobuf::RepeatedField<::int64_t > *PROTOBUF_NONNULL operations_research::sat::LratInferredClause::mutable_unit_ids ( )
inline

Definition at line 1782 of file lrat.pb.h.

◆ mutable_unknown_fields()

inline ::google::protobuf::UnknownFieldSet *PROTOBUF_NONNULL operations_research::sat::LratInferredClause::mutable_unknown_fields ( )
inline

Definition at line 974 of file lrat.pb.h.

◆ New()

LratInferredClause *PROTOBUF_NONNULL operations_research::sat::LratInferredClause::New ( ::google::protobuf::Arena *PROTOBUF_NULLABLE arena = nullptr) const
inline

Definition at line 1010 of file lrat.pb.h.

◆ operator=() [1/2]

LratInferredClause & operations_research::sat::LratInferredClause::operator= ( const LratInferredClause & from)
inline

Definition at line 956 of file lrat.pb.h.

◆ operator=() [2/2]

LratInferredClause & operations_research::sat::LratInferredClause::operator= ( LratInferredClause && from)
inlinenoexcept

Definition at line 960 of file lrat.pb.h.

◆ rat_infos() [1/2]

const::google::protobuf::RepeatedPtrField<::operations_research::sat::LratInferredClause_RatInfo > & operations_research::sat::LratInferredClause::rat_infos ( ) const
inline

Definition at line 1840 of file lrat.pb.h.

◆ rat_infos() [2/2]

const::operations_research::sat::LratInferredClause_RatInfo & operations_research::sat::LratInferredClause::rat_infos ( int index) const
inline

Definition at line 1825 of file lrat.pb.h.

◆ rat_infos_size()

int operations_research::sat::LratInferredClause::rat_infos_size ( ) const
inline

Definition at line 1804 of file lrat.pb.h.

◆ set_clause_id()

void operations_research::sat::LratInferredClause::set_clause_id ( ::int64_t value)
inline

Definition at line 1686 of file lrat.pb.h.

◆ set_exported()

void operations_research::sat::LratInferredClause::set_exported ( bool value)
inline

Definition at line 1871 of file lrat.pb.h.

◆ set_literals()

void operations_research::sat::LratInferredClause::set_literals ( int index,
::int32_t value )
inline

Definition at line 1717 of file lrat.pb.h.

◆ set_unit_ids()

void operations_research::sat::LratInferredClause::set_unit_ids ( int index,
::int64_t value )
inline

Definition at line 1767 of file lrat.pb.h.

◆ Swap()

void operations_research::sat::LratInferredClause::Swap ( LratInferredClause *PROTOBUF_NONNULL other)
inline

Definition at line 994 of file lrat.pb.h.

◆ unit_ids() [1/2]

const::google::protobuf::RepeatedField<::int64_t > & operations_research::sat::LratInferredClause::unit_ids ( ) const
inline

Definition at line 1777 of file lrat.pb.h.

◆ unit_ids() [2/2]

int64_t operations_research::sat::LratInferredClause::unit_ids ( int index) const
inline

Definition at line 1763 of file lrat.pb.h.

◆ unit_ids_size()

int operations_research::sat::LratInferredClause::unit_ids_size ( ) const
inline

Definition at line 1754 of file lrat.pb.h.

◆ unknown_fields()

const ::google::protobuf::UnknownFieldSet & operations_research::sat::LratInferredClause::unknown_fields ( ) const
inline

Definition at line 970 of file lrat.pb.h.

◆ UnsafeArenaSwap()

void operations_research::sat::LratInferredClause::UnsafeArenaSwap ( LratInferredClause *PROTOBUF_NONNULL other)
inline

Definition at line 1002 of file lrat.pb.h.

◆ ::google::protobuf::Arena

friend class ::google::protobuf::Arena
friend

Definition at line 1171 of file lrat.pb.h.

◆ ::google::protobuf::Arena::InternalHelper

template<typename T>
friend class ::google::protobuf::Arena::InternalHelper
friend

Definition at line 1173 of file lrat.pb.h.

◆ ::google::protobuf::internal::TcParser

friend class ::google::protobuf::internal::TcParser
friend

Definition at line 1164 of file lrat.pb.h.

◆ ::google::protobuf::MessageLite

friend class ::google::protobuf::MessageLite
friend

Definition at line 1170 of file lrat.pb.h.

◆ ::TableStruct_ortools_2fsat_2flrat_2eproto

friend struct ::TableStruct_ortools_2fsat_2flrat_2eproto
friend

Definition at line 1197 of file lrat.pb.h.

◆ swap

void swap ( LratInferredClause & a,
LratInferredClause & b )
friend

Definition at line 993 of file lrat.pb.h.

Member Data Documentation

◆ _impl_

Impl_ operations_research::sat::LratInferredClause::_impl_

Definition at line 1196 of file lrat.pb.h.

◆ kIndexInFileMessages

int operations_research::sat::LratInferredClause::kIndexInFileMessages = 2
staticconstexpr

Definition at line 992 of file lrat.pb.h.

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