Detailed Description

Definition at line 5905 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
}

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
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
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
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
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
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 ()
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 ()
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
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 () const
void	set_objective_value (double value)
void	clear_best_objective_bound ()
double	best_objective_bound () const
void	set_best_objective_bound (double value)
void	clear_num_booleans ()
::int64_t	num_booleans () const
void	set_num_booleans (::int64_t value)
void	clear_num_conflicts ()
::int64_t	num_conflicts () const
void	set_num_conflicts (::int64_t value)
void	clear_num_branches ()
::int64_t	num_branches () const
void	set_num_branches (::int64_t value)
void	clear_num_binary_propagations ()
::int64_t	num_binary_propagations () const
void	set_num_binary_propagations (::int64_t value)
void	clear_num_integer_propagations ()
::int64_t	num_integer_propagations () const
void	set_num_integer_propagations (::int64_t 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_gap_integral ()
double	gap_integral () const
void	set_gap_integral (double value)
void	clear_num_restarts ()
::int64_t	num_restarts () const
void	set_num_restarts (::int64_t value)
void	clear_num_lp_iterations ()
::int64_t	num_lp_iterations () const
void	set_num_lp_iterations (::int64_t value)
void	clear_inner_objective_lower_bound ()
::int64_t	inner_objective_lower_bound () const
void	set_inner_objective_lower_bound (::int64_t value)
void	clear_num_integers ()
::int64_t	num_integers () const
void	set_num_integers (::int64_t value)
void	clear_num_fixed_booleans ()
::int64_t	num_fixed_booleans () const
void	set_num_fixed_booleans (::int64_t value)
void	clear_status ()
::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

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

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 6046 of file cp_model.pb.h.

Constructor & Destructor Documentation

◆ CpSolverResponse() [1/5]

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

inline

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

◆ ~CpSolverResponse()

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

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

◆ CpSolverResponse() [2/5]

template<typename = void>

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

explicit

◆ CpSolverResponse() [3/5]

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

inline

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

◆ CpSolverResponse() [4/5]

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

inlinenoexcept

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

◆ CpSolverResponse() [5/5]

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

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

◆ add_additional_solutions()

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

inline

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

◆ add_solution()

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

inline

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

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

◆ add_tightened_variables()

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

inline

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

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

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

◆ additional_solutions_size()

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

inline

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

◆ best_objective_bound()

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

inline

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

◆ ByteSizeLong()

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

final

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

◆ Clear()

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

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

◆ clear_additional_solutions()

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

inline

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

◆ clear_best_objective_bound()

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

inline

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

◆ clear_deterministic_time()

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

inline

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

◆ clear_gap_integral()

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

inline

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

◆ clear_inner_objective_lower_bound()

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

inline

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

◆ clear_integer_objective()

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

inline

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

◆ clear_num_binary_propagations()

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

inline

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

◆ clear_num_booleans()

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

inline

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

◆ clear_num_branches()

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

inline

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

◆ clear_num_conflicts()

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

inline

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

◆ clear_num_fixed_booleans()

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

inline

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

◆ clear_num_integer_propagations()

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

inline

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

◆ clear_num_integers()

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

inline

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

◆ clear_num_lp_iterations()

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

inline

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

◆ clear_num_restarts()

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

inline

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

◆ clear_objective_value()

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

inline

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

◆ clear_solution()

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

inline

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

◆ clear_solution_info()

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

inline

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

◆ clear_solve_log()

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

inline

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

◆ clear_status()

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

inline

Definition at line 15265 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 15508 of file cp_model.pb.h.

◆ clear_tightened_variables()

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

inline

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

◆ clear_user_time()

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

inline

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

◆ clear_wall_time()

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

inline

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

◆ CopyFrom()

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

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

◆ default_instance()

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

inlinestatic

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

◆ descriptor()

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

inlinestatic

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

◆ deterministic_time()

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

inline

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

◆ gap_integral()

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

inline

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

◆ GetCachedSize()

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

inline

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

◆ GetDescriptor()

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

inlinestatic

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

◆ GetMetadata()

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

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

◆ GetReflection()

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

inlinestatic

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

◆ has_integer_objective()

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

inline

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

◆ inner_objective_lower_bound()

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

inline

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

◆ integer_objective()

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

inline

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

◆ InternalGenerateClassData_()

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

staticconstexpr

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

◆ IsInitialized()

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

inline

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

◆ MergeFrom()

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

inline

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

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

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

◆ mutable_integer_objective()

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

inline

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

◆ mutable_solution()

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

inline

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

◆ mutable_solution_info()

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

inline

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

◆ mutable_solve_log()

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

inline

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

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

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

Definition at line 15458 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 5942 of file cp_model.pb.h.

◆ New()

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

inline

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

◆ num_binary_propagations()

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

inline

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

◆ num_booleans()

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

inline

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

◆ num_branches()

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

inline

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

◆ num_conflicts()

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

inline

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

◆ num_fixed_booleans()

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

inline

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

◆ num_integer_propagations()

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

inline

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

◆ num_integers()

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

inline

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

◆ num_lp_iterations()

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

inline

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

◆ num_restarts()

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

inline

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

◆ objective_value()

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

inline

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

◆ operator=() [1/2]

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

inline

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

◆ operator=() [2/2]

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

inlinenoexcept

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

◆ release_integer_objective()

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

inlinenodiscard

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

◆ release_solution_info()

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

inlinenodiscard

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

◆ release_solve_log()

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

inlinenodiscard

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

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

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

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

◆ set_best_objective_bound()

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

inline

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

◆ set_deterministic_time()

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

inline

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

◆ set_gap_integral()

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

inline

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

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

◆ set_num_binary_propagations()

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

inline

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

◆ set_num_booleans()

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

inline

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

◆ set_num_branches()

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

inline

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

◆ set_num_conflicts()

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

inline

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

◆ set_num_fixed_booleans()

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

inline

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

◆ set_num_integer_propagations()

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

inline

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

◆ set_num_integers()

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

inline

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

◆ set_num_lp_iterations()

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

inline

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

◆ set_num_restarts()

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

inline

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

◆ set_objective_value()

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

inline

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

◆ set_solution()

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

inline

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

◆ set_solution_info() [1/2]

template<typename Arg_, typename... Args_>

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

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

◆ set_solution_info() [2/2]

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

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

◆ set_solve_log() [1/2]

template<typename Arg_, typename... Args_>

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

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

◆ set_solve_log() [2/2]

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

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

◆ set_status()

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

inline

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

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

◆ set_user_time()

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

inline

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

◆ set_wall_time()

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

inline

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

◆ solution() [1/2]

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

inline

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

◆ solution() [2/2]

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

inline

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

◆ solution_info()

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

inline

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

◆ solution_size()

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

inline

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

◆ solve_log()

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

inline

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

◆ status()

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

inline

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

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

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

◆ sufficient_assumptions_for_infeasibility_size()

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

inline

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

◆ Swap()

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

inline

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

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

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

◆ tightened_variables_size()

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

inline

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

◆ unknown_fields()

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

inline

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

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

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

◆ UnsafeArenaSwap()

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

inline

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

◆ user_time()

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

inline

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

◆ wall_time()

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

inline

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

◆ ::google::protobuf::Arena

friend class ::google::protobuf::Arena

friend

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

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

template<typename T>

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

friend

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

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

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

friend

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

◆ ::google::protobuf::MessageLite

friend class ::google::protobuf::MessageLite

friend

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

◆ ::TableStruct_ortools_2fsat_2fcp_5fmodel_2eproto

friend struct ::TableStruct_ortools_2fsat_2fcp_5fmodel_2eproto

friend

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

◆ swap

void swap	(	CpSolverResponse &	a,
		CpSolverResponse &	b )

friend

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

Member Data Documentation

◆ _impl_

Impl_ operations_research::sat::CpSolverResponse::_impl_

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

◆ kIndexInFileMessages

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

staticconstexpr

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

Friends

Member Enumeration Documentation

◆ anonymous enum

Constructor & Destructor Documentation

◆ CpSolverResponse() [1/5]

◆ ~CpSolverResponse()

◆ CpSolverResponse() [2/5]

◆ CpSolverResponse() [3/5]

◆ CpSolverResponse() [4/5]

◆ CpSolverResponse() [5/5]

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()

◆ GetDescriptor()

◆ GetMetadata()

◆ GetReflection()

◆ has_integer_objective()

◆ inner_objective_lower_bound()

◆ integer_objective()

◆ InternalGenerateClassData_()

◆ IsInitialized()

◆ MergeFrom()

◆ mutable_additional_solutions() [1/2]

◆ mutable_additional_solutions() [2/2]

◆ mutable_integer_objective()

◆ mutable_solution()

◆ mutable_solution_info()

◆ mutable_solve_log()

◆ mutable_sufficient_assumptions_for_infeasibility()

◆ mutable_tightened_variables() [1/2]

◆ mutable_tightened_variables() [2/2]

◆ mutable_unknown_fields()

◆ New()

◆ num_binary_propagations()

◆ num_booleans()