C++ Reference
C++ Reference: CP-SAT
Detailed Description
Definition at line 5281 of file cp_model.pb.h.
Public Types | |
| enum | : int { kSolutionFieldNumber = 2, kSolutionLowerBoundsFieldNumber = 18, kSolutionUpperBoundsFieldNumber = 19, kTightenedVariablesFieldNumber = 21, kSufficientAssumptionsForInfeasibilityFieldNumber = 23, kSolutionInfoFieldNumber = 20, kObjectiveValueFieldNumber = 3, kStatusFieldNumber = 1, kAllSolutionsWereFoundFieldNumber = 5, kBestObjectiveBoundFieldNumber = 4, kNumBooleansFieldNumber = 10, kNumConflictsFieldNumber = 11, kNumBranchesFieldNumber = 12, kNumBinaryPropagationsFieldNumber = 13, kNumIntegerPropagationsFieldNumber = 14, kWallTimeFieldNumber = 15, kUserTimeFieldNumber = 16, kDeterministicTimeFieldNumber = 17, kPrimalIntegralFieldNumber = 22 } |
Public Member Functions | |
| CpSolverResponse () | |
| virtual | ~CpSolverResponse () |
| CpSolverResponse (const CpSolverResponse &from) | |
| CpSolverResponse (CpSolverResponse &&from) noexcept | |
| CpSolverResponse & | operator= (const CpSolverResponse &from) |
| CpSolverResponse & | operator= (CpSolverResponse &&from) noexcept |
| void | Swap (CpSolverResponse *other) |
| CpSolverResponse * | New () const final |
| CpSolverResponse * | 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 CpSolverResponse &from) |
| void | MergeFrom (const CpSolverResponse &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 | solution_size () const |
| void | clear_solution () |
| ::PROTOBUF_NAMESPACE_ID::int64 | solution (int index) const |
| void | set_solution (int index, ::PROTOBUF_NAMESPACE_ID::int64 value) |
| void | add_solution (::PROTOBUF_NAMESPACE_ID::int64 value) |
| const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int64 > & | solution () const |
| ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int64 > * | mutable_solution () |
| int | solution_lower_bounds_size () const |
| void | clear_solution_lower_bounds () |
| ::PROTOBUF_NAMESPACE_ID::int64 | solution_lower_bounds (int index) const |
| void | set_solution_lower_bounds (int index, ::PROTOBUF_NAMESPACE_ID::int64 value) |
| void | add_solution_lower_bounds (::PROTOBUF_NAMESPACE_ID::int64 value) |
| const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int64 > & | solution_lower_bounds () const |
| ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int64 > * | mutable_solution_lower_bounds () |
| int | solution_upper_bounds_size () const |
| void | clear_solution_upper_bounds () |
| ::PROTOBUF_NAMESPACE_ID::int64 | solution_upper_bounds (int index) const |
| void | set_solution_upper_bounds (int index, ::PROTOBUF_NAMESPACE_ID::int64 value) |
| void | add_solution_upper_bounds (::PROTOBUF_NAMESPACE_ID::int64 value) |
| const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int64 > & | solution_upper_bounds () const |
| ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int64 > * | mutable_solution_upper_bounds () |
| int | tightened_variables_size () const |
| void | clear_tightened_variables () |
| ::operations_research::sat::IntegerVariableProto * | mutable_tightened_variables (int index) |
| ::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::IntegerVariableProto > * | mutable_tightened_variables () |
| const ::operations_research::sat::IntegerVariableProto & | tightened_variables (int index) const |
| ::operations_research::sat::IntegerVariableProto * | add_tightened_variables () |
| const ::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::IntegerVariableProto > & | tightened_variables () const |
| int | sufficient_assumptions_for_infeasibility_size () const |
| void | clear_sufficient_assumptions_for_infeasibility () |
| ::PROTOBUF_NAMESPACE_ID::int32 | sufficient_assumptions_for_infeasibility (int index) const |
| void | set_sufficient_assumptions_for_infeasibility (int index, ::PROTOBUF_NAMESPACE_ID::int32 value) |
| void | add_sufficient_assumptions_for_infeasibility (::PROTOBUF_NAMESPACE_ID::int32 value) |
| const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > & | sufficient_assumptions_for_infeasibility () const |
| ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > * | mutable_sufficient_assumptions_for_infeasibility () |
| void | clear_solution_info () |
| const std::string & | solution_info () const |
| void | set_solution_info (const std::string &value) |
| void | set_solution_info (std::string &&value) |
| void | set_solution_info (const char *value) |
| void | set_solution_info (const char *value, size_t size) |
| std::string * | mutable_solution_info () |
| std::string * | release_solution_info () |
| void | set_allocated_solution_info (std::string *solution_info) |
| void | clear_objective_value () |
| double | objective_value () const |
| void | set_objective_value (double value) |
| void | clear_status () |
| ::operations_research::sat::CpSolverStatus | status () const |
| void | set_status (::operations_research::sat::CpSolverStatus value) |
| void | clear_all_solutions_were_found () |
| bool | all_solutions_were_found () const |
| void | set_all_solutions_were_found (bool value) |
| void | clear_best_objective_bound () |
| double | best_objective_bound () const |
| void | set_best_objective_bound (double value) |
| void | clear_num_booleans () |
| ::PROTOBUF_NAMESPACE_ID::int64 | num_booleans () const |
| void | set_num_booleans (::PROTOBUF_NAMESPACE_ID::int64 value) |
| void | clear_num_conflicts () |
| ::PROTOBUF_NAMESPACE_ID::int64 | num_conflicts () const |
| void | set_num_conflicts (::PROTOBUF_NAMESPACE_ID::int64 value) |
| void | clear_num_branches () |
| ::PROTOBUF_NAMESPACE_ID::int64 | num_branches () const |
| void | set_num_branches (::PROTOBUF_NAMESPACE_ID::int64 value) |
| void | clear_num_binary_propagations () |
| ::PROTOBUF_NAMESPACE_ID::int64 | num_binary_propagations () const |
| void | set_num_binary_propagations (::PROTOBUF_NAMESPACE_ID::int64 value) |
| void | clear_num_integer_propagations () |
| ::PROTOBUF_NAMESPACE_ID::int64 | num_integer_propagations () const |
| void | set_num_integer_propagations (::PROTOBUF_NAMESPACE_ID::int64 value) |
| void | clear_wall_time () |
| double | wall_time () const |
| void | set_wall_time (double value) |
| void | clear_user_time () |
| double | user_time () const |
| void | set_user_time (double value) |
| void | clear_deterministic_time () |
| double | deterministic_time () const |
| void | set_deterministic_time (double value) |
| void | clear_primal_integral () |
| double | primal_integral () const |
| void | set_primal_integral (double 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 CpSolverResponse & | default_instance () |
| static void | InitAsDefaultInstance () |
| static const CpSolverResponse * | internal_default_instance () |
Static Public Attributes | |
| static constexpr int | kIndexInFileMessages |
Member Enumeration Documentation
◆ anonymous enum
| anonymous enum : int |
Definition at line 5386 of file cp_model.pb.h.
Constructor & Destructor Documentation
◆ CpSolverResponse() [1/3]
| CpSolverResponse | ( | ) |
◆ ~CpSolverResponse()
|
virtual |
◆ CpSolverResponse() [2/3]
| CpSolverResponse | ( | const CpSolverResponse & | from | ) |
◆ CpSolverResponse() [3/3]
|
inlinenoexcept |
Definition at line 5288 of file cp_model.pb.h.
Member Function Documentation
◆ _InternalParse()
|
final |
◆ _InternalSerialize()
|
final |
◆ add_solution()
|
inline |
Definition at line 10134 of file cp_model.pb.h.
◆ add_solution_lower_bounds()
|
inline |
Definition at line 10221 of file cp_model.pb.h.
◆ add_solution_upper_bounds()
|
inline |
Definition at line 10268 of file cp_model.pb.h.
◆ add_sufficient_assumptions_for_infeasibility()
|
inline |
Definition at line 10354 of file cp_model.pb.h.
◆ add_tightened_variables()
|
inline |
Definition at line 10320 of file cp_model.pb.h.
◆ all_solutions_were_found()
|
inline |
Definition at line 10384 of file cp_model.pb.h.
◆ best_objective_bound()
|
inline |
Definition at line 10184 of file cp_model.pb.h.
◆ ByteSizeLong()
|
final |
◆ Clear()
|
final |
◆ clear_all_solutions_were_found()
|
inline |
Definition at line 10378 of file cp_model.pb.h.
◆ clear_best_objective_bound()
|
inline |
Definition at line 10178 of file cp_model.pb.h.
◆ clear_deterministic_time()
|
inline |
Definition at line 10538 of file cp_model.pb.h.
◆ clear_num_binary_propagations()
|
inline |
Definition at line 10458 of file cp_model.pb.h.
◆ clear_num_booleans()
|
inline |
Definition at line 10398 of file cp_model.pb.h.
◆ clear_num_branches()
|
inline |
Definition at line 10438 of file cp_model.pb.h.
◆ clear_num_conflicts()
|
inline |
Definition at line 10418 of file cp_model.pb.h.
◆ clear_num_integer_propagations()
|
inline |
Definition at line 10478 of file cp_model.pb.h.
◆ clear_objective_value()
|
inline |
Definition at line 10158 of file cp_model.pb.h.
◆ clear_primal_integral()
|
inline |
Definition at line 10558 of file cp_model.pb.h.
◆ clear_solution()
|
inline |
Definition at line 10117 of file cp_model.pb.h.
◆ clear_solution_info()
|
inline |
Definition at line 10578 of file cp_model.pb.h.
◆ clear_solution_lower_bounds()
|
inline |
Definition at line 10204 of file cp_model.pb.h.
◆ clear_solution_upper_bounds()
|
inline |
Definition at line 10251 of file cp_model.pb.h.
◆ clear_status()
|
inline |
Definition at line 10091 of file cp_model.pb.h.
◆ clear_sufficient_assumptions_for_infeasibility()
|
inline |
Definition at line 10337 of file cp_model.pb.h.
◆ clear_tightened_variables()
|
inline |
Definition at line 10298 of file cp_model.pb.h.
◆ clear_user_time()
|
inline |
Definition at line 10518 of file cp_model.pb.h.
◆ clear_wall_time()
|
inline |
Definition at line 10498 of file cp_model.pb.h.
◆ CopyFrom() [1/2]
|
final |
◆ CopyFrom() [2/2]
| void CopyFrom | ( | const CpSolverResponse & | from | ) |
◆ default_instance()
|
static |
◆ descriptor()
|
inlinestatic |
Definition at line 5306 of file cp_model.pb.h.
◆ deterministic_time()
|
inline |
Definition at line 10544 of file cp_model.pb.h.
◆ GetCachedSize()
|
inlinefinal |
Definition at line 5353 of file cp_model.pb.h.
◆ GetDescriptor()
|
inlinestatic |
Definition at line 5309 of file cp_model.pb.h.
◆ GetMetadata()
|
final |
◆ GetReflection()
|
inlinestatic |
Definition at line 5312 of file cp_model.pb.h.
◆ InitAsDefaultInstance()
|
static |
◆ internal_default_instance()
|
inlinestatic |
Definition at line 5318 of file cp_model.pb.h.
◆ IsInitialized()
|
final |
◆ MergeFrom() [1/2]
|
final |
◆ MergeFrom() [2/2]
| void MergeFrom | ( | const CpSolverResponse & | from | ) |
◆ mutable_solution()
|
inline |
Definition at line 10152 of file cp_model.pb.h.
◆ mutable_solution_info()
|
inline |
Definition at line 10589 of file cp_model.pb.h.
◆ mutable_solution_lower_bounds()
|
inline |
Definition at line 10239 of file cp_model.pb.h.
◆ mutable_solution_upper_bounds()
|
inline |
Definition at line 10286 of file cp_model.pb.h.
◆ mutable_sufficient_assumptions_for_infeasibility()
|
inline |
Definition at line 10372 of file cp_model.pb.h.
◆ mutable_tightened_variables() [1/2]
|
inline |
Definition at line 10306 of file cp_model.pb.h.
◆ mutable_tightened_variables() [2/2]
|
inline |
Definition at line 10301 of file cp_model.pb.h.
◆ New() [1/2]
|
inlinefinal |
Definition at line 5335 of file cp_model.pb.h.
◆ New() [2/2]
|
inlinefinal |
Definition at line 5339 of file cp_model.pb.h.
◆ num_binary_propagations()
|
inline |
Definition at line 10464 of file cp_model.pb.h.
◆ num_booleans()
|
inline |
Definition at line 10404 of file cp_model.pb.h.
◆ num_branches()
|
inline |
Definition at line 10444 of file cp_model.pb.h.
◆ num_conflicts()
|
inline |
Definition at line 10424 of file cp_model.pb.h.
◆ num_integer_propagations()
|
inline |
Definition at line 10484 of file cp_model.pb.h.
◆ objective_value()
|
inline |
Definition at line 10164 of file cp_model.pb.h.
◆ operator=() [1/2]
|
inline |
Definition at line 5293 of file cp_model.pb.h.
◆ operator=() [2/2]
|
inlinenoexcept |
Definition at line 5297 of file cp_model.pb.h.
◆ primal_integral()
|
inline |
Definition at line 10564 of file cp_model.pb.h.
◆ release_solution_info()
|
inline |
Definition at line 10622 of file cp_model.pb.h.
◆ set_all_solutions_were_found()
|
inline |
Definition at line 10392 of file cp_model.pb.h.
◆ set_allocated_solution_info()
|
inline |
Definition at line 10627 of file cp_model.pb.h.
◆ set_best_objective_bound()
|
inline |
Definition at line 10192 of file cp_model.pb.h.
◆ set_deterministic_time()
|
inline |
Definition at line 10552 of file cp_model.pb.h.
◆ set_num_binary_propagations()
|
inline |
Definition at line 10472 of file cp_model.pb.h.
◆ set_num_booleans()
|
inline |
Definition at line 10412 of file cp_model.pb.h.
◆ set_num_branches()
|
inline |
Definition at line 10452 of file cp_model.pb.h.
◆ set_num_conflicts()
|
inline |
Definition at line 10432 of file cp_model.pb.h.
◆ set_num_integer_propagations()
|
inline |
Definition at line 10492 of file cp_model.pb.h.
◆ set_objective_value()
|
inline |
Definition at line 10172 of file cp_model.pb.h.
◆ set_primal_integral()
|
inline |
Definition at line 10572 of file cp_model.pb.h.
◆ set_solution()
|
inline |
Definition at line 10127 of file cp_model.pb.h.
◆ set_solution_info() [1/4]
|
inline |
Definition at line 10606 of file cp_model.pb.h.
◆ set_solution_info() [2/4]
|
inline |
Definition at line 10612 of file cp_model.pb.h.
◆ set_solution_info() [3/4]
|
inline |
Definition at line 10585 of file cp_model.pb.h.
◆ set_solution_info() [4/4]
|
inline |
Definition at line 10600 of file cp_model.pb.h.
◆ set_solution_lower_bounds()
|
inline |
Definition at line 10214 of file cp_model.pb.h.
◆ set_solution_upper_bounds()
|
inline |
Definition at line 10261 of file cp_model.pb.h.
◆ set_status()
|
inline |
Definition at line 10105 of file cp_model.pb.h.
◆ set_sufficient_assumptions_for_infeasibility()
|
inline |
Definition at line 10347 of file cp_model.pb.h.
◆ set_user_time()
|
inline |
Definition at line 10532 of file cp_model.pb.h.
◆ set_wall_time()
|
inline |
Definition at line 10512 of file cp_model.pb.h.
◆ solution() [1/2]
|
inline |
Definition at line 10143 of file cp_model.pb.h.
◆ solution() [2/2]
|
inline |
Definition at line 10123 of file cp_model.pb.h.
◆ solution_info()
|
inline |
Definition at line 10581 of file cp_model.pb.h.
◆ solution_lower_bounds() [1/2]
|
inline |
Definition at line 10230 of file cp_model.pb.h.
◆ solution_lower_bounds() [2/2]
|
inline |
Definition at line 10210 of file cp_model.pb.h.
◆ solution_lower_bounds_size()
|
inline |
Definition at line 10201 of file cp_model.pb.h.
◆ solution_size()
|
inline |
Definition at line 10114 of file cp_model.pb.h.
◆ solution_upper_bounds() [1/2]
|
inline |
Definition at line 10277 of file cp_model.pb.h.
◆ solution_upper_bounds() [2/2]
|
inline |
Definition at line 10257 of file cp_model.pb.h.
◆ solution_upper_bounds_size()
|
inline |
Definition at line 10248 of file cp_model.pb.h.
◆ status()
|
inline |
Definition at line 10097 of file cp_model.pb.h.
◆ sufficient_assumptions_for_infeasibility() [1/2]
|
inline |
Definition at line 10363 of file cp_model.pb.h.
◆ sufficient_assumptions_for_infeasibility() [2/2]
|
inline |
Definition at line 10343 of file cp_model.pb.h.
◆ sufficient_assumptions_for_infeasibility_size()
|
inline |
Definition at line 10334 of file cp_model.pb.h.
◆ Swap()
|
inline |
Definition at line 5328 of file cp_model.pb.h.
◆ tightened_variables() [1/2]
|
inline |
Definition at line 10325 of file cp_model.pb.h.
◆ tightened_variables() [2/2]
|
inline |
Definition at line 10313 of file cp_model.pb.h.
◆ tightened_variables_size()
|
inline |
Definition at line 10295 of file cp_model.pb.h.
◆ user_time()
|
inline |
Definition at line 10524 of file cp_model.pb.h.
◆ wall_time()
|
inline |
Definition at line 10504 of file cp_model.pb.h.
Member Data Documentation
◆ kIndexInFileMessages
|
staticconstexpr |
Definition at line 5322 of file cp_model.pb.h.
The documentation for this class was generated from the following file: