Detailed Description

Definition at line 6432 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 }
	nested types -------------------------------------------------— More...

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
	implements Message -------------------------------------------—
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
	repeated int64 final_states = 3;
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
	repeated int64 transition_tail = 4;
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
	repeated int64 transition_head = 5;
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
	repeated int64 transition_label = 6;
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
	repeated int32 vars = 7;
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
	repeated .operations_research.sat.LinearExpressionProto exprs = 8;
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 starting_state = 2;
::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

Protected Member Functions
	AutomatonConstraintProto (::google::protobuf::Arena *PROTOBUF_NULLABLE arena)
	AutomatonConstraintProto (::google::protobuf::Arena *PROTOBUF_NULLABLE arena, const AutomatonConstraintProto &from)
	AutomatonConstraintProto (::google::protobuf::Arena *PROTOBUF_NULLABLE arena, AutomatonConstraintProto &&from) noexcept
const ::google::protobuf::internal::ClassData *PROTOBUF_NONNULL	GetClassData () const PROTOBUF_FINAL

Static Protected Member Functions
static void *PROTOBUF_NONNULL	PlacementNew_ (const void PROTOBUF_NONNULL, void PROTOBUF_NONNULL mem, ::google::protobuf::Arena *PROTOBUF_NULLABLE arena)
static constexpr auto	InternalNewImpl_ ()

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

nested types -------------------------------------------------—

accessors ----------------------------------------------------—

Enumerator
kFinalStatesFieldNumber
kTransitionTailFieldNumber
kTransitionHeadFieldNumber
kTransitionLabelFieldNumber
kVarsFieldNumber
kExprsFieldNumber
kStartingStateFieldNumber

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

Constructor & Destructor Documentation

◆ AutomatonConstraintProto() [1/8]

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

inline

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

◆ ~AutomatonConstraintProto()

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

@protoc_insertion_point(destructor:operations_research.sat.AutomatonConstraintProto)

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

◆ AutomatonConstraintProto() [2/8]

template<typename = void>

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

explicit

◆ AutomatonConstraintProto() [3/8]

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

inline

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

◆ AutomatonConstraintProto() [4/8]

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

inlinenoexcept

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

◆ AutomatonConstraintProto() [5/8]

operations_research::sat::AutomatonConstraintProto::AutomatonConstraintProto ( ::google::protobuf::Arena *PROTOBUF_NULLABLE arena )

explicitprotected

@protoc_insertion_point(arena_constructor:operations_research.sat.AutomatonConstraintProto)

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

◆ AutomatonConstraintProto() [6/8]

operations_research::sat::AutomatonConstraintProto::AutomatonConstraintProto	(	::google::protobuf::Arena *PROTOBUF_NULLABLE	arena,
		const AutomatonConstraintProto &	from )

protected

@protoc_insertion_point(copy_constructor:operations_research.sat.AutomatonConstraintProto)

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

◆ AutomatonConstraintProto() [7/8]

operations_research::sat::AutomatonConstraintProto::AutomatonConstraintProto	(	::google::protobuf::Arena *PROTOBUF_NULLABLE	arena,
		AutomatonConstraintProto &&	from )

inlineprotectednoexcept

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

◆ AutomatonConstraintProto() [8/8]

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

@protoc_insertion_point(serialize_to_array_start:operations_research.sat.AutomatonConstraintProto)

int64 starting_state = 2;

repeated int64 final_states = 3;

repeated int64 transition_tail = 4;

repeated int64 transition_head = 5;

repeated int64 transition_label = 6;

repeated int32 vars = 7;

repeated .operations_research.sat.LinearExpressionProto exprs = 8;

@protoc_insertion_point(serialize_to_array_end:operations_research.sat.AutomatonConstraintProto)

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

◆ add_exprs()

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

inline

@protoc_insertion_point(field_add:operations_research.sat.AutomatonConstraintProto.exprs)

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

◆ add_final_states()

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

inline

@protoc_insertion_point(field_add:operations_research.sat.AutomatonConstraintProto.final_states)

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

◆ add_transition_head()

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

inline

@protoc_insertion_point(field_add:operations_research.sat.AutomatonConstraintProto.transition_head)

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

◆ add_transition_label()

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

inline

@protoc_insertion_point(field_add:operations_research.sat.AutomatonConstraintProto.transition_label)

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

◆ add_transition_tail()

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

inline

@protoc_insertion_point(field_add:operations_research.sat.AutomatonConstraintProto.transition_tail)

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

◆ add_vars()

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

inline

@protoc_insertion_point(field_add:operations_research.sat.AutomatonConstraintProto.vars)

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

◆ ByteSizeLong()

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

final

@protoc_insertion_point(message_byte_size_start:operations_research.sat.AutomatonConstraintProto)

Prevent compiler warnings about cached_has_bits being unused

repeated int64 final_states = 3;

repeated int64 transition_tail = 4;

repeated int64 transition_head = 5;

repeated int64 transition_label = 6;

repeated int32 vars = 7;

repeated .operations_research.sat.LinearExpressionProto exprs = 8;

int64 starting_state = 2;

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

◆ Clear()

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

@protoc_insertion_point(message_clear_start:operations_research.sat.AutomatonConstraintProto)

Prevent compiler warnings about cached_has_bits being unused

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

◆ clear_exprs()

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

inline

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

◆ clear_final_states()

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

inline

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

◆ clear_starting_state()

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

inline

int64 starting_state = 2;

AutomatonConstraintProto.

int64 starting_state = 2;

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

◆ clear_transition_head()

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

inline

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

◆ clear_transition_label()

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

inline

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

◆ clear_transition_tail()

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

inline

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

◆ clear_vars()

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

inline

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

◆ CopyFrom()

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

@protoc_insertion_point(class_specific_copy_from_start:operations_research.sat.AutomatonConstraintProto)

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

◆ default_instance()

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

inlinestatic

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

◆ descriptor()

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

inlinestatic

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

◆ exprs() [1/2]

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

inline

@protoc_insertion_point(field_list:operations_research.sat.AutomatonConstraintProto.exprs)

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

◆ exprs() [2/2]

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

inline

@protoc_insertion_point(field_get:operations_research.sat.AutomatonConstraintProto.exprs)

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

◆ exprs_size()

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

inline

repeated .operations_research.sat.LinearExpressionProto exprs = 8;

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

◆ final_states() [1/2]

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

inline

@protoc_insertion_point(field_list:operations_research.sat.AutomatonConstraintProto.final_states)

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

◆ final_states() [2/2]

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

inline

@protoc_insertion_point(field_get:operations_research.sat.AutomatonConstraintProto.final_states)

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

◆ final_states_size()

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

inline

repeated int64 final_states = 3;

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

◆ GetCachedSize()

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

inline

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

◆ GetClassData()

PROTOBUF_ATTRIBUTE_WEAKconst::google::protobuf::internal::ClassData *PROTOBUF_NONNULL operations_research::sat::AutomatonConstraintProto::GetClassData ( ) const

protected

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

◆ GetDescriptor()

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

inlinestatic

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

◆ GetMetadata()

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

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

◆ GetReflection()

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

inlinestatic

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

◆ InternalGenerateClassData_()

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

staticconstexpr

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

◆ InternalNewImpl_()

auto operations_research::sat::AutomatonConstraintProto::InternalNewImpl_ ( )

staticconstexprprotected

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

◆ IsInitialized()

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

inline

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

◆ MergeFrom()

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

inline

Definition at line 6511 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

@protoc_insertion_point(field_mutable_list:operations_research.sat.AutomatonConstraintProto.exprs)

Definition at line 11189 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

@protoc_insertion_point(field_mutable:operations_research.sat.AutomatonConstraintProto.exprs)

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

◆ mutable_final_states()

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

inline

@protoc_insertion_point(field_mutable_list:operations_research.sat.AutomatonConstraintProto.final_states)

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

◆ mutable_transition_head()

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

inline

@protoc_insertion_point(field_mutable_list:operations_research.sat.AutomatonConstraintProto.transition_head)

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

◆ mutable_transition_label()

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

inline

@protoc_insertion_point(field_mutable_list:operations_research.sat.AutomatonConstraintProto.transition_label)

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

◆ mutable_transition_tail()

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

inline

@protoc_insertion_point(field_mutable_list:operations_research.sat.AutomatonConstraintProto.transition_tail)

Definition at line 11018 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 6469 of file cp_model.pb.h.

◆ mutable_vars()

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

inline

@protoc_insertion_point(field_mutable_list:operations_research.sat.AutomatonConstraintProto.vars)

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

◆ New()

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

inline

implements Message -------------------------------------------—

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

◆ operator=() [1/2]

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

inlinenoexcept

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

◆ operator=() [2/2]

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

inline

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

◆ PlacementNew_()

void *PROTOBUF_NONNULL operations_research::sat::AutomatonConstraintProto::PlacementNew_	(	const void *	PROTOBUF_NONNULL,
		void *PROTOBUF_NONNULL	mem,
		::google::protobuf::Arena *PROTOBUF_NULLABLE	arena )

inlinestaticprotected

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

◆ set_final_states()

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

inline

@protoc_insertion_point(field_set:operations_research.sat.AutomatonConstraintProto.final_states)

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

◆ set_starting_state()

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

inline

@protoc_insertion_point(field_set:operations_research.sat.AutomatonConstraintProto.starting_state)

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

◆ set_transition_head()

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

inline

@protoc_insertion_point(field_set:operations_research.sat.AutomatonConstraintProto.transition_head)

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

◆ set_transition_label()

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

inline

@protoc_insertion_point(field_set:operations_research.sat.AutomatonConstraintProto.transition_label)

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

◆ set_transition_tail()

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

inline

@protoc_insertion_point(field_set:operations_research.sat.AutomatonConstraintProto.transition_tail)

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

◆ set_vars()

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

inline

@protoc_insertion_point(field_set:operations_research.sat.AutomatonConstraintProto.vars)

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

◆ starting_state()

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

inline

@protoc_insertion_point(field_get:operations_research.sat.AutomatonConstraintProto.starting_state)

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

◆ Swap()

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

inline

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

◆ transition_head() [1/2]

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

inline

@protoc_insertion_point(field_list:operations_research.sat.AutomatonConstraintProto.transition_head)

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

◆ transition_head() [2/2]

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

inline

@protoc_insertion_point(field_get:operations_research.sat.AutomatonConstraintProto.transition_head)

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

◆ transition_head_size()

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

inline

repeated int64 transition_head = 5;

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

◆ transition_label() [1/2]

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

inline

@protoc_insertion_point(field_list:operations_research.sat.AutomatonConstraintProto.transition_label)

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

◆ transition_label() [2/2]

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

inline

@protoc_insertion_point(field_get:operations_research.sat.AutomatonConstraintProto.transition_label)

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

◆ transition_label_size()

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

inline

repeated int64 transition_label = 6;

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

◆ transition_tail() [1/2]

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

inline

@protoc_insertion_point(field_list:operations_research.sat.AutomatonConstraintProto.transition_tail)

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

◆ transition_tail() [2/2]

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

inline

@protoc_insertion_point(field_get:operations_research.sat.AutomatonConstraintProto.transition_tail)

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

◆ transition_tail_size()

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

inline

repeated int64 transition_tail = 4;

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

◆ unknown_fields()

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

inline

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

◆ UnsafeArenaSwap()

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

inline

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

◆ vars() [1/2]

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

inline

@protoc_insertion_point(field_list:operations_research.sat.AutomatonConstraintProto.vars)

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

◆ vars() [2/2]

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

inline

@protoc_insertion_point(field_get:operations_research.sat.AutomatonConstraintProto.vars)

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

◆ vars_size()

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

inline

repeated int32 vars = 7;

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

◆ ::google::protobuf::Arena

friend class ::google::protobuf::Arena

friend

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

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

template<typename T>

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

friend

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

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

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

friend

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

◆ ::google::protobuf::MessageLite

friend class ::google::protobuf::MessageLite

friend

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

◆ ::TableStruct_ortools_2fsat_2fcp_5fmodel_2eproto

friend struct ::TableStruct_ortools_2fsat_2fcp_5fmodel_2eproto

friend

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

◆ swap

void swap	(	AutomatonConstraintProto &	a,
		AutomatonConstraintProto &	b )

friend

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

Member Data Documentation

◆ _impl_

Impl_ operations_research::sat::AutomatonConstraintProto::_impl_

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

◆ kIndexInFileMessages

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

staticconstexpr

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

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

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

Detailed Description

Classes

Public Types

Public Member Functions

Static Public Member Functions

Static Public Attributes

Protected Member Functions

Static Protected Member Functions

Friends

Member Enumeration Documentation

◆ anonymous enum

Constructor & Destructor Documentation

◆ AutomatonConstraintProto() [1/8]

◆ ~AutomatonConstraintProto()

◆ AutomatonConstraintProto() [2/8]

◆ AutomatonConstraintProto() [3/8]

◆ AutomatonConstraintProto() [4/8]

◆ AutomatonConstraintProto() [5/8]

◆ AutomatonConstraintProto() [6/8]

◆ AutomatonConstraintProto() [7/8]

◆ AutomatonConstraintProto() [8/8]

Member Function Documentation

◆ _InternalSerialize()

◆ add_exprs()

◆ add_final_states()

◆ add_transition_head()

◆ add_transition_label()

◆ add_transition_tail()

◆ add_vars()

◆ ByteSizeLong()

◆ Clear()

◆ clear_exprs()

◆ clear_final_states()

◆ clear_starting_state()

◆ clear_transition_head()

◆ clear_transition_label()

◆ clear_transition_tail()

◆ clear_vars()

◆ CopyFrom()

◆ default_instance()

◆ descriptor()

◆ exprs() [1/2]

◆ exprs() [2/2]

◆ exprs_size()

◆ final_states() [1/2]

◆ final_states() [2/2]

◆ final_states_size()

◆ GetCachedSize()

◆ GetClassData()

◆ GetDescriptor()

◆ GetMetadata()

◆ GetReflection()

◆ InternalGenerateClassData_()

◆ InternalNewImpl_()

◆ IsInitialized()

◆ MergeFrom()

◆ mutable_exprs() [1/2]

◆ mutable_exprs() [2/2]

◆ mutable_final_states()

◆ mutable_transition_head()

◆ mutable_transition_label()

◆ mutable_transition_tail()

◆ mutable_unknown_fields()

◆ mutable_vars()

◆ New()

◆ operator=() [1/2]

◆ operator=() [2/2]

◆ PlacementNew_()

◆ set_final_states()

◆ set_starting_state()

◆ set_transition_head()

◆ set_transition_label()

◆ set_transition_tail()

◆ set_vars()

◆ starting_state()

◆ Swap()

◆ transition_head() [1/2]

◆ transition_head() [2/2]

◆ transition_head_size()

◆ transition_label() [1/2]