Google OR-Tools v9.14
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
sat_parameters.pb.h File Reference
#include <limits>
#include <string>
#include <type_traits>
#include <utility>
#include "google/protobuf/runtime_version.h"
#include "google/protobuf/io/coded_stream.h"
#include "google/protobuf/arena.h"
#include "google/protobuf/arenastring.h"
#include "google/protobuf/generated_message_tctable_decl.h"
#include "google/protobuf/generated_message_util.h"
#include "google/protobuf/metadata_lite.h"
#include "google/protobuf/generated_message_reflection.h"
#include "google/protobuf/message.h"
#include "google/protobuf/message_lite.h"
#include "google/protobuf/repeated_field.h"
#include "google/protobuf/extension_set.h"
#include "google/protobuf/generated_enum_reflection.h"
#include "google/protobuf/unknown_field_set.h"
#include "google/protobuf/port_def.inc"
#include "google/protobuf/port_undef.inc"

Go to the source code of this file.

Classes

struct  TableStruct_ortools_2fsat_2fsat_5fparameters_2eproto
 Internal implementation detail – do not use these members. More...
class  operations_research::sat::SatParameters
struct  google::protobuf::is_proto_enum<::operations_research::sat::SatParameters_VariableOrder >
struct  google::protobuf::is_proto_enum<::operations_research::sat::SatParameters_Polarity >
struct  google::protobuf::is_proto_enum<::operations_research::sat::SatParameters_ConflictMinimizationAlgorithm >
struct  google::protobuf::is_proto_enum<::operations_research::sat::SatParameters_BinaryMinizationAlgorithm >
struct  google::protobuf::is_proto_enum<::operations_research::sat::SatParameters_ClauseProtection >
struct  google::protobuf::is_proto_enum<::operations_research::sat::SatParameters_ClauseOrdering >
struct  google::protobuf::is_proto_enum<::operations_research::sat::SatParameters_RestartAlgorithm >
struct  google::protobuf::is_proto_enum<::operations_research::sat::SatParameters_MaxSatAssumptionOrder >
struct  google::protobuf::is_proto_enum<::operations_research::sat::SatParameters_MaxSatStratificationAlgorithm >
struct  google::protobuf::is_proto_enum<::operations_research::sat::SatParameters_SearchBranching >
struct  google::protobuf::is_proto_enum<::operations_research::sat::SatParameters_SharedTreeSplitStrategy >
struct  google::protobuf::is_proto_enum<::operations_research::sat::SatParameters_FPRoundingMethod >

Namespaces

namespace  google
namespace  google::protobuf
namespace  google::protobuf::internal
namespace  operations_research
 In SWIG mode, we don't want anything besides these top-level includes.
namespace  operations_research::sat

Macros

#define PROTOBUF_INTERNAL_EXPORT_ortools_2fsat_2fsat_5fparameters_2eproto   OR_PROTO_DLL
 @protoc_insertion_point(includes)

Enumerations

enum  operations_research::sat::SatParameters_VariableOrder : int { operations_research::sat::SatParameters_VariableOrder_IN_ORDER = 0 , operations_research::sat::SatParameters_VariableOrder_IN_REVERSE_ORDER = 1 , operations_research::sat::SatParameters_VariableOrder_IN_RANDOM_ORDER = 2 }
enum  operations_research::sat::SatParameters_Polarity : int { operations_research::sat::SatParameters_Polarity_POLARITY_TRUE = 0 , operations_research::sat::SatParameters_Polarity_POLARITY_FALSE = 1 , operations_research::sat::SatParameters_Polarity_POLARITY_RANDOM = 2 }
enum  operations_research::sat::SatParameters_ConflictMinimizationAlgorithm : int { operations_research::sat::SatParameters_ConflictMinimizationAlgorithm_NONE = 0 , operations_research::sat::SatParameters_ConflictMinimizationAlgorithm_SIMPLE = 1 , operations_research::sat::SatParameters_ConflictMinimizationAlgorithm_RECURSIVE = 2 , operations_research::sat::SatParameters_ConflictMinimizationAlgorithm_EXPERIMENTAL = 3 }
enum  operations_research::sat::SatParameters_BinaryMinizationAlgorithm : int {
  operations_research::sat::SatParameters_BinaryMinizationAlgorithm_NO_BINARY_MINIMIZATION = 0 , operations_research::sat::SatParameters_BinaryMinizationAlgorithm_BINARY_MINIMIZATION_FIRST = 1 , operations_research::sat::SatParameters_BinaryMinizationAlgorithm_BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION = 4 , operations_research::sat::SatParameters_BinaryMinizationAlgorithm_BINARY_MINIMIZATION_WITH_REACHABILITY = 2 ,
  operations_research::sat::SatParameters_BinaryMinizationAlgorithm_EXPERIMENTAL_BINARY_MINIMIZATION = 3
}
enum  operations_research::sat::SatParameters_ClauseProtection : int { operations_research::sat::SatParameters_ClauseProtection_PROTECTION_NONE = 0 , operations_research::sat::SatParameters_ClauseProtection_PROTECTION_ALWAYS = 1 , operations_research::sat::SatParameters_ClauseProtection_PROTECTION_LBD = 2 }
enum  operations_research::sat::SatParameters_ClauseOrdering : int { operations_research::sat::SatParameters_ClauseOrdering_CLAUSE_ACTIVITY = 0 , operations_research::sat::SatParameters_ClauseOrdering_CLAUSE_LBD = 1 }
enum  operations_research::sat::SatParameters_RestartAlgorithm : int {
  operations_research::sat::SatParameters_RestartAlgorithm_NO_RESTART = 0 , operations_research::sat::SatParameters_RestartAlgorithm_LUBY_RESTART = 1 , operations_research::sat::SatParameters_RestartAlgorithm_DL_MOVING_AVERAGE_RESTART = 2 , operations_research::sat::SatParameters_RestartAlgorithm_LBD_MOVING_AVERAGE_RESTART = 3 ,
  operations_research::sat::SatParameters_RestartAlgorithm_FIXED_RESTART = 4
}
enum  operations_research::sat::SatParameters_MaxSatAssumptionOrder : int { operations_research::sat::SatParameters_MaxSatAssumptionOrder_DEFAULT_ASSUMPTION_ORDER = 0 , operations_research::sat::SatParameters_MaxSatAssumptionOrder_ORDER_ASSUMPTION_BY_DEPTH = 1 , operations_research::sat::SatParameters_MaxSatAssumptionOrder_ORDER_ASSUMPTION_BY_WEIGHT = 2 }
enum  operations_research::sat::SatParameters_MaxSatStratificationAlgorithm : int { operations_research::sat::SatParameters_MaxSatStratificationAlgorithm_STRATIFICATION_NONE = 0 , operations_research::sat::SatParameters_MaxSatStratificationAlgorithm_STRATIFICATION_DESCENT = 1 , operations_research::sat::SatParameters_MaxSatStratificationAlgorithm_STRATIFICATION_ASCENT = 2 }
enum  operations_research::sat::SatParameters_SearchBranching : int {
  operations_research::sat::SatParameters_SearchBranching_AUTOMATIC_SEARCH = 0 , operations_research::sat::SatParameters_SearchBranching_FIXED_SEARCH = 1 , operations_research::sat::SatParameters_SearchBranching_PORTFOLIO_SEARCH = 2 , operations_research::sat::SatParameters_SearchBranching_LP_SEARCH = 3 ,
  operations_research::sat::SatParameters_SearchBranching_PSEUDO_COST_SEARCH = 4 , operations_research::sat::SatParameters_SearchBranching_PORTFOLIO_WITH_QUICK_RESTART_SEARCH = 5 , operations_research::sat::SatParameters_SearchBranching_HINT_SEARCH = 6 , operations_research::sat::SatParameters_SearchBranching_PARTIAL_FIXED_SEARCH = 7 ,
  operations_research::sat::SatParameters_SearchBranching_RANDOMIZED_SEARCH = 8
}
enum  operations_research::sat::SatParameters_SharedTreeSplitStrategy : int {
  operations_research::sat::SatParameters_SharedTreeSplitStrategy_SPLIT_STRATEGY_AUTO = 0 , operations_research::sat::SatParameters_SharedTreeSplitStrategy_SPLIT_STRATEGY_DISCREPANCY = 1 , operations_research::sat::SatParameters_SharedTreeSplitStrategy_SPLIT_STRATEGY_OBJECTIVE_LB = 2 , operations_research::sat::SatParameters_SharedTreeSplitStrategy_SPLIT_STRATEGY_BALANCED_TREE = 3 ,
  operations_research::sat::SatParameters_SharedTreeSplitStrategy_SPLIT_STRATEGY_FIRST_PROPOSAL = 4
}
enum  operations_research::sat::SatParameters_FPRoundingMethod : int { operations_research::sat::SatParameters_FPRoundingMethod_NEAREST_INTEGER = 0 , operations_research::sat::SatParameters_FPRoundingMethod_LOCK_BASED = 1 , operations_research::sat::SatParameters_FPRoundingMethod_ACTIVE_LOCK_BASED = 3 , operations_research::sat::SatParameters_FPRoundingMethod_PROPAGATION_ASSISTED = 2 }

Functions

template<typename T>
::absl::string_view google::protobuf::internal::GetAnyMessageName ()
bool operations_research::sat::SatParameters_VariableOrder_IsValid (int value)
const ::google::protobuf::EnumDescriptor *PROTOBUF_NONNULL operations_research::sat::SatParameters_VariableOrder_descriptor ()
template<typename T>
const ::std::string & operations_research::sat::SatParameters_VariableOrder_Name (T value)
template<>
const ::std::string & operations_research::sat::SatParameters_VariableOrder_Name (SatParameters_VariableOrder value)
bool operations_research::sat::SatParameters_VariableOrder_Parse (::absl::string_view name, SatParameters_VariableOrder *PROTOBUF_NONNULL value)
bool operations_research::sat::SatParameters_Polarity_IsValid (int value)
const ::google::protobuf::EnumDescriptor *PROTOBUF_NONNULL operations_research::sat::SatParameters_Polarity_descriptor ()
template<typename T>
const ::std::string & operations_research::sat::SatParameters_Polarity_Name (T value)
template<>
const ::std::string & operations_research::sat::SatParameters_Polarity_Name (SatParameters_Polarity value)
bool operations_research::sat::SatParameters_Polarity_Parse (::absl::string_view name, SatParameters_Polarity *PROTOBUF_NONNULL value)
bool operations_research::sat::SatParameters_ConflictMinimizationAlgorithm_IsValid (int value)
const ::google::protobuf::EnumDescriptor *PROTOBUF_NONNULL operations_research::sat::SatParameters_ConflictMinimizationAlgorithm_descriptor ()
template<typename T>
const ::std::string & operations_research::sat::SatParameters_ConflictMinimizationAlgorithm_Name (T value)
template<>
const ::std::string & operations_research::sat::SatParameters_ConflictMinimizationAlgorithm_Name (SatParameters_ConflictMinimizationAlgorithm value)
bool operations_research::sat::SatParameters_ConflictMinimizationAlgorithm_Parse (::absl::string_view name, SatParameters_ConflictMinimizationAlgorithm *PROTOBUF_NONNULL value)
bool operations_research::sat::SatParameters_BinaryMinizationAlgorithm_IsValid (int value)
const ::google::protobuf::EnumDescriptor *PROTOBUF_NONNULL operations_research::sat::SatParameters_BinaryMinizationAlgorithm_descriptor ()
template<typename T>
const ::std::string & operations_research::sat::SatParameters_BinaryMinizationAlgorithm_Name (T value)
template<>
const ::std::string & operations_research::sat::SatParameters_BinaryMinizationAlgorithm_Name (SatParameters_BinaryMinizationAlgorithm value)
bool operations_research::sat::SatParameters_BinaryMinizationAlgorithm_Parse (::absl::string_view name, SatParameters_BinaryMinizationAlgorithm *PROTOBUF_NONNULL value)
bool operations_research::sat::SatParameters_ClauseProtection_IsValid (int value)
const ::google::protobuf::EnumDescriptor *PROTOBUF_NONNULL operations_research::sat::SatParameters_ClauseProtection_descriptor ()
template<typename T>
const ::std::string & operations_research::sat::SatParameters_ClauseProtection_Name (T value)
template<>
const ::std::string & operations_research::sat::SatParameters_ClauseProtection_Name (SatParameters_ClauseProtection value)
bool operations_research::sat::SatParameters_ClauseProtection_Parse (::absl::string_view name, SatParameters_ClauseProtection *PROTOBUF_NONNULL value)
bool operations_research::sat::SatParameters_ClauseOrdering_IsValid (int value)
const ::google::protobuf::EnumDescriptor *PROTOBUF_NONNULL operations_research::sat::SatParameters_ClauseOrdering_descriptor ()
template<typename T>
const ::std::string & operations_research::sat::SatParameters_ClauseOrdering_Name (T value)
template<>
const ::std::string & operations_research::sat::SatParameters_ClauseOrdering_Name (SatParameters_ClauseOrdering value)
bool operations_research::sat::SatParameters_ClauseOrdering_Parse (::absl::string_view name, SatParameters_ClauseOrdering *PROTOBUF_NONNULL value)
bool operations_research::sat::SatParameters_RestartAlgorithm_IsValid (int value)
const ::google::protobuf::EnumDescriptor *PROTOBUF_NONNULL operations_research::sat::SatParameters_RestartAlgorithm_descriptor ()
template<typename T>
const ::std::string & operations_research::sat::SatParameters_RestartAlgorithm_Name (T value)
template<>
const ::std::string & operations_research::sat::SatParameters_RestartAlgorithm_Name (SatParameters_RestartAlgorithm value)
bool operations_research::sat::SatParameters_RestartAlgorithm_Parse (::absl::string_view name, SatParameters_RestartAlgorithm *PROTOBUF_NONNULL value)
bool operations_research::sat::SatParameters_MaxSatAssumptionOrder_IsValid (int value)
const ::google::protobuf::EnumDescriptor *PROTOBUF_NONNULL operations_research::sat::SatParameters_MaxSatAssumptionOrder_descriptor ()
template<typename T>
const ::std::string & operations_research::sat::SatParameters_MaxSatAssumptionOrder_Name (T value)
template<>
const ::std::string & operations_research::sat::SatParameters_MaxSatAssumptionOrder_Name (SatParameters_MaxSatAssumptionOrder value)
bool operations_research::sat::SatParameters_MaxSatAssumptionOrder_Parse (::absl::string_view name, SatParameters_MaxSatAssumptionOrder *PROTOBUF_NONNULL value)
bool operations_research::sat::SatParameters_MaxSatStratificationAlgorithm_IsValid (int value)
const ::google::protobuf::EnumDescriptor *PROTOBUF_NONNULL operations_research::sat::SatParameters_MaxSatStratificationAlgorithm_descriptor ()
template<typename T>
const ::std::string & operations_research::sat::SatParameters_MaxSatStratificationAlgorithm_Name (T value)
template<>
const ::std::string & operations_research::sat::SatParameters_MaxSatStratificationAlgorithm_Name (SatParameters_MaxSatStratificationAlgorithm value)
bool operations_research::sat::SatParameters_MaxSatStratificationAlgorithm_Parse (::absl::string_view name, SatParameters_MaxSatStratificationAlgorithm *PROTOBUF_NONNULL value)
bool operations_research::sat::SatParameters_SearchBranching_IsValid (int value)
const ::google::protobuf::EnumDescriptor *PROTOBUF_NONNULL operations_research::sat::SatParameters_SearchBranching_descriptor ()
template<typename T>
const ::std::string & operations_research::sat::SatParameters_SearchBranching_Name (T value)
template<>
const ::std::string & operations_research::sat::SatParameters_SearchBranching_Name (SatParameters_SearchBranching value)
bool operations_research::sat::SatParameters_SearchBranching_Parse (::absl::string_view name, SatParameters_SearchBranching *PROTOBUF_NONNULL value)
bool operations_research::sat::SatParameters_SharedTreeSplitStrategy_IsValid (int value)
const ::google::protobuf::EnumDescriptor *PROTOBUF_NONNULL operations_research::sat::SatParameters_SharedTreeSplitStrategy_descriptor ()
template<typename T>
const ::std::string & operations_research::sat::SatParameters_SharedTreeSplitStrategy_Name (T value)
template<>
const ::std::string & operations_research::sat::SatParameters_SharedTreeSplitStrategy_Name (SatParameters_SharedTreeSplitStrategy value)
bool operations_research::sat::SatParameters_SharedTreeSplitStrategy_Parse (::absl::string_view name, SatParameters_SharedTreeSplitStrategy *PROTOBUF_NONNULL value)
bool operations_research::sat::SatParameters_FPRoundingMethod_IsValid (int value)
const ::google::protobuf::EnumDescriptor *PROTOBUF_NONNULL operations_research::sat::SatParameters_FPRoundingMethod_descriptor ()
template<typename T>
const ::std::string & operations_research::sat::SatParameters_FPRoundingMethod_Name (T value)
template<>
const ::std::string & operations_research::sat::SatParameters_FPRoundingMethod_Name (SatParameters_FPRoundingMethod value)
bool operations_research::sat::SatParameters_FPRoundingMethod_Parse (::absl::string_view name, SatParameters_FPRoundingMethod *PROTOBUF_NONNULL value)
template<>
const EnumDescriptor *PROTOBUF_NONNULL google::protobuf::GetEnumDescriptor<::operations_research::sat::SatParameters_VariableOrder > ()
template<>
const EnumDescriptor *PROTOBUF_NONNULL google::protobuf::GetEnumDescriptor<::operations_research::sat::SatParameters_Polarity > ()
template<>
const EnumDescriptor *PROTOBUF_NONNULL google::protobuf::GetEnumDescriptor<::operations_research::sat::SatParameters_ConflictMinimizationAlgorithm > ()
template<>
const EnumDescriptor *PROTOBUF_NONNULL google::protobuf::GetEnumDescriptor<::operations_research::sat::SatParameters_BinaryMinizationAlgorithm > ()
template<>
const EnumDescriptor *PROTOBUF_NONNULL google::protobuf::GetEnumDescriptor<::operations_research::sat::SatParameters_ClauseProtection > ()
template<>
const EnumDescriptor *PROTOBUF_NONNULL google::protobuf::GetEnumDescriptor<::operations_research::sat::SatParameters_ClauseOrdering > ()
template<>
const EnumDescriptor *PROTOBUF_NONNULL google::protobuf::GetEnumDescriptor<::operations_research::sat::SatParameters_RestartAlgorithm > ()
template<>
const EnumDescriptor *PROTOBUF_NONNULL google::protobuf::GetEnumDescriptor<::operations_research::sat::SatParameters_MaxSatAssumptionOrder > ()
template<>
const EnumDescriptor *PROTOBUF_NONNULL google::protobuf::GetEnumDescriptor<::operations_research::sat::SatParameters_MaxSatStratificationAlgorithm > ()
template<>
const EnumDescriptor *PROTOBUF_NONNULL google::protobuf::GetEnumDescriptor<::operations_research::sat::SatParameters_SearchBranching > ()
template<>
const EnumDescriptor *PROTOBUF_NONNULL google::protobuf::GetEnumDescriptor<::operations_research::sat::SatParameters_SharedTreeSplitStrategy > ()
template<>
const EnumDescriptor *PROTOBUF_NONNULL google::protobuf::GetEnumDescriptor<::operations_research::sat::SatParameters_FPRoundingMethod > ()

Variables

OR_PROTO_DLLconst ::google::protobuf::internal::DescriptorTable descriptor_table_ortools_2fsat_2fsat_5fparameters_2eproto
constexpr SatParameters_VariableOrder operations_research::sat::SatParameters_VariableOrder_VariableOrder_MIN
constexpr SatParameters_VariableOrder operations_research::sat::SatParameters_VariableOrder_VariableOrder_MAX
constexpr int operations_research::sat::SatParameters_VariableOrder_VariableOrder_ARRAYSIZE = 2 + 1
constexpr SatParameters_Polarity operations_research::sat::SatParameters_Polarity_Polarity_MIN
constexpr SatParameters_Polarity operations_research::sat::SatParameters_Polarity_Polarity_MAX
constexpr int operations_research::sat::SatParameters_Polarity_Polarity_ARRAYSIZE = 2 + 1
constexpr SatParameters_ConflictMinimizationAlgorithm operations_research::sat::SatParameters_ConflictMinimizationAlgorithm_ConflictMinimizationAlgorithm_MIN
constexpr SatParameters_ConflictMinimizationAlgorithm operations_research::sat::SatParameters_ConflictMinimizationAlgorithm_ConflictMinimizationAlgorithm_MAX
constexpr int operations_research::sat::SatParameters_ConflictMinimizationAlgorithm_ConflictMinimizationAlgorithm_ARRAYSIZE = 3 + 1
constexpr SatParameters_BinaryMinizationAlgorithm operations_research::sat::SatParameters_BinaryMinizationAlgorithm_BinaryMinizationAlgorithm_MIN
constexpr SatParameters_BinaryMinizationAlgorithm operations_research::sat::SatParameters_BinaryMinizationAlgorithm_BinaryMinizationAlgorithm_MAX
constexpr int operations_research::sat::SatParameters_BinaryMinizationAlgorithm_BinaryMinizationAlgorithm_ARRAYSIZE = 4 + 1
constexpr SatParameters_ClauseProtection operations_research::sat::SatParameters_ClauseProtection_ClauseProtection_MIN
constexpr SatParameters_ClauseProtection operations_research::sat::SatParameters_ClauseProtection_ClauseProtection_MAX
constexpr int operations_research::sat::SatParameters_ClauseProtection_ClauseProtection_ARRAYSIZE = 2 + 1
constexpr SatParameters_ClauseOrdering operations_research::sat::SatParameters_ClauseOrdering_ClauseOrdering_MIN
constexpr SatParameters_ClauseOrdering operations_research::sat::SatParameters_ClauseOrdering_ClauseOrdering_MAX
constexpr int operations_research::sat::SatParameters_ClauseOrdering_ClauseOrdering_ARRAYSIZE = 1 + 1
constexpr SatParameters_RestartAlgorithm operations_research::sat::SatParameters_RestartAlgorithm_RestartAlgorithm_MIN
constexpr SatParameters_RestartAlgorithm operations_research::sat::SatParameters_RestartAlgorithm_RestartAlgorithm_MAX
constexpr int operations_research::sat::SatParameters_RestartAlgorithm_RestartAlgorithm_ARRAYSIZE = 4 + 1
constexpr SatParameters_MaxSatAssumptionOrder operations_research::sat::SatParameters_MaxSatAssumptionOrder_MaxSatAssumptionOrder_MIN
constexpr SatParameters_MaxSatAssumptionOrder operations_research::sat::SatParameters_MaxSatAssumptionOrder_MaxSatAssumptionOrder_MAX
constexpr int operations_research::sat::SatParameters_MaxSatAssumptionOrder_MaxSatAssumptionOrder_ARRAYSIZE = 2 + 1
constexpr SatParameters_MaxSatStratificationAlgorithm operations_research::sat::SatParameters_MaxSatStratificationAlgorithm_MaxSatStratificationAlgorithm_MIN
constexpr SatParameters_MaxSatStratificationAlgorithm operations_research::sat::SatParameters_MaxSatStratificationAlgorithm_MaxSatStratificationAlgorithm_MAX
constexpr int operations_research::sat::SatParameters_MaxSatStratificationAlgorithm_MaxSatStratificationAlgorithm_ARRAYSIZE = 2 + 1
constexpr SatParameters_SearchBranching operations_research::sat::SatParameters_SearchBranching_SearchBranching_MIN
constexpr SatParameters_SearchBranching operations_research::sat::SatParameters_SearchBranching_SearchBranching_MAX
constexpr int operations_research::sat::SatParameters_SearchBranching_SearchBranching_ARRAYSIZE = 8 + 1
constexpr SatParameters_SharedTreeSplitStrategy operations_research::sat::SatParameters_SharedTreeSplitStrategy_SharedTreeSplitStrategy_MIN
constexpr SatParameters_SharedTreeSplitStrategy operations_research::sat::SatParameters_SharedTreeSplitStrategy_SharedTreeSplitStrategy_MAX
constexpr int operations_research::sat::SatParameters_SharedTreeSplitStrategy_SharedTreeSplitStrategy_ARRAYSIZE = 4 + 1
constexpr SatParameters_FPRoundingMethod operations_research::sat::SatParameters_FPRoundingMethod_FPRoundingMethod_MIN
constexpr SatParameters_FPRoundingMethod operations_research::sat::SatParameters_FPRoundingMethod_FPRoundingMethod_MAX
constexpr int operations_research::sat::SatParameters_FPRoundingMethod_FPRoundingMethod_ARRAYSIZE = 3 + 1

Macro Definition Documentation

◆ PROTOBUF_INTERNAL_EXPORT_ortools_2fsat_2fsat_5fparameters_2eproto

#define PROTOBUF_INTERNAL_EXPORT_ortools_2fsat_2fsat_5fparameters_2eproto   OR_PROTO_DLL

@protoc_insertion_point(includes)

Generated by the protocol buffer compiler. DO NOT EDIT! NO CHECKED-IN PROTOBUF GENCODE source: ortools/sat/sat_parameters.proto Protobuf C++ Version: 6.31.1 Must be included last.

Definition at line 38 of file sat_parameters.pb.h.

Variable Documentation

◆ descriptor_table_ortools_2fsat_2fsat_5fparameters_2eproto

OR_PROTO_DLLconst ::google::protobuf::internal::DescriptorTable descriptor_table_ortools_2fsat_2fsat_5fparameters_2eproto
extern

Definition at line 1263 of file sat_parameters.pb.cc.