C++ Reference

C++ Reference: CP-SAT

BooleanAssignment

Detailed Description

Definition at line 509 of file boolean_problem.pb.h.

Public Types

enum  : int { kLiteralsFieldNumber = 1 }
 

Public Member Functions

 BooleanAssignment ()
 
virtual ~BooleanAssignment ()
 
 BooleanAssignment (const BooleanAssignment &from)
 
 BooleanAssignment (BooleanAssignment &&from) noexcept
 
BooleanAssignmentoperator= (const BooleanAssignment &from)
 
BooleanAssignmentoperator= (BooleanAssignment &&from) noexcept
 
const ::PROTOBUF_NAMESPACE_ID::UnknownFieldSet & unknown_fields () const
 
inline ::PROTOBUF_NAMESPACE_ID::UnknownFieldSet * mutable_unknown_fields ()
 
void Swap (BooleanAssignment *other)
 
BooleanAssignmentNew () const final
 
BooleanAssignmentNew (::PROTOBUF_NAMESPACE_ID::Arena *arena) const final
 
void CopyFrom (const ::PROTOBUF_NAMESPACE_ID::Message &from) final
 
void MergeFrom (const ::PROTOBUF_NAMESPACE_ID::Message &from) final
 
void CopyFrom (const BooleanAssignment &from)
 
void MergeFrom (const BooleanAssignment &from)
 
PROTOBUF_ATTRIBUTE_REINITIALIZES void Clear () final
 
bool IsInitialized () const final
 
size_t ByteSizeLong () const final
 
const char * _InternalParse (const char *ptr, ::PROTOBUF_NAMESPACE_ID::internal::ParseContext *ctx) final
 
::PROTOBUF_NAMESPACE_ID::uint8 * _InternalSerialize (::PROTOBUF_NAMESPACE_ID::uint8 *target, ::PROTOBUF_NAMESPACE_ID::io::EpsCopyOutputStream *stream) const final
 
int GetCachedSize () const final
 
::PROTOBUF_NAMESPACE_ID::Metadata GetMetadata () const final
 
int literals_size () const
 
void clear_literals ()
 
::PROTOBUF_NAMESPACE_ID::int32 literals (int index) const
 
void set_literals (int index, ::PROTOBUF_NAMESPACE_ID::int32 value)
 
void add_literals (::PROTOBUF_NAMESPACE_ID::int32 value)
 
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > & literals () const
 
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > * mutable_literals ()
 

Static Public Member Functions

static const ::PROTOBUF_NAMESPACE_ID::Descriptor * descriptor ()
 
static const ::PROTOBUF_NAMESPACE_ID::Descriptor * GetDescriptor ()
 
static const ::PROTOBUF_NAMESPACE_ID::Reflection * GetReflection ()
 
static const BooleanAssignmentdefault_instance ()
 
static void InitAsDefaultInstance ()
 
static const BooleanAssignmentinternal_default_instance ()
 

Static Public Attributes

static constexpr int kIndexInFileMessages
 

Member Enumeration Documentation

◆ anonymous enum

anonymous enum : int
Enumerator
kLiteralsFieldNumber 

Definition at line 621 of file boolean_problem.pb.h.

Constructor & Destructor Documentation

◆ BooleanAssignment() [1/3]

◆ ~BooleanAssignment()

virtual ~BooleanAssignment ( )
virtual

◆ BooleanAssignment() [2/3]

◆ BooleanAssignment() [3/3]

BooleanAssignment ( BooleanAssignment &&  from)
inlinenoexcept

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

Member Function Documentation

◆ _InternalParse()

const char* _InternalParse ( const char *  ptr,
::PROTOBUF_NAMESPACE_ID::internal::ParseContext *  ctx 
)
final

◆ _InternalSerialize()

::PROTOBUF_NAMESPACE_ID::uint8* _InternalSerialize ( ::PROTOBUF_NAMESPACE_ID::uint8 *  target,
::PROTOBUF_NAMESPACE_ID::io::EpsCopyOutputStream *  stream 
) const
final

◆ add_literals()

void add_literals ( ::PROTOBUF_NAMESPACE_ID::int32  value)
inline

Definition at line 1327 of file boolean_problem.pb.h.

◆ ByteSizeLong()

size_t ByteSizeLong ( ) const
final

◆ Clear()

PROTOBUF_ATTRIBUTE_REINITIALIZES void Clear ( )
final

◆ clear_literals()

void clear_literals ( )
inline

Definition at line 1310 of file boolean_problem.pb.h.

◆ CopyFrom() [1/2]

void CopyFrom ( const ::PROTOBUF_NAMESPACE_ID::Message &  from)
final

◆ CopyFrom() [2/2]

void CopyFrom ( const BooleanAssignment from)

◆ default_instance()

static const BooleanAssignment& default_instance ( )
static

◆ descriptor()

static const ::PROTOBUF_NAMESPACE_ID::Descriptor* descriptor ( )
inlinestatic

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

◆ GetCachedSize()

int GetCachedSize ( ) const
inlinefinal

Definition at line 588 of file boolean_problem.pb.h.

◆ GetDescriptor()

static const ::PROTOBUF_NAMESPACE_ID::Descriptor* GetDescriptor ( )
inlinestatic

Definition at line 544 of file boolean_problem.pb.h.

◆ GetMetadata()

::PROTOBUF_NAMESPACE_ID::Metadata GetMetadata ( ) const
final

◆ GetReflection()

static const ::PROTOBUF_NAMESPACE_ID::Reflection* GetReflection ( )
inlinestatic

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

◆ InitAsDefaultInstance()

static void InitAsDefaultInstance ( )
static

◆ internal_default_instance()

static const BooleanAssignment* internal_default_instance ( )
inlinestatic

Definition at line 553 of file boolean_problem.pb.h.

◆ IsInitialized()

bool IsInitialized ( ) const
final

◆ literals() [1/2]

const ::PROTOBUF_NAMESPACE_ID::RepeatedField<::PROTOBUF_NAMESPACE_ID::int32 > & literals ( ) const
inline

Definition at line 1336 of file boolean_problem.pb.h.

◆ literals() [2/2]

PROTOBUF_NAMESPACE_ID::int32 literals ( int  index) const
inline

Definition at line 1316 of file boolean_problem.pb.h.

◆ literals_size()

int literals_size ( ) const
inline

Definition at line 1307 of file boolean_problem.pb.h.

◆ MergeFrom() [1/2]

void MergeFrom ( const ::PROTOBUF_NAMESPACE_ID::Message &  from)
final

◆ MergeFrom() [2/2]

void MergeFrom ( const BooleanAssignment from)

◆ mutable_literals()

PROTOBUF_NAMESPACE_ID::RepeatedField<::PROTOBUF_NAMESPACE_ID::int32 > * mutable_literals ( )
inline

Definition at line 1345 of file boolean_problem.pb.h.

◆ mutable_unknown_fields()

inline ::PROTOBUF_NAMESPACE_ID::UnknownFieldSet* mutable_unknown_fields ( )
inline

Definition at line 537 of file boolean_problem.pb.h.

◆ New() [1/2]

BooleanAssignment* New ( ) const
inlinefinal

Definition at line 570 of file boolean_problem.pb.h.

◆ New() [2/2]

BooleanAssignment* New ( ::PROTOBUF_NAMESPACE_ID::Arena *  arena) const
inlinefinal

Definition at line 574 of file boolean_problem.pb.h.

◆ operator=() [1/2]

BooleanAssignment& operator= ( BooleanAssignment &&  from)
inlinenoexcept

Definition at line 525 of file boolean_problem.pb.h.

◆ operator=() [2/2]

BooleanAssignment& operator= ( const BooleanAssignment from)
inline

Definition at line 521 of file boolean_problem.pb.h.

◆ set_literals()

void set_literals ( int  index,
::PROTOBUF_NAMESPACE_ID::int32  value 
)
inline

Definition at line 1320 of file boolean_problem.pb.h.

◆ Swap()

void Swap ( BooleanAssignment other)
inline

Definition at line 563 of file boolean_problem.pb.h.

◆ unknown_fields()

const ::PROTOBUF_NAMESPACE_ID::UnknownFieldSet& unknown_fields ( ) const
inline

Definition at line 534 of file boolean_problem.pb.h.

Member Data Documentation

◆ kIndexInFileMessages

constexpr int kIndexInFileMessages
staticconstexpr
Initial value:
=
2

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


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