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

Detailed Description

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

#include <lrat.pb.h>

Inheritance diagram for operations_research::sat::LratExportedClause:

Classes

class  _Internal

Public Types

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

Public Member Functions

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

Static Public Attributes

static constexpr int kIndexInFileMessages = 3

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

Member Enumeration Documentation

◆ anonymous enum

anonymous enum : int
Enumerator
kLiteralsFieldNumber 
kClauseIdFieldNumber 

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

Constructor & Destructor Documentation

◆ LratExportedClause() [1/5]

operations_research::sat::LratExportedClause::LratExportedClause ( )
inline

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

◆ ~LratExportedClause()

operations_research::sat::LratExportedClause::~LratExportedClause ( )

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

◆ LratExportedClause() [2/5]

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

◆ LratExportedClause() [3/5]

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

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

◆ LratExportedClause() [4/5]

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

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

◆ LratExportedClause() [5/5]

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

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

Member Function Documentation

◆ _InternalSerialize()

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

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

◆ add_literals()

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

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

◆ ByteSizeLong()

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

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

◆ clause_id()

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

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

◆ Clear()

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

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

◆ clear_clause_id()

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

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

◆ clear_literals()

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

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

◆ CopyFrom()

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

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

◆ default_instance()

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

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

◆ descriptor()

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

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

◆ GetCachedSize()

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

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

◆ GetDescriptor()

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

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

◆ GetMetadata()

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

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

◆ GetReflection()

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

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

◆ has_clause_id()

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

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

◆ InternalGenerateClassData_()

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

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

◆ IsInitialized()

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

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

◆ literals() [1/2]

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

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

◆ literals() [2/2]

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

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

◆ literals_size()

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

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

◆ MergeFrom()

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

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

◆ mutable_literals()

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

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

◆ mutable_unknown_fields()

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

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

◆ New()

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

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

◆ operator=() [1/2]

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

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

◆ operator=() [2/2]

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

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

◆ set_clause_id()

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

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

◆ set_literals()

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

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

◆ Swap()

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

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

◆ unknown_fields()

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

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

◆ UnsafeArenaSwap()

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

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

◆ ::google::protobuf::Arena

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

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

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

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

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

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

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

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

◆ ::google::protobuf::MessageLite

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

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

◆ ::TableStruct_ortools_2fsat_2flrat_2eproto

friend struct ::TableStruct_ortools_2fsat_2flrat_2eproto
friend

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

◆ swap

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

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

Member Data Documentation

◆ _impl_

Impl_ operations_research::sat::LratExportedClause::_impl_

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

◆ kIndexInFileMessages

int operations_research::sat::LratExportedClause::kIndexInFileMessages = 3
staticconstexpr

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

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