C++ Reference
C++ Reference: CP-SAT
sat_parameters.pb.h
Go to the documentation of this file.
39 PROTOBUF_NAMESPACE_OPEN
57 extern const ::PROTOBUF_NAMESPACE_ID::internal::DescriptorTable descriptor_table_ortools_2fsat_2fsat_5fparameters_2eproto;
66 template<> ::operations_research::sat::SatParameters* Arena::CreateMaybeMessage<::operations_research::sat::SatParameters>(Arena*);
75 };
77 constexpr SatParameters_VariableOrder SatParameters_VariableOrder_VariableOrder_MIN = SatParameters_VariableOrder_IN_ORDER;
78 constexpr SatParameters_VariableOrder SatParameters_VariableOrder_VariableOrder_MAX = SatParameters_VariableOrder_IN_RANDOM_ORDER;
79 constexpr int SatParameters_VariableOrder_VariableOrder_ARRAYSIZE = SatParameters_VariableOrder_VariableOrder_MAX + 1;
101 };
103 constexpr SatParameters_Polarity SatParameters_Polarity_Polarity_MIN = SatParameters_Polarity_POLARITY_TRUE;
104 constexpr SatParameters_Polarity SatParameters_Polarity_Polarity_MAX = SatParameters_Polarity_POLARITY_REVERSE_WEIGHTED_SIGN;
105 constexpr int SatParameters_Polarity_Polarity_ARRAYSIZE = SatParameters_Polarity_Polarity_MAX + 1;
126 };
128 constexpr SatParameters_ConflictMinimizationAlgorithm SatParameters_ConflictMinimizationAlgorithm_ConflictMinimizationAlgorithm_MIN = SatParameters_ConflictMinimizationAlgorithm_NONE;
129 constexpr SatParameters_ConflictMinimizationAlgorithm SatParameters_ConflictMinimizationAlgorithm_ConflictMinimizationAlgorithm_MAX = SatParameters_ConflictMinimizationAlgorithm_EXPERIMENTAL;
130 constexpr int SatParameters_ConflictMinimizationAlgorithm_ConflictMinimizationAlgorithm_ARRAYSIZE = SatParameters_ConflictMinimizationAlgorithm_ConflictMinimizationAlgorithm_MAX + 1;
132 const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor* SatParameters_ConflictMinimizationAlgorithm_descriptor();
142 ::PROTOBUF_NAMESPACE_ID::ConstStringParam name, SatParameters_ConflictMinimizationAlgorithm* value) {
143 return ::PROTOBUF_NAMESPACE_ID::internal::ParseNamedEnum<SatParameters_ConflictMinimizationAlgorithm>(
149 SatParameters_BinaryMinizationAlgorithm_BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION = 4,
152 };
154 constexpr SatParameters_BinaryMinizationAlgorithm SatParameters_BinaryMinizationAlgorithm_BinaryMinizationAlgorithm_MIN = SatParameters_BinaryMinizationAlgorithm_NO_BINARY_MINIMIZATION;
155 constexpr SatParameters_BinaryMinizationAlgorithm SatParameters_BinaryMinizationAlgorithm_BinaryMinizationAlgorithm_MAX = SatParameters_BinaryMinizationAlgorithm_BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION;
156 constexpr int SatParameters_BinaryMinizationAlgorithm_BinaryMinizationAlgorithm_ARRAYSIZE = SatParameters_BinaryMinizationAlgorithm_BinaryMinizationAlgorithm_MAX + 1;
158 const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor* SatParameters_BinaryMinizationAlgorithm_descriptor();
168 ::PROTOBUF_NAMESPACE_ID::ConstStringParam name, SatParameters_BinaryMinizationAlgorithm* value) {
169 return ::PROTOBUF_NAMESPACE_ID::internal::ParseNamedEnum<SatParameters_BinaryMinizationAlgorithm>(
176 };
178 constexpr SatParameters_ClauseProtection SatParameters_ClauseProtection_ClauseProtection_MIN = SatParameters_ClauseProtection_PROTECTION_NONE;
179 constexpr SatParameters_ClauseProtection SatParameters_ClauseProtection_ClauseProtection_MAX = SatParameters_ClauseProtection_PROTECTION_LBD;
180 constexpr int SatParameters_ClauseProtection_ClauseProtection_ARRAYSIZE = SatParameters_ClauseProtection_ClauseProtection_MAX + 1;
199 };
201 constexpr SatParameters_ClauseOrdering SatParameters_ClauseOrdering_ClauseOrdering_MIN = SatParameters_ClauseOrdering_CLAUSE_ACTIVITY;
202 constexpr SatParameters_ClauseOrdering SatParameters_ClauseOrdering_ClauseOrdering_MAX = SatParameters_ClauseOrdering_CLAUSE_LBD;
203 constexpr int SatParameters_ClauseOrdering_ClauseOrdering_ARRAYSIZE = SatParameters_ClauseOrdering_ClauseOrdering_MAX + 1;
225 };
227 constexpr SatParameters_RestartAlgorithm SatParameters_RestartAlgorithm_RestartAlgorithm_MIN = SatParameters_RestartAlgorithm_NO_RESTART;
228 constexpr SatParameters_RestartAlgorithm SatParameters_RestartAlgorithm_RestartAlgorithm_MAX = SatParameters_RestartAlgorithm_FIXED_RESTART;
229 constexpr int SatParameters_RestartAlgorithm_RestartAlgorithm_ARRAYSIZE = SatParameters_RestartAlgorithm_RestartAlgorithm_MAX + 1;
249 };
251 constexpr SatParameters_MaxSatAssumptionOrder SatParameters_MaxSatAssumptionOrder_MaxSatAssumptionOrder_MIN = SatParameters_MaxSatAssumptionOrder_DEFAULT_ASSUMPTION_ORDER;
252 constexpr SatParameters_MaxSatAssumptionOrder SatParameters_MaxSatAssumptionOrder_MaxSatAssumptionOrder_MAX = SatParameters_MaxSatAssumptionOrder_ORDER_ASSUMPTION_BY_WEIGHT;
253 constexpr int SatParameters_MaxSatAssumptionOrder_MaxSatAssumptionOrder_ARRAYSIZE = SatParameters_MaxSatAssumptionOrder_MaxSatAssumptionOrder_MAX + 1;
255 const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor* SatParameters_MaxSatAssumptionOrder_descriptor();
273 };
275 constexpr SatParameters_MaxSatStratificationAlgorithm SatParameters_MaxSatStratificationAlgorithm_MaxSatStratificationAlgorithm_MIN = SatParameters_MaxSatStratificationAlgorithm_STRATIFICATION_NONE;
276 constexpr SatParameters_MaxSatStratificationAlgorithm SatParameters_MaxSatStratificationAlgorithm_MaxSatStratificationAlgorithm_MAX = SatParameters_MaxSatStratificationAlgorithm_STRATIFICATION_ASCENT;
277 constexpr int SatParameters_MaxSatStratificationAlgorithm_MaxSatStratificationAlgorithm_ARRAYSIZE = SatParameters_MaxSatStratificationAlgorithm_MaxSatStratificationAlgorithm_MAX + 1;
279 const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor* SatParameters_MaxSatStratificationAlgorithm_descriptor();
289 ::PROTOBUF_NAMESPACE_ID::ConstStringParam name, SatParameters_MaxSatStratificationAlgorithm* value) {
290 return ::PROTOBUF_NAMESPACE_ID::internal::ParseNamedEnum<SatParameters_MaxSatStratificationAlgorithm>(
301 };
303 constexpr SatParameters_SearchBranching SatParameters_SearchBranching_SearchBranching_MIN = SatParameters_SearchBranching_AUTOMATIC_SEARCH;
304 constexpr SatParameters_SearchBranching SatParameters_SearchBranching_SearchBranching_MAX = SatParameters_SearchBranching_HINT_SEARCH;
305 constexpr int SatParameters_SearchBranching_SearchBranching_ARRAYSIZE = SatParameters_SearchBranching_SearchBranching_MAX + 1;
326 };
328 constexpr SatParameters_FPRoundingMethod SatParameters_FPRoundingMethod_FPRoundingMethod_MIN = SatParameters_FPRoundingMethod_NEAREST_INTEGER;
329 constexpr SatParameters_FPRoundingMethod SatParameters_FPRoundingMethod_FPRoundingMethod_MAX = SatParameters_FPRoundingMethod_ACTIVE_LOCK_BASED;
330 constexpr int SatParameters_FPRoundingMethod_FPRoundingMethod_ARRAYSIZE = SatParameters_FPRoundingMethod_FPRoundingMethod_MAX + 1;
349 public ::PROTOBUF_NAMESPACE_ID::Message /* @@protoc_insertion_point(class_definition:operations_research.sat.SatParameters) */ {
374 return _internal_metadata_.unknown_fields<::PROTOBUF_NAMESPACE_ID::UnknownFieldSet>(::PROTOBUF_NAMESPACE_ID::UnknownFieldSet::default_instance);
433 const char* _InternalParse(const char* ptr, ::PROTOBUF_NAMESPACE_ID::internal::ParseContext* ctx) final;
434 ::PROTOBUF_NAMESPACE_ID::uint8* _InternalSerialize(
435 ::PROTOBUF_NAMESPACE_ID::uint8* target, ::PROTOBUF_NAMESPACE_ID::io::EpsCopyOutputStream* stream) const final;
457 ::PROTOBUF_NAMESPACE_ID::internal::AssignDescriptors(&::descriptor_table_ortools_2fsat_2fsat_5fparameters_2eproto);
458 return ::descriptor_table_ortools_2fsat_2fsat_5fparameters_2eproto.file_level_metadata[kIndexInFileMessages];
562 static inline bool ConflictMinimizationAlgorithm_Parse(::PROTOBUF_NAMESPACE_ID::ConstStringParam name,
572 static constexpr BinaryMinizationAlgorithm BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION =
598 static inline bool BinaryMinizationAlgorithm_Parse(::PROTOBUF_NAMESPACE_ID::ConstStringParam name,
760 static inline bool MaxSatStratificationAlgorithm_Parse(::PROTOBUF_NAMESPACE_ID::ConstStringParam name,
842 kRestartAlgorithmsFieldNumber = 61,
843 kDefaultRestartAlgorithmsFieldNumber = 70,
844 kPreferredVariableOrderFieldNumber = 1,
845 kMaxSatAssumptionOrderFieldNumber = 51,
846 kRandomBranchesRatioFieldNumber = 32,
847 kRandomPolarityRatioFieldNumber = 45,
848 kClauseCleanupProtectionFieldNumber = 58,
849 kClauseCleanupOrderingFieldNumber = 60,
850 kUseErwaHeuristicFieldNumber = 75,
851 kAlsoBumpVariablesInConflictReasonsFieldNumber = 77,
852 kUseBlockingRestartFieldNumber = 64,
853 kLogSearchProgressFieldNumber = 41,
854 kNumConflictsBeforeStrategyChangesFieldNumber = 68,
855 kStrategyChangeIncreaseRatioFieldNumber = 69,
856 kInitialVariablesActivityFieldNumber = 76,
857 kMaxSatReverseAssumptionOrderFieldNumber = 52,
858 kUseOverloadCheckerInCumulativeConstraintFieldNumber = 78,
859 kUseTimetableEdgeFindingInCumulativeConstraintFieldNumber = 79,
860 kOnlyAddCutsAtLevelZeroFieldNumber = 92,
861 kSearchBranchingFieldNumber = 82,
862 kOptimizeWithCoreFieldNumber = 83,
863 kOptimizeWithMaxHsFieldNumber = 85,
864 kEnumerateAllSolutionsFieldNumber = 87,
865 kFillTightenedDomainsInResponseFieldNumber = 132,
866 kUsePbResolutionFieldNumber = 43,
867 kMinimizeReductionDuringPbResolutionFieldNumber = 48,
868 kCpModelPostsolveWithFullSolverFieldNumber = 162,
869 kUseSatInprocessingFieldNumber = 163,
870 kSearchRandomizationToleranceFieldNumber = 104,
871 kUseLnsOnlyFieldNumber = 101,
872 kLnsFocusOnDecisionVariablesFieldNumber = 105,
873 kUseRelaxationLnsFieldNumber = 150,
874 kDiversifyLnsParamsFieldNumber = 137,
875 kRandomizeSearchFieldNumber = 103,
876 kUseBranchingInLpFieldNumber = 139,
877 kUseCombinedNoOverlapFieldNumber = 133,
878 kStopAfterFirstSolutionFieldNumber = 98,
879 kStopAfterPresolveFieldNumber = 149,
880 kInterleaveSearchFieldNumber = 136,
881 kReduceMemoryUsageInInterleaveModeFieldNumber = 141,
882 kAddKnapsackCutsFieldNumber = 111,
883 kRepairHintFieldNumber = 167,
884 kExploitBestSolutionFieldNumber = 130,
885 kExploitRelaxationSolutionFieldNumber = 161,
886 kProbingPeriodAtRootFieldNumber = 142,
887 kCpModelMaxNumPresolveOperationsFieldNumber = 151,
888 kAbsoluteGapLimitFieldNumber = 159,
889 kRelativeGapLimitFieldNumber = 160,
890 kInitialPolarityFieldNumber = 2,
891 kMinimizationAlgorithmFieldNumber = 4,
892 kClauseCleanupPeriodFieldNumber = 11,
893 kClauseCleanupTargetFieldNumber = 13,
894 kVariableActivityDecayFieldNumber = 15,
895 kMaxVariableActivityValueFieldNumber = 16,
896 kClauseActivityDecayFieldNumber = 17,
897 kMaxClauseActivityValueFieldNumber = 18,
898 kGlucoseMaxDecayFieldNumber = 22,
899 kGlucoseDecayIncrementFieldNumber = 23,
900 kGlucoseDecayIncrementPeriodFieldNumber = 24,
901 kRestartPeriodFieldNumber = 30,
902 kRandomSeedFieldNumber = 31,
903 kBinaryMinimizationAlgorithmFieldNumber = 34,
904 kMaxTimeInSecondsFieldNumber = 36,
905 kMaxNumberOfConflictsFieldNumber = 37,
906 kMaxMemoryInMbFieldNumber = 40,
907 kUsePhaseSavingFieldNumber = 44,
908 kSubsumptionDuringConflictAnalysisFieldNumber = 56,
909 kTreatBinaryClausesSeparatelyFieldNumber = 33,
910 kCountAssumptionLevelsInLbdFieldNumber = 49,
911 kPbCleanupIncrementFieldNumber = 46,
912 kPbCleanupRatioFieldNumber = 47,
913 kMaxSatStratificationFieldNumber = 53,
914 kPresolveBveThresholdFieldNumber = 54,
915 kPresolveProbingDeterministicTimeLimitFieldNumber = 57,
916 kPresolveBveClauseWeightFieldNumber = 55,
917 kClauseCleanupLbdBoundFieldNumber = 59,
918 kRestartDlAverageRatioFieldNumber = 63,
919 kRestartRunningWindowSizeFieldNumber = 62,
920 kBlockingRestartWindowSizeFieldNumber = 65,
921 kBlockingRestartMultiplierFieldNumber = 66,
922 kMaxDeterministicTimeFieldNumber = 67,
923 kRestartLbdAverageRatioFieldNumber = 71,
924 kPresolveBvaThresholdFieldNumber = 73,
925 kMinimizeCoreFieldNumber = 50,
926 kFindMultipleCoresFieldNumber = 84,
927 kCoverOptimizationFieldNumber = 89,
928 kUsePrecedencesInDisjunctiveConstraintFieldNumber = 74,
929 kPresolveBlockedClauseFieldNumber = 88,
930 kPresolveUseBvaFieldNumber = 72,
931 kCpModelPresolveFieldNumber = 86,
932 kCpModelUseSatPresolveFieldNumber = 93,
933 kLinearizationLevelFieldNumber = 90,
934 kMaxNumCutsFieldNumber = 91,
935 kMinimizeWithPropagationRestartPeriodFieldNumber = 96,
936 kMinimizeWithPropagationNumDecisionsFieldNumber = 97,
937 kBinarySearchNumConflictsFieldNumber = 99,
938 kNumSearchWorkersFieldNumber = 100,
939 kBooleanEncodingLevelFieldNumber = 107,
940 kInstantiateAllVariablesFieldNumber = 106,
941 kAutoDetectGreaterThanAtLeastOneOfFieldNumber = 95,
942 kShareObjectiveBoundsFieldNumber = 113,
943 kShareLevelZeroBoundsFieldNumber = 114,
944 kCpModelProbingLevelFieldNumber = 110,
945 kMinOrthogonalityForLpConstraintsFieldNumber = 115,
946 kAddLpConstraintsLazilyFieldNumber = 112,
947 kExploitIntegerLpSolutionFieldNumber = 94,
948 kExploitAllLpSolutionFieldNumber = 116,
949 kExploitObjectiveFieldNumber = 131,
950 kUseDisjunctiveConstraintInCumulativeConstraintFieldNumber = 80,
951 kAddCgCutsFieldNumber = 117,
952 kAddMirCutsFieldNumber = 120,
953 kAddLinMaxCutsFieldNumber = 152,
954 kMaxIntegerRoundingScalingFieldNumber = 119,
955 kExpandElementConstraintsFieldNumber = 140,
956 kExpandAutomatonConstraintsFieldNumber = 143,
957 kExpandTableConstraintsFieldNumber = 158,
958 kUseOptimizationHintsFieldNumber = 35,
959 kMaxConsecutiveInactiveCountFieldNumber = 121,
960 kNewConstraintsBatchSizeFieldNumber = 122,
961 kPseudoCostReliabilityThresholdFieldNumber = 123,
962 kMipMaxBoundFieldNumber = 124,
963 kMipVarScalingFieldNumber = 125,
964 kMipWantedPrecisionFieldNumber = 126,
965 kMipMaxActivityExponentFieldNumber = 127,
966 kUseRinsLnsFieldNumber = 129,
967 kUseFeasibilityPumpFieldNumber = 164,
968 kUseOptionalVariablesFieldNumber = 108,
969 kUseExactLpReasonFieldNumber = 109,
970 kMipCheckPrecisionFieldNumber = 128,
971 kInterleaveBatchSizeFieldNumber = 134,
972 kMaxPresolveIterationsFieldNumber = 138,
973 kMergeNoOverlapWorkLimitFieldNumber = 145,
974 kMergeAtMostOneWorkLimitFieldNumber = 146,
975 kPresolveSubstitutionLevelFieldNumber = 147,
976 kMaxAllDiffCutSizeFieldNumber = 148,
977 kCatchSigintSignalFieldNumber = 135,
978 kUseImpliedBoundsFieldNumber = 144,
979 kMipAutomaticallyScaleVariablesFieldNumber = 166,
980 kHintConflictLimitFieldNumber = 153,
981 kCutMaxActiveCountValueFieldNumber = 155,
982 kMaxCutRoundsAtLevelZeroFieldNumber = 154,
983 kCutCleanupTargetFieldNumber = 157,
984 kCutActiveCountDecayFieldNumber = 156,
985 kFpRoundingFieldNumber = 165,
986 kPolarityRephaseIncrementFieldNumber = 168,
995 ::operations_research::sat::SatParameters_RestartAlgorithm _internal_restart_algorithms(int index) const;
996 void _internal_add_restart_algorithms(::operations_research::sat::SatParameters_RestartAlgorithm value);
1000 void set_restart_algorithms(int index, ::operations_research::sat::SatParameters_RestartAlgorithm value);
1005 // optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,DL_MOVING_AVERAGE_RESTART"];
1025 // optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default = IN_ORDER];
1032 void set_preferred_variable_order(::operations_research::sat::SatParameters_VariableOrder value);
1034 ::operations_research::sat::SatParameters_VariableOrder _internal_preferred_variable_order() const;
1035 void _internal_set_preferred_variable_order(::operations_research::sat::SatParameters_VariableOrder value);
1038 // optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [default = DEFAULT_ASSUMPTION_ORDER];
1044 ::operations_research::sat::SatParameters_MaxSatAssumptionOrder max_sat_assumption_order() const;
1045 void set_max_sat_assumption_order(::operations_research::sat::SatParameters_MaxSatAssumptionOrder value);
1047 ::operations_research::sat::SatParameters_MaxSatAssumptionOrder _internal_max_sat_assumption_order() const;
1048 void _internal_set_max_sat_assumption_order(::operations_research::sat::SatParameters_MaxSatAssumptionOrder value);
1077 // optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [default = PROTECTION_NONE];
1084 void set_clause_cleanup_protection(::operations_research::sat::SatParameters_ClauseProtection value);
1086 ::operations_research::sat::SatParameters_ClauseProtection _internal_clause_cleanup_protection() const;
1087 void _internal_set_clause_cleanup_protection(::operations_research::sat::SatParameters_ClauseProtection value);
1090 // optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default = CLAUSE_ACTIVITY];
1097 void set_clause_cleanup_ordering(::operations_research::sat::SatParameters_ClauseOrdering value);
1099 ::operations_research::sat::SatParameters_ClauseOrdering _internal_clause_cleanup_ordering() const;
1100 void _internal_set_clause_cleanup_ordering(::operations_research::sat::SatParameters_ClauseOrdering value);
1165 void _internal_set_num_conflicts_before_strategy_changes(::PROTOBUF_NAMESPACE_ID::int32 value);
1246 // optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTOMATIC_SEARCH];
1256 void _internal_set_search_branching(::operations_research::sat::SatParameters_SearchBranching value);
1623 // optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FALSE];
1636 // optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm = 4 [default = RECURSIVE];
1642 ::operations_research::sat::SatParameters_ConflictMinimizationAlgorithm minimization_algorithm() const;
1643 void set_minimization_algorithm(::operations_research::sat::SatParameters_ConflictMinimizationAlgorithm value);
1645 ::operations_research::sat::SatParameters_ConflictMinimizationAlgorithm _internal_minimization_algorithm() const;
1646 void _internal_set_minimization_algorithm(::operations_research::sat::SatParameters_ConflictMinimizationAlgorithm value);
1792 // optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorithm = 34 [default = BINARY_MINIMIZATION_FIRST];
1798 ::operations_research::sat::SatParameters_BinaryMinizationAlgorithm binary_minimization_algorithm() const;
1799 void set_binary_minimization_algorithm(::operations_research::sat::SatParameters_BinaryMinizationAlgorithm value);
1801 ::operations_research::sat::SatParameters_BinaryMinizationAlgorithm _internal_binary_minimization_algorithm() const;
1802 void _internal_set_binary_minimization_algorithm(::operations_research::sat::SatParameters_BinaryMinizationAlgorithm value);
1922 // optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification = 53 [default = STRATIFICATION_DESCENT];
1928 ::operations_research::sat::SatParameters_MaxSatStratificationAlgorithm max_sat_stratification() const;
1929 void set_max_sat_stratification(::operations_research::sat::SatParameters_MaxSatStratificationAlgorithm value);
1931 ::operations_research::sat::SatParameters_MaxSatStratificationAlgorithm _internal_max_sat_stratification() const;
1932 void _internal_set_max_sat_stratification(::operations_research::sat::SatParameters_MaxSatStratificationAlgorithm value);
2218 void _internal_set_minimize_with_propagation_restart_period(::PROTOBUF_NAMESPACE_ID::int32 value);
2231 void _internal_set_minimize_with_propagation_num_decisions(::PROTOBUF_NAMESPACE_ID::int32 value);
2858 // optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGATION_ASSISTED];
2868 void _internal_set_fp_rounding(::operations_research::sat::SatParameters_FPRoundingMethod value);
2895 static ::PROTOBUF_NAMESPACE_ID::internal::ExplicitlyConstructed<std::string> _i_give_permission_to_break_this_code_default_default_restart_algorithms_;
3054 // optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default = IN_ORDER];
3066 inline ::operations_research::sat::SatParameters_VariableOrder SatParameters::_internal_preferred_variable_order() const {
3067 return static_cast< ::operations_research::sat::SatParameters_VariableOrder >(preferred_variable_order_);
3069 inline ::operations_research::sat::SatParameters_VariableOrder SatParameters::preferred_variable_order() const {
3070 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.preferred_variable_order)
3073 inline void SatParameters::_internal_set_preferred_variable_order(::operations_research::sat::SatParameters_VariableOrder value) {
3078 inline void SatParameters::set_preferred_variable_order(::operations_research::sat::SatParameters_VariableOrder value) {
3080 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.preferred_variable_order)
3083 // optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FALSE];
3095 inline ::operations_research::sat::SatParameters_Polarity SatParameters::_internal_initial_polarity() const {
3098 inline ::operations_research::sat::SatParameters_Polarity SatParameters::initial_polarity() const {
3102 inline void SatParameters::_internal_set_initial_polarity(::operations_research::sat::SatParameters_Polarity value) {
3107 inline void SatParameters::set_initial_polarity(::operations_research::sat::SatParameters_Polarity value) {
3152 inline ::PROTOBUF_NAMESPACE_ID::int32 SatParameters::_internal_polarity_rephase_increment() const {
3156 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.polarity_rephase_increment)
3159 inline void SatParameters::_internal_set_polarity_rephase_increment(::PROTOBUF_NAMESPACE_ID::int32 value) {
3163 inline void SatParameters::set_polarity_rephase_increment(::PROTOBUF_NAMESPACE_ID::int32 value) {
3165 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.polarity_rephase_increment)
3184 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.random_polarity_ratio)
3193 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.random_polarity_ratio)
3212 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.random_branches_ratio)
3221 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.random_branches_ratio)
3240 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.use_erwa_heuristic)
3249 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.use_erwa_heuristic)
3268 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.initial_variables_activity)
3277 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.initial_variables_activity)
3296 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.also_bump_variables_in_conflict_reasons)
3305 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.also_bump_variables_in_conflict_reasons)
3308 // optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm = 4 [default = RECURSIVE];
3320 inline ::operations_research::sat::SatParameters_ConflictMinimizationAlgorithm SatParameters::_internal_minimization_algorithm() const {
3321 return static_cast< ::operations_research::sat::SatParameters_ConflictMinimizationAlgorithm >(minimization_algorithm_);
3323 inline ::operations_research::sat::SatParameters_ConflictMinimizationAlgorithm SatParameters::minimization_algorithm() const {
3324 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.minimization_algorithm)
3327 inline void SatParameters::_internal_set_minimization_algorithm(::operations_research::sat::SatParameters_ConflictMinimizationAlgorithm value) {
3328 assert(::operations_research::sat::SatParameters_ConflictMinimizationAlgorithm_IsValid(value));
3332 inline void SatParameters::set_minimization_algorithm(::operations_research::sat::SatParameters_ConflictMinimizationAlgorithm value) {
3334 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.minimization_algorithm)
3337 // optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorithm = 34 [default = BINARY_MINIMIZATION_FIRST];
3349 inline ::operations_research::sat::SatParameters_BinaryMinizationAlgorithm SatParameters::_internal_binary_minimization_algorithm() const {
3350 return static_cast< ::operations_research::sat::SatParameters_BinaryMinizationAlgorithm >(binary_minimization_algorithm_);
3352 inline ::operations_research::sat::SatParameters_BinaryMinizationAlgorithm SatParameters::binary_minimization_algorithm() const {
3353 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.binary_minimization_algorithm)
3356 inline void SatParameters::_internal_set_binary_minimization_algorithm(::operations_research::sat::SatParameters_BinaryMinizationAlgorithm value) {
3361 inline void SatParameters::set_binary_minimization_algorithm(::operations_research::sat::SatParameters_BinaryMinizationAlgorithm value) {
3363 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.binary_minimization_algorithm)
3382 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.subsumption_during_conflict_analysis)
3391 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.subsumption_during_conflict_analysis)
3410 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.clause_cleanup_period)
3413 inline void SatParameters::_internal_set_clause_cleanup_period(::PROTOBUF_NAMESPACE_ID::int32 value) {
3419 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.clause_cleanup_period)
3438 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.clause_cleanup_target)
3441 inline void SatParameters::_internal_set_clause_cleanup_target(::PROTOBUF_NAMESPACE_ID::int32 value) {
3447 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.clause_cleanup_target)
3450 // optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [default = PROTECTION_NONE];
3462 inline ::operations_research::sat::SatParameters_ClauseProtection SatParameters::_internal_clause_cleanup_protection() const {
3463 return static_cast< ::operations_research::sat::SatParameters_ClauseProtection >(clause_cleanup_protection_);
3465 inline ::operations_research::sat::SatParameters_ClauseProtection SatParameters::clause_cleanup_protection() const {
3466 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.clause_cleanup_protection)
3469 inline void SatParameters::_internal_set_clause_cleanup_protection(::operations_research::sat::SatParameters_ClauseProtection value) {
3474 inline void SatParameters::set_clause_cleanup_protection(::operations_research::sat::SatParameters_ClauseProtection value) {
3476 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.clause_cleanup_protection)
3491 inline ::PROTOBUF_NAMESPACE_ID::int32 SatParameters::_internal_clause_cleanup_lbd_bound() const {
3495 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.clause_cleanup_lbd_bound)
3498 inline void SatParameters::_internal_set_clause_cleanup_lbd_bound(::PROTOBUF_NAMESPACE_ID::int32 value) {
3502 inline void SatParameters::set_clause_cleanup_lbd_bound(::PROTOBUF_NAMESPACE_ID::int32 value) {
3504 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.clause_cleanup_lbd_bound)
3507 // optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default = CLAUSE_ACTIVITY];
3519 inline ::operations_research::sat::SatParameters_ClauseOrdering SatParameters::_internal_clause_cleanup_ordering() const {
3520 return static_cast< ::operations_research::sat::SatParameters_ClauseOrdering >(clause_cleanup_ordering_);
3522 inline ::operations_research::sat::SatParameters_ClauseOrdering SatParameters::clause_cleanup_ordering() const {
3523 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.clause_cleanup_ordering)
3526 inline void SatParameters::_internal_set_clause_cleanup_ordering(::operations_research::sat::SatParameters_ClauseOrdering value) {
3531 inline void SatParameters::set_clause_cleanup_ordering(::operations_research::sat::SatParameters_ClauseOrdering value) {
3533 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.clause_cleanup_ordering)
3552 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.pb_cleanup_increment)
3555 inline void SatParameters::_internal_set_pb_cleanup_increment(::PROTOBUF_NAMESPACE_ID::int32 value) {
3561 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.pb_cleanup_increment)
3604 inline ::PROTOBUF_NAMESPACE_ID::int32 SatParameters::_internal_minimize_with_propagation_restart_period() const {
3607 inline ::PROTOBUF_NAMESPACE_ID::int32 SatParameters::minimize_with_propagation_restart_period() const {
3608 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.minimize_with_propagation_restart_period)
3611 inline void SatParameters::_internal_set_minimize_with_propagation_restart_period(::PROTOBUF_NAMESPACE_ID::int32 value) {
3615 inline void SatParameters::set_minimize_with_propagation_restart_period(::PROTOBUF_NAMESPACE_ID::int32 value) {
3617 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.minimize_with_propagation_restart_period)
3632 inline ::PROTOBUF_NAMESPACE_ID::int32 SatParameters::_internal_minimize_with_propagation_num_decisions() const {
3635 inline ::PROTOBUF_NAMESPACE_ID::int32 SatParameters::minimize_with_propagation_num_decisions() const {
3636 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.minimize_with_propagation_num_decisions)
3639 inline void SatParameters::_internal_set_minimize_with_propagation_num_decisions(::PROTOBUF_NAMESPACE_ID::int32 value) {
3643 inline void SatParameters::set_minimize_with_propagation_num_decisions(::PROTOBUF_NAMESPACE_ID::int32 value) {
3645 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.minimize_with_propagation_num_decisions)
3664 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.variable_activity_decay)
3673 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.variable_activity_decay)
3692 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.max_variable_activity_value)
3701 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.max_variable_activity_value)
3748 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.glucose_decay_increment)
3757 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.glucose_decay_increment)
3772 inline ::PROTOBUF_NAMESPACE_ID::int32 SatParameters::_internal_glucose_decay_increment_period() const {
3776 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.glucose_decay_increment_period)
3779 inline void SatParameters::_internal_set_glucose_decay_increment_period(::PROTOBUF_NAMESPACE_ID::int32 value) {
3783 inline void SatParameters::set_glucose_decay_increment_period(::PROTOBUF_NAMESPACE_ID::int32 value) {
3785 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.glucose_decay_increment_period)
3804 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.clause_activity_decay)
3813 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.clause_activity_decay)
3832 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.max_clause_activity_value)
3841 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.max_clause_activity_value)
3854 inline ::operations_research::sat::SatParameters_RestartAlgorithm SatParameters::_internal_restart_algorithms(int index) const {
3855 return static_cast< ::operations_research::sat::SatParameters_RestartAlgorithm >(restart_algorithms_.Get(index));
3857 inline ::operations_research::sat::SatParameters_RestartAlgorithm SatParameters::restart_algorithms(int index) const {
3858 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.restart_algorithms)
3861 inline void SatParameters::set_restart_algorithms(int index, ::operations_research::sat::SatParameters_RestartAlgorithm value) {
3864 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.restart_algorithms)
3866 inline void SatParameters::_internal_add_restart_algorithms(::operations_research::sat::SatParameters_RestartAlgorithm value) {
3870 inline void SatParameters::add_restart_algorithms(::operations_research::sat::SatParameters_RestartAlgorithm value) {
3871 // @@protoc_insertion_point(field_add:operations_research.sat.SatParameters.restart_algorithms)
3876 // @@protoc_insertion_point(field_list:operations_research.sat.SatParameters.restart_algorithms)
3885 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.SatParameters.restart_algorithms)
3889 // optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,DL_MOVING_AVERAGE_RESTART"];
3898 default_restart_algorithms_.ClearToDefault(&::operations_research::sat::SatParameters::_i_give_permission_to_break_this_code_default_default_restart_algorithms_.get(), GetArena());
3902 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.default_restart_algorithms)
3907 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.default_restart_algorithms)
3910 // @@protoc_insertion_point(field_mutable:operations_research.sat.SatParameters.default_restart_algorithms)
3916 inline void SatParameters::_internal_set_default_restart_algorithms(const std::string& value) {
3918 default_restart_algorithms_.Set(&::operations_research::sat::SatParameters::_i_give_permission_to_break_this_code_default_default_restart_algorithms_.get(), value, GetArena());
3923 &::operations_research::sat::SatParameters::_i_give_permission_to_break_this_code_default_default_restart_algorithms_.get(), ::std::move(value), GetArena());
3924 // @@protoc_insertion_point(field_set_rvalue:operations_research.sat.SatParameters.default_restart_algorithms)
3929 default_restart_algorithms_.Set(&::operations_research::sat::SatParameters::_i_give_permission_to_break_this_code_default_default_restart_algorithms_.get(), ::std::string(value),
3931 // @@protoc_insertion_point(field_set_char:operations_research.sat.SatParameters.default_restart_algorithms)
3936 default_restart_algorithms_.Set(&::operations_research::sat::SatParameters::_i_give_permission_to_break_this_code_default_default_restart_algorithms_.get(), ::std::string(
3938 // @@protoc_insertion_point(field_set_pointer:operations_research.sat.SatParameters.default_restart_algorithms)
3942 return default_restart_algorithms_.Mutable(&::operations_research::sat::SatParameters::_i_give_permission_to_break_this_code_default_default_restart_algorithms_.get(), GetArena());
3945 // @@protoc_insertion_point(field_release:operations_research.sat.SatParameters.default_restart_algorithms)
3950 return default_restart_algorithms_.ReleaseNonDefault(&::operations_research::sat::SatParameters::_i_give_permission_to_break_this_code_default_default_restart_algorithms_.get(), GetArena());
3952 inline void SatParameters::set_allocated_default_restart_algorithms(std::string* default_restart_algorithms) {
3958 default_restart_algorithms_.SetAllocated(&::operations_research::sat::SatParameters::_i_give_permission_to_break_this_code_default_default_restart_algorithms_.get(), default_restart_algorithms,
3960 // @@protoc_insertion_point(field_set_allocated:operations_research.sat.SatParameters.default_restart_algorithms)
3982 inline void SatParameters::_internal_set_restart_period(::PROTOBUF_NAMESPACE_ID::int32 value) {
4003 inline ::PROTOBUF_NAMESPACE_ID::int32 SatParameters::_internal_restart_running_window_size() const {
4007 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.restart_running_window_size)
4010 inline void SatParameters::_internal_set_restart_running_window_size(::PROTOBUF_NAMESPACE_ID::int32 value) {
4014 inline void SatParameters::set_restart_running_window_size(::PROTOBUF_NAMESPACE_ID::int32 value) {
4016 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.restart_running_window_size)
4035 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.restart_dl_average_ratio)
4044 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.restart_dl_average_ratio)
4063 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.restart_lbd_average_ratio)
4072 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.restart_lbd_average_ratio)
4091 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.use_blocking_restart)
4100 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.use_blocking_restart)
4115 inline ::PROTOBUF_NAMESPACE_ID::int32 SatParameters::_internal_blocking_restart_window_size() const {
4119 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.blocking_restart_window_size)
4122 inline void SatParameters::_internal_set_blocking_restart_window_size(::PROTOBUF_NAMESPACE_ID::int32 value) {
4126 inline void SatParameters::set_blocking_restart_window_size(::PROTOBUF_NAMESPACE_ID::int32 value) {
4128 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.blocking_restart_window_size)
4147 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.blocking_restart_multiplier)
4156 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.blocking_restart_multiplier)
4171 inline ::PROTOBUF_NAMESPACE_ID::int32 SatParameters::_internal_num_conflicts_before_strategy_changes() const {
4174 inline ::PROTOBUF_NAMESPACE_ID::int32 SatParameters::num_conflicts_before_strategy_changes() const {
4175 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.num_conflicts_before_strategy_changes)
4178 inline void SatParameters::_internal_set_num_conflicts_before_strategy_changes(::PROTOBUF_NAMESPACE_ID::int32 value) {
4182 inline void SatParameters::set_num_conflicts_before_strategy_changes(::PROTOBUF_NAMESPACE_ID::int32 value) {
4184 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.num_conflicts_before_strategy_changes)
4203 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.strategy_change_increase_ratio)
4212 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.strategy_change_increase_ratio)
4231 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.max_time_in_seconds)
4240 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.max_time_in_seconds)
4259 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.max_deterministic_time)
4268 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.max_deterministic_time)
4283 inline ::PROTOBUF_NAMESPACE_ID::int64 SatParameters::_internal_max_number_of_conflicts() const {
4287 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.max_number_of_conflicts)
4290 inline void SatParameters::_internal_set_max_number_of_conflicts(::PROTOBUF_NAMESPACE_ID::int64 value) {
4296 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.max_number_of_conflicts)
4318 inline void SatParameters::_internal_set_max_memory_in_mb(::PROTOBUF_NAMESPACE_ID::int64 value) {
4343 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.absolute_gap_limit)
4352 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.absolute_gap_limit)
4371 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.relative_gap_limit)
4380 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.relative_gap_limit)
4399 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.treat_binary_clauses_separately)
4408 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.treat_binary_clauses_separately)
4455 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.log_search_progress)
4464 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.log_search_progress)
4511 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.minimize_reduction_during_pb_resolution)
4520 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.minimize_reduction_during_pb_resolution)
4539 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.count_assumption_levels_in_lbd)
4548 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.count_assumption_levels_in_lbd)
4563 inline ::PROTOBUF_NAMESPACE_ID::int32 SatParameters::_internal_presolve_bve_threshold() const {
4567 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.presolve_bve_threshold)
4570 inline void SatParameters::_internal_set_presolve_bve_threshold(::PROTOBUF_NAMESPACE_ID::int32 value) {
4576 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.presolve_bve_threshold)
4591 inline ::PROTOBUF_NAMESPACE_ID::int32 SatParameters::_internal_presolve_bve_clause_weight() const {
4595 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.presolve_bve_clause_weight)
4598 inline void SatParameters::_internal_set_presolve_bve_clause_weight(::PROTOBUF_NAMESPACE_ID::int32 value) {
4602 inline void SatParameters::set_presolve_bve_clause_weight(::PROTOBUF_NAMESPACE_ID::int32 value) {
4604 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.presolve_bve_clause_weight)
4623 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.presolve_probing_deterministic_time_limit)
4626 inline void SatParameters::_internal_set_presolve_probing_deterministic_time_limit(double value) {
4632 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.presolve_probing_deterministic_time_limit)
4651 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.presolve_blocked_clause)
4660 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.presolve_blocked_clause)
4703 inline ::PROTOBUF_NAMESPACE_ID::int32 SatParameters::_internal_presolve_bva_threshold() const {
4707 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.presolve_bva_threshold)
4710 inline void SatParameters::_internal_set_presolve_bva_threshold(::PROTOBUF_NAMESPACE_ID::int32 value) {
4716 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.presolve_bva_threshold)
4731 inline ::PROTOBUF_NAMESPACE_ID::int32 SatParameters::_internal_max_presolve_iterations() const {
4735 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.max_presolve_iterations)
4738 inline void SatParameters::_internal_set_max_presolve_iterations(::PROTOBUF_NAMESPACE_ID::int32 value) {
4744 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.max_presolve_iterations)
4791 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.cp_model_postsolve_with_full_solver)
4800 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.cp_model_postsolve_with_full_solver)
4815 inline ::PROTOBUF_NAMESPACE_ID::int32 SatParameters::_internal_cp_model_max_num_presolve_operations() const {
4818 inline ::PROTOBUF_NAMESPACE_ID::int32 SatParameters::cp_model_max_num_presolve_operations() const {
4819 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.cp_model_max_num_presolve_operations)
4822 inline void SatParameters::_internal_set_cp_model_max_num_presolve_operations(::PROTOBUF_NAMESPACE_ID::int32 value) {
4826 inline void SatParameters::set_cp_model_max_num_presolve_operations(::PROTOBUF_NAMESPACE_ID::int32 value) {
4828 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.cp_model_max_num_presolve_operations)
4843 inline ::PROTOBUF_NAMESPACE_ID::int32 SatParameters::_internal_cp_model_probing_level() const {
4847 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.cp_model_probing_level)
4850 inline void SatParameters::_internal_set_cp_model_probing_level(::PROTOBUF_NAMESPACE_ID::int32 value) {
4856 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.cp_model_probing_level)
4875 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.cp_model_use_sat_presolve)
4884 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.cp_model_use_sat_presolve)
4903 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.use_sat_inprocessing)
4912 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.use_sat_inprocessing)
4931 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.expand_element_constraints)
4940 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.expand_element_constraints)
4959 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.expand_automaton_constraints)
4968 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.expand_automaton_constraints)
4987 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.expand_table_constraints)
4996 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.expand_table_constraints)
5015 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.merge_no_overlap_work_limit)
5024 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.merge_no_overlap_work_limit)
5043 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.merge_at_most_one_work_limit)
5052 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.merge_at_most_one_work_limit)
5067 inline ::PROTOBUF_NAMESPACE_ID::int32 SatParameters::_internal_presolve_substitution_level() const {
5071 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.presolve_substitution_level)
5074 inline void SatParameters::_internal_set_presolve_substitution_level(::PROTOBUF_NAMESPACE_ID::int32 value) {
5078 inline void SatParameters::set_presolve_substitution_level(::PROTOBUF_NAMESPACE_ID::int32 value) {
5080 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.presolve_substitution_level)
5099 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.use_optimization_hints)
5108 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.use_optimization_hints)
5155 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.find_multiple_cores)
5164 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.find_multiple_cores)
5183 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.cover_optimization)
5192 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.cover_optimization)
5195 // optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [default = DEFAULT_ASSUMPTION_ORDER];
5207 inline ::operations_research::sat::SatParameters_MaxSatAssumptionOrder SatParameters::_internal_max_sat_assumption_order() const {
5208 return static_cast< ::operations_research::sat::SatParameters_MaxSatAssumptionOrder >(max_sat_assumption_order_);
5210 inline ::operations_research::sat::SatParameters_MaxSatAssumptionOrder SatParameters::max_sat_assumption_order() const {
5211 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.max_sat_assumption_order)
5214 inline void SatParameters::_internal_set_max_sat_assumption_order(::operations_research::sat::SatParameters_MaxSatAssumptionOrder value) {
5219 inline void SatParameters::set_max_sat_assumption_order(::operations_research::sat::SatParameters_MaxSatAssumptionOrder value) {
5221 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.max_sat_assumption_order)
5240 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.max_sat_reverse_assumption_order)
5249 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.max_sat_reverse_assumption_order)
5252 // optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification = 53 [default = STRATIFICATION_DESCENT];
5264 inline ::operations_research::sat::SatParameters_MaxSatStratificationAlgorithm SatParameters::_internal_max_sat_stratification() const {
5265 return static_cast< ::operations_research::sat::SatParameters_MaxSatStratificationAlgorithm >(max_sat_stratification_);
5267 inline ::operations_research::sat::SatParameters_MaxSatStratificationAlgorithm SatParameters::max_sat_stratification() const {
5268 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.max_sat_stratification)
5271 inline void SatParameters::_internal_set_max_sat_stratification(::operations_research::sat::SatParameters_MaxSatStratificationAlgorithm value) {
5272 assert(::operations_research::sat::SatParameters_MaxSatStratificationAlgorithm_IsValid(value));
5276 inline void SatParameters::set_max_sat_stratification(::operations_research::sat::SatParameters_MaxSatStratificationAlgorithm value) {
5278 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.max_sat_stratification)
5297 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.use_precedences_in_disjunctive_constraint)
5300 inline void SatParameters::_internal_set_use_precedences_in_disjunctive_constraint(bool value) {
5306 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.use_precedences_in_disjunctive_constraint)
5310 inline bool SatParameters::_internal_has_use_overload_checker_in_cumulative_constraint() const {
5325 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.use_overload_checker_in_cumulative_constraint)
5328 inline void SatParameters::_internal_set_use_overload_checker_in_cumulative_constraint(bool value) {
5334 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.use_overload_checker_in_cumulative_constraint)
5338 inline bool SatParameters::_internal_has_use_timetable_edge_finding_in_cumulative_constraint() const {
5349 inline bool SatParameters::_internal_use_timetable_edge_finding_in_cumulative_constraint() const {
5353 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.use_timetable_edge_finding_in_cumulative_constraint)
5356 inline void SatParameters::_internal_set_use_timetable_edge_finding_in_cumulative_constraint(bool value) {
5360 inline void SatParameters::set_use_timetable_edge_finding_in_cumulative_constraint(bool value) {
5362 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.use_timetable_edge_finding_in_cumulative_constraint)
5366 inline bool SatParameters::_internal_has_use_disjunctive_constraint_in_cumulative_constraint() const {
5377 inline bool SatParameters::_internal_use_disjunctive_constraint_in_cumulative_constraint() const {
5381 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.use_disjunctive_constraint_in_cumulative_constraint)
5384 inline void SatParameters::_internal_set_use_disjunctive_constraint_in_cumulative_constraint(bool value) {
5388 inline void SatParameters::set_use_disjunctive_constraint_in_cumulative_constraint(bool value) {
5390 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.use_disjunctive_constraint_in_cumulative_constraint)
5409 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.linearization_level)
5412 inline void SatParameters::_internal_set_linearization_level(::PROTOBUF_NAMESPACE_ID::int32 value) {
5418 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.linearization_level)
5433 inline ::PROTOBUF_NAMESPACE_ID::int32 SatParameters::_internal_boolean_encoding_level() const {
5437 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.boolean_encoding_level)
5440 inline void SatParameters::_internal_set_boolean_encoding_level(::PROTOBUF_NAMESPACE_ID::int32 value) {
5446 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.boolean_encoding_level)
5493 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.only_add_cuts_at_level_zero)
5502 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.only_add_cuts_at_level_zero)
5605 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.max_all_diff_cut_size)
5608 inline void SatParameters::_internal_set_max_all_diff_cut_size(::PROTOBUF_NAMESPACE_ID::int32 value) {
5614 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.max_all_diff_cut_size)
5657 inline ::PROTOBUF_NAMESPACE_ID::int32 SatParameters::_internal_max_integer_rounding_scaling() const {
5661 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.max_integer_rounding_scaling)
5664 inline void SatParameters::_internal_set_max_integer_rounding_scaling(::PROTOBUF_NAMESPACE_ID::int32 value) {
5668 inline void SatParameters::set_max_integer_rounding_scaling(::PROTOBUF_NAMESPACE_ID::int32 value) {
5670 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.max_integer_rounding_scaling)
5689 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.add_lp_constraints_lazily)
5698 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.add_lp_constraints_lazily)
5717 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.min_orthogonality_for_lp_constraints)
5726 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.min_orthogonality_for_lp_constraints)
5741 inline ::PROTOBUF_NAMESPACE_ID::int32 SatParameters::_internal_max_cut_rounds_at_level_zero() const {
5745 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.max_cut_rounds_at_level_zero)
5748 inline void SatParameters::_internal_set_max_cut_rounds_at_level_zero(::PROTOBUF_NAMESPACE_ID::int32 value) {
5752 inline void SatParameters::set_max_cut_rounds_at_level_zero(::PROTOBUF_NAMESPACE_ID::int32 value) {
5754 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.max_cut_rounds_at_level_zero)
5769 inline ::PROTOBUF_NAMESPACE_ID::int32 SatParameters::_internal_max_consecutive_inactive_count() const {
5773 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.max_consecutive_inactive_count)
5776 inline void SatParameters::_internal_set_max_consecutive_inactive_count(::PROTOBUF_NAMESPACE_ID::int32 value) {
5780 inline void SatParameters::set_max_consecutive_inactive_count(::PROTOBUF_NAMESPACE_ID::int32 value) {
5782 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.max_consecutive_inactive_count)
5801 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.cut_max_active_count_value)
5810 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.cut_max_active_count_value)
5829 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.cut_active_count_decay)
5838 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.cut_active_count_decay)
5857 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.cut_cleanup_target)
5860 inline void SatParameters::_internal_set_cut_cleanup_target(::PROTOBUF_NAMESPACE_ID::int32 value) {
5866 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.cut_cleanup_target)
5881 inline ::PROTOBUF_NAMESPACE_ID::int32 SatParameters::_internal_new_constraints_batch_size() const {
5885 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.new_constraints_batch_size)
5888 inline void SatParameters::_internal_set_new_constraints_batch_size(::PROTOBUF_NAMESPACE_ID::int32 value) {
5892 inline void SatParameters::set_new_constraints_batch_size(::PROTOBUF_NAMESPACE_ID::int32 value) {
5894 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.new_constraints_batch_size)
5897 // optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTOMATIC_SEARCH];
5909 inline ::operations_research::sat::SatParameters_SearchBranching SatParameters::_internal_search_branching() const {
5910 return static_cast< ::operations_research::sat::SatParameters_SearchBranching >(search_branching_);
5912 inline ::operations_research::sat::SatParameters_SearchBranching SatParameters::search_branching() const {
5916 inline void SatParameters::_internal_set_search_branching(::operations_research::sat::SatParameters_SearchBranching value) {
5921 inline void SatParameters::set_search_branching(::operations_research::sat::SatParameters_SearchBranching value) {
5942 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.hint_conflict_limit)
5945 inline void SatParameters::_internal_set_hint_conflict_limit(::PROTOBUF_NAMESPACE_ID::int32 value) {
5951 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.hint_conflict_limit)
5998 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.exploit_integer_lp_solution)
6007 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.exploit_integer_lp_solution)
6026 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.exploit_all_lp_solution)
6035 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.exploit_all_lp_solution)
6054 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.exploit_best_solution)
6063 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.exploit_best_solution)
6082 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.exploit_relaxation_solution)
6091 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.exploit_relaxation_solution)
6134 inline ::PROTOBUF_NAMESPACE_ID::int64 SatParameters::_internal_probing_period_at_root() const {
6138 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.probing_period_at_root)
6141 inline void SatParameters::_internal_set_probing_period_at_root(::PROTOBUF_NAMESPACE_ID::int64 value) {
6147 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.probing_period_at_root)
6162 inline ::PROTOBUF_NAMESPACE_ID::int64 SatParameters::_internal_pseudo_cost_reliability_threshold() const {
6165 inline ::PROTOBUF_NAMESPACE_ID::int64 SatParameters::pseudo_cost_reliability_threshold() const {
6166 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.pseudo_cost_reliability_threshold)
6169 inline void SatParameters::_internal_set_pseudo_cost_reliability_threshold(::PROTOBUF_NAMESPACE_ID::int64 value) {
6173 inline void SatParameters::set_pseudo_cost_reliability_threshold(::PROTOBUF_NAMESPACE_ID::int64 value) {
6175 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.pseudo_cost_reliability_threshold)
6194 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.optimize_with_core)
6203 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.optimize_with_core)
6218 inline ::PROTOBUF_NAMESPACE_ID::int32 SatParameters::_internal_binary_search_num_conflicts() const {
6222 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.binary_search_num_conflicts)
6225 inline void SatParameters::_internal_set_binary_search_num_conflicts(::PROTOBUF_NAMESPACE_ID::int32 value) {
6229 inline void SatParameters::set_binary_search_num_conflicts(::PROTOBUF_NAMESPACE_ID::int32 value) {
6231 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.binary_search_num_conflicts)
6250 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.optimize_with_max_hs)
6259 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.optimize_with_max_hs)
6278 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.enumerate_all_solutions)
6287 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.enumerate_all_solutions)
6306 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.fill_tightened_domains_in_response)
6315 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.fill_tightened_domains_in_response)
6334 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.instantiate_all_variables)
6343 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.instantiate_all_variables)
6362 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.auto_detect_greater_than_at_least_one_of)
6365 inline void SatParameters::_internal_set_auto_detect_greater_than_at_least_one_of(bool value) {
6371 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.auto_detect_greater_than_at_least_one_of)
6390 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.stop_after_first_solution)
6399 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.stop_after_first_solution)
6418 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.stop_after_presolve)
6427 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.stop_after_presolve)
6446 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.num_search_workers)
6449 inline void SatParameters::_internal_set_num_search_workers(::PROTOBUF_NAMESPACE_ID::int32 value) {
6455 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.num_search_workers)
6502 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.interleave_batch_size)
6505 inline void SatParameters::_internal_set_interleave_batch_size(::PROTOBUF_NAMESPACE_ID::int32 value) {
6511 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.interleave_batch_size)
6530 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.reduce_memory_usage_in_interleave_mode)
6539 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.reduce_memory_usage_in_interleave_mode)
6558 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.share_objective_bounds)
6567 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.share_objective_bounds)
6586 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.share_level_zero_bounds)
6595 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.share_level_zero_bounds)
6642 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.lns_focus_on_decision_variables)
6651 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.lns_focus_on_decision_variables)
6698 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.use_feasibility_pump)
6707 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.use_feasibility_pump)
6710 // optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGATION_ASSISTED];
6722 inline ::operations_research::sat::SatParameters_FPRoundingMethod SatParameters::_internal_fp_rounding() const {
6723 return static_cast< ::operations_research::sat::SatParameters_FPRoundingMethod >(fp_rounding_);
6725 inline ::operations_research::sat::SatParameters_FPRoundingMethod SatParameters::fp_rounding() const {
6729 inline void SatParameters::_internal_set_fp_rounding(::operations_research::sat::SatParameters_FPRoundingMethod value) {
6734 inline void SatParameters::set_fp_rounding(::operations_research::sat::SatParameters_FPRoundingMethod value) {
6755 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.use_relaxation_lns)
6764 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.use_relaxation_lns)
6783 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.diversify_lns_params)
6792 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.diversify_lns_params)
6835 inline ::PROTOBUF_NAMESPACE_ID::int64 SatParameters::_internal_search_randomization_tolerance() const {
6839 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.search_randomization_tolerance)
6842 inline void SatParameters::_internal_set_search_randomization_tolerance(::PROTOBUF_NAMESPACE_ID::int64 value) {
6846 inline void SatParameters::set_search_randomization_tolerance(::PROTOBUF_NAMESPACE_ID::int64 value) {
6848 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.search_randomization_tolerance)
6867 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.use_optional_variables)
6876 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.use_optional_variables)
6895 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.use_exact_lp_reason)
6904 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.use_exact_lp_reason)
6923 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.use_branching_in_lp)
6932 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.use_branching_in_lp)
6951 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.use_combined_no_overlap)
6960 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.use_combined_no_overlap)
6979 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.catch_sigint_signal)
6988 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.catch_sigint_signal)
7007 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.use_implied_bounds)
7016 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.use_implied_bounds)
7091 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.mip_automatically_scale_variables)
7100 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.mip_automatically_scale_variables)
7119 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.mip_wanted_precision)
7128 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.mip_wanted_precision)
7143 inline ::PROTOBUF_NAMESPACE_ID::int32 SatParameters::_internal_mip_max_activity_exponent() const {
7147 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.mip_max_activity_exponent)
7150 inline void SatParameters::_internal_set_mip_max_activity_exponent(::PROTOBUF_NAMESPACE_ID::int32 value) {
7154 inline void SatParameters::set_mip_max_activity_exponent(::PROTOBUF_NAMESPACE_ID::int32 value) {
7156 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.mip_max_activity_exponent)
7175 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.mip_check_precision)
7184 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.mip_check_precision)
7198 template <> struct is_proto_enum< ::operations_research::sat::SatParameters_VariableOrder> : ::std::true_type {};
7200 inline const EnumDescriptor* GetEnumDescriptor< ::operations_research::sat::SatParameters_VariableOrder>() {
7203 template <> struct is_proto_enum< ::operations_research::sat::SatParameters_Polarity> : ::std::true_type {};
7205 inline const EnumDescriptor* GetEnumDescriptor< ::operations_research::sat::SatParameters_Polarity>() {
7208 template <> struct is_proto_enum< ::operations_research::sat::SatParameters_ConflictMinimizationAlgorithm> : ::std::true_type {};
7210 inline const EnumDescriptor* GetEnumDescriptor< ::operations_research::sat::SatParameters_ConflictMinimizationAlgorithm>() {
7213 template <> struct is_proto_enum< ::operations_research::sat::SatParameters_BinaryMinizationAlgorithm> : ::std::true_type {};
7215 inline const EnumDescriptor* GetEnumDescriptor< ::operations_research::sat::SatParameters_BinaryMinizationAlgorithm>() {
7218 template <> struct is_proto_enum< ::operations_research::sat::SatParameters_ClauseProtection> : ::std::true_type {};
7220 inline const EnumDescriptor* GetEnumDescriptor< ::operations_research::sat::SatParameters_ClauseProtection>() {
7223 template <> struct is_proto_enum< ::operations_research::sat::SatParameters_ClauseOrdering> : ::std::true_type {};
7225 inline const EnumDescriptor* GetEnumDescriptor< ::operations_research::sat::SatParameters_ClauseOrdering>() {
7228 template <> struct is_proto_enum< ::operations_research::sat::SatParameters_RestartAlgorithm> : ::std::true_type {};
7230 inline const EnumDescriptor* GetEnumDescriptor< ::operations_research::sat::SatParameters_RestartAlgorithm>() {
7233 template <> struct is_proto_enum< ::operations_research::sat::SatParameters_MaxSatAssumptionOrder> : ::std::true_type {};
7235 inline const EnumDescriptor* GetEnumDescriptor< ::operations_research::sat::SatParameters_MaxSatAssumptionOrder>() {
7238 template <> struct is_proto_enum< ::operations_research::sat::SatParameters_MaxSatStratificationAlgorithm> : ::std::true_type {};
7240 inline const EnumDescriptor* GetEnumDescriptor< ::operations_research::sat::SatParameters_MaxSatStratificationAlgorithm>() {
7243 template <> struct is_proto_enum< ::operations_research::sat::SatParameters_SearchBranching> : ::std::true_type {};
7245 inline const EnumDescriptor* GetEnumDescriptor< ::operations_research::sat::SatParameters_SearchBranching>() {
7248 template <> struct is_proto_enum< ::operations_research::sat::SatParameters_FPRoundingMethod> : ::std::true_type {};
7250 inline const EnumDescriptor* GetEnumDescriptor< ::operations_research::sat::SatParameters_FPRoundingMethod>() {
bool has_add_cg_cuts() const
bool exploit_relaxation_solution() const
void clear_pb_cleanup_ratio()
friend void swap(SatParameters &a, SatParameters &b)
Definition: sat_parameters.pb.h:399
bool has_subsumption_during_conflict_analysis() const
SatParameters & operator=(SatParameters &&from) noexcept
Definition: sat_parameters.pb.h:364
SatParameters(::PROTOBUF_NAMESPACE_ID::Arena *arena)
@ SatParameters_MaxSatAssumptionOrder_ORDER_ASSUMPTION_BY_DEPTH
Definition: sat_parameters.pb.h:247
void set_cut_active_count_decay(double value)
void clear_num_search_workers()
void clear_minimize_with_propagation_num_decisions()
bool use_implied_bounds() const
bool has_expand_element_constraints() const
SatParameters_ClauseOrdering ClauseOrdering
Definition: sat_parameters.pb.h:635
bool has_restart_dl_average_ratio() const
void clear_count_assumption_levels_in_lbd()
void set_absolute_gap_limit(double value)
void set_preferred_variable_order(::operations_research::sat::SatParameters_VariableOrder value)
static bool SearchBranching_Parse(::PROTOBUF_NAMESPACE_ID::ConstStringParam name, SearchBranching *value)
Definition: sat_parameters.pb.h:800
void set_stop_after_presolve(bool value)
bool repair_hint() const
constexpr SatParameters_ClauseProtection SatParameters_ClauseProtection_ClauseProtection_MAX
Definition: sat_parameters.pb.h:179
@ SatParameters_ConflictMinimizationAlgorithm_EXPERIMENTAL
Definition: sat_parameters.pb.h:125
void set_subsumption_during_conflict_analysis(bool value)
constexpr SatParameters_ConflictMinimizationAlgorithm SatParameters_ConflictMinimizationAlgorithm_ConflictMinimizationAlgorithm_MIN
Definition: sat_parameters.pb.h:128
bool has_merge_no_overlap_work_limit() const
void clear_max_consecutive_inactive_count()
constexpr SatParameters_Polarity SatParameters_Polarity_Polarity_MAX
Definition: sat_parameters.pb.h:104
void set_stop_after_first_solution(bool value)
constexpr SatParameters_BinaryMinizationAlgorithm SatParameters_BinaryMinizationAlgorithm_BinaryMinizationAlgorithm_MAX
Definition: sat_parameters.pb.h:155
::PROTOBUF_NAMESPACE_ID::int32 polarity_rephase_increment() const
bool has_use_timetable_edge_finding_in_cumulative_constraint() const
const std::string & SatParameters_Polarity_Name(T enum_t_value)
Definition: sat_parameters.pb.h:109
@ SatParameters_SearchBranching_AUTOMATIC_SEARCH
Definition: sat_parameters.pb.h:294
bool has_restart_lbd_average_ratio() const
int restart_algorithms_size() const
constexpr int SatParameters_ClauseProtection_ClauseProtection_ARRAYSIZE
Definition: sat_parameters.pb.h:180
bool SatParameters_MaxSatStratificationAlgorithm_Parse(::PROTOBUF_NAMESPACE_ID::ConstStringParam name, SatParameters_MaxSatStratificationAlgorithm *value)
Definition: sat_parameters.pb.h:288
void set_max_sat_assumption_order(::operations_research::sat::SatParameters_MaxSatAssumptionOrder value)
void clear_max_number_of_conflicts()
SatParameters_ClauseProtection
Definition: sat_parameters.pb.h:172
void clear_pb_cleanup_increment()
void clear_use_precedences_in_disjunctive_constraint()
void clear_subsumption_during_conflict_analysis()
bool has_use_phase_saving() const
constexpr int SatParameters_BinaryMinizationAlgorithm_BinaryMinizationAlgorithm_ARRAYSIZE
Definition: sat_parameters.pb.h:156
bool has_num_search_workers() const
bool SatParameters_ConflictMinimizationAlgorithm_Parse(::PROTOBUF_NAMESPACE_ID::ConstStringParam name, SatParameters_ConflictMinimizationAlgorithm *value)
Definition: sat_parameters.pb.h:141
constexpr SatParameters_MaxSatStratificationAlgorithm SatParameters_MaxSatStratificationAlgorithm_MaxSatStratificationAlgorithm_MIN
Definition: sat_parameters.pb.h:275
bool has_pb_cleanup_increment() const
void set_random_polarity_ratio(double value)
void set_add_knapsack_cuts(bool value)
bool SatParameters_MaxSatAssumptionOrder_IsValid(int value)
bool presolve_use_bva() const
static bool BinaryMinizationAlgorithm_IsValid(int value)
Definition: sat_parameters.pb.h:578
::PROTOBUF_NAMESPACE_ID::Metadata GetMetadata() const final
bool has_stop_after_presolve() const
static const std::string & MaxSatStratificationAlgorithm_Name(T enum_t_value)
Definition: sat_parameters.pb.h:754
void set_exploit_best_solution(bool value)
@ SatParameters_BinaryMinizationAlgorithm_BINARY_MINIMIZATION_FIRST
Definition: sat_parameters.pb.h:148
::PROTOBUF_NAMESPACE_ID::int32 random_seed() const
void set_cp_model_presolve(bool value)
bool catch_sigint_signal() const
static bool ClauseProtection_Parse(::PROTOBUF_NAMESPACE_ID::ConstStringParam name, ClauseProtection *value)
Definition: sat_parameters.pb.h:630
void clear_presolve_probing_deterministic_time_limit()
::PROTOBUF_NAMESPACE_ID::int32 binary_search_num_conflicts() const
const ::PROTOBUF_NAMESPACE_ID::UnknownFieldSet & unknown_fields() const
Definition: sat_parameters.pb.h:373
void set_repair_hint(bool value)
void set_optimize_with_core(bool value)
void set_mip_check_precision(double value)
constexpr SatParameters_SearchBranching SatParameters_SearchBranching_SearchBranching_MIN
Definition: sat_parameters.pb.h:303
bool cp_model_presolve() const
@ SatParameters_Polarity_POLARITY_TRUE
Definition: sat_parameters.pb.h:96
bool has_random_seed() const
::PROTOBUF_NAMESPACE_ID::int64 max_memory_in_mb() const
bool exploit_best_solution() const
void clear_presolve_bve_clause_weight()
bool has_min_orthogonality_for_lp_constraints() const
@ SatParameters_FPRoundingMethod_PROPAGATION_ASSISTED
Definition: sat_parameters.pb.h:325
bool use_lns_only() const
bool has_initial_variables_activity() const
bool has_cut_active_count_decay() const
void clear_auto_detect_greater_than_at_least_one_of()
void set_clause_cleanup_lbd_bound(::PROTOBUF_NAMESPACE_ID::int32 value)
constexpr SatParameters_ClauseOrdering SatParameters_ClauseOrdering_ClauseOrdering_MIN
Definition: sat_parameters.pb.h:201
bool has_random_branches_ratio() const
constexpr int SatParameters_ConflictMinimizationAlgorithm_ConflictMinimizationAlgorithm_ARRAYSIZE
Definition: sat_parameters.pb.h:130
bool has_glucose_decay_increment() const
double restart_dl_average_ratio() const
::PROTOBUF_NAMESPACE_ID::RepeatedField< int > * mutable_restart_algorithms()
bool has_auto_detect_greater_than_at_least_one_of() const
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * SatParameters_ClauseOrdering_descriptor()
void set_glucose_decay_increment_period(::PROTOBUF_NAMESPACE_ID::int32 value)
void clear_fp_rounding()
bool has_max_integer_rounding_scaling() const
void set_restart_algorithms(int index, ::operations_research::sat::SatParameters_RestartAlgorithm value)
void set_max_consecutive_inactive_count(::PROTOBUF_NAMESPACE_ID::int32 value)
bool has_presolve_blocked_clause() const
void set_cp_model_max_num_presolve_operations(::PROTOBUF_NAMESPACE_ID::int32 value)
void clear_max_cut_rounds_at_level_zero()
void set_cut_cleanup_target(::PROTOBUF_NAMESPACE_ID::int32 value)
bool has_clause_cleanup_lbd_bound() const
void set_default_restart_algorithms(const char *value, size_t size)
bool use_overload_checker_in_cumulative_constraint() const
constexpr int SatParameters_ClauseOrdering_ClauseOrdering_ARRAYSIZE
Definition: sat_parameters.pb.h:203
bool has_minimize_core() const
void clear_mip_check_precision()
void set_use_lns_only(bool value)
void set_also_bump_variables_in_conflict_reasons(bool value)
const std::string & SatParameters_RestartAlgorithm_Name(T enum_t_value)
Definition: sat_parameters.pb.h:233
bool cover_optimization() const
::PROTOBUF_NAMESPACE_ID::int32 cp_model_max_num_presolve_operations() const
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * SatParameters_Polarity_descriptor()
void set_max_clause_activity_value(double value)
void clear_use_branching_in_lp()
bool SatParameters_BinaryMinizationAlgorithm_Parse(::PROTOBUF_NAMESPACE_ID::ConstStringParam name, SatParameters_BinaryMinizationAlgorithm *value)
Definition: sat_parameters.pb.h:167
bool has_exploit_objective() const
::operations_research::sat::SatParameters_MaxSatAssumptionOrder max_sat_assumption_order() const
bool has_initial_polarity() const
static const ::PROTOBUF_NAMESPACE_ID::Descriptor * GetDescriptor()
Definition: sat_parameters.pb.h:383
@ SatParameters_ClauseOrdering_CLAUSE_ACTIVITY
Definition: sat_parameters.pb.h:197
void set_allocated_default_restart_algorithms(std::string *default_restart_algorithms)
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * SatParameters_BinaryMinizationAlgorithm_descriptor()
bool treat_binary_clauses_separately() const
void set_pb_cleanup_increment(::PROTOBUF_NAMESPACE_ID::int32 value)
void clear_clause_cleanup_target()
static const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * RestartAlgorithm_descriptor()
Definition: sat_parameters.pb.h:686
bool use_optimization_hints() const
@ SatParameters_RestartAlgorithm_LUBY_RESTART
Definition: sat_parameters.pb.h:221
void clear_presolve_blocked_clause()
static const std::string & MaxSatAssumptionOrder_Name(T enum_t_value)
Definition: sat_parameters.pb.h:722
SatParameters_ClauseOrdering
Definition: sat_parameters.pb.h:196
bool SatParameters_VariableOrder_Parse(::PROTOBUF_NAMESPACE_ID::ConstStringParam name, SatParameters_VariableOrder *value)
Definition: sat_parameters.pb.h:90
void clear_lns_focus_on_decision_variables()
::operations_research::sat::SatParameters_ClauseOrdering clause_cleanup_ordering() const
bool has_use_exact_lp_reason() const
bool has_use_optional_variables() const
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * SatParameters_VariableOrder_descriptor()
double random_branches_ratio() const
std::string * release_default_restart_algorithms()
bool has_diversify_lns_params() const
void set_cover_optimization(bool value)
::operations_research::sat::SatParameters_BinaryMinizationAlgorithm binary_minimization_algorithm() const
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< int > & restart_algorithms() const
static bool VariableOrder_IsValid(int value)
Definition: sat_parameters.pb.h:472
void clear_clause_cleanup_lbd_bound()
void set_diversify_lns_params(bool value)
bool has_max_variable_activity_value() const
bool has_add_lp_constraints_lazily() const
void set_binary_search_num_conflicts(::PROTOBUF_NAMESPACE_ID::int32 value)
bool use_erwa_heuristic() const
void clear_catch_sigint_signal()
static const ::PROTOBUF_NAMESPACE_ID::internal::ParseTableField entries[] PROTOBUF_SECTION_VARIABLE(protodesc_cold)
bool has_probing_period_at_root() const
void clear_expand_table_constraints()
bool exploit_integer_lp_solution() const
void set_pseudo_cost_reliability_threshold(::PROTOBUF_NAMESPACE_ID::int64 value)
@ SatParameters_MaxSatStratificationAlgorithm_STRATIFICATION_NONE
Definition: sat_parameters.pb.h:270
void set_add_mir_cuts(bool value)
void set_add_lin_max_cuts(bool value)
@ SatParameters_FPRoundingMethod_LOCK_BASED
Definition: sat_parameters.pb.h:323
double cut_max_active_count_value() const
void clear_use_implied_bounds()
::PROTOBUF_NAMESPACE_ID::int32 presolve_bve_threshold() const
::PROTOBUF_NAMESPACE_ID::int32 clause_cleanup_target() const
double glucose_decay_increment() const
bool has_cp_model_use_sat_presolve() const
void set_pb_cleanup_ratio(double value)
static const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * Polarity_descriptor()
Definition: sat_parameters.pb.h:518
void set_search_randomization_tolerance(::PROTOBUF_NAMESPACE_ID::int64 value)
void set_add_cg_cuts(bool value)
SatParameters_VariableOrder
Definition: sat_parameters.pb.h:71
virtual ~SatParameters()
void set_mip_automatically_scale_variables(bool value)
::PROTOBUF_NAMESPACE_ID::int32 presolve_bva_threshold() const
bool has_clause_cleanup_period() const
void set_use_combined_no_overlap(bool value)
bool minimize_reduction_during_pb_resolution() const
bool has_use_sat_inprocessing() const
static const std::string & RestartAlgorithm_Name(T enum_t_value)
Definition: sat_parameters.pb.h:690
void CopyFrom(const SatParameters &from)
void set_minimize_with_propagation_num_decisions(::PROTOBUF_NAMESPACE_ID::int32 value)
bool has_cp_model_probing_level() const
void clear_use_relaxation_lns()
void clear_merge_no_overlap_work_limit()
bool stop_after_presolve() const
void clear_glucose_decay_increment_period()
void clear_max_sat_reverse_assumption_order()
bool has_reduce_memory_usage_in_interleave_mode() const
void set_use_precedences_in_disjunctive_constraint(bool value)
void clear_use_feasibility_pump()
void clear_strategy_change_increase_ratio()
bool has_use_implied_bounds() const
bool SatParameters_ClauseOrdering_Parse(::PROTOBUF_NAMESPACE_ID::ConstStringParam name, SatParameters_ClauseOrdering *value)
Definition: sat_parameters.pb.h:214
@ SatParameters_ConflictMinimizationAlgorithm_RECURSIVE
Definition: sat_parameters.pb.h:124
SatParameters_Polarity
Definition: sat_parameters.pb.h:95
void set_min_orthogonality_for_lp_constraints(double value)
@ SatParameters_VariableOrder_IN_ORDER
Definition: sat_parameters.pb.h:72
void set_use_disjunctive_constraint_in_cumulative_constraint(bool value)
void clear_interleave_search()
bool SatParameters_Polarity_IsValid(int value)
double glucose_max_decay() const
void set_presolve_bve_threshold(::PROTOBUF_NAMESPACE_ID::int32 value)
bool has_mip_wanted_precision() const
@ SatParameters_RestartAlgorithm_DL_MOVING_AVERAGE_RESTART
Definition: sat_parameters.pb.h:222
PROTOBUF_ATTRIBUTE_REINITIALIZES void Clear() final
void set_use_branching_in_lp(bool value)
double max_time_in_seconds() const
const std::string & SatParameters_BinaryMinizationAlgorithm_Name(T enum_t_value)
Definition: sat_parameters.pb.h:160
::PROTOBUF_NAMESPACE_ID::int32 max_num_cuts() const
bool has_mip_check_precision() const
void MergeFrom(const SatParameters &from)
Definition: cp_model.h:52
void clear_use_blocking_restart()
void clear_use_timetable_edge_finding_in_cumulative_constraint()
static bool MaxSatStratificationAlgorithm_Parse(::PROTOBUF_NAMESPACE_ID::ConstStringParam name, MaxSatStratificationAlgorithm *value)
Definition: sat_parameters.pb.h:760
void set_use_exact_lp_reason(bool value)
bool add_lin_max_cuts() const
void set_search_branching(::operations_research::sat::SatParameters_SearchBranching value)
SatParameters()
Definition: sat_parameters.pb.h:351
SatParameters_BinaryMinizationAlgorithm
Definition: sat_parameters.pb.h:146
void set_clause_cleanup_protection(::operations_research::sat::SatParameters_ClauseProtection value)
::PROTOBUF_NAMESPACE_ID::int32 clause_cleanup_period() const
constexpr SatParameters_SearchBranching SatParameters_SearchBranching_SearchBranching_MAX
Definition: sat_parameters.pb.h:304
void MergeFrom(const ::PROTOBUF_NAMESPACE_ID::Message &from) final
bool has_blocking_restart_multiplier() const
void clear_restart_running_window_size()
bool has_use_combined_no_overlap() const
bool has_add_knapsack_cuts() const
bool has_share_level_zero_bounds() const
constexpr SatParameters_MaxSatAssumptionOrder SatParameters_MaxSatAssumptionOrder_MaxSatAssumptionOrder_MAX
Definition: sat_parameters.pb.h:252
SatParameters_RestartAlgorithm RestartAlgorithm
Definition: sat_parameters.pb.h:665
void clear_glucose_max_decay()
void set_clause_cleanup_period(::PROTOBUF_NAMESPACE_ID::int32 value)
::PROTOBUF_NAMESPACE_ID::int32 hint_conflict_limit() const
void set_log_search_progress(bool value)
double cut_active_count_decay() const
bool has_presolve_bva_threshold() const
void set_blocking_restart_multiplier(double value)
::PROTOBUF_NAMESPACE_ID::int32 cp_model_probing_level() const
static bool ConflictMinimizationAlgorithm_IsValid(int value)
Definition: sat_parameters.pb.h:542
SatParametersDefaultTypeInternal _SatParameters_default_instance_
bool has_interleave_batch_size() const
bool instantiate_all_variables() const
void set_cut_max_active_count_value(double value)
void set_max_num_cuts(::PROTOBUF_NAMESPACE_ID::int32 value)
void clear_absolute_gap_limit()
void set_presolve_use_bva(bool value)
@ SatParameters_SearchBranching_PSEUDO_COST_SEARCH
Definition: sat_parameters.pb.h:298
bool has_max_num_cuts() const
void set_use_optional_variables(bool value)
void clear_interleave_batch_size()
void set_lns_focus_on_decision_variables(bool value)
bool has_presolve_bve_threshold() const
bool has_default_restart_algorithms() const
void CopyFrom(const ::PROTOBUF_NAMESPACE_ID::Message &from) final
void clear_max_sat_assumption_order()
::PROTOBUF_NAMESPACE_ID::int32 max_consecutive_inactive_count() const
double max_deterministic_time() const
@ SatParameters_RestartAlgorithm_NO_RESTART
Definition: sat_parameters.pb.h:220
bool has_repair_hint() const
void clear_clause_activity_decay()
void clear_probing_period_at_root()
@ SatParameters_SearchBranching_FIXED_SEARCH
Definition: sat_parameters.pb.h:295
void set_max_number_of_conflicts(::PROTOBUF_NAMESPACE_ID::int64 value)
void set_polarity_rephase_increment(::PROTOBUF_NAMESPACE_ID::int32 value)
double blocking_restart_multiplier() const
void clear_default_restart_algorithms()
bool has_variable_activity_decay() const
static const ::PROTOBUF_NAMESPACE_ID::internal::ParseTable schema[1] PROTOBUF_SECTION_VARIABLE(protodesc_cold)
@ SatParameters_MaxSatAssumptionOrder_DEFAULT_ASSUMPTION_ORDER
Definition: sat_parameters.pb.h:246
static bool MaxSatStratificationAlgorithm_IsValid(int value)
Definition: sat_parameters.pb.h:740
bool has_num_conflicts_before_strategy_changes() const
void set_max_deterministic_time(double value)
void clear_mip_max_activity_exponent()
bool reduce_memory_usage_in_interleave_mode() const
constexpr int SatParameters_FPRoundingMethod_FPRoundingMethod_ARRAYSIZE
Definition: sat_parameters.pb.h:330
void set_use_relaxation_lns(bool value)
bool has_search_branching() const
static const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * BinaryMinizationAlgorithm_descriptor()
Definition: sat_parameters.pb.h:588
void set_num_search_workers(::PROTOBUF_NAMESPACE_ID::int32 value)
bool has_glucose_decay_increment_period() const
void set_cp_model_postsolve_with_full_solver(bool value)
::PROTOBUF_NAMESPACE_ID::int32 linearization_level() const
bool log_search_progress() const
SatParameters_FPRoundingMethod
Definition: sat_parameters.pb.h:321
bool optimize_with_max_hs() const
@ SatParameters_BinaryMinizationAlgorithm_NO_BINARY_MINIMIZATION
Definition: sat_parameters.pb.h:147
void set_max_time_in_seconds(double value)
void set_auto_detect_greater_than_at_least_one_of(bool value)
bool SatParameters_ClauseProtection_Parse(::PROTOBUF_NAMESPACE_ID::ConstStringParam name, SatParameters_ClauseProtection *value)
Definition: sat_parameters.pb.h:191
void clear_restart_lbd_average_ratio()
bool SatParameters_ClauseOrdering_IsValid(int value)
void set_max_variable_activity_value(double value)
bool add_lp_constraints_lazily() const
SatParameters_ConflictMinimizationAlgorithm
Definition: sat_parameters.pb.h:121
static const ::PROTOBUF_NAMESPACE_ID::Descriptor * descriptor()
Definition: sat_parameters.pb.h:380
@ SatParameters_Polarity_POLARITY_REVERSE_WEIGHTED_SIGN
Definition: sat_parameters.pb.h:100
bool use_branching_in_lp() const
@ SatParameters_MaxSatAssumptionOrder_ORDER_ASSUMPTION_BY_WEIGHT
Definition: sat_parameters.pb.h:248
bool has_cp_model_presolve() const
bool has_pb_cleanup_ratio() const
void set_exploit_relaxation_solution(bool value)
::PROTOBUF_NAMESPACE_ID::int32 minimize_with_propagation_restart_period() const
void set_default_restart_algorithms(const std::string &value)
bool has_find_multiple_cores() const
bool has_cp_model_max_num_presolve_operations() const
bool SatParameters_ClauseProtection_IsValid(int value)
void set_clause_cleanup_target(::PROTOBUF_NAMESPACE_ID::int32 value)
void clear_use_overload_checker_in_cumulative_constraint()
void clear_optimize_with_max_hs()
void set_presolve_blocked_clause(bool value)
::operations_research::sat::SatParameters_MaxSatStratificationAlgorithm max_sat_stratification() const
bool cp_model_use_sat_presolve() const
void clear_use_lns_only()
@ SatParameters_Polarity_POLARITY_FALSE
Definition: sat_parameters.pb.h:97
bool has_presolve_use_bva() const
void set_clause_activity_decay(double value)
constexpr SatParameters_FPRoundingMethod SatParameters_FPRoundingMethod_FPRoundingMethod_MIN
Definition: sat_parameters.pb.h:328
bool has_search_randomization_tolerance() const
void clear_random_branches_ratio()
void set_use_erwa_heuristic(bool value)
void set_linearization_level(::PROTOBUF_NAMESPACE_ID::int32 value)
static bool VariableOrder_Parse(::PROTOBUF_NAMESPACE_ID::ConstStringParam name, VariableOrder *value)
Definition: sat_parameters.pb.h:492
void clear_diversify_lns_params()
bool has_max_number_of_conflicts() const
void clear_pseudo_cost_reliability_threshold()
void clear_random_seed()
const std::string & SatParameters_SearchBranching_Name(T enum_t_value)
Definition: sat_parameters.pb.h:309
bool fill_tightened_domains_in_response() const
double random_polarity_ratio() const
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * SatParameters_MaxSatStratificationAlgorithm_descriptor()
SatParameters_VariableOrder VariableOrder
Definition: sat_parameters.pb.h:465
void set_restart_running_window_size(::PROTOBUF_NAMESPACE_ID::int32 value)
double mip_check_precision() const
SatParameters_MaxSatAssumptionOrder MaxSatAssumptionOrder
Definition: sat_parameters.pb.h:701
void clear_add_lp_constraints_lazily()
constexpr SatParameters_Polarity SatParameters_Polarity_Polarity_MIN
Definition: sat_parameters.pb.h:103
void clear_use_optional_variables()
::operations_research::sat::SatParameters_ClauseProtection clause_cleanup_protection() const
bool has_treat_binary_clauses_separately() const
void set_blocking_restart_window_size(::PROTOBUF_NAMESPACE_ID::int32 value)
void set_merge_no_overlap_work_limit(double value)
double relative_gap_limit() const
bool has_max_deterministic_time() const
bool use_rins_lns() const
void clear_use_combined_no_overlap()
static const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * ClauseProtection_descriptor()
Definition: sat_parameters.pb.h:620
double mip_var_scaling() const
bool auto_detect_greater_than_at_least_one_of() const
void clear_fill_tightened_domains_in_response()
::operations_research::sat::SatParameters_Polarity initial_polarity() const
void set_use_overload_checker_in_cumulative_constraint(bool value)
void clear_hint_conflict_limit()
bool has_use_feasibility_pump() const
constexpr int SatParameters_MaxSatStratificationAlgorithm_MaxSatStratificationAlgorithm_ARRAYSIZE
Definition: sat_parameters.pb.h:277
bool has_randomize_search() const
double max_clause_activity_value() const
bool has_restart_running_window_size() const
constexpr SatParameters_VariableOrder SatParameters_VariableOrder_VariableOrder_MAX
Definition: sat_parameters.pb.h:78
@ SatParameters_ClauseOrdering_CLAUSE_LBD
Definition: sat_parameters.pb.h:198
bool has_presolve_substitution_level() const
bool SatParameters_SearchBranching_Parse(::PROTOBUF_NAMESPACE_ID::ConstStringParam name, SatParameters_SearchBranching *value)
Definition: sat_parameters.pb.h:316
void set_probing_period_at_root(::PROTOBUF_NAMESPACE_ID::int64 value)
bool has_add_lin_max_cuts() const
bool has_lns_focus_on_decision_variables() const
void UnsafeArenaSwap(SatParameters *other)
Definition: sat_parameters.pb.h:410
void clear_restart_dl_average_ratio()
void clear_random_polarity_ratio()
bool diversify_lns_params() const
void set_catch_sigint_signal(bool value)
bool has_use_blocking_restart() const
static const std::string & Polarity_Name(T enum_t_value)
Definition: sat_parameters.pb.h:522
static const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * MaxSatStratificationAlgorithm_descriptor()
Definition: sat_parameters.pb.h:750
static bool ClauseOrdering_Parse(::PROTOBUF_NAMESPACE_ID::ConstStringParam name, ClauseOrdering *value)
Definition: sat_parameters.pb.h:660
void set_only_add_cuts_at_level_zero(bool value)
void clear_exploit_integer_lp_solution()
bool exploit_all_lp_solution() const
void clear_expand_automaton_constraints()
static const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * MaxSatAssumptionOrder_descriptor()
Definition: sat_parameters.pb.h:718
bool expand_table_constraints() const
@ SatParameters_MaxSatStratificationAlgorithm_STRATIFICATION_DESCENT
Definition: sat_parameters.pb.h:271
bool mip_automatically_scale_variables() const
double min_orthogonality_for_lp_constraints() const
@ SatParameters_SearchBranching_PORTFOLIO_SEARCH
Definition: sat_parameters.pb.h:296
constexpr SatParameters_BinaryMinizationAlgorithm SatParameters_BinaryMinizationAlgorithm_BinaryMinizationAlgorithm_MIN
Definition: sat_parameters.pb.h:154
void set_mip_wanted_precision(double value)
void set_glucose_decay_increment(double value)
void set_reduce_memory_usage_in_interleave_mode(bool value)
void clear_cut_max_active_count_value()
double mip_wanted_precision() const
void set_restart_lbd_average_ratio(double value)
void clear_exploit_objective()
bool has_max_sat_stratification() const
bool SatParameters_Polarity_Parse(::PROTOBUF_NAMESPACE_ID::ConstStringParam name, SatParameters_Polarity *value)
Definition: sat_parameters.pb.h:116
void clear_initial_polarity()
void clear_clause_cleanup_protection()
void set_interleave_search(bool value)
SatParameters_SearchBranching SearchBranching
Definition: sat_parameters.pb.h:765
void clear_instantiate_all_variables()
@ SatParameters_BinaryMinizationAlgorithm_BINARY_MINIMIZATION_WITH_REACHABILITY
Definition: sat_parameters.pb.h:150
const std::string & SatParameters_VariableOrder_Name(T enum_t_value)
Definition: sat_parameters.pb.h:83
void set_max_cut_rounds_at_level_zero(::PROTOBUF_NAMESPACE_ID::int32 value)
bool use_precedences_in_disjunctive_constraint() const
bool share_level_zero_bounds() const
static bool MaxSatAssumptionOrder_IsValid(int value)
Definition: sat_parameters.pb.h:708
::PROTOBUF_NAMESPACE_ID::int32 restart_running_window_size() const
void clear_add_knapsack_cuts()
void clear_use_optimization_hints()
void set_randomize_search(bool value)
void clear_enumerate_all_solutions()
const std::string & SatParameters_FPRoundingMethod_Name(T enum_t_value)
Definition: sat_parameters.pb.h:334
static bool RestartAlgorithm_IsValid(int value)
Definition: sat_parameters.pb.h:676
inline ::PROTOBUF_NAMESPACE_ID::UnknownFieldSet * mutable_unknown_fields()
Definition: sat_parameters.pb.h:376
void clear_blocking_restart_window_size()
constexpr SatParameters_RestartAlgorithm SatParameters_RestartAlgorithm_RestartAlgorithm_MAX
Definition: sat_parameters.pb.h:228
::operations_research::sat::SatParameters_ConflictMinimizationAlgorithm minimization_algorithm() const
::PROTOBUF_NAMESPACE_ID::int32 mip_max_activity_exponent() const
bool use_blocking_restart() const
void set_restart_period(::PROTOBUF_NAMESPACE_ID::int32 value)
const std::string & SatParameters_ClauseOrdering_Name(T enum_t_value)
Definition: sat_parameters.pb.h:207
void clear_use_sat_inprocessing()
const std::string & default_restart_algorithms() const
static const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * FPRoundingMethod_descriptor()
Definition: sat_parameters.pb.h:824
bool SatParameters_RestartAlgorithm_Parse(::PROTOBUF_NAMESPACE_ID::ConstStringParam name, SatParameters_RestartAlgorithm *value)
Definition: sat_parameters.pb.h:240
void clear_max_num_cuts()
bool has_exploit_relaxation_solution() const
@ SatParameters_BinaryMinizationAlgorithm_EXPERIMENTAL_BINARY_MINIMIZATION
Definition: sat_parameters.pb.h:151
bool expand_element_constraints() const
void set_use_implied_bounds(bool value)
void clear_cp_model_postsolve_with_full_solver()
bool enumerate_all_solutions() const
bool has_presolve_probing_deterministic_time_limit() const
void clear_also_bump_variables_in_conflict_reasons()
::PROTOBUF_NAMESPACE_ID::int32 max_all_diff_cut_size() const
SatParameters_MaxSatStratificationAlgorithm
Definition: sat_parameters.pb.h:269
bool has_new_constraints_batch_size() const
bool has_interleave_search() const
bool has_fp_rounding() const
::PROTOBUF_NAMESPACE_ID::int32 new_constraints_batch_size() const
void clear_optimize_with_core()
static void InitAsDefaultInstance()
bool has_use_branching_in_lp() const
bool max_sat_reverse_assumption_order() const
bool SatParameters_FPRoundingMethod_IsValid(int value)
void set_treat_binary_clauses_separately(bool value)
bool add_mir_cuts() const
void set_optimize_with_max_hs(bool value)
void set_initial_variables_activity(double value)
static bool ConflictMinimizationAlgorithm_Parse(::PROTOBUF_NAMESPACE_ID::ConstStringParam name, ConflictMinimizationAlgorithm *value)
Definition: sat_parameters.pb.h:562
void set_exploit_objective(bool value)
void clear_exploit_all_lp_solution()
SatParameters * New() const final
Definition: sat_parameters.pb.h:418
::PROTOBUF_NAMESPACE_ID::int32 presolve_substitution_level() const
void clear_max_integer_rounding_scaling()
bool has_use_disjunctive_constraint_in_cumulative_constraint() const
std::string * mutable_default_restart_algorithms()
bool has_mip_automatically_scale_variables() const
bool count_assumption_levels_in_lbd() const
void set_binary_minimization_algorithm(::operations_research::sat::SatParameters_BinaryMinizationAlgorithm value)
void clear_mip_var_scaling()
void set_presolve_substitution_level(::PROTOBUF_NAMESPACE_ID::int32 value)
void clear_stop_after_first_solution()
SatParameters(const SatParameters &from)
constexpr int SatParameters_MaxSatAssumptionOrder_MaxSatAssumptionOrder_ARRAYSIZE
Definition: sat_parameters.pb.h:253
SatParameters_BinaryMinizationAlgorithm BinaryMinizationAlgorithm
Definition: sat_parameters.pb.h:567
bool use_combined_no_overlap() const
void set_exploit_integer_lp_solution(bool value)
void set_fp_rounding(::operations_research::sat::SatParameters_FPRoundingMethod value)
const ::PROTOBUF_NAMESPACE_ID::internal::DescriptorTable descriptor_table_ortools_2fsat_2fsat_5fparameters_2eproto
constexpr int SatParameters_VariableOrder_VariableOrder_ARRAYSIZE
Definition: sat_parameters.pb.h:79
double initial_variables_activity() const
void clear_glucose_decay_increment()
bool add_knapsack_cuts() const
::PROTOBUF_NAMESPACE_ID::int32 num_search_workers() const
@ SatParameters_RestartAlgorithm_FIXED_RESTART
Definition: sat_parameters.pb.h:224
void clear_cp_model_max_num_presolve_operations()
void set_mip_max_activity_exponent(::PROTOBUF_NAMESPACE_ID::int32 value)
bool has_exploit_all_lp_solution() const
constexpr int SatParameters_RestartAlgorithm_RestartAlgorithm_ARRAYSIZE
Definition: sat_parameters.pb.h:229
static const std::string & SearchBranching_Name(T enum_t_value)
Definition: sat_parameters.pb.h:794
bool has_hint_conflict_limit() const
void clear_treat_binary_clauses_separately()
bool SatParameters_MaxSatAssumptionOrder_Parse(::PROTOBUF_NAMESPACE_ID::ConstStringParam name, SatParameters_MaxSatAssumptionOrder *value)
Definition: sat_parameters.pb.h:264
bool use_optional_variables() const
SatParameters_RestartAlgorithm
Definition: sat_parameters.pb.h:219
void set_boolean_encoding_level(::PROTOBUF_NAMESPACE_ID::int32 value)
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * SatParameters_RestartAlgorithm_descriptor()
bool has_clause_cleanup_target() const
bool has_mip_max_activity_exponent() const
void clear_binary_search_num_conflicts()
::PROTOBUF_NAMESPACE_ID::int32 clause_cleanup_lbd_bound() const
void clear_clause_cleanup_period()
bool has_cut_cleanup_target() const
void clear_max_presolve_iterations()
void set_minimize_with_propagation_restart_period(::PROTOBUF_NAMESPACE_ID::int32 value)
bool has_max_sat_reverse_assumption_order() const
void set_default_restart_algorithms(const char *value)
bool stop_after_first_solution() const
void clear_minimization_algorithm()
double restart_lbd_average_ratio() const
bool randomize_search() const
bool has_strategy_change_increase_ratio() const
void clear_use_exact_lp_reason()
void clear_max_all_diff_cut_size()
const std::string & SatParameters_ConflictMinimizationAlgorithm_Name(T enum_t_value)
Definition: sat_parameters.pb.h:134
void clear_log_search_progress()
bool has_enumerate_all_solutions() const
SatParameters & operator=(const SatParameters &from)
Definition: sat_parameters.pb.h:360
void set_share_level_zero_bounds(bool value)
bool has_merge_at_most_one_work_limit() const
SatParameters * New(::PROTOBUF_NAMESPACE_ID::Arena *arena) const final
Definition: sat_parameters.pb.h:422
void set_max_presolve_iterations(::PROTOBUF_NAMESPACE_ID::int32 value)
bool has_clause_cleanup_ordering() const
bool has_mip_var_scaling() const
bool has_use_precedences_in_disjunctive_constraint() const
void clear_mip_wanted_precision()
bool has_max_presolve_iterations() const
void set_add_lp_constraints_lazily(bool value)
static bool MaxSatAssumptionOrder_Parse(::PROTOBUF_NAMESPACE_ID::ConstStringParam name, MaxSatAssumptionOrder *value)
Definition: sat_parameters.pb.h:728
void clear_share_objective_bounds()
SatParameters_ConflictMinimizationAlgorithm ConflictMinimizationAlgorithm
Definition: sat_parameters.pb.h:533
void set_minimize_reduction_during_pb_resolution(bool value)
void clear_exploit_best_solution()
::PROTOBUF_NAMESPACE_ID::int64 probing_period_at_root() const
::PROTOBUF_NAMESPACE_ID::int32 pb_cleanup_increment() const
bool has_polarity_rephase_increment() const
bool has_minimize_with_propagation_num_decisions() const
constexpr int SatParameters_SearchBranching_SearchBranching_ARRAYSIZE
Definition: sat_parameters.pb.h:305
double merge_no_overlap_work_limit() const
void Swap(SatParameters *other)
Definition: sat_parameters.pb.h:402
::PROTOBUF_NAMESPACE_ID::int32 cut_cleanup_target() const
bool has_stop_after_first_solution() const
void set_clause_cleanup_ordering(::operations_research::sat::SatParameters_ClauseOrdering value)
void clear_restart_algorithms()
void set_find_multiple_cores(bool value)
static bool ClauseOrdering_IsValid(int value)
Definition: sat_parameters.pb.h:640
void clear_cut_cleanup_target()
@ SatParameters_ClauseProtection_PROTECTION_LBD
Definition: sat_parameters.pb.h:175
static ::PROTOBUF_NAMESPACE_ID::internal::ExplicitlyConstructed< std::string > _i_give_permission_to_break_this_code_default_default_restart_algorithms_
Definition: sat_parameters.pb.h:2895
void set_num_conflicts_before_strategy_changes(::PROTOBUF_NAMESPACE_ID::int32 value)
bool interleave_search() const
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * SatParameters_MaxSatAssumptionOrder_descriptor()
bool also_bump_variables_in_conflict_reasons() const
bool has_relative_gap_limit() const
bool use_sat_inprocessing() const
bool find_multiple_cores() const
void clear_add_cg_cuts()
bool minimize_core() const
const std::string & SatParameters_MaxSatStratificationAlgorithm_Name(T enum_t_value)
Definition: sat_parameters.pb.h:281
::PROTOBUF_NAMESPACE_ID::int32 max_integer_rounding_scaling() const
void clear_mip_automatically_scale_variables()
constexpr SatParameters_RestartAlgorithm SatParameters_RestartAlgorithm_RestartAlgorithm_MIN
Definition: sat_parameters.pb.h:227
void clear_cp_model_presolve()
bool has_cut_max_active_count_value() const
bool has_cover_optimization() const
@ SatParameters_Polarity_POLARITY_RANDOM
Definition: sat_parameters.pb.h:98
void set_presolve_bva_threshold(::PROTOBUF_NAMESPACE_ID::int32 value)
bool use_phase_saving() const
static const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * ConflictMinimizationAlgorithm_descriptor()
Definition: sat_parameters.pb.h:552
bool use_disjunctive_constraint_in_cumulative_constraint() const
static bool Polarity_IsValid(int value)
Definition: sat_parameters.pb.h:508
SatParameters_SearchBranching
Definition: sat_parameters.pb.h:293
double max_variable_activity_value() const
constexpr SatParameters_FPRoundingMethod SatParameters_FPRoundingMethod_FPRoundingMethod_MAX
Definition: sat_parameters.pb.h:329
::operations_research::sat::SatParameters_VariableOrder preferred_variable_order() const
SatParameters_MaxSatStratificationAlgorithm MaxSatStratificationAlgorithm
Definition: sat_parameters.pb.h:733
::PROTOBUF_NAMESPACE_ID::int32 max_cut_rounds_at_level_zero() const
const std::string & SatParameters_MaxSatAssumptionOrder_Name(T enum_t_value)
Definition: sat_parameters.pb.h:257
bool has_linearization_level() const
bool has_random_polarity_ratio() const
void clear_initial_variables_activity()
void set_cp_model_use_sat_presolve(bool value)
static const std::string & ClauseProtection_Name(T enum_t_value)
Definition: sat_parameters.pb.h:624
bool has_use_optimization_hints() const
void set_glucose_max_decay(double value)
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * SatParameters_ClauseProtection_descriptor()
SatParameters_MaxSatAssumptionOrder
Definition: sat_parameters.pb.h:245
@ SatParameters_FPRoundingMethod_ACTIVE_LOCK_BASED
Definition: sat_parameters.pb.h:324
void clear_use_erwa_heuristic()
bool share_objective_bounds() const
bool has_max_cut_rounds_at_level_zero() const
static bool BinaryMinizationAlgorithm_Parse(::PROTOBUF_NAMESPACE_ID::ConstStringParam name, BinaryMinizationAlgorithm *value)
Definition: sat_parameters.pb.h:598
void set_expand_automaton_constraints(bool value)
double mip_max_bound() const
double pb_cleanup_ratio() const
void set_fill_tightened_domains_in_response(bool value)
void clear_clause_cleanup_ordering()
void clear_presolve_bva_threshold()
void set_instantiate_all_variables(bool value)
bool has_max_all_diff_cut_size() const
bool SatParameters_ConflictMinimizationAlgorithm_IsValid(int value)
void set_relative_gap_limit(double value)
void clear_max_sat_stratification()
static const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * VariableOrder_descriptor()
Definition: sat_parameters.pb.h:482
static const ::PROTOBUF_NAMESPACE_ID::internal::FieldMetadata field_metadata[]
Definition: sat_parameters.pb.h:53
constexpr int SatParameters_Polarity_Polarity_ARRAYSIZE
Definition: sat_parameters.pb.h:105
void set_use_phase_saving(bool value)
void set_new_constraints_batch_size(::PROTOBUF_NAMESPACE_ID::int32 value)
static const SatParameters * internal_default_instance()
Definition: sat_parameters.pb.h:392
void set_interleave_batch_size(::PROTOBUF_NAMESPACE_ID::int32 value)
bool SatParameters_RestartAlgorithm_IsValid(int value)
bool use_pb_resolution() const
void set_mip_max_bound(double value)
void clear_presolve_use_bva()
bool SatParameters_SearchBranching_IsValid(int value)
void clear_cut_active_count_decay()
bool optimize_with_core() const
void clear_polarity_rephase_increment()
::PROTOBUF_NAMESPACE_ID::int32 max_presolve_iterations() const
static const std::string & ClauseOrdering_Name(T enum_t_value)
Definition: sat_parameters.pb.h:654
void set_max_sat_stratification(::operations_research::sat::SatParameters_MaxSatStratificationAlgorithm value)
::PROTOBUF_NAMESPACE_ID::int64 pseudo_cost_reliability_threshold() const
void clear_search_randomization_tolerance()
void clear_use_disjunctive_constraint_in_cumulative_constraint()
void clear_only_add_cuts_at_level_zero()
void clear_boolean_encoding_level()
bool has_binary_minimization_algorithm() const
void clear_blocking_restart_multiplier()
void clear_max_deterministic_time()
void add_restart_algorithms(::operations_research::sat::SatParameters_RestartAlgorithm value)
static bool Polarity_Parse(::PROTOBUF_NAMESPACE_ID::ConstStringParam name, Polarity *value)
Definition: sat_parameters.pb.h:528
bool use_relaxation_lns() const
bool has_clause_cleanup_protection() const
bool use_exact_lp_reason() const
@ SatParameters_SearchBranching_PORTFOLIO_WITH_QUICK_RESTART_SEARCH
Definition: sat_parameters.pb.h:299
::PROTOBUF_NAMESPACE_ID::int32 blocking_restart_window_size() const
bool has_blocking_restart_window_size() const
void clear_share_level_zero_bounds()
@ SatParameters_SearchBranching_LP_SEARCH
Definition: sat_parameters.pb.h:297
double merge_at_most_one_work_limit() const
static const std::string & ConflictMinimizationAlgorithm_Name(T enum_t_value)
Definition: sat_parameters.pb.h:556
void clear_presolve_bve_threshold()
static bool FPRoundingMethod_Parse(::PROTOBUF_NAMESPACE_ID::ConstStringParam name, FPRoundingMethod *value)
Definition: sat_parameters.pb.h:834
bool cp_model_postsolve_with_full_solver() const
static const ::PROTOBUF_NAMESPACE_ID::internal::SerializationTable serialization_table[]
Definition: sat_parameters.pb.h:54
void clear_presolve_substitution_level()
bool use_feasibility_pump() const
void set_max_all_diff_cut_size(::PROTOBUF_NAMESPACE_ID::int32 value)
::PROTOBUF_NAMESPACE_ID::int32 glucose_decay_increment_period() const
@ SatParameters_RestartAlgorithm_LBD_MOVING_AVERAGE_RESTART
Definition: sat_parameters.pb.h:223
bool has_catch_sigint_signal() const
void clear_add_lin_max_cuts()
void set_default_restart_algorithms(std::string &&value)
constexpr SatParameters_ConflictMinimizationAlgorithm SatParameters_ConflictMinimizationAlgorithm_ConflictMinimizationAlgorithm_MAX
Definition: sat_parameters.pb.h:129
void set_use_blocking_restart(bool value)
void set_share_objective_bounds(bool value)
void clear_search_branching()
void set_mip_var_scaling(double value)
@ SatParameters_BinaryMinizationAlgorithm_BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION
Definition: sat_parameters.pb.h:149
@ SatParameters_FPRoundingMethod_NEAREST_INTEGER
Definition: sat_parameters.pb.h:322
void set_random_seed(::PROTOBUF_NAMESPACE_ID::int32 value)
bool has_boolean_encoding_level() const
static bool FPRoundingMethod_IsValid(int value)
Definition: sat_parameters.pb.h:814
bool has_use_pb_resolution() const
void set_presolve_bve_clause_weight(::PROTOBUF_NAMESPACE_ID::int32 value)
SatParameters_Polarity Polarity
Definition: sat_parameters.pb.h:497
bool has_use_erwa_heuristic() const
@ SatParameters_ConflictMinimizationAlgorithm_NONE
Definition: sat_parameters.pb.h:122
@ SatParameters_ConflictMinimizationAlgorithm_SIMPLE
Definition: sat_parameters.pb.h:123
bool has_optimize_with_max_hs() const
constexpr SatParameters_ClauseProtection SatParameters_ClauseProtection_ClauseProtection_MIN
Definition: sat_parameters.pb.h:178
::operations_research::sat::SatParameters_FPRoundingMethod fp_rounding() const
double variable_activity_decay() const
bool has_max_time_in_seconds() const
bool has_minimization_algorithm() const
void set_use_rins_lns(bool value)
void clear_num_conflicts_before_strategy_changes()
bool has_mip_max_bound() const
bool expand_automaton_constraints() const
::operations_research::sat::SatParameters_SearchBranching search_branching() const
bool has_log_search_progress() const
void clear_min_orthogonality_for_lp_constraints()
void clear_use_rins_lns()
bool has_add_mir_cuts() const
void clear_cp_model_probing_level()
void clear_minimize_core()
@ SatParameters_SearchBranching_HINT_SEARCH
Definition: sat_parameters.pb.h:300
void clear_merge_at_most_one_work_limit()
::PROTOBUF_NAMESPACE_ID::int32 minimize_with_propagation_num_decisions() const
void set_expand_element_constraints(bool value)
void clear_use_pb_resolution()
bool has_restart_period() const
bool has_presolve_bve_clause_weight() const
void set_strategy_change_increase_ratio(double value)
constexpr SatParameters_MaxSatStratificationAlgorithm SatParameters_MaxSatStratificationAlgorithm_MaxSatStratificationAlgorithm_MAX
Definition: sat_parameters.pb.h:276
bool has_max_clause_activity_value() const
::PROTOBUF_NAMESPACE_ID::int64 max_number_of_conflicts() const
SatParameters(SatParameters &&from) noexcept
Definition: sat_parameters.pb.h:355
bool has_share_objective_bounds() const
::PROTOBUF_NAMESPACE_ID::int64 search_randomization_tolerance() const
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * SatParameters_FPRoundingMethod_descriptor()
void set_minimization_algorithm(::operations_research::sat::SatParameters_ConflictMinimizationAlgorithm value)
void clear_variable_activity_decay()
SatParameters_ClauseProtection ClauseProtection
Definition: sat_parameters.pb.h:603
bool subsumption_during_conflict_analysis() const
void set_random_branches_ratio(double value)
bool has_minimize_with_propagation_restart_period() const
bool has_use_overload_checker_in_cumulative_constraint() const
Definition: boolean_problem.pb.h:39
void set_max_memory_in_mb(::PROTOBUF_NAMESPACE_ID::int64 value)
static const std::string & BinaryMinizationAlgorithm_Name(T enum_t_value)
Definition: sat_parameters.pb.h:592
static bool RestartAlgorithm_Parse(::PROTOBUF_NAMESPACE_ID::ConstStringParam name, RestartAlgorithm *value)
Definition: sat_parameters.pb.h:696
void set_exploit_all_lp_solution(bool value)
@ SatParameters_ClauseProtection_PROTECTION_ALWAYS
Definition: sat_parameters.pb.h:174
void set_cp_model_probing_level(::PROTOBUF_NAMESPACE_ID::int32 value)
bool has_preferred_variable_order() const
bool use_timetable_edge_finding_in_cumulative_constraint() const
bool has_cp_model_postsolve_with_full_solver() const
static const ::PROTOBUF_NAMESPACE_ID::internal::AuxiliaryParseTableField aux[] PROTOBUF_SECTION_VARIABLE(protodesc_cold)
double absolute_gap_limit() const
void clear_find_multiple_cores()
@ SatParameters_MaxSatStratificationAlgorithm_STRATIFICATION_ASCENT
Definition: sat_parameters.pb.h:272
bool has_exploit_best_solution() const
void set_variable_activity_decay(double value)
void clear_restart_period()
static const std::string & VariableOrder_Name(T enum_t_value)
Definition: sat_parameters.pb.h:486
bool has_also_bump_variables_in_conflict_reasons() const
void clear_max_memory_in_mb()
bool has_pseudo_cost_reliability_threshold() const
bool has_exploit_integer_lp_solution() const
bool only_add_cuts_at_level_zero() const
void set_enumerate_all_solutions(bool value)
::PROTOBUF_NAMESPACE_ID::int32 boolean_encoding_level() const
void set_use_feasibility_pump(bool value)
void clear_linearization_level()
@ SatParameters_Polarity_POLARITY_WEIGHTED_SIGN
Definition: sat_parameters.pb.h:99
void set_presolve_probing_deterministic_time_limit(double value)
constexpr SatParameters_ClauseOrdering SatParameters_ClauseOrdering_ClauseOrdering_MAX
Definition: sat_parameters.pb.h:202
void set_minimize_core(bool value)
void set_max_sat_reverse_assumption_order(bool value)
void clear_add_mir_cuts()
void clear_mip_max_bound()
::PROTOBUF_NAMESPACE_ID::int32 presolve_bve_clause_weight() const
void set_max_integer_rounding_scaling(::PROTOBUF_NAMESPACE_ID::int32 value)
bool presolve_blocked_clause() const
void clear_relative_gap_limit()
void set_count_assumption_levels_in_lbd(bool value)
static const ::PROTOBUF_NAMESPACE_ID::uint32 offsets[]
Definition: sat_parameters.pb.h:55
bool has_fill_tightened_domains_in_response() const
bool has_use_lns_only() const
void clear_max_variable_activity_value()
@ SatParameters_VariableOrder_IN_RANDOM_ORDER
Definition: sat_parameters.pb.h:74
bool SatParameters_FPRoundingMethod_Parse(::PROTOBUF_NAMESPACE_ID::ConstStringParam name, SatParameters_FPRoundingMethod *value)
Definition: sat_parameters.pb.h:341
bool add_cg_cuts() const
bool has_max_consecutive_inactive_count() const
static const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * ClauseOrdering_descriptor()
Definition: sat_parameters.pb.h:650
constexpr SatParameters_MaxSatAssumptionOrder SatParameters_MaxSatAssumptionOrder_MaxSatAssumptionOrder_MIN
Definition: sat_parameters.pb.h:251
::PROTOBUF_NAMESPACE_ID::int32 interleave_batch_size() const
void set_hint_conflict_limit(::PROTOBUF_NAMESPACE_ID::int32 value)
::PROTOBUF_NAMESPACE_ID::int32 restart_period() const
bool has_expand_table_constraints() const
void clear_exploit_relaxation_solution()
void clear_preferred_variable_order()
bool has_binary_search_num_conflicts() const
static const SatParameters & default_instance()
bool SatParameters_MaxSatStratificationAlgorithm_IsValid(int value)
@ SatParameters_ClauseProtection_PROTECTION_NONE
Definition: sat_parameters.pb.h:173
SatParameters_FPRoundingMethod FPRoundingMethod
Definition: sat_parameters.pb.h:805
bool has_only_add_cuts_at_level_zero() const
bool has_use_relaxation_lns() const
void clear_repair_hint()
void set_initial_polarity(::operations_research::sat::SatParameters_Polarity value)
bool has_glucose_max_decay() const
bool has_count_assumption_levels_in_lbd() const
void clear_randomize_search()
void clear_use_phase_saving()
void set_use_timetable_edge_finding_in_cumulative_constraint(bool value)
bool has_expand_automaton_constraints() const
bool has_instantiate_all_variables() const
::PROTOBUF_NAMESPACE_ID::int32 num_conflicts_before_strategy_changes() const
::operations_research::sat::SatParameters_RestartAlgorithm restart_algorithms(int index) const
bool has_max_sat_assumption_order() const
bool has_minimize_reduction_during_pb_resolution() const
static const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * SearchBranching_descriptor()
Definition: sat_parameters.pb.h:790
static const ::PROTOBUF_NAMESPACE_ID::Reflection * GetReflection()
Definition: sat_parameters.pb.h:386
void clear_reduce_memory_usage_in_interleave_mode()
bool SatParameters_VariableOrder_IsValid(int value)
void set_expand_table_constraints(bool value)
void clear_binary_minimization_algorithm()
void clear_cp_model_use_sat_presolve()
bool has_use_rins_lns() const
static const std::string & FPRoundingMethod_Name(T enum_t_value)
Definition: sat_parameters.pb.h:828
bool has_optimize_with_core() const
void clear_max_clause_activity_value()
void clear_stop_after_presolve()
void clear_minimize_with_propagation_restart_period()
void set_use_pb_resolution(bool value)
void set_use_optimization_hints(bool value)
const std::string & SatParameters_ClauseProtection_Name(T enum_t_value)
Definition: sat_parameters.pb.h:184
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * SatParameters_ConflictMinimizationAlgorithm_descriptor()
void clear_minimize_reduction_during_pb_resolution()
void clear_max_time_in_seconds()
double clause_activity_decay() const
bool has_clause_activity_decay() const
bool exploit_objective() const
void clear_new_constraints_batch_size()
double strategy_change_increase_ratio() const
bool has_absolute_gap_limit() const
void clear_expand_element_constraints()
void set_merge_at_most_one_work_limit(double value)
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * SatParameters_SearchBranching_descriptor()
constexpr SatParameters_VariableOrder SatParameters_VariableOrder_VariableOrder_MIN
Definition: sat_parameters.pb.h:77
static bool ClauseProtection_IsValid(int value)
Definition: sat_parameters.pb.h:610
static bool SearchBranching_IsValid(int value)
Definition: sat_parameters.pb.h:780
double presolve_probing_deterministic_time_limit() const
bool SatParameters_BinaryMinizationAlgorithm_IsValid(int value)
void set_use_sat_inprocessing(bool value)
void set_restart_dl_average_ratio(double value)
bool has_max_memory_in_mb() const
@ SatParameters_VariableOrder_IN_REVERSE_ORDER
Definition: sat_parameters.pb.h:73
void clear_cover_optimization()
bool lns_focus_on_decision_variables() const