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

Detailed Description

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

#include <cp_model.pb.h>

Inheritance diagram for operations_research::sat::AutomatonConstraintProto:

Classes

class  _Internal

Public Types

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

Public Member Functions

 AutomatonConstraintProto ()
 ~AutomatonConstraintProto () PROTOBUF_FINAL
template<typename = void>
PROTOBUF_CONSTEXPR AutomatonConstraintProto (::google::protobuf::internal::ConstantInitialized)
 AutomatonConstraintProto (const AutomatonConstraintProto &from)
 AutomatonConstraintProto (AutomatonConstraintProto &&from) noexcept
AutomatonConstraintProto & operator= (const AutomatonConstraintProto &from)
AutomatonConstraintProto & operator= (AutomatonConstraintProto &&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 (AutomatonConstraintProto *PROTOBUF_NONNULL other)
void UnsafeArenaSwap (AutomatonConstraintProto *PROTOBUF_NONNULL other)
AutomatonConstraintProto *PROTOBUF_NONNULL New (::google::protobuf::Arena *PROTOBUF_NULLABLE arena=nullptr) const
void CopyFrom (const AutomatonConstraintProto &from)
void MergeFrom (const AutomatonConstraintProto &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 final_states_size () const
void clear_final_states ()
::int64_t final_states (int index) const
void set_final_states (int index, ::int64_t value)
void add_final_states (::int64_t value)
const ::google::protobuf::RepeatedField<::int64_t > & final_states () const
::google::protobuf::RepeatedField<::int64_t > *PROTOBUF_NONNULL mutable_final_states ()
int transition_tail_size () const
void clear_transition_tail ()
::int64_t transition_tail (int index) const
void set_transition_tail (int index, ::int64_t value)
void add_transition_tail (::int64_t value)
const ::google::protobuf::RepeatedField<::int64_t > & transition_tail () const
::google::protobuf::RepeatedField<::int64_t > *PROTOBUF_NONNULL mutable_transition_tail ()
int transition_head_size () const
void clear_transition_head ()
::int64_t transition_head (int index) const
void set_transition_head (int index, ::int64_t value)
void add_transition_head (::int64_t value)
const ::google::protobuf::RepeatedField<::int64_t > & transition_head () const
::google::protobuf::RepeatedField<::int64_t > *PROTOBUF_NONNULL mutable_transition_head ()
int transition_label_size () const
void clear_transition_label ()
::int64_t transition_label (int index) const
void set_transition_label (int index, ::int64_t value)
void add_transition_label (::int64_t value)
const ::google::protobuf::RepeatedField<::int64_t > & transition_label () const
::google::protobuf::RepeatedField<::int64_t > *PROTOBUF_NONNULL mutable_transition_label ()
int vars_size () const
void clear_vars ()
::int32_t vars (int index) const
void set_vars (int index, ::int32_t value)
void add_vars (::int32_t value)
const ::google::protobuf::RepeatedField<::int32_t > & vars () const
::google::protobuf::RepeatedField<::int32_t > *PROTOBUF_NONNULL mutable_vars ()
int exprs_size () const
void clear_exprs ()
::operations_research::sat::LinearExpressionProto *PROTOBUF_NONNULL mutable_exprs (int index)
::google::protobuf::RepeatedPtrField<::operations_research::sat::LinearExpressionProto > *PROTOBUF_NONNULL mutable_exprs ()
const ::operations_research::sat::LinearExpressionProto & exprs (int index) const
::operations_research::sat::LinearExpressionProto *PROTOBUF_NONNULL add_exprs ()
const ::google::protobuf::RepeatedPtrField<::operations_research::sat::LinearExpressionProto > & exprs () const
void clear_starting_state ()
::int64_t starting_state () const
void set_starting_state (::int64_t value)
template<typename>
PROTOBUF_CONSTEXPR AutomatonConstraintProto (::_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 AutomatonConstraintProto & default_instance ()
static constexpr auto InternalGenerateClassData_ ()

Static Public Attributes

static constexpr int kIndexInFileMessages = 17

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_2fcp_5fmodel_2eproto
void swap (AutomatonConstraintProto &a, AutomatonConstraintProto &b)

Member Enumeration Documentation

◆ anonymous enum

anonymous enum : int
Enumerator
kFinalStatesFieldNumber 
kTransitionTailFieldNumber 
kTransitionHeadFieldNumber 
kTransitionLabelFieldNumber 
kVarsFieldNumber 
kExprsFieldNumber 
kStartingStateFieldNumber 

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

Constructor & Destructor Documentation

◆ AutomatonConstraintProto() [1/5]

operations_research::sat::AutomatonConstraintProto::AutomatonConstraintProto ( )
inline

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

◆ ~AutomatonConstraintProto()

operations_research::sat::AutomatonConstraintProto::~AutomatonConstraintProto ( )

Definition at line 7705 of file cp_model.pb.cc.

◆ AutomatonConstraintProto() [2/5]

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

◆ AutomatonConstraintProto() [3/5]

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

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

◆ AutomatonConstraintProto() [4/5]

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

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

◆ AutomatonConstraintProto() [5/5]

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

Definition at line 780 of file cp_model.pb.cc.

Member Function Documentation

◆ _InternalSerialize()

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

Definition at line 7905 of file cp_model.pb.cc.

◆ add_exprs()

operations_research::sat::LinearExpressionProto *PROTOBUF_NONNULL operations_research::sat::AutomatonConstraintProto::add_exprs ( )
inline

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

◆ add_final_states()

void operations_research::sat::AutomatonConstraintProto::add_final_states ( ::int64_t value)
inline

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

◆ add_transition_head()

void operations_research::sat::AutomatonConstraintProto::add_transition_head ( ::int64_t value)
inline

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

◆ add_transition_label()

void operations_research::sat::AutomatonConstraintProto::add_transition_label ( ::int64_t value)
inline

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

◆ add_transition_tail()

void operations_research::sat::AutomatonConstraintProto::add_transition_tail ( ::int64_t value)
inline

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

◆ add_vars()

void operations_research::sat::AutomatonConstraintProto::add_vars ( ::int32_t value)
inline

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

◆ ByteSizeLong()

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

Definition at line 8008 of file cp_model.pb.cc.

◆ Clear()

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

Definition at line 7866 of file cp_model.pb.cc.

◆ clear_exprs()

void operations_research::sat::AutomatonConstraintProto::clear_exprs ( )
inline

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

◆ clear_final_states()

void operations_research::sat::AutomatonConstraintProto::clear_final_states ( )
inline

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

◆ clear_starting_state()

void operations_research::sat::AutomatonConstraintProto::clear_starting_state ( )
inline

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

◆ clear_transition_head()

void operations_research::sat::AutomatonConstraintProto::clear_transition_head ( )
inline

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

◆ clear_transition_label()

void operations_research::sat::AutomatonConstraintProto::clear_transition_label ( )
inline

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

◆ clear_transition_tail()

void operations_research::sat::AutomatonConstraintProto::clear_transition_tail ( )
inline

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

◆ clear_vars()

void operations_research::sat::AutomatonConstraintProto::clear_vars ( )
inline

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

◆ CopyFrom()

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

Definition at line 8122 of file cp_model.pb.cc.

◆ default_instance()

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

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

◆ descriptor()

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

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

◆ exprs() [1/2]

const::google::protobuf::RepeatedPtrField<::operations_research::sat::LinearExpressionProto > & operations_research::sat::AutomatonConstraintProto::exprs ( ) const
inline

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

◆ exprs() [2/2]

const::operations_research::sat::LinearExpressionProto & operations_research::sat::AutomatonConstraintProto::exprs ( int index) const
inline

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

◆ exprs_size()

int operations_research::sat::AutomatonConstraintProto::exprs_size ( ) const
inline

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

◆ final_states() [1/2]

const::google::protobuf::RepeatedField<::int64_t > & operations_research::sat::AutomatonConstraintProto::final_states ( ) const
inline

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

◆ final_states() [2/2]

int64_t operations_research::sat::AutomatonConstraintProto::final_states ( int index) const
inline

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

◆ final_states_size()

int operations_research::sat::AutomatonConstraintProto::final_states_size ( ) const
inline

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

◆ GetCachedSize()

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

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

◆ GetDescriptor()

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

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

◆ GetMetadata()

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

Definition at line 8143 of file cp_model.pb.cc.

◆ GetReflection()

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

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

◆ InternalGenerateClassData_()

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

Definition at line 7760 of file cp_model.pb.cc.

◆ IsInitialized()

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

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

◆ MergeFrom()

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

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

◆ mutable_exprs() [1/2]

google::protobuf::RepeatedPtrField<::operations_research::sat::LinearExpressionProto > *PROTOBUF_NONNULL operations_research::sat::AutomatonConstraintProto::mutable_exprs ( )
inline

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

◆ mutable_exprs() [2/2]

operations_research::sat::LinearExpressionProto *PROTOBUF_NONNULL operations_research::sat::AutomatonConstraintProto::mutable_exprs ( int index)
inline

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

◆ mutable_final_states()

google::protobuf::RepeatedField<::int64_t > *PROTOBUF_NONNULL operations_research::sat::AutomatonConstraintProto::mutable_final_states ( )
inline

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

◆ mutable_transition_head()

google::protobuf::RepeatedField<::int64_t > *PROTOBUF_NONNULL operations_research::sat::AutomatonConstraintProto::mutable_transition_head ( )
inline

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

◆ mutable_transition_label()

google::protobuf::RepeatedField<::int64_t > *PROTOBUF_NONNULL operations_research::sat::AutomatonConstraintProto::mutable_transition_label ( )
inline

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

◆ mutable_transition_tail()

google::protobuf::RepeatedField<::int64_t > *PROTOBUF_NONNULL operations_research::sat::AutomatonConstraintProto::mutable_transition_tail ( )
inline

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

◆ mutable_unknown_fields()

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

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

◆ mutable_vars()

google::protobuf::RepeatedField<::int32_t > *PROTOBUF_NONNULL operations_research::sat::AutomatonConstraintProto::mutable_vars ( )
inline

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

◆ New()

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

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

◆ operator=() [1/2]

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

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

◆ operator=() [2/2]

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

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

◆ set_final_states()

void operations_research::sat::AutomatonConstraintProto::set_final_states ( int index,
::int64_t value )
inline

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

◆ set_starting_state()

void operations_research::sat::AutomatonConstraintProto::set_starting_state ( ::int64_t value)
inline

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

◆ set_transition_head()

void operations_research::sat::AutomatonConstraintProto::set_transition_head ( int index,
::int64_t value )
inline

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

◆ set_transition_label()

void operations_research::sat::AutomatonConstraintProto::set_transition_label ( int index,
::int64_t value )
inline

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

◆ set_transition_tail()

void operations_research::sat::AutomatonConstraintProto::set_transition_tail ( int index,
::int64_t value )
inline

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

◆ set_vars()

void operations_research::sat::AutomatonConstraintProto::set_vars ( int index,
::int32_t value )
inline

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

◆ starting_state()

int64_t operations_research::sat::AutomatonConstraintProto::starting_state ( ) const
inline

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

◆ Swap()

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

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

◆ transition_head() [1/2]

const::google::protobuf::RepeatedField<::int64_t > & operations_research::sat::AutomatonConstraintProto::transition_head ( ) const
inline

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

◆ transition_head() [2/2]

int64_t operations_research::sat::AutomatonConstraintProto::transition_head ( int index) const
inline

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

◆ transition_head_size()

int operations_research::sat::AutomatonConstraintProto::transition_head_size ( ) const
inline

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

◆ transition_label() [1/2]

const::google::protobuf::RepeatedField<::int64_t > & operations_research::sat::AutomatonConstraintProto::transition_label ( ) const
inline

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

◆ transition_label() [2/2]

int64_t operations_research::sat::AutomatonConstraintProto::transition_label ( int index) const
inline

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

◆ transition_label_size()

int operations_research::sat::AutomatonConstraintProto::transition_label_size ( ) const
inline

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

◆ transition_tail() [1/2]

const::google::protobuf::RepeatedField<::int64_t > & operations_research::sat::AutomatonConstraintProto::transition_tail ( ) const
inline

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

◆ transition_tail() [2/2]

int64_t operations_research::sat::AutomatonConstraintProto::transition_tail ( int index) const
inline

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

◆ transition_tail_size()

int operations_research::sat::AutomatonConstraintProto::transition_tail_size ( ) const
inline

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

◆ unknown_fields()

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

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

◆ UnsafeArenaSwap()

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

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

◆ vars() [1/2]

const::google::protobuf::RepeatedField<::int32_t > & operations_research::sat::AutomatonConstraintProto::vars ( ) const
inline

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

◆ vars() [2/2]

int32_t operations_research::sat::AutomatonConstraintProto::vars ( int index) const
inline

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

◆ vars_size()

int operations_research::sat::AutomatonConstraintProto::vars_size ( ) const
inline

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

◆ ::google::protobuf::Arena

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

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

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

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

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

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

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

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

◆ ::google::protobuf::MessageLite

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

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

◆ ::TableStruct_ortools_2fsat_2fcp_5fmodel_2eproto

friend struct ::TableStruct_ortools_2fsat_2fcp_5fmodel_2eproto
friend

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

◆ swap

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

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

Member Data Documentation

◆ _impl_

Impl_ operations_research::sat::AutomatonConstraintProto::_impl_

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

◆ kIndexInFileMessages

int operations_research::sat::AutomatonConstraintProto::kIndexInFileMessages = 17
staticconstexpr

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

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