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

Detailed Description

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

#include <lrat.pb.h>

Inheritance diagram for operations_research::sat::LratImportedClause:

Classes

class  _Internal

Public Types

enum  : int { kLiteralsFieldNumber = 2 , kClauseIdFieldNumber = 1 }

Public Member Functions

 LratImportedClause ()
 ~LratImportedClause () PROTOBUF_FINAL
template<typename = void>
PROTOBUF_CONSTEXPR LratImportedClause (::google::protobuf::internal::ConstantInitialized)
 LratImportedClause (const LratImportedClause &from)
 LratImportedClause (LratImportedClause &&from) noexcept
LratImportedClause & operator= (const LratImportedClause &from)
LratImportedClause & operator= (LratImportedClause &&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 (LratImportedClause *PROTOBUF_NONNULL other)
void UnsafeArenaSwap (LratImportedClause *PROTOBUF_NONNULL other)
LratImportedClause *PROTOBUF_NONNULL New (::google::protobuf::Arena *PROTOBUF_NULLABLE arena=nullptr) const
void CopyFrom (const LratImportedClause &from)
void MergeFrom (const LratImportedClause &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 ()
bool has_clause_id () const
void clear_clause_id ()
::int64_t clause_id () const
void set_clause_id (::int64_t value)
template<typename>
PROTOBUF_CONSTEXPR LratImportedClause (::_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 LratImportedClause & default_instance ()
static constexpr auto InternalGenerateClassData_ ()

Static Public Attributes

static constexpr int kIndexInFileMessages = 0

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

Member Enumeration Documentation

◆ anonymous enum

anonymous enum : int
Enumerator
kLiteralsFieldNumber 
kClauseIdFieldNumber 

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

Constructor & Destructor Documentation

◆ LratImportedClause() [1/5]

operations_research::sat::LratImportedClause::LratImportedClause ( )
inline

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

◆ ~LratImportedClause()

operations_research::sat::LratImportedClause::~LratImportedClause ( )

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

◆ LratImportedClause() [2/5]

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

◆ LratImportedClause() [3/5]

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

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

◆ LratImportedClause() [4/5]

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

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

◆ LratImportedClause() [5/5]

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

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

Member Function Documentation

◆ _InternalSerialize()

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

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

◆ add_literals()

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

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

◆ ByteSizeLong()

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

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

◆ clause_id()

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

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

◆ Clear()

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

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

◆ clear_clause_id()

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

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

◆ clear_literals()

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

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

◆ CopyFrom()

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

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

◆ default_instance()

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

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

◆ descriptor()

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

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

◆ GetCachedSize()

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

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

◆ GetDescriptor()

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

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

◆ GetMetadata()

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

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

◆ GetReflection()

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

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

◆ has_clause_id()

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

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

◆ InternalGenerateClassData_()

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

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

◆ IsInitialized()

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

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

◆ literals() [1/2]

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

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

◆ literals() [2/2]

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

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

◆ literals_size()

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

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

◆ MergeFrom()

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

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

◆ mutable_literals()

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

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

◆ mutable_unknown_fields()

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

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

◆ New()

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

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

◆ operator=() [1/2]

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

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

◆ operator=() [2/2]

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

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

◆ set_clause_id()

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

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

◆ set_literals()

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

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

◆ Swap()

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

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

◆ unknown_fields()

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

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

◆ UnsafeArenaSwap()

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

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

◆ ::google::protobuf::Arena

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

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

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

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

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

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

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

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

◆ ::google::protobuf::MessageLite

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

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

◆ ::TableStruct_ortools_2fsat_2flrat_2eproto

friend struct ::TableStruct_ortools_2fsat_2flrat_2eproto
friend

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

◆ swap

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

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

Member Data Documentation

◆ _impl_

Impl_ operations_research::sat::LratImportedClause::_impl_

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

◆ kIndexInFileMessages

int operations_research::sat::LratImportedClause::kIndexInFileMessages = 0
staticconstexpr

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

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