Detailed Description

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

#include <cp_model.pb.h>

Inheritance diagram for operations_research::sat::CpSolverResponse:

Classes
class	_Internal

Public Types
enum	: int { kSolutionFieldNumber = 2 , kTightenedVariablesFieldNumber = 21 , kSufficientAssumptionsForInfeasibilityFieldNumber = 23 , kAdditionalSolutionsFieldNumber = 27 , kSolutionInfoFieldNumber = 20 , kSolveLogFieldNumber = 26 , kIntegerObjectiveFieldNumber = 28 , kObjectiveValueFieldNumber = 3 , kBestObjectiveBoundFieldNumber = 4 , kNumBooleansFieldNumber = 10 , kNumConflictsFieldNumber = 11 , kNumBranchesFieldNumber = 12 , kNumBinaryPropagationsFieldNumber = 13 , kNumIntegerPropagationsFieldNumber = 14 , kWallTimeFieldNumber = 15 , kUserTimeFieldNumber = 16 , kDeterministicTimeFieldNumber = 17 , kGapIntegralFieldNumber = 22 , kNumRestartsFieldNumber = 24 , kNumLpIterationsFieldNumber = 25 , kInnerObjectiveLowerBoundFieldNumber = 29 , kNumIntegersFieldNumber = 30 , kNumFixedBooleansFieldNumber = 31 , kStatusFieldNumber = 1 }
	nested types -------------------------------------------------— More...

Public Member Functions
	CpSolverResponse ()
	~CpSolverResponse () PROTOBUF_FINAL
template<typename = void>
PROTOBUF_CONSTEXPR	CpSolverResponse (::google::protobuf::internal::ConstantInitialized)
	CpSolverResponse (const CpSolverResponse &from)
	CpSolverResponse (CpSolverResponse &&from) noexcept
CpSolverResponse &	operator= (const CpSolverResponse &from)
CpSolverResponse &	operator= (CpSolverResponse &&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 (CpSolverResponse *PROTOBUF_NONNULL other)
void	UnsafeArenaSwap (CpSolverResponse *PROTOBUF_NONNULL other)
CpSolverResponse *PROTOBUF_NONNULL	New (::google::protobuf::Arena *PROTOBUF_NULLABLE arena=nullptr) const
	implements Message -------------------------------------------—
void	CopyFrom (const CpSolverResponse &from)
void	MergeFrom (const CpSolverResponse &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	solution_size () const
	repeated int64 solution = 2;
void	clear_solution ()
::int64_t	solution (int index) const
void	set_solution (int index, ::int64_t value)
void	add_solution (::int64_t value)
const ::google::protobuf::RepeatedField<::int64_t > &	solution () const
::google::protobuf::RepeatedField<::int64_t > *PROTOBUF_NONNULL	mutable_solution ()
int	tightened_variables_size () const
	repeated .operations_research.sat.IntegerVariableProto tightened_variables = 21;
void	clear_tightened_variables ()
::operations_research::sat::IntegerVariableProto *PROTOBUF_NONNULL	mutable_tightened_variables (int index)
::google::protobuf::RepeatedPtrField<::operations_research::sat::IntegerVariableProto > *PROTOBUF_NONNULL	mutable_tightened_variables ()
const ::operations_research::sat::IntegerVariableProto &	tightened_variables (int index) const
::operations_research::sat::IntegerVariableProto *PROTOBUF_NONNULL	add_tightened_variables ()
const ::google::protobuf::RepeatedPtrField<::operations_research::sat::IntegerVariableProto > &	tightened_variables () const
int	sufficient_assumptions_for_infeasibility_size () const
	repeated int32 sufficient_assumptions_for_infeasibility = 23;
void	clear_sufficient_assumptions_for_infeasibility ()
::int32_t	sufficient_assumptions_for_infeasibility (int index) const
void	set_sufficient_assumptions_for_infeasibility (int index, ::int32_t value)
void	add_sufficient_assumptions_for_infeasibility (::int32_t value)
const ::google::protobuf::RepeatedField<::int32_t > &	sufficient_assumptions_for_infeasibility () const
::google::protobuf::RepeatedField<::int32_t > *PROTOBUF_NONNULL	mutable_sufficient_assumptions_for_infeasibility ()
int	additional_solutions_size () const
	repeated .operations_research.sat.CpSolverSolution additional_solutions = 27;
void	clear_additional_solutions ()
::operations_research::sat::CpSolverSolution *PROTOBUF_NONNULL	mutable_additional_solutions (int index)
::google::protobuf::RepeatedPtrField<::operations_research::sat::CpSolverSolution > *PROTOBUF_NONNULL	mutable_additional_solutions ()
const ::operations_research::sat::CpSolverSolution &	additional_solutions (int index) const
::operations_research::sat::CpSolverSolution *PROTOBUF_NONNULL	add_additional_solutions ()
const ::google::protobuf::RepeatedPtrField<::operations_research::sat::CpSolverSolution > &	additional_solutions () const
void	clear_solution_info ()
	string solution_info = 20;
const ::std::string &	solution_info () const
template<typename Arg_ = const ::std::string&, typename... Args_>
void	set_solution_info (Arg_ &&arg, Args_... args)
::std::string *PROTOBUF_NONNULL	mutable_solution_info ()
::std::string *PROTOBUF_NULLABLE	release_solution_info ()
void	set_allocated_solution_info (::std::string *PROTOBUF_NULLABLE value)
void	clear_solve_log ()
	string solve_log = 26;
const ::std::string &	solve_log () const
template<typename Arg_ = const ::std::string&, typename... Args_>
void	set_solve_log (Arg_ &&arg, Args_... args)
::std::string *PROTOBUF_NONNULL	mutable_solve_log ()
::std::string *PROTOBUF_NULLABLE	release_solve_log ()
void	set_allocated_solve_log (::std::string *PROTOBUF_NULLABLE value)
bool	has_integer_objective () const
	.operations_research.sat.CpObjectiveProto integer_objective = 28;
void	clear_integer_objective ()
const ::operations_research::sat::CpObjectiveProto &	integer_objective () const
::operations_research::sat::CpObjectiveProto *PROTOBUF_NULLABLE	release_integer_objective ()
::operations_research::sat::CpObjectiveProto *PROTOBUF_NONNULL	mutable_integer_objective ()
void	set_allocated_integer_objective (::operations_research::sat::CpObjectiveProto *PROTOBUF_NULLABLE value)
void	unsafe_arena_set_allocated_integer_objective (::operations_research::sat::CpObjectiveProto *PROTOBUF_NULLABLE value)
::operations_research::sat::CpObjectiveProto *PROTOBUF_NULLABLE	unsafe_arena_release_integer_objective ()
void	clear_objective_value ()
	double objective_value = 3;
double	objective_value () const
void	set_objective_value (double value)
void	clear_best_objective_bound ()
	double best_objective_bound = 4;
double	best_objective_bound () const
void	set_best_objective_bound (double value)
void	clear_num_booleans ()
	int64 num_booleans = 10;
::int64_t	num_booleans () const
void	set_num_booleans (::int64_t value)
void	clear_num_conflicts ()
	int64 num_conflicts = 11;
::int64_t	num_conflicts () const
void	set_num_conflicts (::int64_t value)
void	clear_num_branches ()
	int64 num_branches = 12;
::int64_t	num_branches () const
void	set_num_branches (::int64_t value)
void	clear_num_binary_propagations ()
	int64 num_binary_propagations = 13;
::int64_t	num_binary_propagations () const
void	set_num_binary_propagations (::int64_t value)
void	clear_num_integer_propagations ()
	int64 num_integer_propagations = 14;
::int64_t	num_integer_propagations () const
void	set_num_integer_propagations (::int64_t value)
void	clear_wall_time ()
	double wall_time = 15;
double	wall_time () const
void	set_wall_time (double value)
void	clear_user_time ()
	double user_time = 16;
double	user_time () const
void	set_user_time (double value)
void	clear_deterministic_time ()
	double deterministic_time = 17;
double	deterministic_time () const
void	set_deterministic_time (double value)
void	clear_gap_integral ()
	double gap_integral = 22;
double	gap_integral () const
void	set_gap_integral (double value)
void	clear_num_restarts ()
	int64 num_restarts = 24;
::int64_t	num_restarts () const
void	set_num_restarts (::int64_t value)
void	clear_num_lp_iterations ()
	int64 num_lp_iterations = 25;
::int64_t	num_lp_iterations () const
void	set_num_lp_iterations (::int64_t value)
void	clear_inner_objective_lower_bound ()
	int64 inner_objective_lower_bound = 29;
::int64_t	inner_objective_lower_bound () const
void	set_inner_objective_lower_bound (::int64_t value)
void	clear_num_integers ()
	int64 num_integers = 30;
::int64_t	num_integers () const
void	set_num_integers (::int64_t value)
void	clear_num_fixed_booleans ()
	int64 num_fixed_booleans = 31;
::int64_t	num_fixed_booleans () const
void	set_num_fixed_booleans (::int64_t value)
void	clear_status ()
	.operations_research.sat.CpSolverStatus status = 1;
::operations_research::sat::CpSolverStatus	status () const
void	set_status (::operations_research::sat::CpSolverStatus value)
template<typename>
PROTOBUF_CONSTEXPR	CpSolverResponse (::_pbi::ConstantInitialized)
template<typename Arg_, typename... Args_>
PROTOBUF_ALWAYS_INLINE void	set_solution_info (Arg_ &&arg, Args_... args)
template<typename Arg_, typename... Args_>
PROTOBUF_ALWAYS_INLINE void	set_solve_log (Arg_ &&arg, Args_... args)

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 CpSolverResponse &	default_instance ()
static constexpr auto	InternalGenerateClassData_ ()

Static Public Attributes
static constexpr int	kIndexInFileMessages = 29

Protected Member Functions
	CpSolverResponse (::google::protobuf::Arena *PROTOBUF_NULLABLE arena)
	CpSolverResponse (::google::protobuf::Arena *PROTOBUF_NULLABLE arena, const CpSolverResponse &from)
	CpSolverResponse (::google::protobuf::Arena *PROTOBUF_NULLABLE arena, CpSolverResponse &&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 (CpSolverResponse &a, CpSolverResponse &b)

Member Enumeration Documentation

◆ anonymous enum

anonymous enum : int

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

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

Enumerator
kSolutionFieldNumber
kTightenedVariablesFieldNumber
kSufficientAssumptionsForInfeasibilityFieldNumber
kAdditionalSolutionsFieldNumber
kSolutionInfoFieldNumber
kSolveLogFieldNumber
kIntegerObjectiveFieldNumber
kObjectiveValueFieldNumber
kBestObjectiveBoundFieldNumber
kNumBooleansFieldNumber
kNumConflictsFieldNumber
kNumBranchesFieldNumber
kNumBinaryPropagationsFieldNumber
kNumIntegerPropagationsFieldNumber
kWallTimeFieldNumber
kUserTimeFieldNumber
kDeterministicTimeFieldNumber
kGapIntegralFieldNumber
kNumRestartsFieldNumber
kNumLpIterationsFieldNumber
kInnerObjectiveLowerBoundFieldNumber
kNumIntegersFieldNumber
kNumFixedBooleansFieldNumber
kStatusFieldNumber

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

Constructor & Destructor Documentation

◆ CpSolverResponse() [1/8]

operations_research::sat::CpSolverResponse::CpSolverResponse ( )

inline

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

◆ ~CpSolverResponse()

operations_research::sat::CpSolverResponse::~CpSolverResponse ( )

@protoc_insertion_point(destructor:operations_research.sat.CpSolverResponse)

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

◆ CpSolverResponse() [2/8]

template<typename = void>

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

explicit

◆ CpSolverResponse() [3/8]

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

inline

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

◆ CpSolverResponse() [4/8]

operations_research::sat::CpSolverResponse::CpSolverResponse ( CpSolverResponse && from )

inlinenoexcept

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

◆ CpSolverResponse() [5/8]

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

explicitprotected

@protoc_insertion_point(arena_constructor:operations_research.sat.CpSolverResponse)

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

◆ CpSolverResponse() [6/8]

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

protected

@protoc_insertion_point(copy_constructor:operations_research.sat.CpSolverResponse)

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

◆ CpSolverResponse() [7/8]

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

inlineprotectednoexcept

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

◆ CpSolverResponse() [8/8]

template<typename>

PROTOBUF_CONSTEXPR operations_research::sat::CpSolverResponse::CpSolverResponse ( ::_pbi::ConstantInitialized )

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

Member Function Documentation

◆ _InternalSerialize()

uint8_t *PROTOBUF_NONNULL operations_research::sat::CpSolverResponse::_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.CpSolverResponse)

.operations_research.sat.CpSolverStatus status = 1;

repeated int64 solution = 2;

double objective_value = 3;

double best_objective_bound = 4;

int64 num_booleans = 10;

int64 num_conflicts = 11;

int64 num_branches = 12;

int64 num_binary_propagations = 13;

int64 num_integer_propagations = 14;

double wall_time = 15;

double user_time = 16;

double deterministic_time = 17;

string solution_info = 20;

repeated .operations_research.sat.IntegerVariableProto tightened_variables = 21;

double gap_integral = 22;

repeated int32 sufficient_assumptions_for_infeasibility = 23;

int64 num_restarts = 24;

int64 num_lp_iterations = 25;

string solve_log = 26;

repeated .operations_research.sat.CpSolverSolution additional_solutions = 27;

.operations_research.sat.CpObjectiveProto integer_objective = 28;

int64 inner_objective_lower_bound = 29;

int64 num_integers = 30;

int64 num_fixed_booleans = 31;

@protoc_insertion_point(serialize_to_array_end:operations_research.sat.CpSolverResponse)

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

◆ add_additional_solutions()

operations_research::sat::CpSolverSolution *PROTOBUF_NONNULL operations_research::sat::CpSolverResponse::add_additional_solutions ( )

inline

@protoc_insertion_point(field_add:operations_research.sat.CpSolverResponse.additional_solutions)

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

◆ add_solution()

void operations_research::sat::CpSolverResponse::add_solution ( ::int64_t value )

inline

@protoc_insertion_point(field_add:operations_research.sat.CpSolverResponse.solution)

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

◆ add_sufficient_assumptions_for_infeasibility()

void operations_research::sat::CpSolverResponse::add_sufficient_assumptions_for_infeasibility ( ::int32_t value )

inline

@protoc_insertion_point(field_add:operations_research.sat.CpSolverResponse.sufficient_assumptions_for_infeasibility)

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

◆ add_tightened_variables()

operations_research::sat::IntegerVariableProto *PROTOBUF_NONNULL operations_research::sat::CpSolverResponse::add_tightened_variables ( )

inline

@protoc_insertion_point(field_add:operations_research.sat.CpSolverResponse.tightened_variables)

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

◆ additional_solutions() [1/2]

const::google::protobuf::RepeatedPtrField<::operations_research::sat::CpSolverSolution > & operations_research::sat::CpSolverResponse::additional_solutions ( ) const

inline

@protoc_insertion_point(field_list:operations_research.sat.CpSolverResponse.additional_solutions)

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

◆ additional_solutions() [2/2]

const::operations_research::sat::CpSolverSolution & operations_research::sat::CpSolverResponse::additional_solutions ( int index ) const

inline

@protoc_insertion_point(field_get:operations_research.sat.CpSolverResponse.additional_solutions)

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

◆ additional_solutions_size()

int operations_research::sat::CpSolverResponse::additional_solutions_size ( ) const

inline

repeated .operations_research.sat.CpSolverSolution additional_solutions = 27;

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

◆ best_objective_bound()

double operations_research::sat::CpSolverResponse::best_objective_bound ( ) const

inline

@protoc_insertion_point(field_get:operations_research.sat.CpSolverResponse.best_objective_bound)

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

◆ ByteSizeLong()

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

final

@protoc_insertion_point(message_byte_size_start:operations_research.sat.CpSolverResponse)

Prevent compiler warnings about cached_has_bits being unused

repeated int64 solution = 2;

repeated .operations_research.sat.IntegerVariableProto tightened_variables = 21;

repeated int32 sufficient_assumptions_for_infeasibility = 23;

repeated .operations_research.sat.CpSolverSolution additional_solutions = 27;

string solution_info = 20;

string solve_log = 26;

.operations_research.sat.CpObjectiveProto integer_objective = 28;

double objective_value = 3;

double best_objective_bound = 4;

int64 num_booleans = 10;

int64 num_conflicts = 11;

int64 num_branches = 12;

int64 num_binary_propagations = 13;

int64 num_integer_propagations = 14;

double wall_time = 15;

double user_time = 16;

double deterministic_time = 17;

double gap_integral = 22;

int64 num_restarts = 24;

int64 num_lp_iterations = 25;

int64 inner_objective_lower_bound = 29;

int64 num_integers = 30;

int64 num_fixed_booleans = 31;

.operations_research.sat.CpSolverStatus status = 1;

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

◆ Clear()

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

@protoc_insertion_point(message_clear_start:operations_research.sat.CpSolverResponse)

Prevent compiler warnings about cached_has_bits being unused

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

◆ clear_additional_solutions()

void operations_research::sat::CpSolverResponse::clear_additional_solutions ( )

inline

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

◆ clear_best_objective_bound()

void operations_research::sat::CpSolverResponse::clear_best_objective_bound ( )

inline

double best_objective_bound = 4;

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

◆ clear_deterministic_time()

void operations_research::sat::CpSolverResponse::clear_deterministic_time ( )

inline

double deterministic_time = 17;

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

◆ clear_gap_integral()

void operations_research::sat::CpSolverResponse::clear_gap_integral ( )

inline

double gap_integral = 22;

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

◆ clear_inner_objective_lower_bound()

void operations_research::sat::CpSolverResponse::clear_inner_objective_lower_bound ( )

inline

int64 inner_objective_lower_bound = 29;

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

◆ clear_integer_objective()

void operations_research::sat::CpSolverResponse::clear_integer_objective ( )

inline

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

◆ clear_num_binary_propagations()

void operations_research::sat::CpSolverResponse::clear_num_binary_propagations ( )

inline

int64 num_binary_propagations = 13;

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

◆ clear_num_booleans()

void operations_research::sat::CpSolverResponse::clear_num_booleans ( )

inline

int64 num_booleans = 10;

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

◆ clear_num_branches()

void operations_research::sat::CpSolverResponse::clear_num_branches ( )

inline

int64 num_branches = 12;

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

◆ clear_num_conflicts()

void operations_research::sat::CpSolverResponse::clear_num_conflicts ( )

inline

int64 num_conflicts = 11;

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

◆ clear_num_fixed_booleans()

void operations_research::sat::CpSolverResponse::clear_num_fixed_booleans ( )

inline

int64 num_fixed_booleans = 31;

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

◆ clear_num_integer_propagations()

void operations_research::sat::CpSolverResponse::clear_num_integer_propagations ( )

inline

int64 num_integer_propagations = 14;

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

◆ clear_num_integers()

void operations_research::sat::CpSolverResponse::clear_num_integers ( )

inline

int64 num_integers = 30;

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

◆ clear_num_lp_iterations()

void operations_research::sat::CpSolverResponse::clear_num_lp_iterations ( )

inline

int64 num_lp_iterations = 25;

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

◆ clear_num_restarts()

void operations_research::sat::CpSolverResponse::clear_num_restarts ( )

inline

int64 num_restarts = 24;

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

◆ clear_objective_value()

void operations_research::sat::CpSolverResponse::clear_objective_value ( )

inline

double objective_value = 3;

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

◆ clear_solution()

void operations_research::sat::CpSolverResponse::clear_solution ( )

inline

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

◆ clear_solution_info()

void operations_research::sat::CpSolverResponse::clear_solution_info ( )

inline

string solution_info = 20;

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

◆ clear_solve_log()

void operations_research::sat::CpSolverResponse::clear_solve_log ( )

inline

string solve_log = 26;

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

◆ clear_status()

void operations_research::sat::CpSolverResponse::clear_status ( )

inline

.operations_research.sat.CpSolverStatus status = 1;

CpSolverResponse.

.operations_research.sat.CpSolverStatus status = 1;

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

◆ clear_sufficient_assumptions_for_infeasibility()

void operations_research::sat::CpSolverResponse::clear_sufficient_assumptions_for_infeasibility ( )

inline

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

◆ clear_tightened_variables()

void operations_research::sat::CpSolverResponse::clear_tightened_variables ( )

inline

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

◆ clear_user_time()

void operations_research::sat::CpSolverResponse::clear_user_time ( )

inline

double user_time = 16;

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

◆ clear_wall_time()

void operations_research::sat::CpSolverResponse::clear_wall_time ( )

inline

double wall_time = 15;

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

◆ CopyFrom()

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

@protoc_insertion_point(class_specific_copy_from_start:operations_research.sat.CpSolverResponse)

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

◆ default_instance()

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

inlinestatic

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

◆ descriptor()

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

inlinestatic

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

◆ deterministic_time()

double operations_research::sat::CpSolverResponse::deterministic_time ( ) const

inline

@protoc_insertion_point(field_get:operations_research.sat.CpSolverResponse.deterministic_time)

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

◆ gap_integral()

double operations_research::sat::CpSolverResponse::gap_integral ( ) const

inline

@protoc_insertion_point(field_get:operations_research.sat.CpSolverResponse.gap_integral)

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

◆ GetCachedSize()

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

inline

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

◆ GetClassData()

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

protected

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

◆ GetDescriptor()

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

inlinestatic

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

◆ GetMetadata()

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

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

◆ GetReflection()

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

inlinestatic

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

◆ has_integer_objective()

bool operations_research::sat::CpSolverResponse::has_integer_objective ( ) const

inline

.operations_research.sat.CpObjectiveProto integer_objective = 28;

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

◆ inner_objective_lower_bound()

int64_t operations_research::sat::CpSolverResponse::inner_objective_lower_bound ( ) const

inline

@protoc_insertion_point(field_get:operations_research.sat.CpSolverResponse.inner_objective_lower_bound)

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

◆ integer_objective()

const::operations_research::sat::CpObjectiveProto & operations_research::sat::CpSolverResponse::integer_objective ( ) const

inline

@protoc_insertion_point(field_get:operations_research.sat.CpSolverResponse.integer_objective)

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

◆ InternalGenerateClassData_()

auto operations_research::sat::CpSolverResponse::InternalGenerateClassData_ ( )

staticconstexpr

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

◆ InternalNewImpl_()

auto operations_research::sat::CpSolverResponse::InternalNewImpl_ ( )

staticconstexprprotected

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

◆ IsInitialized()

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

inline

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

◆ MergeFrom()

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

inline

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

◆ mutable_additional_solutions() [1/2]

google::protobuf::RepeatedPtrField<::operations_research::sat::CpSolverSolution > *PROTOBUF_NONNULL operations_research::sat::CpSolverResponse::mutable_additional_solutions ( )

inline

@protoc_insertion_point(field_mutable_list:operations_research.sat.CpSolverResponse.additional_solutions)

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

◆ mutable_additional_solutions() [2/2]

operations_research::sat::CpSolverSolution *PROTOBUF_NONNULL operations_research::sat::CpSolverResponse::mutable_additional_solutions ( int index )

inline

@protoc_insertion_point(field_mutable:operations_research.sat.CpSolverResponse.additional_solutions)

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

◆ mutable_integer_objective()

operations_research::sat::CpObjectiveProto *PROTOBUF_NONNULL operations_research::sat::CpSolverResponse::mutable_integer_objective ( )

inline

@protoc_insertion_point(field_mutable:operations_research.sat.CpSolverResponse.integer_objective)

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

◆ mutable_solution()

google::protobuf::RepeatedField<::int64_t > *PROTOBUF_NONNULL operations_research::sat::CpSolverResponse::mutable_solution ( )

inline

@protoc_insertion_point(field_mutable_list:operations_research.sat.CpSolverResponse.solution)

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

◆ mutable_solution_info()

std::string *PROTOBUF_NONNULL operations_research::sat::CpSolverResponse::mutable_solution_info ( )

inline

@protoc_insertion_point(field_mutable:operations_research.sat.CpSolverResponse.solution_info)

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

◆ mutable_solve_log()

std::string *PROTOBUF_NONNULL operations_research::sat::CpSolverResponse::mutable_solve_log ( )

inline

@protoc_insertion_point(field_mutable:operations_research.sat.CpSolverResponse.solve_log)

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

◆ mutable_sufficient_assumptions_for_infeasibility()

google::protobuf::RepeatedField<::int32_t > *PROTOBUF_NONNULL operations_research::sat::CpSolverResponse::mutable_sufficient_assumptions_for_infeasibility ( )

inline

@protoc_insertion_point(field_mutable_list:operations_research.sat.CpSolverResponse.sufficient_assumptions_for_infeasibility)

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

◆ mutable_tightened_variables() [1/2]

google::protobuf::RepeatedPtrField<::operations_research::sat::IntegerVariableProto > *PROTOBUF_NONNULL operations_research::sat::CpSolverResponse::mutable_tightened_variables ( )

inline

@protoc_insertion_point(field_mutable_list:operations_research.sat.CpSolverResponse.tightened_variables)

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

◆ mutable_tightened_variables() [2/2]

operations_research::sat::IntegerVariableProto *PROTOBUF_NONNULL operations_research::sat::CpSolverResponse::mutable_tightened_variables ( int index )

inline

@protoc_insertion_point(field_mutable:operations_research.sat.CpSolverResponse.tightened_variables)

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

◆ mutable_unknown_fields()

inline ::google::protobuf::UnknownFieldSet *PROTOBUF_NONNULL operations_research::sat::CpSolverResponse::mutable_unknown_fields ( )

inline

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

◆ New()

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

inline

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

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

◆ num_binary_propagations()

int64_t operations_research::sat::CpSolverResponse::num_binary_propagations ( ) const

inline

@protoc_insertion_point(field_get:operations_research.sat.CpSolverResponse.num_binary_propagations)

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

◆ num_booleans()

int64_t operations_research::sat::CpSolverResponse::num_booleans ( ) const

inline

@protoc_insertion_point(field_get:operations_research.sat.CpSolverResponse.num_booleans)

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

◆ num_branches()

int64_t operations_research::sat::CpSolverResponse::num_branches ( ) const

inline

@protoc_insertion_point(field_get:operations_research.sat.CpSolverResponse.num_branches)

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

◆ num_conflicts()

int64_t operations_research::sat::CpSolverResponse::num_conflicts ( ) const

inline

@protoc_insertion_point(field_get:operations_research.sat.CpSolverResponse.num_conflicts)

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

◆ num_fixed_booleans()

int64_t operations_research::sat::CpSolverResponse::num_fixed_booleans ( ) const

inline

@protoc_insertion_point(field_get:operations_research.sat.CpSolverResponse.num_fixed_booleans)

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

◆ num_integer_propagations()

int64_t operations_research::sat::CpSolverResponse::num_integer_propagations ( ) const

inline

@protoc_insertion_point(field_get:operations_research.sat.CpSolverResponse.num_integer_propagations)

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

◆ num_integers()

int64_t operations_research::sat::CpSolverResponse::num_integers ( ) const

inline

@protoc_insertion_point(field_get:operations_research.sat.CpSolverResponse.num_integers)

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

◆ num_lp_iterations()

int64_t operations_research::sat::CpSolverResponse::num_lp_iterations ( ) const

inline

@protoc_insertion_point(field_get:operations_research.sat.CpSolverResponse.num_lp_iterations)

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

◆ num_restarts()

int64_t operations_research::sat::CpSolverResponse::num_restarts ( ) const

inline

@protoc_insertion_point(field_get:operations_research.sat.CpSolverResponse.num_restarts)

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

◆ objective_value()

double operations_research::sat::CpSolverResponse::objective_value ( ) const

inline

@protoc_insertion_point(field_get:operations_research.sat.CpSolverResponse.objective_value)

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

◆ operator=() [1/2]

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

inline

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

◆ operator=() [2/2]

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

inlinenoexcept

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

◆ PlacementNew_()

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

inlinestaticprotected

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

◆ release_integer_objective()

operations_research::sat::CpObjectiveProto *PROTOBUF_NULLABLE operations_research::sat::CpSolverResponse::release_integer_objective ( )

inlinenodiscard

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

◆ release_solution_info()

std::string *PROTOBUF_NULLABLE operations_research::sat::CpSolverResponse::release_solution_info ( )

inlinenodiscard

@protoc_insertion_point(field_release:operations_research.sat.CpSolverResponse.solution_info)

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

◆ release_solve_log()

std::string *PROTOBUF_NULLABLE operations_research::sat::CpSolverResponse::release_solve_log ( )

inlinenodiscard

@protoc_insertion_point(field_release:operations_research.sat.CpSolverResponse.solve_log)

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

◆ set_allocated_integer_objective()

void operations_research::sat::CpSolverResponse::set_allocated_integer_objective ( ::operations_research::sat::CpObjectiveProto *PROTOBUF_NULLABLE value )

inline

@protoc_insertion_point(field_set_allocated:operations_research.sat.CpSolverResponse.integer_objective)

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

◆ set_allocated_solution_info()

void operations_research::sat::CpSolverResponse::set_allocated_solution_info ( ::std::string *PROTOBUF_NULLABLE value )

inline

@protoc_insertion_point(field_set_allocated:operations_research.sat.CpSolverResponse.solution_info)

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

◆ set_allocated_solve_log()

void operations_research::sat::CpSolverResponse::set_allocated_solve_log ( ::std::string *PROTOBUF_NULLABLE value )

inline

@protoc_insertion_point(field_set_allocated:operations_research.sat.CpSolverResponse.solve_log)

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

◆ set_best_objective_bound()

void operations_research::sat::CpSolverResponse::set_best_objective_bound ( double value )

inline

@protoc_insertion_point(field_set:operations_research.sat.CpSolverResponse.best_objective_bound)

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

◆ set_deterministic_time()

void operations_research::sat::CpSolverResponse::set_deterministic_time ( double value )

inline

@protoc_insertion_point(field_set:operations_research.sat.CpSolverResponse.deterministic_time)

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

◆ set_gap_integral()

void operations_research::sat::CpSolverResponse::set_gap_integral ( double value )

inline

@protoc_insertion_point(field_set:operations_research.sat.CpSolverResponse.gap_integral)

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

◆ set_inner_objective_lower_bound()

void operations_research::sat::CpSolverResponse::set_inner_objective_lower_bound ( ::int64_t value )

inline

@protoc_insertion_point(field_set:operations_research.sat.CpSolverResponse.inner_objective_lower_bound)

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

◆ set_num_binary_propagations()

void operations_research::sat::CpSolverResponse::set_num_binary_propagations ( ::int64_t value )

inline

@protoc_insertion_point(field_set:operations_research.sat.CpSolverResponse.num_binary_propagations)

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

◆ set_num_booleans()

void operations_research::sat::CpSolverResponse::set_num_booleans ( ::int64_t value )

inline

@protoc_insertion_point(field_set:operations_research.sat.CpSolverResponse.num_booleans)

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

◆ set_num_branches()

void operations_research::sat::CpSolverResponse::set_num_branches ( ::int64_t value )

inline

@protoc_insertion_point(field_set:operations_research.sat.CpSolverResponse.num_branches)

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

◆ set_num_conflicts()

void operations_research::sat::CpSolverResponse::set_num_conflicts ( ::int64_t value )

inline

@protoc_insertion_point(field_set:operations_research.sat.CpSolverResponse.num_conflicts)

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

◆ set_num_fixed_booleans()

void operations_research::sat::CpSolverResponse::set_num_fixed_booleans ( ::int64_t value )

inline

@protoc_insertion_point(field_set:operations_research.sat.CpSolverResponse.num_fixed_booleans)

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

◆ set_num_integer_propagations()

void operations_research::sat::CpSolverResponse::set_num_integer_propagations ( ::int64_t value )

inline

@protoc_insertion_point(field_set:operations_research.sat.CpSolverResponse.num_integer_propagations)

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

◆ set_num_integers()

void operations_research::sat::CpSolverResponse::set_num_integers ( ::int64_t value )

inline

@protoc_insertion_point(field_set:operations_research.sat.CpSolverResponse.num_integers)

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

◆ set_num_lp_iterations()

void operations_research::sat::CpSolverResponse::set_num_lp_iterations ( ::int64_t value )

inline

@protoc_insertion_point(field_set:operations_research.sat.CpSolverResponse.num_lp_iterations)

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

◆ set_num_restarts()

void operations_research::sat::CpSolverResponse::set_num_restarts ( ::int64_t value )

inline

@protoc_insertion_point(field_set:operations_research.sat.CpSolverResponse.num_restarts)

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

◆ set_objective_value()

void operations_research::sat::CpSolverResponse::set_objective_value ( double value )

inline

@protoc_insertion_point(field_set:operations_research.sat.CpSolverResponse.objective_value)

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

◆ set_solution()

void operations_research::sat::CpSolverResponse::set_solution	(	int	index,
		::int64_t	value )

inline

@protoc_insertion_point(field_set:operations_research.sat.CpSolverResponse.solution)

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

◆ set_solution_info() [1/2]

template<typename Arg_ = const ::std::string&, typename... Args_>

void operations_research::sat::CpSolverResponse::set_solution_info	(	Arg_ &&	arg,
		Args_...	args )

◆ set_solution_info() [2/2]

template<typename Arg_, typename... Args_>

PROTOBUF_ALWAYS_INLINE void operations_research::sat::CpSolverResponse::set_solution_info	(	Arg_ &&	arg,
		Args_...	args )

@protoc_insertion_point(field_set:operations_research.sat.CpSolverResponse.solution_info)

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

◆ set_solve_log() [1/2]

template<typename Arg_ = const ::std::string&, typename... Args_>

void operations_research::sat::CpSolverResponse::set_solve_log	(	Arg_ &&	arg,
		Args_...	args )

◆ set_solve_log() [2/2]

template<typename Arg_, typename... Args_>

PROTOBUF_ALWAYS_INLINE void operations_research::sat::CpSolverResponse::set_solve_log	(	Arg_ &&	arg,
		Args_...	args )

@protoc_insertion_point(field_set:operations_research.sat.CpSolverResponse.solve_log)

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

◆ set_status()

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

inline

@protoc_insertion_point(field_set:operations_research.sat.CpSolverResponse.status)

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

◆ set_sufficient_assumptions_for_infeasibility()

void operations_research::sat::CpSolverResponse::set_sufficient_assumptions_for_infeasibility	(	int	index,
		::int32_t	value )

inline

@protoc_insertion_point(field_set:operations_research.sat.CpSolverResponse.sufficient_assumptions_for_infeasibility)

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

◆ set_user_time()

void operations_research::sat::CpSolverResponse::set_user_time ( double value )

inline

@protoc_insertion_point(field_set:operations_research.sat.CpSolverResponse.user_time)

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

◆ set_wall_time()

void operations_research::sat::CpSolverResponse::set_wall_time ( double value )

inline

@protoc_insertion_point(field_set:operations_research.sat.CpSolverResponse.wall_time)

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

◆ solution() [1/2]

const::google::protobuf::RepeatedField<::int64_t > & operations_research::sat::CpSolverResponse::solution ( ) const

inline

@protoc_insertion_point(field_list:operations_research.sat.CpSolverResponse.solution)

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

◆ solution() [2/2]

int64_t operations_research::sat::CpSolverResponse::solution ( int index ) const

inline

@protoc_insertion_point(field_get:operations_research.sat.CpSolverResponse.solution)

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

◆ solution_info()

const::std::string & operations_research::sat::CpSolverResponse::solution_info ( ) const

inline

@protoc_insertion_point(field_get:operations_research.sat.CpSolverResponse.solution_info)

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

◆ solution_size()

int operations_research::sat::CpSolverResponse::solution_size ( ) const

inline

repeated int64 solution = 2;

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

◆ solve_log()

const::std::string & operations_research::sat::CpSolverResponse::solve_log ( ) const

inline

@protoc_insertion_point(field_get:operations_research.sat.CpSolverResponse.solve_log)

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

◆ status()

operations_research::sat::CpSolverStatus operations_research::sat::CpSolverResponse::status ( ) const

inline

@protoc_insertion_point(field_get:operations_research.sat.CpSolverResponse.status)

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

◆ sufficient_assumptions_for_infeasibility() [1/2]

const::google::protobuf::RepeatedField<::int32_t > & operations_research::sat::CpSolverResponse::sufficient_assumptions_for_infeasibility ( ) const

inline

@protoc_insertion_point(field_list:operations_research.sat.CpSolverResponse.sufficient_assumptions_for_infeasibility)

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

◆ sufficient_assumptions_for_infeasibility() [2/2]

int32_t operations_research::sat::CpSolverResponse::sufficient_assumptions_for_infeasibility ( int index ) const

inline

@protoc_insertion_point(field_get:operations_research.sat.CpSolverResponse.sufficient_assumptions_for_infeasibility)

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

◆ sufficient_assumptions_for_infeasibility_size()

int operations_research::sat::CpSolverResponse::sufficient_assumptions_for_infeasibility_size ( ) const

inline

repeated int32 sufficient_assumptions_for_infeasibility = 23;

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

◆ Swap()

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

inline

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

◆ tightened_variables() [1/2]

const::google::protobuf::RepeatedPtrField<::operations_research::sat::IntegerVariableProto > & operations_research::sat::CpSolverResponse::tightened_variables ( ) const

inline

@protoc_insertion_point(field_list:operations_research.sat.CpSolverResponse.tightened_variables)

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

◆ tightened_variables() [2/2]

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

inline

@protoc_insertion_point(field_get:operations_research.sat.CpSolverResponse.tightened_variables)

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

◆ tightened_variables_size()

int operations_research::sat::CpSolverResponse::tightened_variables_size ( ) const

inline

repeated .operations_research.sat.IntegerVariableProto tightened_variables = 21;

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

◆ unknown_fields()

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

inline

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

◆ unsafe_arena_release_integer_objective()

operations_research::sat::CpObjectiveProto *PROTOBUF_NULLABLE operations_research::sat::CpSolverResponse::unsafe_arena_release_integer_objective ( )

inline

@protoc_insertion_point(field_release:operations_research.sat.CpSolverResponse.integer_objective)

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

◆ unsafe_arena_set_allocated_integer_objective()

void operations_research::sat::CpSolverResponse::unsafe_arena_set_allocated_integer_objective ( ::operations_research::sat::CpObjectiveProto *PROTOBUF_NULLABLE value )

inline

@protoc_insertion_point(field_unsafe_arena_set_allocated:operations_research.sat.CpSolverResponse.integer_objective)

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

◆ UnsafeArenaSwap()

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

inline

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

◆ user_time()

double operations_research::sat::CpSolverResponse::user_time ( ) const

inline

@protoc_insertion_point(field_get:operations_research.sat.CpSolverResponse.user_time)

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

◆ wall_time()

double operations_research::sat::CpSolverResponse::wall_time ( ) const

inline

@protoc_insertion_point(field_get:operations_research.sat.CpSolverResponse.wall_time)

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

◆ ::google::protobuf::Arena

friend class ::google::protobuf::Arena

friend

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

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

template<typename T>

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

friend

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

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

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

friend

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

◆ ::google::protobuf::MessageLite

friend class ::google::protobuf::MessageLite

friend

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

◆ ::TableStruct_ortools_2fsat_2fcp_5fmodel_2eproto

friend struct ::TableStruct_ortools_2fsat_2fcp_5fmodel_2eproto

friend

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

◆ swap

void swap	(	CpSolverResponse &	a,
		CpSolverResponse &	b )

friend

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

Member Data Documentation

◆ _impl_

Impl_ operations_research::sat::CpSolverResponse::_impl_

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

◆ kIndexInFileMessages

int operations_research::sat::CpSolverResponse::kIndexInFileMessages = 29

staticconstexpr

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

◆ CpSolverResponse() [1/8]

◆ ~CpSolverResponse()

◆ CpSolverResponse() [2/8]

◆ CpSolverResponse() [3/8]

◆ CpSolverResponse() [4/8]

◆ CpSolverResponse() [5/8]

◆ CpSolverResponse() [6/8]

◆ CpSolverResponse() [7/8]

◆ CpSolverResponse() [8/8]

Member Function Documentation

◆ _InternalSerialize()

◆ add_additional_solutions()

◆ add_solution()

◆ add_sufficient_assumptions_for_infeasibility()

◆ add_tightened_variables()

◆ additional_solutions() [1/2]

◆ additional_solutions() [2/2]

◆ additional_solutions_size()

◆ best_objective_bound()

◆ ByteSizeLong()

◆ Clear()

◆ clear_additional_solutions()

◆ clear_best_objective_bound()

◆ clear_deterministic_time()

◆ clear_gap_integral()

◆ clear_inner_objective_lower_bound()

◆ clear_integer_objective()

◆ clear_num_binary_propagations()

◆ clear_num_booleans()

◆ clear_num_branches()

◆ clear_num_conflicts()

◆ clear_num_fixed_booleans()

◆ clear_num_integer_propagations()

◆ clear_num_integers()

◆ clear_num_lp_iterations()

◆ clear_num_restarts()

◆ clear_objective_value()

◆ clear_solution()

◆ clear_solution_info()

◆ clear_solve_log()

◆ clear_status()

◆ clear_sufficient_assumptions_for_infeasibility()

◆ clear_tightened_variables()

◆ clear_user_time()

◆ clear_wall_time()

◆ CopyFrom()

◆ default_instance()

◆ descriptor()

◆ deterministic_time()

◆ gap_integral()

◆ GetCachedSize()

◆ GetClassData()

◆ GetDescriptor()

◆ GetMetadata()

◆ GetReflection()

◆ has_integer_objective()

◆ inner_objective_lower_bound()

◆ integer_objective()

◆ InternalGenerateClassData_()

◆ InternalNewImpl_()

◆ IsInitialized()

◆ MergeFrom()

◆ mutable_additional_solutions() [1/2]

◆ mutable_additional_solutions() [2/2]

◆ mutable_integer_objective()

◆ mutable_solution()

◆ mutable_solution_info()

◆ mutable_solve_log()