C++ Reference
C++ Reference: CP-SAT
Detailed Description
Definition at line 3589 of file cp_model.pb.h.
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 ConstraintProto & | default_instance () |
| static void | InitAsDefaultInstance () |
| static const ConstraintProto * | internal_default_instance () |
Static Public Attributes | |
| static constexpr int | kIndexInFileMessages |
Member Enumeration Documentation
◆ anonymous enum
| anonymous enum : int |
Definition at line 3723 of file cp_model.pb.h.
◆ ConstraintCase
| enum ConstraintCase |
Definition at line 3625 of file cp_model.pb.h.
Constructor & Destructor Documentation
◆ ConstraintProto() [1/3]
| ConstraintProto | ( | ) |
◆ ~ConstraintProto()
|
virtual |
◆ ConstraintProto() [2/3]
| ConstraintProto | ( | const ConstraintProto & | from | ) |
◆ ConstraintProto() [3/3]
|
inlinenoexcept |
Definition at line 3596 of file cp_model.pb.h.
Member Function Documentation
◆ _InternalParse()
|
final |
◆ _InternalSerialize()
|
final |
◆ add_enforcement_literal()
|
inline |
Definition at line 7979 of file cp_model.pb.h.
◆ all_diff()
|
inline |
Definition at line 8634 of file cp_model.pb.h.
◆ at_most_one()
|
inline |
Definition at line 8134 of file cp_model.pb.h.
◆ automaton()
|
inline |
Definition at line 8934 of file cp_model.pb.h.
◆ bool_and()
|
inline |
Definition at line 8084 of file cp_model.pb.h.
◆ bool_or()
|
inline |
Definition at line 8034 of file cp_model.pb.h.
◆ bool_xor()
|
inline |
Definition at line 8184 of file cp_model.pb.h.
◆ ByteSizeLong()
|
final |
◆ circuit()
|
inline |
Definition at line 8734 of file cp_model.pb.h.
◆ circuit_covering()
|
inline |
Definition at line 8834 of file cp_model.pb.h.
◆ Clear()
|
final |
◆ clear_all_diff()
|
inline |
Definition at line 8612 of file cp_model.pb.h.
◆ clear_at_most_one()
|
inline |
Definition at line 8112 of file cp_model.pb.h.
◆ clear_automaton()
|
inline |
Definition at line 8912 of file cp_model.pb.h.
◆ clear_bool_and()
|
inline |
Definition at line 8062 of file cp_model.pb.h.
◆ clear_bool_or()
|
inline |
Definition at line 8012 of file cp_model.pb.h.
◆ clear_bool_xor()
|
inline |
Definition at line 8162 of file cp_model.pb.h.
◆ clear_circuit()
|
inline |
Definition at line 8712 of file cp_model.pb.h.
◆ clear_circuit_covering()
|
inline |
Definition at line 8812 of file cp_model.pb.h.
◆ clear_constraint()
| void clear_constraint | ( | ) |
◆ clear_cumulative()
|
inline |
Definition at line 9212 of file cp_model.pb.h.
◆ clear_element()
|
inline |
Definition at line 8662 of file cp_model.pb.h.
◆ clear_enforcement_literal()
|
inline |
Definition at line 7962 of file cp_model.pb.h.
◆ clear_int_div()
|
inline |
Definition at line 8212 of file cp_model.pb.h.
◆ clear_int_max()
|
inline |
Definition at line 8312 of file cp_model.pb.h.
◆ clear_int_min()
|
inline |
Definition at line 8412 of file cp_model.pb.h.
◆ clear_int_mod()
|
inline |
Definition at line 8262 of file cp_model.pb.h.
◆ clear_int_prod()
|
inline |
Definition at line 8512 of file cp_model.pb.h.
◆ clear_interval()
|
inline |
Definition at line 9062 of file cp_model.pb.h.
◆ clear_inverse()
|
inline |
Definition at line 8962 of file cp_model.pb.h.
◆ clear_lin_max()
|
inline |
Definition at line 8362 of file cp_model.pb.h.
◆ clear_lin_min()
|
inline |
Definition at line 8462 of file cp_model.pb.h.
◆ clear_linear()
|
inline |
Definition at line 8562 of file cp_model.pb.h.
◆ clear_name()
|
inline |
Definition at line 7896 of file cp_model.pb.h.
◆ clear_no_overlap()
|
inline |
Definition at line 9112 of file cp_model.pb.h.
◆ clear_no_overlap_2d()
|
inline |
Definition at line 9162 of file cp_model.pb.h.
◆ clear_reservoir()
|
inline |
Definition at line 9012 of file cp_model.pb.h.
◆ clear_routes()
|
inline |
Definition at line 8762 of file cp_model.pb.h.
◆ clear_table()
|
inline |
Definition at line 8862 of file cp_model.pb.h.
◆ constraint_case()
|
inline |
Definition at line 9258 of file cp_model.pb.h.
◆ CopyFrom() [1/2]
|
final |
◆ CopyFrom() [2/2]
| void CopyFrom | ( | const ConstraintProto & | from | ) |
◆ cumulative()
|
inline |
Definition at line 9234 of file cp_model.pb.h.
◆ default_instance()
|
static |
◆ descriptor()
|
inlinestatic |
Definition at line 3614 of file cp_model.pb.h.
◆ element()
|
inline |
Definition at line 8684 of file cp_model.pb.h.
◆ enforcement_literal() [1/2]
|
inline |
Definition at line 7988 of file cp_model.pb.h.
◆ enforcement_literal() [2/2]
|
inline |
Definition at line 7968 of file cp_model.pb.h.
◆ enforcement_literal_size()
|
inline |
Definition at line 7959 of file cp_model.pb.h.
◆ GetCachedSize()
|
inlinefinal |
Definition at line 3690 of file cp_model.pb.h.
◆ GetDescriptor()
|
inlinestatic |
Definition at line 3617 of file cp_model.pb.h.
◆ GetMetadata()
|
final |
◆ GetReflection()
|
inlinestatic |
Definition at line 3620 of file cp_model.pb.h.
◆ has_all_diff()
|
inline |
Definition at line 8606 of file cp_model.pb.h.
◆ has_at_most_one()
|
inline |
Definition at line 8106 of file cp_model.pb.h.
◆ has_automaton()
|
inline |
Definition at line 8906 of file cp_model.pb.h.
◆ has_bool_and()
|
inline |
Definition at line 8056 of file cp_model.pb.h.
◆ has_bool_or()
|
inline |
Definition at line 8006 of file cp_model.pb.h.
◆ has_bool_xor()
|
inline |
Definition at line 8156 of file cp_model.pb.h.
◆ has_circuit()
|
inline |
Definition at line 8706 of file cp_model.pb.h.
◆ has_circuit_covering()
|
inline |
Definition at line 8806 of file cp_model.pb.h.
◆ has_cumulative()
|
inline |
Definition at line 9206 of file cp_model.pb.h.
◆ has_element()
|
inline |
Definition at line 8656 of file cp_model.pb.h.
◆ has_int_div()
|
inline |
Definition at line 8206 of file cp_model.pb.h.
◆ has_int_max()
|
inline |
Definition at line 8306 of file cp_model.pb.h.
◆ has_int_min()
|
inline |
Definition at line 8406 of file cp_model.pb.h.
◆ has_int_mod()
|
inline |
Definition at line 8256 of file cp_model.pb.h.
◆ has_int_prod()
|
inline |
Definition at line 8506 of file cp_model.pb.h.
◆ has_interval()
|
inline |
Definition at line 9056 of file cp_model.pb.h.
◆ has_inverse()
|
inline |
Definition at line 8956 of file cp_model.pb.h.
◆ has_lin_max()
|
inline |
Definition at line 8356 of file cp_model.pb.h.
◆ has_lin_min()
|
inline |
Definition at line 8456 of file cp_model.pb.h.
◆ has_linear()
|
inline |
Definition at line 8556 of file cp_model.pb.h.
◆ has_no_overlap()
|
inline |
Definition at line 9106 of file cp_model.pb.h.
◆ has_no_overlap_2d()
|
inline |
Definition at line 9156 of file cp_model.pb.h.
◆ has_reservoir()
|
inline |
Definition at line 9006 of file cp_model.pb.h.
◆ has_routes()
|
inline |
Definition at line 8756 of file cp_model.pb.h.
◆ has_table()
|
inline |
Definition at line 8856 of file cp_model.pb.h.
◆ InitAsDefaultInstance()
|
static |
◆ int_div()
|
inline |
Definition at line 8234 of file cp_model.pb.h.
◆ int_max()
|
inline |
Definition at line 8334 of file cp_model.pb.h.
◆ int_min()
|
inline |
Definition at line 8434 of file cp_model.pb.h.
◆ int_mod()
|
inline |
Definition at line 8284 of file cp_model.pb.h.
◆ int_prod()
|
inline |
Definition at line 8534 of file cp_model.pb.h.
◆ internal_default_instance()
|
inlinestatic |
Definition at line 3655 of file cp_model.pb.h.
◆ interval()
|
inline |
Definition at line 9084 of file cp_model.pb.h.
◆ inverse()
|
inline |
Definition at line 8984 of file cp_model.pb.h.
◆ IsInitialized()
|
final |
◆ lin_max()
|
inline |
Definition at line 8384 of file cp_model.pb.h.
◆ lin_min()
|
inline |
Definition at line 8484 of file cp_model.pb.h.
◆ linear()
|
inline |
Definition at line 8584 of file cp_model.pb.h.
◆ MergeFrom() [1/2]
|
final |
◆ MergeFrom() [2/2]
| void MergeFrom | ( | const ConstraintProto & | from | ) |
◆ mutable_all_diff()
|
inline |
Definition at line 8647 of file cp_model.pb.h.
◆ mutable_at_most_one()
|
inline |
Definition at line 8147 of file cp_model.pb.h.
◆ mutable_automaton()
|
inline |
Definition at line 8947 of file cp_model.pb.h.
◆ mutable_bool_and()
|
inline |
Definition at line 8097 of file cp_model.pb.h.
◆ mutable_bool_or()
|
inline |
Definition at line 8047 of file cp_model.pb.h.
◆ mutable_bool_xor()
|
inline |
Definition at line 8197 of file cp_model.pb.h.
◆ mutable_circuit()
|
inline |
Definition at line 8747 of file cp_model.pb.h.
◆ mutable_circuit_covering()
|
inline |
Definition at line 8847 of file cp_model.pb.h.
◆ mutable_cumulative()
|
inline |
Definition at line 9247 of file cp_model.pb.h.
◆ mutable_element()
|
inline |
Definition at line 8697 of file cp_model.pb.h.
◆ mutable_enforcement_literal()
|
inline |
Definition at line 7997 of file cp_model.pb.h.
◆ mutable_int_div()
|
inline |
Definition at line 8247 of file cp_model.pb.h.
◆ mutable_int_max()
|
inline |
Definition at line 8347 of file cp_model.pb.h.
◆ mutable_int_min()
|
inline |
Definition at line 8447 of file cp_model.pb.h.
◆ mutable_int_mod()
|
inline |
Definition at line 8297 of file cp_model.pb.h.
◆ mutable_int_prod()
|
inline |
Definition at line 8547 of file cp_model.pb.h.
◆ mutable_interval()
|
inline |
Definition at line 9097 of file cp_model.pb.h.
◆ mutable_inverse()
|
inline |
Definition at line 8997 of file cp_model.pb.h.
◆ mutable_lin_max()
|
inline |
Definition at line 8397 of file cp_model.pb.h.
◆ mutable_lin_min()
|
inline |
Definition at line 8497 of file cp_model.pb.h.
◆ mutable_linear()
|
inline |
Definition at line 8597 of file cp_model.pb.h.
◆ mutable_name()
|
inline |
Definition at line 7907 of file cp_model.pb.h.
◆ mutable_no_overlap()
|
inline |
Definition at line 9147 of file cp_model.pb.h.
◆ mutable_no_overlap_2d()
|
inline |
Definition at line 9197 of file cp_model.pb.h.
◆ mutable_reservoir()
|
inline |
Definition at line 9047 of file cp_model.pb.h.
◆ mutable_routes()
|
inline |
Definition at line 8797 of file cp_model.pb.h.
◆ mutable_table()
|
inline |
Definition at line 8897 of file cp_model.pb.h.
◆ name()
|
inline |
Definition at line 7899 of file cp_model.pb.h.
◆ New() [1/2]
|
inlinefinal |
Definition at line 3672 of file cp_model.pb.h.
◆ New() [2/2]
|
inlinefinal |
Definition at line 3676 of file cp_model.pb.h.
◆ no_overlap()
|
inline |
Definition at line 9134 of file cp_model.pb.h.
◆ no_overlap_2d()
|
inline |
Definition at line 9184 of file cp_model.pb.h.
◆ operator=() [1/2]
|
inline |
Definition at line 3601 of file cp_model.pb.h.
◆ operator=() [2/2]
|
inlinenoexcept |
Definition at line 3605 of file cp_model.pb.h.
◆ release_all_diff()
|
inline |
Definition at line 8618 of file cp_model.pb.h.
◆ release_at_most_one()
|
inline |
Definition at line 8118 of file cp_model.pb.h.
◆ release_automaton()
|
inline |
Definition at line 8918 of file cp_model.pb.h.
◆ release_bool_and()
|
inline |
Definition at line 8068 of file cp_model.pb.h.
◆ release_bool_or()
|
inline |
Definition at line 8018 of file cp_model.pb.h.
◆ release_bool_xor()
|
inline |
Definition at line 8168 of file cp_model.pb.h.
◆ release_circuit()
|
inline |
Definition at line 8718 of file cp_model.pb.h.
◆ release_circuit_covering()
|
inline |
Definition at line 8818 of file cp_model.pb.h.
◆ release_cumulative()
|
inline |
Definition at line 9218 of file cp_model.pb.h.
◆ release_element()
|
inline |
Definition at line 8668 of file cp_model.pb.h.
◆ release_int_div()
|
inline |
Definition at line 8218 of file cp_model.pb.h.
◆ release_int_max()
|
inline |
Definition at line 8318 of file cp_model.pb.h.
◆ release_int_min()
|
inline |
Definition at line 8418 of file cp_model.pb.h.
◆ release_int_mod()
|
inline |
Definition at line 8268 of file cp_model.pb.h.
◆ release_int_prod()
|
inline |
Definition at line 8518 of file cp_model.pb.h.
◆ release_interval()
|
inline |
Definition at line 9068 of file cp_model.pb.h.
◆ release_inverse()
|
inline |
Definition at line 8968 of file cp_model.pb.h.
◆ release_lin_max()
|
inline |
Definition at line 8368 of file cp_model.pb.h.
◆ release_lin_min()
|
inline |
Definition at line 8468 of file cp_model.pb.h.
◆ release_linear()
|
inline |
Definition at line 8568 of file cp_model.pb.h.
◆ release_name()
|
inline |
Definition at line 7940 of file cp_model.pb.h.
◆ release_no_overlap()
|
inline |
Definition at line 9118 of file cp_model.pb.h.
◆ release_no_overlap_2d()
|
inline |
Definition at line 9168 of file cp_model.pb.h.
◆ release_reservoir()
|
inline |
Definition at line 9018 of file cp_model.pb.h.
◆ release_routes()
|
inline |
Definition at line 8768 of file cp_model.pb.h.
◆ release_table()
|
inline |
Definition at line 8868 of file cp_model.pb.h.
◆ reservoir()
|
inline |
Definition at line 9034 of file cp_model.pb.h.
◆ routes()
|
inline |
Definition at line 8784 of file cp_model.pb.h.
◆ set_allocated_all_diff()
| void set_allocated_all_diff | ( | ::operations_research::sat::AllDifferentConstraintProto * | all_diff | ) |
◆ set_allocated_at_most_one()
| void set_allocated_at_most_one | ( | ::operations_research::sat::BoolArgumentProto * | at_most_one | ) |
◆ set_allocated_automaton()
| void set_allocated_automaton | ( | ::operations_research::sat::AutomatonConstraintProto * | automaton | ) |
◆ set_allocated_bool_and()
| void set_allocated_bool_and | ( | ::operations_research::sat::BoolArgumentProto * | bool_and | ) |
◆ set_allocated_bool_or()
| void set_allocated_bool_or | ( | ::operations_research::sat::BoolArgumentProto * | bool_or | ) |
◆ set_allocated_bool_xor()
| void set_allocated_bool_xor | ( | ::operations_research::sat::BoolArgumentProto * | bool_xor | ) |
◆ set_allocated_circuit()
| void set_allocated_circuit | ( | ::operations_research::sat::CircuitConstraintProto * | circuit | ) |
◆ set_allocated_circuit_covering()
| void set_allocated_circuit_covering | ( | ::operations_research::sat::CircuitCoveringConstraintProto * | circuit_covering | ) |
◆ set_allocated_cumulative()
| void set_allocated_cumulative | ( | ::operations_research::sat::CumulativeConstraintProto * | cumulative | ) |
◆ set_allocated_element()
| void set_allocated_element | ( | ::operations_research::sat::ElementConstraintProto * | element | ) |
◆ set_allocated_int_div()
| void set_allocated_int_div | ( | ::operations_research::sat::IntegerArgumentProto * | int_div | ) |
◆ set_allocated_int_max()
| void set_allocated_int_max | ( | ::operations_research::sat::IntegerArgumentProto * | int_max | ) |
◆ set_allocated_int_min()
| void set_allocated_int_min | ( | ::operations_research::sat::IntegerArgumentProto * | int_min | ) |
◆ set_allocated_int_mod()
| void set_allocated_int_mod | ( | ::operations_research::sat::IntegerArgumentProto * | int_mod | ) |
◆ set_allocated_int_prod()
| void set_allocated_int_prod | ( | ::operations_research::sat::IntegerArgumentProto * | int_prod | ) |
◆ set_allocated_interval()
| void set_allocated_interval | ( | ::operations_research::sat::IntervalConstraintProto * | interval | ) |
◆ set_allocated_inverse()
| void set_allocated_inverse | ( | ::operations_research::sat::InverseConstraintProto * | inverse | ) |
◆ set_allocated_lin_max()
| void set_allocated_lin_max | ( | ::operations_research::sat::LinearArgumentProto * | lin_max | ) |
◆ set_allocated_lin_min()
| void set_allocated_lin_min | ( | ::operations_research::sat::LinearArgumentProto * | lin_min | ) |
◆ set_allocated_linear()
| void set_allocated_linear | ( | ::operations_research::sat::LinearConstraintProto * | linear | ) |
◆ set_allocated_name()
|
inline |
Definition at line 7945 of file cp_model.pb.h.
◆ set_allocated_no_overlap()
| void set_allocated_no_overlap | ( | ::operations_research::sat::NoOverlapConstraintProto * | no_overlap | ) |
◆ set_allocated_no_overlap_2d()
| void set_allocated_no_overlap_2d | ( | ::operations_research::sat::NoOverlap2DConstraintProto * | no_overlap_2d | ) |
◆ set_allocated_reservoir()
| void set_allocated_reservoir | ( | ::operations_research::sat::ReservoirConstraintProto * | reservoir | ) |
◆ set_allocated_routes()
| void set_allocated_routes | ( | ::operations_research::sat::RoutesConstraintProto * | routes | ) |
◆ set_allocated_table()
| void set_allocated_table | ( | ::operations_research::sat::TableConstraintProto * | table | ) |
◆ set_enforcement_literal()
|
inline |
Definition at line 7972 of file cp_model.pb.h.
◆ set_name() [1/4]
|
inline |
Definition at line 7924 of file cp_model.pb.h.
◆ set_name() [2/4]
|
inline |
Definition at line 7930 of file cp_model.pb.h.
◆ set_name() [3/4]
|
inline |
Definition at line 7903 of file cp_model.pb.h.
◆ set_name() [4/4]
|
inline |
Definition at line 7918 of file cp_model.pb.h.
◆ Swap()
|
inline |
Definition at line 3665 of file cp_model.pb.h.
◆ table()
|
inline |
Definition at line 8884 of file cp_model.pb.h.
Member Data Documentation
◆ kIndexInFileMessages
|
staticconstexpr |
Definition at line 3659 of file cp_model.pb.h.
The documentation for this class was generated from the following file: