Detailed Description

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

#include <lrat.pb.h>

Inheritance diagram for operations_research::sat::LratInferredClause_RatInfo:

Classes
class	_Internal

Public Types
enum	: int { kUnitIdsFieldNumber = 2 , kResolvantIdFieldNumber = 1 }

Public Member Functions
	LratInferredClause_RatInfo ()
	~LratInferredClause_RatInfo () PROTOBUF_FINAL
template<typename = void>
PROTOBUF_CONSTEXPR	LratInferredClause_RatInfo (::google::protobuf::internal::ConstantInitialized)
	LratInferredClause_RatInfo (const LratInferredClause_RatInfo &from)
	LratInferredClause_RatInfo (LratInferredClause_RatInfo &&from) noexcept
LratInferredClause_RatInfo &	operator= (const LratInferredClause_RatInfo &from)
LratInferredClause_RatInfo &	operator= (LratInferredClause_RatInfo &&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_RatInfo *PROTOBUF_NONNULL other)
void	UnsafeArenaSwap (LratInferredClause_RatInfo *PROTOBUF_NONNULL other)
LratInferredClause_RatInfo *PROTOBUF_NONNULL	New (::google::protobuf::Arena *PROTOBUF_NULLABLE arena=nullptr) const
void	CopyFrom (const LratInferredClause_RatInfo &from)
void	MergeFrom (const LratInferredClause_RatInfo &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	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 ()
bool	has_resolvant_id () const
void	clear_resolvant_id ()
::int64_t	resolvant_id () const
void	set_resolvant_id (::int64_t value)
template<typename>
PROTOBUF_CONSTEXPR	LratInferredClause_RatInfo (::_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_RatInfo &	default_instance ()
static constexpr auto	InternalGenerateClassData_ ()

Static Public Attributes
static constexpr int	kIndexInFileMessages = 1

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_RatInfo &a, LratInferredClause_RatInfo &b)

Member Enumeration Documentation

◆ anonymous enum

anonymous enum : int

Enumerator
kUnitIdsFieldNumber
kResolvantIdFieldNumber

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

Constructor & Destructor Documentation

◆ LratInferredClause_RatInfo() [1/5]

operations_research::sat::LratInferredClause_RatInfo::LratInferredClause_RatInfo ( )

inline

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

◆ ~LratInferredClause_RatInfo()

operations_research::sat::LratInferredClause_RatInfo::~LratInferredClause_RatInfo ( )

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

◆ LratInferredClause_RatInfo() [2/5]

template<typename = void>

PROTOBUF_CONSTEXPR operations_research::sat::LratInferredClause_RatInfo::LratInferredClause_RatInfo ( ::google::protobuf::internal::ConstantInitialized )

explicit

◆ LratInferredClause_RatInfo() [3/5]

operations_research::sat::LratInferredClause_RatInfo::LratInferredClause_RatInfo ( const LratInferredClause_RatInfo & from )

inline

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

◆ LratInferredClause_RatInfo() [4/5]

operations_research::sat::LratInferredClause_RatInfo::LratInferredClause_RatInfo ( LratInferredClause_RatInfo && from )

inlinenoexcept

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

◆ LratInferredClause_RatInfo() [5/5]

template<typename>

PROTOBUF_CONSTEXPR operations_research::sat::LratInferredClause_RatInfo::LratInferredClause_RatInfo ( ::_pbi::ConstantInitialized )

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

Member Function Documentation

◆ _InternalSerialize()

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

final

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

◆ add_unit_ids()

void operations_research::sat::LratInferredClause_RatInfo::add_unit_ids ( ::int64_t value )

inline

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

◆ ByteSizeLong()

size_t operations_research::sat::LratInferredClause_RatInfo::ByteSizeLong ( ) const

final

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

◆ Clear()

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

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

◆ clear_resolvant_id()

void operations_research::sat::LratInferredClause_RatInfo::clear_resolvant_id ( )

inline

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

◆ clear_unit_ids()

void operations_research::sat::LratInferredClause_RatInfo::clear_unit_ids ( )

inline

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

◆ CopyFrom()

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

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

◆ default_instance()

const LratInferredClause_RatInfo & operations_research::sat::LratInferredClause_RatInfo::default_instance ( )

inlinestatic

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

◆ descriptor()

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

inlinestatic

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

◆ GetCachedSize()

int operations_research::sat::LratInferredClause_RatInfo::GetCachedSize ( ) const

inline

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

◆ GetDescriptor()

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

inlinestatic

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

◆ GetMetadata()

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

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

◆ GetReflection()

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

inlinestatic

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

◆ has_resolvant_id()

bool operations_research::sat::LratInferredClause_RatInfo::has_resolvant_id ( ) const

inline

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

◆ InternalGenerateClassData_()

auto operations_research::sat::LratInferredClause_RatInfo::InternalGenerateClassData_ ( )

staticconstexpr

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

◆ IsInitialized()

bool operations_research::sat::LratInferredClause_RatInfo::IsInitialized ( ) const

inline

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

◆ MergeFrom()

void operations_research::sat::LratInferredClause_RatInfo::MergeFrom ( const LratInferredClause_RatInfo & from )

inline

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

◆ mutable_unit_ids()

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

inline

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

◆ mutable_unknown_fields()

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

inline

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

◆ New()

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

inline

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

◆ operator=() [1/2]

LratInferredClause_RatInfo & operations_research::sat::LratInferredClause_RatInfo::operator= ( const LratInferredClause_RatInfo & from )

inline

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

◆ operator=() [2/2]

LratInferredClause_RatInfo & operations_research::sat::LratInferredClause_RatInfo::operator= ( LratInferredClause_RatInfo && from )

inlinenoexcept

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

◆ resolvant_id()

int64_t operations_research::sat::LratInferredClause_RatInfo::resolvant_id ( ) const

inline

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

◆ set_resolvant_id()

void operations_research::sat::LratInferredClause_RatInfo::set_resolvant_id ( ::int64_t value )

inline

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

◆ set_unit_ids()

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

inline

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

◆ Swap()

void operations_research::sat::LratInferredClause_RatInfo::Swap ( LratInferredClause_RatInfo *PROTOBUF_NONNULL other )

inline

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

◆ unit_ids() [1/2]

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

inline

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

◆ unit_ids() [2/2]

int64_t operations_research::sat::LratInferredClause_RatInfo::unit_ids ( int index ) const

inline

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

◆ unit_ids_size()

int operations_research::sat::LratInferredClause_RatInfo::unit_ids_size ( ) const

inline

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

◆ unknown_fields()

const ::google::protobuf::UnknownFieldSet & operations_research::sat::LratInferredClause_RatInfo::unknown_fields ( ) const

inline

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

◆ UnsafeArenaSwap()

void operations_research::sat::LratInferredClause_RatInfo::UnsafeArenaSwap ( LratInferredClause_RatInfo *PROTOBUF_NONNULL other )

inline

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

◆ ::google::protobuf::Arena

friend class ::google::protobuf::Arena

friend

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

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

template<typename T>

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

friend

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

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

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

friend

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

◆ ::google::protobuf::MessageLite

friend class ::google::protobuf::MessageLite

friend

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

◆ ::TableStruct_ortools_2fsat_2flrat_2eproto

friend struct ::TableStruct_ortools_2fsat_2flrat_2eproto

friend

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

◆ swap

void swap	(	LratInferredClause_RatInfo &	a,
		LratInferredClause_RatInfo &	b )

friend

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

Member Data Documentation

◆ _impl_

Impl_ operations_research::sat::LratInferredClause_RatInfo::_impl_

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

◆ kIndexInFileMessages

int operations_research::sat::LratInferredClause_RatInfo::kIndexInFileMessages = 1

staticconstexpr

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

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

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

Detailed Description

Classes

Public Types

Public Member Functions

Static Public Member Functions

Static Public Attributes

Friends

Member Enumeration Documentation

◆ anonymous enum

Constructor & Destructor Documentation

◆ LratInferredClause_RatInfo() [1/5]

◆ ~LratInferredClause_RatInfo()

◆ LratInferredClause_RatInfo() [2/5]

◆ LratInferredClause_RatInfo() [3/5]

◆ LratInferredClause_RatInfo() [4/5]

◆ LratInferredClause_RatInfo() [5/5]

Member Function Documentation

◆ _InternalSerialize()

◆ add_unit_ids()

◆ ByteSizeLong()

◆ Clear()

◆ clear_resolvant_id()

◆ clear_unit_ids()

◆ CopyFrom()

◆ default_instance()

◆ descriptor()

◆ GetCachedSize()

◆ GetDescriptor()

◆ GetMetadata()

◆ GetReflection()

◆ has_resolvant_id()

◆ InternalGenerateClassData_()

◆ IsInitialized()

◆ MergeFrom()

◆ mutable_unit_ids()

◆ mutable_unknown_fields()

◆ New()

◆ operator=() [1/2]

◆ operator=() [2/2]

◆ resolvant_id()

◆ set_resolvant_id()

◆ set_unit_ids()

◆ Swap()

◆ unit_ids() [1/2]

◆ unit_ids() [2/2]

◆ unit_ids_size()

◆ unknown_fields()

◆ UnsafeArenaSwap()

Friends And Related Symbol Documentation

◆ ::google::protobuf::Arena

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

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

◆ ::google::protobuf::MessageLite

◆ ::TableStruct_ortools_2fsat_2flrat_2eproto

◆ swap

Member Data Documentation

◆ _impl_

◆ kIndexInFileMessages