C++ Reference

C++ Reference: CP-SAT

AutomatonConstraintProto

Detailed Description

Definition at line 3336 of file cp_model.pb.h.

Public Types

enum  : int {
  kFinalStatesFieldNumber = 3, kTransitionTailFieldNumber = 4, kTransitionHeadFieldNumber = 5, kTransitionLabelFieldNumber = 6,
  kVarsFieldNumber = 7, kStartingStateFieldNumber = 2
}
 

Public Member Functions

 AutomatonConstraintProto ()
 
virtual ~AutomatonConstraintProto ()
 
 AutomatonConstraintProto (const AutomatonConstraintProto &from)
 
 AutomatonConstraintProto (AutomatonConstraintProto &&from) noexcept
 
AutomatonConstraintProtooperator= (const AutomatonConstraintProto &from)
 
AutomatonConstraintProtooperator= (AutomatonConstraintProto &&from) noexcept
 
void Swap (AutomatonConstraintProto *other)
 
AutomatonConstraintProtoNew () const final
 
AutomatonConstraintProtoNew (::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 AutomatonConstraintProto &from)
 
void MergeFrom (const AutomatonConstraintProto &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 final_states_size () const
 
void clear_final_states ()
 
::PROTOBUF_NAMESPACE_ID::int64 final_states (int index) const
 
void set_final_states (int index, ::PROTOBUF_NAMESPACE_ID::int64 value)
 
void add_final_states (::PROTOBUF_NAMESPACE_ID::int64 value)
 
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int64 > & final_states () const
 
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int64 > * mutable_final_states ()
 
int transition_tail_size () const
 
void clear_transition_tail ()
 
::PROTOBUF_NAMESPACE_ID::int64 transition_tail (int index) const
 
void set_transition_tail (int index, ::PROTOBUF_NAMESPACE_ID::int64 value)
 
void add_transition_tail (::PROTOBUF_NAMESPACE_ID::int64 value)
 
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int64 > & transition_tail () const
 
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int64 > * mutable_transition_tail ()
 
int transition_head_size () const
 
void clear_transition_head ()
 
::PROTOBUF_NAMESPACE_ID::int64 transition_head (int index) const
 
void set_transition_head (int index, ::PROTOBUF_NAMESPACE_ID::int64 value)
 
void add_transition_head (::PROTOBUF_NAMESPACE_ID::int64 value)
 
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int64 > & transition_head () const
 
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int64 > * mutable_transition_head ()
 
int transition_label_size () const
 
void clear_transition_label ()
 
::PROTOBUF_NAMESPACE_ID::int64 transition_label (int index) const
 
void set_transition_label (int index, ::PROTOBUF_NAMESPACE_ID::int64 value)
 
void add_transition_label (::PROTOBUF_NAMESPACE_ID::int64 value)
 
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int64 > & transition_label () const
 
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int64 > * mutable_transition_label ()
 
int vars_size () const
 
void clear_vars ()
 
::PROTOBUF_NAMESPACE_ID::int32 vars (int index) const
 
void set_vars (int index, ::PROTOBUF_NAMESPACE_ID::int32 value)
 
void add_vars (::PROTOBUF_NAMESPACE_ID::int32 value)
 
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > & vars () const
 
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > * mutable_vars ()
 
void clear_starting_state ()
 
::PROTOBUF_NAMESPACE_ID::int64 starting_state () const
 
void set_starting_state (::PROTOBUF_NAMESPACE_ID::int64 value)
 

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 AutomatonConstraintProtodefault_instance ()
 
static void InitAsDefaultInstance ()
 
static const AutomatonConstraintProtointernal_default_instance ()
 

Static Public Attributes

static constexpr int kIndexInFileMessages
 

Member Enumeration Documentation

◆ anonymous enum

anonymous enum : int
Enumerator
kFinalStatesFieldNumber 
kTransitionTailFieldNumber 
kTransitionHeadFieldNumber 
kTransitionLabelFieldNumber 
kVarsFieldNumber 
kStartingStateFieldNumber 

Definition at line 3441 of file cp_model.pb.h.

Constructor & Destructor Documentation

◆ AutomatonConstraintProto() [1/3]

◆ ~AutomatonConstraintProto()

virtual ~AutomatonConstraintProto ( )
virtual

◆ AutomatonConstraintProto() [2/3]

◆ AutomatonConstraintProto() [3/3]

Definition at line 3343 of file cp_model.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_final_states()

void add_final_states ( ::PROTOBUF_NAMESPACE_ID::int64  value)
inline

Definition at line 7680 of file cp_model.pb.h.

◆ add_transition_head()

void add_transition_head ( ::PROTOBUF_NAMESPACE_ID::int64  value)
inline

Definition at line 7774 of file cp_model.pb.h.

◆ add_transition_label()

void add_transition_label ( ::PROTOBUF_NAMESPACE_ID::int64  value)
inline

Definition at line 7821 of file cp_model.pb.h.

◆ add_transition_tail()

void add_transition_tail ( ::PROTOBUF_NAMESPACE_ID::int64  value)
inline

Definition at line 7727 of file cp_model.pb.h.

◆ add_vars()

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

Definition at line 7868 of file cp_model.pb.h.

◆ ByteSizeLong()

size_t ByteSizeLong ( ) const
final

◆ Clear()

PROTOBUF_ATTRIBUTE_REINITIALIZES void Clear ( )
final

◆ clear_final_states()

void clear_final_states ( )
inline

Definition at line 7663 of file cp_model.pb.h.

◆ clear_starting_state()

void clear_starting_state ( )
inline

Definition at line 7637 of file cp_model.pb.h.

◆ clear_transition_head()

void clear_transition_head ( )
inline

Definition at line 7757 of file cp_model.pb.h.

◆ clear_transition_label()

void clear_transition_label ( )
inline

Definition at line 7804 of file cp_model.pb.h.

◆ clear_transition_tail()

void clear_transition_tail ( )
inline

Definition at line 7710 of file cp_model.pb.h.

◆ clear_vars()

void clear_vars ( )
inline

Definition at line 7851 of file cp_model.pb.h.

◆ CopyFrom() [1/2]

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

◆ CopyFrom() [2/2]

void CopyFrom ( const AutomatonConstraintProto from)

◆ default_instance()

static const AutomatonConstraintProto& default_instance ( )
static

◆ descriptor()

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

Definition at line 3361 of file cp_model.pb.h.

◆ final_states() [1/2]

const ::PROTOBUF_NAMESPACE_ID::RepeatedField<::PROTOBUF_NAMESPACE_ID::int64 > & final_states ( ) const
inline

Definition at line 7689 of file cp_model.pb.h.

◆ final_states() [2/2]

PROTOBUF_NAMESPACE_ID::int64 final_states ( int  index) const
inline

Definition at line 7669 of file cp_model.pb.h.

◆ final_states_size()

int final_states_size ( ) const
inline

Definition at line 7660 of file cp_model.pb.h.

◆ GetCachedSize()

int GetCachedSize ( ) const
inlinefinal

Definition at line 3408 of file cp_model.pb.h.

◆ GetDescriptor()

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

Definition at line 3364 of file cp_model.pb.h.

◆ GetMetadata()

::PROTOBUF_NAMESPACE_ID::Metadata GetMetadata ( ) const
final

◆ GetReflection()

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

Definition at line 3367 of file cp_model.pb.h.

◆ InitAsDefaultInstance()

static void InitAsDefaultInstance ( )
static

◆ internal_default_instance()

static const AutomatonConstraintProto* internal_default_instance ( )
inlinestatic

Definition at line 3373 of file cp_model.pb.h.

◆ IsInitialized()

bool IsInitialized ( ) const
final

◆ MergeFrom() [1/2]

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

◆ MergeFrom() [2/2]

void MergeFrom ( const AutomatonConstraintProto from)

◆ mutable_final_states()

PROTOBUF_NAMESPACE_ID::RepeatedField<::PROTOBUF_NAMESPACE_ID::int64 > * mutable_final_states ( )
inline

Definition at line 7698 of file cp_model.pb.h.

◆ mutable_transition_head()

PROTOBUF_NAMESPACE_ID::RepeatedField<::PROTOBUF_NAMESPACE_ID::int64 > * mutable_transition_head ( )
inline

Definition at line 7792 of file cp_model.pb.h.

◆ mutable_transition_label()

PROTOBUF_NAMESPACE_ID::RepeatedField<::PROTOBUF_NAMESPACE_ID::int64 > * mutable_transition_label ( )
inline

Definition at line 7839 of file cp_model.pb.h.

◆ mutable_transition_tail()

PROTOBUF_NAMESPACE_ID::RepeatedField<::PROTOBUF_NAMESPACE_ID::int64 > * mutable_transition_tail ( )
inline

Definition at line 7745 of file cp_model.pb.h.

◆ mutable_vars()

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

Definition at line 7886 of file cp_model.pb.h.

◆ New() [1/2]

AutomatonConstraintProto* New ( ) const
inlinefinal

Definition at line 3390 of file cp_model.pb.h.

◆ New() [2/2]

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

Definition at line 3394 of file cp_model.pb.h.

◆ operator=() [1/2]

AutomatonConstraintProto& operator= ( AutomatonConstraintProto &&  from)
inlinenoexcept

Definition at line 3352 of file cp_model.pb.h.

◆ operator=() [2/2]

AutomatonConstraintProto& operator= ( const AutomatonConstraintProto from)
inline

Definition at line 3348 of file cp_model.pb.h.

◆ set_final_states()

void set_final_states ( int  index,
::PROTOBUF_NAMESPACE_ID::int64  value 
)
inline

Definition at line 7673 of file cp_model.pb.h.

◆ set_starting_state()

void set_starting_state ( ::PROTOBUF_NAMESPACE_ID::int64  value)
inline

Definition at line 7651 of file cp_model.pb.h.

◆ set_transition_head()

void set_transition_head ( int  index,
::PROTOBUF_NAMESPACE_ID::int64  value 
)
inline

Definition at line 7767 of file cp_model.pb.h.

◆ set_transition_label()

void set_transition_label ( int  index,
::PROTOBUF_NAMESPACE_ID::int64  value 
)
inline

Definition at line 7814 of file cp_model.pb.h.

◆ set_transition_tail()

void set_transition_tail ( int  index,
::PROTOBUF_NAMESPACE_ID::int64  value 
)
inline

Definition at line 7720 of file cp_model.pb.h.

◆ set_vars()

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

Definition at line 7861 of file cp_model.pb.h.

◆ starting_state()

PROTOBUF_NAMESPACE_ID::int64 starting_state ( ) const
inline

Definition at line 7643 of file cp_model.pb.h.

◆ Swap()

void Swap ( AutomatonConstraintProto other)
inline

Definition at line 3383 of file cp_model.pb.h.

◆ transition_head() [1/2]

const ::PROTOBUF_NAMESPACE_ID::RepeatedField<::PROTOBUF_NAMESPACE_ID::int64 > & transition_head ( ) const
inline

Definition at line 7783 of file cp_model.pb.h.

◆ transition_head() [2/2]

PROTOBUF_NAMESPACE_ID::int64 transition_head ( int  index) const
inline

Definition at line 7763 of file cp_model.pb.h.

◆ transition_head_size()

int transition_head_size ( ) const
inline

Definition at line 7754 of file cp_model.pb.h.

◆ transition_label() [1/2]

const ::PROTOBUF_NAMESPACE_ID::RepeatedField<::PROTOBUF_NAMESPACE_ID::int64 > & transition_label ( ) const
inline

Definition at line 7830 of file cp_model.pb.h.

◆ transition_label() [2/2]

PROTOBUF_NAMESPACE_ID::int64 transition_label ( int  index) const
inline

Definition at line 7810 of file cp_model.pb.h.

◆ transition_label_size()

int transition_label_size ( ) const
inline

Definition at line 7801 of file cp_model.pb.h.

◆ transition_tail() [1/2]

const ::PROTOBUF_NAMESPACE_ID::RepeatedField<::PROTOBUF_NAMESPACE_ID::int64 > & transition_tail ( ) const
inline

Definition at line 7736 of file cp_model.pb.h.

◆ transition_tail() [2/2]

PROTOBUF_NAMESPACE_ID::int64 transition_tail ( int  index) const
inline

Definition at line 7716 of file cp_model.pb.h.

◆ transition_tail_size()

int transition_tail_size ( ) const
inline

Definition at line 7707 of file cp_model.pb.h.

◆ vars() [1/2]

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

Definition at line 7877 of file cp_model.pb.h.

◆ vars() [2/2]

PROTOBUF_NAMESPACE_ID::int32 vars ( int  index) const
inline

Definition at line 7857 of file cp_model.pb.h.

◆ vars_size()

int vars_size ( ) const
inline

Definition at line 7848 of file cp_model.pb.h.

Member Data Documentation

◆ kIndexInFileMessages

constexpr int kIndexInFileMessages
staticconstexpr
Initial value:
=
18

Definition at line 3377 of file cp_model.pb.h.


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