C++ Reference

C++ Reference: CP-SAT

CpSolverResponse

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
 
CpSolverResponseoperator= (const CpSolverResponse &from)
 
CpSolverResponseoperator= (CpSolverResponse &&from) noexcept
 
void Swap (CpSolverResponse *other)
 
CpSolverResponseNew () const final
 
CpSolverResponseNew (::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::IntegerVariableProtomutable_tightened_variables (int index)
 
::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::IntegerVariableProto > * mutable_tightened_variables ()
 
const ::operations_research::sat::IntegerVariablePrototightened_variables (int index) const
 
::operations_research::sat::IntegerVariableProtoadd_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 CpSolverResponsedefault_instance ()
 
static void InitAsDefaultInstance ()
 
static const CpSolverResponseinternal_default_instance ()
 

Static Public Attributes

static constexpr int kIndexInFileMessages
 

Member Enumeration Documentation

◆ anonymous enum

anonymous enum : int
Enumerator
kSolutionFieldNumber 
kSolutionLowerBoundsFieldNumber 
kSolutionUpperBoundsFieldNumber 
kTightenedVariablesFieldNumber 
kSufficientAssumptionsForInfeasibilityFieldNumber 
kSolutionInfoFieldNumber 
kObjectiveValueFieldNumber 
kStatusFieldNumber 
kAllSolutionsWereFoundFieldNumber 
kBestObjectiveBoundFieldNumber 
kNumBooleansFieldNumber 
kNumConflictsFieldNumber 
kNumBranchesFieldNumber 
kNumBinaryPropagationsFieldNumber 
kNumIntegerPropagationsFieldNumber 
kWallTimeFieldNumber 
kUserTimeFieldNumber 
kDeterministicTimeFieldNumber 
kPrimalIntegralFieldNumber 

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

Constructor & Destructor Documentation

◆ CpSolverResponse() [1/3]

◆ ~CpSolverResponse()

virtual ~CpSolverResponse ( )
virtual

◆ CpSolverResponse() [2/3]

◆ CpSolverResponse() [3/3]

CpSolverResponse ( CpSolverResponse &&  from)
inlinenoexcept

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

Member Function Documentation

◆ _InternalParse()

const char* _InternalParse ( const char *  ptr,
::PROTOBUF_NAMESPACE_ID::internal::ParseContext *  ctx 
)
final

◆ _InternalSerialize()

::PROTOBUF_NAMESPACE_ID::uint8* _InternalSerialize ( ::PROTOBUF_NAMESPACE_ID::uint8 *  target,
::PROTOBUF_NAMESPACE_ID::io::EpsCopyOutputStream *  stream 
) const
final

◆ add_solution()

void add_solution ( ::PROTOBUF_NAMESPACE_ID::int64  value)
inline

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

◆ add_solution_lower_bounds()

void add_solution_lower_bounds ( ::PROTOBUF_NAMESPACE_ID::int64  value)
inline

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

◆ add_solution_upper_bounds()

void add_solution_upper_bounds ( ::PROTOBUF_NAMESPACE_ID::int64  value)
inline

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

◆ add_sufficient_assumptions_for_infeasibility()

void add_sufficient_assumptions_for_infeasibility ( ::PROTOBUF_NAMESPACE_ID::int32  value)
inline

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

◆ add_tightened_variables()

operations_research::sat::IntegerVariableProto * add_tightened_variables ( )
inline

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

◆ all_solutions_were_found()

bool all_solutions_were_found ( ) const
inline

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

◆ best_objective_bound()

double best_objective_bound ( ) const
inline

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

◆ ByteSizeLong()

size_t ByteSizeLong ( ) const
final

◆ Clear()

PROTOBUF_ATTRIBUTE_REINITIALIZES void Clear ( )
final

◆ clear_all_solutions_were_found()

void clear_all_solutions_were_found ( )
inline

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

◆ clear_best_objective_bound()

void clear_best_objective_bound ( )
inline

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

◆ clear_deterministic_time()

void clear_deterministic_time ( )
inline

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

◆ clear_num_binary_propagations()

void clear_num_binary_propagations ( )
inline

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

◆ clear_num_booleans()

void clear_num_booleans ( )
inline

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

◆ clear_num_branches()

void clear_num_branches ( )
inline

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

◆ clear_num_conflicts()

void clear_num_conflicts ( )
inline

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

◆ clear_num_integer_propagations()

void clear_num_integer_propagations ( )
inline

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

◆ clear_objective_value()

void clear_objective_value ( )
inline

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

◆ clear_primal_integral()

void clear_primal_integral ( )
inline

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

◆ clear_solution()

void clear_solution ( )
inline

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

◆ clear_solution_info()

void clear_solution_info ( )
inline

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

◆ clear_solution_lower_bounds()

void clear_solution_lower_bounds ( )
inline

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

◆ clear_solution_upper_bounds()

void clear_solution_upper_bounds ( )
inline

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

◆ clear_status()

void clear_status ( )
inline

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

◆ clear_sufficient_assumptions_for_infeasibility()

void clear_sufficient_assumptions_for_infeasibility ( )
inline

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

◆ clear_tightened_variables()

void clear_tightened_variables ( )
inline

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

◆ clear_user_time()

void clear_user_time ( )
inline

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

◆ clear_wall_time()

void clear_wall_time ( )
inline

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

◆ CopyFrom() [1/2]

void CopyFrom ( const ::PROTOBUF_NAMESPACE_ID::Message &  from)
final

◆ CopyFrom() [2/2]

void CopyFrom ( const CpSolverResponse from)

◆ default_instance()

static const CpSolverResponse& default_instance ( )
static

◆ descriptor()

static const ::PROTOBUF_NAMESPACE_ID::Descriptor* descriptor ( )
inlinestatic

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

◆ deterministic_time()

double deterministic_time ( ) const
inline

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

◆ GetCachedSize()

int GetCachedSize ( ) const
inlinefinal

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

◆ GetDescriptor()

static const ::PROTOBUF_NAMESPACE_ID::Descriptor* GetDescriptor ( )
inlinestatic

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

◆ GetMetadata()

::PROTOBUF_NAMESPACE_ID::Metadata GetMetadata ( ) const
final

◆ GetReflection()

static const ::PROTOBUF_NAMESPACE_ID::Reflection* GetReflection ( )
inlinestatic

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

◆ InitAsDefaultInstance()

static void InitAsDefaultInstance ( )
static

◆ internal_default_instance()

static const CpSolverResponse* internal_default_instance ( )
inlinestatic

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

◆ IsInitialized()

bool IsInitialized ( ) const
final

◆ MergeFrom() [1/2]

void MergeFrom ( const ::PROTOBUF_NAMESPACE_ID::Message &  from)
final

◆ MergeFrom() [2/2]

void MergeFrom ( const CpSolverResponse from)

◆ mutable_solution()

PROTOBUF_NAMESPACE_ID::RepeatedField<::PROTOBUF_NAMESPACE_ID::int64 > * mutable_solution ( )
inline

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

◆ mutable_solution_info()

std::string * mutable_solution_info ( )
inline

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

◆ mutable_solution_lower_bounds()

PROTOBUF_NAMESPACE_ID::RepeatedField<::PROTOBUF_NAMESPACE_ID::int64 > * mutable_solution_lower_bounds ( )
inline

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

◆ mutable_solution_upper_bounds()

PROTOBUF_NAMESPACE_ID::RepeatedField<::PROTOBUF_NAMESPACE_ID::int64 > * mutable_solution_upper_bounds ( )
inline

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

◆ mutable_sufficient_assumptions_for_infeasibility()

PROTOBUF_NAMESPACE_ID::RepeatedField<::PROTOBUF_NAMESPACE_ID::int32 > * mutable_sufficient_assumptions_for_infeasibility ( )
inline

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

◆ mutable_tightened_variables() [1/2]

PROTOBUF_NAMESPACE_ID::RepeatedPtrField<::operations_research::sat::IntegerVariableProto > * mutable_tightened_variables ( )
inline

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

◆ mutable_tightened_variables() [2/2]

operations_research::sat::IntegerVariableProto * mutable_tightened_variables ( int  index)
inline

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

◆ New() [1/2]

CpSolverResponse* New ( ) const
inlinefinal

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

◆ New() [2/2]

CpSolverResponse* New ( ::PROTOBUF_NAMESPACE_ID::Arena *  arena) const
inlinefinal

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

◆ num_binary_propagations()

PROTOBUF_NAMESPACE_ID::int64 num_binary_propagations ( ) const
inline

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

◆ num_booleans()

PROTOBUF_NAMESPACE_ID::int64 num_booleans ( ) const
inline

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

◆ num_branches()

PROTOBUF_NAMESPACE_ID::int64 num_branches ( ) const
inline

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

◆ num_conflicts()

PROTOBUF_NAMESPACE_ID::int64 num_conflicts ( ) const
inline

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

◆ num_integer_propagations()

PROTOBUF_NAMESPACE_ID::int64 num_integer_propagations ( ) const
inline

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

◆ objective_value()

double objective_value ( ) const
inline

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

◆ operator=() [1/2]

CpSolverResponse& operator= ( const CpSolverResponse from)
inline

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

◆ operator=() [2/2]

CpSolverResponse& operator= ( CpSolverResponse &&  from)
inlinenoexcept

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

◆ primal_integral()

double primal_integral ( ) const
inline

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

◆ release_solution_info()

std::string * release_solution_info ( )
inline

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

◆ set_all_solutions_were_found()

void set_all_solutions_were_found ( bool  value)
inline

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

◆ set_allocated_solution_info()

void set_allocated_solution_info ( std::string *  solution_info)
inline

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

◆ set_best_objective_bound()

void set_best_objective_bound ( double  value)
inline

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

◆ set_deterministic_time()

void set_deterministic_time ( double  value)
inline

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

◆ set_num_binary_propagations()

void set_num_binary_propagations ( ::PROTOBUF_NAMESPACE_ID::int64  value)
inline

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

◆ set_num_booleans()

void set_num_booleans ( ::PROTOBUF_NAMESPACE_ID::int64  value)
inline

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

◆ set_num_branches()

void set_num_branches ( ::PROTOBUF_NAMESPACE_ID::int64  value)
inline

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

◆ set_num_conflicts()

void set_num_conflicts ( ::PROTOBUF_NAMESPACE_ID::int64  value)
inline

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

◆ set_num_integer_propagations()

void set_num_integer_propagations ( ::PROTOBUF_NAMESPACE_ID::int64  value)
inline

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

◆ set_objective_value()

void set_objective_value ( double  value)
inline

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

◆ set_primal_integral()

void set_primal_integral ( double  value)
inline

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

◆ set_solution()

void set_solution ( int  index,
::PROTOBUF_NAMESPACE_ID::int64  value 
)
inline

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

◆ set_solution_info() [1/4]

void set_solution_info ( const char *  value)
inline

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

◆ set_solution_info() [2/4]

void set_solution_info ( const char *  value,
size_t  size 
)
inline

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

◆ set_solution_info() [3/4]

void set_solution_info ( const std::string &  value)
inline

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

◆ set_solution_info() [4/4]

void set_solution_info ( std::string &&  value)
inline

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

◆ set_solution_lower_bounds()

void set_solution_lower_bounds ( int  index,
::PROTOBUF_NAMESPACE_ID::int64  value 
)
inline

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

◆ set_solution_upper_bounds()

void set_solution_upper_bounds ( int  index,
::PROTOBUF_NAMESPACE_ID::int64  value 
)
inline

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

◆ set_status()

void set_status ( ::operations_research::sat::CpSolverStatus  value)
inline

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

◆ set_sufficient_assumptions_for_infeasibility()

void set_sufficient_assumptions_for_infeasibility ( int  index,
::PROTOBUF_NAMESPACE_ID::int32  value 
)
inline

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

◆ set_user_time()

void set_user_time ( double  value)
inline

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

◆ set_wall_time()

void set_wall_time ( double  value)
inline

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

◆ solution() [1/2]

const ::PROTOBUF_NAMESPACE_ID::RepeatedField<::PROTOBUF_NAMESPACE_ID::int64 > & solution ( ) const
inline

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

◆ solution() [2/2]

PROTOBUF_NAMESPACE_ID::int64 solution ( int  index) const
inline

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

◆ solution_info()

const std::string & solution_info ( ) const
inline

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

◆ solution_lower_bounds() [1/2]

const ::PROTOBUF_NAMESPACE_ID::RepeatedField<::PROTOBUF_NAMESPACE_ID::int64 > & solution_lower_bounds ( ) const
inline

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

◆ solution_lower_bounds() [2/2]

PROTOBUF_NAMESPACE_ID::int64 solution_lower_bounds ( int  index) const
inline

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

◆ solution_lower_bounds_size()

int solution_lower_bounds_size ( ) const
inline

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

◆ solution_size()

int solution_size ( ) const
inline

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

◆ solution_upper_bounds() [1/2]

const ::PROTOBUF_NAMESPACE_ID::RepeatedField<::PROTOBUF_NAMESPACE_ID::int64 > & solution_upper_bounds ( ) const
inline

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

◆ solution_upper_bounds() [2/2]

PROTOBUF_NAMESPACE_ID::int64 solution_upper_bounds ( int  index) const
inline

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

◆ solution_upper_bounds_size()

int solution_upper_bounds_size ( ) const
inline

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

◆ status()

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

◆ sufficient_assumptions_for_infeasibility() [1/2]

const ::PROTOBUF_NAMESPACE_ID::RepeatedField<::PROTOBUF_NAMESPACE_ID::int32 > & sufficient_assumptions_for_infeasibility ( ) const
inline

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

◆ sufficient_assumptions_for_infeasibility() [2/2]

PROTOBUF_NAMESPACE_ID::int32 sufficient_assumptions_for_infeasibility ( int  index) const
inline

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

◆ sufficient_assumptions_for_infeasibility_size()

int sufficient_assumptions_for_infeasibility_size ( ) const
inline

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

◆ Swap()

void Swap ( CpSolverResponse other)
inline

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

◆ tightened_variables() [1/2]

const ::PROTOBUF_NAMESPACE_ID::RepeatedPtrField<::operations_research::sat::IntegerVariableProto > & tightened_variables ( ) const
inline

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

◆ tightened_variables() [2/2]

const ::operations_research::sat::IntegerVariableProto & tightened_variables ( int  index) const
inline

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

◆ tightened_variables_size()

int tightened_variables_size ( ) const
inline

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

◆ user_time()

double user_time ( ) const
inline

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

◆ wall_time()

double wall_time ( ) const
inline

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

Member Data Documentation

◆ kIndexInFileMessages

constexpr int kIndexInFileMessages
staticconstexpr
Initial value:
=
25

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


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