C++ Reference
C++ Reference: CP-SAT
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 | |
| AutomatonConstraintProto & | operator= (const AutomatonConstraintProto &from) |
| AutomatonConstraintProto & | operator= (AutomatonConstraintProto &&from) noexcept |
| void | Swap (AutomatonConstraintProto *other) |
| AutomatonConstraintProto * | New () const final |
| AutomatonConstraintProto * | New (::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 AutomatonConstraintProto & | default_instance () |
| static void | InitAsDefaultInstance () |
| static const AutomatonConstraintProto * | internal_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() [2/3]
| AutomatonConstraintProto | ( | const AutomatonConstraintProto & | from | ) |
◆ AutomatonConstraintProto() [3/3]
|
inlinenoexcept |
Definition at line 3343 of file cp_model.pb.h.
Member Function Documentation
◆ _InternalParse()
|
final |
◆ _InternalSerialize()
|
final |
◆ add_final_states()
|
inline |
Definition at line 7680 of file cp_model.pb.h.
◆ add_transition_head()
|
inline |
Definition at line 7774 of file cp_model.pb.h.
◆ add_transition_label()
|
inline |
Definition at line 7821 of file cp_model.pb.h.
◆ add_transition_tail()
|
inline |
Definition at line 7727 of file cp_model.pb.h.
◆ add_vars()
|
inline |
Definition at line 7868 of file cp_model.pb.h.
◆ ByteSizeLong()
|
final |
◆ Clear()
|
final |
◆ clear_final_states()
|
inline |
Definition at line 7663 of file cp_model.pb.h.
◆ clear_starting_state()
|
inline |
Definition at line 7637 of file cp_model.pb.h.
◆ clear_transition_head()
|
inline |
Definition at line 7757 of file cp_model.pb.h.
◆ clear_transition_label()
|
inline |
Definition at line 7804 of file cp_model.pb.h.
◆ clear_transition_tail()
|
inline |
Definition at line 7710 of file cp_model.pb.h.
◆ clear_vars()
|
inline |
Definition at line 7851 of file cp_model.pb.h.
◆ CopyFrom() [1/2]
|
final |
◆ CopyFrom() [2/2]
| void CopyFrom | ( | const AutomatonConstraintProto & | from | ) |
◆ default_instance()
|
static |
◆ descriptor()
|
inlinestatic |
Definition at line 3361 of file cp_model.pb.h.
◆ final_states() [1/2]
|
inline |
Definition at line 7689 of file cp_model.pb.h.
◆ final_states() [2/2]
|
inline |
Definition at line 7669 of file cp_model.pb.h.
◆ final_states_size()
|
inline |
Definition at line 7660 of file cp_model.pb.h.
◆ GetCachedSize()
|
inlinefinal |
Definition at line 3408 of file cp_model.pb.h.
◆ GetDescriptor()
|
inlinestatic |
Definition at line 3364 of file cp_model.pb.h.
◆ GetMetadata()
|
final |
◆ GetReflection()
|
inlinestatic |
Definition at line 3367 of file cp_model.pb.h.
◆ InitAsDefaultInstance()
|
static |
◆ internal_default_instance()
|
inlinestatic |
Definition at line 3373 of file cp_model.pb.h.
◆ IsInitialized()
|
final |
◆ MergeFrom() [1/2]
|
final |
◆ MergeFrom() [2/2]
| void MergeFrom | ( | const AutomatonConstraintProto & | from | ) |
◆ mutable_final_states()
|
inline |
Definition at line 7698 of file cp_model.pb.h.
◆ mutable_transition_head()
|
inline |
Definition at line 7792 of file cp_model.pb.h.
◆ mutable_transition_label()
|
inline |
Definition at line 7839 of file cp_model.pb.h.
◆ mutable_transition_tail()
|
inline |
Definition at line 7745 of file cp_model.pb.h.
◆ mutable_vars()
|
inline |
Definition at line 7886 of file cp_model.pb.h.
◆ New() [1/2]
|
inlinefinal |
Definition at line 3390 of file cp_model.pb.h.
◆ New() [2/2]
|
inlinefinal |
Definition at line 3394 of file cp_model.pb.h.
◆ operator=() [1/2]
|
inlinenoexcept |
Definition at line 3352 of file cp_model.pb.h.
◆ operator=() [2/2]
|
inline |
Definition at line 3348 of file cp_model.pb.h.
◆ set_final_states()
|
inline |
Definition at line 7673 of file cp_model.pb.h.
◆ set_starting_state()
|
inline |
Definition at line 7651 of file cp_model.pb.h.
◆ set_transition_head()
|
inline |
Definition at line 7767 of file cp_model.pb.h.
◆ set_transition_label()
|
inline |
Definition at line 7814 of file cp_model.pb.h.
◆ set_transition_tail()
|
inline |
Definition at line 7720 of file cp_model.pb.h.
◆ set_vars()
|
inline |
Definition at line 7861 of file cp_model.pb.h.
◆ starting_state()
|
inline |
Definition at line 7643 of file cp_model.pb.h.
◆ Swap()
|
inline |
Definition at line 3383 of file cp_model.pb.h.
◆ transition_head() [1/2]
|
inline |
Definition at line 7783 of file cp_model.pb.h.
◆ transition_head() [2/2]
|
inline |
Definition at line 7763 of file cp_model.pb.h.
◆ transition_head_size()
|
inline |
Definition at line 7754 of file cp_model.pb.h.
◆ transition_label() [1/2]
|
inline |
Definition at line 7830 of file cp_model.pb.h.
◆ transition_label() [2/2]
|
inline |
Definition at line 7810 of file cp_model.pb.h.
◆ transition_label_size()
|
inline |
Definition at line 7801 of file cp_model.pb.h.
◆ transition_tail() [1/2]
|
inline |
Definition at line 7736 of file cp_model.pb.h.
◆ transition_tail() [2/2]
|
inline |
Definition at line 7716 of file cp_model.pb.h.
◆ transition_tail_size()
|
inline |
Definition at line 7707 of file cp_model.pb.h.
◆ vars() [1/2]
|
inline |
Definition at line 7877 of file cp_model.pb.h.
◆ vars() [2/2]
|
inline |
Definition at line 7857 of file cp_model.pb.h.
◆ vars_size()
|
inline |
Definition at line 7848 of file cp_model.pb.h.
Member Data Documentation
◆ kIndexInFileMessages
|
staticconstexpr |
Definition at line 3377 of file cp_model.pb.h.
The documentation for this class was generated from the following file: