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

Detailed Description

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

#include <lrat.pb.h>

Inheritance diagram for operations_research::sat::LratDeletedClauses:

Classes

class  _Internal

Public Types

enum  : int { kClauseIdsFieldNumber = 1 }

Public Member Functions

 LratDeletedClauses ()
 ~LratDeletedClauses () PROTOBUF_FINAL
template<typename = void>
PROTOBUF_CONSTEXPR LratDeletedClauses (::google::protobuf::internal::ConstantInitialized)
 LratDeletedClauses (const LratDeletedClauses &from)
 LratDeletedClauses (LratDeletedClauses &&from) noexcept
LratDeletedClauses & operator= (const LratDeletedClauses &from)
LratDeletedClauses & operator= (LratDeletedClauses &&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 (LratDeletedClauses *PROTOBUF_NONNULL other)
void UnsafeArenaSwap (LratDeletedClauses *PROTOBUF_NONNULL other)
LratDeletedClauses *PROTOBUF_NONNULL New (::google::protobuf::Arena *PROTOBUF_NULLABLE arena=nullptr) const
void CopyFrom (const LratDeletedClauses &from)
void MergeFrom (const LratDeletedClauses &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 clause_ids_size () const
void clear_clause_ids ()
::int64_t clause_ids (int index) const
void set_clause_ids (int index, ::int64_t value)
void add_clause_ids (::int64_t value)
const ::google::protobuf::RepeatedField<::int64_t > & clause_ids () const
::google::protobuf::RepeatedField<::int64_t > *PROTOBUF_NONNULL mutable_clause_ids ()
template<typename>
PROTOBUF_CONSTEXPR LratDeletedClauses (::_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 LratDeletedClauses & default_instance ()
static constexpr auto InternalGenerateClassData_ ()

Static Public Attributes

static constexpr int kIndexInFileMessages = 4

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 (LratDeletedClauses &a, LratDeletedClauses &b)

Member Enumeration Documentation

◆ anonymous enum

anonymous enum : int
Enumerator
kClauseIdsFieldNumber 

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

Constructor & Destructor Documentation

◆ LratDeletedClauses() [1/5]

operations_research::sat::LratDeletedClauses::LratDeletedClauses ( )
inline

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

◆ ~LratDeletedClauses()

operations_research::sat::LratDeletedClauses::~LratDeletedClauses ( )

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

◆ LratDeletedClauses() [2/5]

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

◆ LratDeletedClauses() [3/5]

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

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

◆ LratDeletedClauses() [4/5]

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

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

◆ LratDeletedClauses() [5/5]

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

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

Member Function Documentation

◆ _InternalSerialize()

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

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

◆ add_clause_ids()

void operations_research::sat::LratDeletedClauses::add_clause_ids ( ::int64_t value)
inline

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

◆ ByteSizeLong()

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

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

◆ clause_ids() [1/2]

const::google::protobuf::RepeatedField<::int64_t > & operations_research::sat::LratDeletedClauses::clause_ids ( ) const
inline

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

◆ clause_ids() [2/2]

int64_t operations_research::sat::LratDeletedClauses::clause_ids ( int index) const
inline

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

◆ clause_ids_size()

int operations_research::sat::LratDeletedClauses::clause_ids_size ( ) const
inline

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

◆ Clear()

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

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

◆ clear_clause_ids()

void operations_research::sat::LratDeletedClauses::clear_clause_ids ( )
inline

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

◆ CopyFrom()

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

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

◆ default_instance()

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

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

◆ descriptor()

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

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

◆ GetCachedSize()

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

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

◆ GetDescriptor()

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

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

◆ GetMetadata()

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

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

◆ GetReflection()

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

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

◆ InternalGenerateClassData_()

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

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

◆ IsInitialized()

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

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

◆ MergeFrom()

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

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

◆ mutable_clause_ids()

google::protobuf::RepeatedField<::int64_t > *PROTOBUF_NONNULL operations_research::sat::LratDeletedClauses::mutable_clause_ids ( )
inline

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

◆ mutable_unknown_fields()

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

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

◆ New()

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

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

◆ operator=() [1/2]

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

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

◆ operator=() [2/2]

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

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

◆ set_clause_ids()

void operations_research::sat::LratDeletedClauses::set_clause_ids ( int index,
::int64_t value )
inline

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

◆ Swap()

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

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

◆ unknown_fields()

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

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

◆ UnsafeArenaSwap()

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

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

◆ ::google::protobuf::Arena

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

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

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

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

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

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

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

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

◆ ::google::protobuf::MessageLite

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

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

◆ ::TableStruct_ortools_2fsat_2flrat_2eproto

friend struct ::TableStruct_ortools_2fsat_2flrat_2eproto
friend

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

◆ swap

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

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

Member Data Documentation

◆ _impl_

Impl_ operations_research::sat::LratDeletedClauses::_impl_

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

◆ kIndexInFileMessages

int operations_research::sat::LratDeletedClauses::kIndexInFileMessages = 4
staticconstexpr

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

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