C++ Reference
C++ Reference: CP-SAT
sat_parameters.pb.h
Go to the documentation of this file.
56 extern const ::PROTOBUF_NAMESPACE_ID::internal::DescriptorTable descriptor_table_ortools_2fsat_2fsat_5fparameters_2eproto;
65 template<> ::operations_research::sat::SatParameters* Arena::CreateMaybeMessage<::operations_research::sat::SatParameters>(Arena*);
74 };
76 constexpr SatParameters_VariableOrder SatParameters_VariableOrder_VariableOrder_MIN = SatParameters_VariableOrder_IN_ORDER;
77 constexpr SatParameters_VariableOrder SatParameters_VariableOrder_VariableOrder_MAX = SatParameters_VariableOrder_IN_RANDOM_ORDER;
78 constexpr int SatParameters_VariableOrder_VariableOrder_ARRAYSIZE = SatParameters_VariableOrder_VariableOrder_MAX + 1;
100 };
102 constexpr SatParameters_Polarity SatParameters_Polarity_Polarity_MIN = SatParameters_Polarity_POLARITY_TRUE;
103 constexpr SatParameters_Polarity SatParameters_Polarity_Polarity_MAX = SatParameters_Polarity_POLARITY_REVERSE_WEIGHTED_SIGN;
104 constexpr int SatParameters_Polarity_Polarity_ARRAYSIZE = SatParameters_Polarity_Polarity_MAX + 1;
125 };
127 constexpr SatParameters_ConflictMinimizationAlgorithm SatParameters_ConflictMinimizationAlgorithm_ConflictMinimizationAlgorithm_MIN = SatParameters_ConflictMinimizationAlgorithm_NONE;
128 constexpr SatParameters_ConflictMinimizationAlgorithm SatParameters_ConflictMinimizationAlgorithm_ConflictMinimizationAlgorithm_MAX = SatParameters_ConflictMinimizationAlgorithm_EXPERIMENTAL;
129 constexpr int SatParameters_ConflictMinimizationAlgorithm_ConflictMinimizationAlgorithm_ARRAYSIZE = SatParameters_ConflictMinimizationAlgorithm_ConflictMinimizationAlgorithm_MAX + 1;
131 const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor* SatParameters_ConflictMinimizationAlgorithm_descriptor();
141 ::PROTOBUF_NAMESPACE_ID::ConstStringParam name, SatParameters_ConflictMinimizationAlgorithm* value) {
142 return ::PROTOBUF_NAMESPACE_ID::internal::ParseNamedEnum<SatParameters_ConflictMinimizationAlgorithm>(
148 SatParameters_BinaryMinizationAlgorithm_BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION = 4,
151 };
153 constexpr SatParameters_BinaryMinizationAlgorithm SatParameters_BinaryMinizationAlgorithm_BinaryMinizationAlgorithm_MIN = SatParameters_BinaryMinizationAlgorithm_NO_BINARY_MINIMIZATION;
154 constexpr SatParameters_BinaryMinizationAlgorithm SatParameters_BinaryMinizationAlgorithm_BinaryMinizationAlgorithm_MAX = SatParameters_BinaryMinizationAlgorithm_BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION;
155 constexpr int SatParameters_BinaryMinizationAlgorithm_BinaryMinizationAlgorithm_ARRAYSIZE = SatParameters_BinaryMinizationAlgorithm_BinaryMinizationAlgorithm_MAX + 1;
157 const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor* SatParameters_BinaryMinizationAlgorithm_descriptor();
167 ::PROTOBUF_NAMESPACE_ID::ConstStringParam name, SatParameters_BinaryMinizationAlgorithm* value) {
168 return ::PROTOBUF_NAMESPACE_ID::internal::ParseNamedEnum<SatParameters_BinaryMinizationAlgorithm>(
175 };
177 constexpr SatParameters_ClauseProtection SatParameters_ClauseProtection_ClauseProtection_MIN = SatParameters_ClauseProtection_PROTECTION_NONE;
178 constexpr SatParameters_ClauseProtection SatParameters_ClauseProtection_ClauseProtection_MAX = SatParameters_ClauseProtection_PROTECTION_LBD;
179 constexpr int SatParameters_ClauseProtection_ClauseProtection_ARRAYSIZE = SatParameters_ClauseProtection_ClauseProtection_MAX + 1;
198 };
200 constexpr SatParameters_ClauseOrdering SatParameters_ClauseOrdering_ClauseOrdering_MIN = SatParameters_ClauseOrdering_CLAUSE_ACTIVITY;
201 constexpr SatParameters_ClauseOrdering SatParameters_ClauseOrdering_ClauseOrdering_MAX = SatParameters_ClauseOrdering_CLAUSE_LBD;
202 constexpr int SatParameters_ClauseOrdering_ClauseOrdering_ARRAYSIZE = SatParameters_ClauseOrdering_ClauseOrdering_MAX + 1;
224 };
226 constexpr SatParameters_RestartAlgorithm SatParameters_RestartAlgorithm_RestartAlgorithm_MIN = SatParameters_RestartAlgorithm_NO_RESTART;
227 constexpr SatParameters_RestartAlgorithm SatParameters_RestartAlgorithm_RestartAlgorithm_MAX = SatParameters_RestartAlgorithm_FIXED_RESTART;
228 constexpr int SatParameters_RestartAlgorithm_RestartAlgorithm_ARRAYSIZE = SatParameters_RestartAlgorithm_RestartAlgorithm_MAX + 1;
248 };
250 constexpr SatParameters_MaxSatAssumptionOrder SatParameters_MaxSatAssumptionOrder_MaxSatAssumptionOrder_MIN = SatParameters_MaxSatAssumptionOrder_DEFAULT_ASSUMPTION_ORDER;
251 constexpr SatParameters_MaxSatAssumptionOrder SatParameters_MaxSatAssumptionOrder_MaxSatAssumptionOrder_MAX = SatParameters_MaxSatAssumptionOrder_ORDER_ASSUMPTION_BY_WEIGHT;
252 constexpr int SatParameters_MaxSatAssumptionOrder_MaxSatAssumptionOrder_ARRAYSIZE = SatParameters_MaxSatAssumptionOrder_MaxSatAssumptionOrder_MAX + 1;
254 const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor* SatParameters_MaxSatAssumptionOrder_descriptor();
272 };
274 constexpr SatParameters_MaxSatStratificationAlgorithm SatParameters_MaxSatStratificationAlgorithm_MaxSatStratificationAlgorithm_MIN = SatParameters_MaxSatStratificationAlgorithm_STRATIFICATION_NONE;
275 constexpr SatParameters_MaxSatStratificationAlgorithm SatParameters_MaxSatStratificationAlgorithm_MaxSatStratificationAlgorithm_MAX = SatParameters_MaxSatStratificationAlgorithm_STRATIFICATION_ASCENT;
276 constexpr int SatParameters_MaxSatStratificationAlgorithm_MaxSatStratificationAlgorithm_ARRAYSIZE = SatParameters_MaxSatStratificationAlgorithm_MaxSatStratificationAlgorithm_MAX + 1;
278 const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor* SatParameters_MaxSatStratificationAlgorithm_descriptor();
288 ::PROTOBUF_NAMESPACE_ID::ConstStringParam name, SatParameters_MaxSatStratificationAlgorithm* value) {
289 return ::PROTOBUF_NAMESPACE_ID::internal::ParseNamedEnum<SatParameters_MaxSatStratificationAlgorithm>(
300 };
302 constexpr SatParameters_SearchBranching SatParameters_SearchBranching_SearchBranching_MIN = SatParameters_SearchBranching_AUTOMATIC_SEARCH;
303 constexpr SatParameters_SearchBranching SatParameters_SearchBranching_SearchBranching_MAX = SatParameters_SearchBranching_HINT_SEARCH;
304 constexpr int SatParameters_SearchBranching_SearchBranching_ARRAYSIZE = SatParameters_SearchBranching_SearchBranching_MAX + 1;
325 };
327 constexpr SatParameters_FPRoundingMethod SatParameters_FPRoundingMethod_FPRoundingMethod_MIN = SatParameters_FPRoundingMethod_NEAREST_INTEGER;
328 constexpr SatParameters_FPRoundingMethod SatParameters_FPRoundingMethod_FPRoundingMethod_MAX = SatParameters_FPRoundingMethod_ACTIVE_LOCK_BASED;
329 constexpr int SatParameters_FPRoundingMethod_FPRoundingMethod_ARRAYSIZE = SatParameters_FPRoundingMethod_FPRoundingMethod_MAX + 1;
348 public ::PROTOBUF_NAMESPACE_ID::Message /* @@protoc_insertion_point(class_definition:operations_research.sat.SatParameters) */ {
373 return _internal_metadata_.unknown_fields<::PROTOBUF_NAMESPACE_ID::UnknownFieldSet>(::PROTOBUF_NAMESPACE_ID::UnknownFieldSet::default_instance);
431 const char* _InternalParse(const char* ptr, ::PROTOBUF_NAMESPACE_ID::internal::ParseContext* ctx) final;
432 ::PROTOBUF_NAMESPACE_ID::uint8* _InternalSerialize(
433 ::PROTOBUF_NAMESPACE_ID::uint8* target, ::PROTOBUF_NAMESPACE_ID::io::EpsCopyOutputStream* stream) const final;
455 ::PROTOBUF_NAMESPACE_ID::internal::AssignDescriptors(&::descriptor_table_ortools_2fsat_2fsat_5fparameters_2eproto);
456 return ::descriptor_table_ortools_2fsat_2fsat_5fparameters_2eproto.file_level_metadata[kIndexInFileMessages];
560 static inline bool ConflictMinimizationAlgorithm_Parse(::PROTOBUF_NAMESPACE_ID::ConstStringParam name,
570 static constexpr BinaryMinizationAlgorithm BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION =
596 static inline bool BinaryMinizationAlgorithm_Parse(::PROTOBUF_NAMESPACE_ID::ConstStringParam name,
758 static inline bool MaxSatStratificationAlgorithm_Parse(::PROTOBUF_NAMESPACE_ID::ConstStringParam name,
840 kRestartAlgorithmsFieldNumber = 61,
841 kDefaultRestartAlgorithmsFieldNumber = 70,
843 kPreferredVariableOrderFieldNumber = 1,
844 kMaxSatAssumptionOrderFieldNumber = 51,
845 kRandomBranchesRatioFieldNumber = 32,
846 kRandomPolarityRatioFieldNumber = 45,
847 kClauseCleanupProtectionFieldNumber = 58,
848 kClauseCleanupOrderingFieldNumber = 60,
849 kStrategyChangeIncreaseRatioFieldNumber = 69,
850 kNumConflictsBeforeStrategyChangesFieldNumber = 68,
851 kSearchBranchingFieldNumber = 82,
852 kInitialVariablesActivityFieldNumber = 76,
853 kUseOverloadCheckerInCumulativeConstraintFieldNumber = 78,
854 kUseTimetableEdgeFindingInCumulativeConstraintFieldNumber = 79,
855 kOnlyAddCutsAtLevelZeroFieldNumber = 92,
856 kAddKnapsackCutsFieldNumber = 111,
857 kUseErwaHeuristicFieldNumber = 75,
858 kAlsoBumpVariablesInConflictReasonsFieldNumber = 77,
859 kUseBlockingRestartFieldNumber = 64,
860 kPermuteVariableRandomlyFieldNumber = 178,
861 kSearchRandomizationToleranceFieldNumber = 104,
862 kUsePbResolutionFieldNumber = 43,
863 kMinimizeReductionDuringPbResolutionFieldNumber = 48,
864 kCpModelPostsolveWithFullSolverFieldNumber = 162,
865 kUseSatInprocessingFieldNumber = 163,
866 kOptimizeWithCoreFieldNumber = 83,
867 kOptimizeWithMaxHsFieldNumber = 85,
868 kEnumerateAllSolutionsFieldNumber = 87,
869 kKeepAllFeasibleSolutionsInPresolveFieldNumber = 173,
870 kReduceMemoryUsageInInterleaveModeFieldNumber = 141,
871 kUseLnsOnlyFieldNumber = 101,
872 kLnsFocusOnDecisionVariablesFieldNumber = 105,
873 kUseRelaxationLnsFieldNumber = 150,
874 kDiversifyLnsParamsFieldNumber = 137,
875 kRandomizeSearchFieldNumber = 103,
876 kUseBranchingInLpFieldNumber = 139,
877 kUseCombinedNoOverlapFieldNumber = 133,
878 kFillTightenedDomainsInResponseFieldNumber = 132,
879 kStopAfterFirstSolutionFieldNumber = 98,
880 kStopAfterPresolveFieldNumber = 149,
881 kInterleaveSearchFieldNumber = 136,
882 kExpandAlldiffConstraintsFieldNumber = 170,
883 kDisableConstraintExpansionFieldNumber = 181,
884 kPresolveExtractIntegerEnforcementFieldNumber = 174,
885 kMaxSatReverseAssumptionOrderFieldNumber = 52,
886 kProbingPeriodAtRootFieldNumber = 142,
887 kPermutePresolveConstraintOrderFieldNumber = 179,
888 kUseAbslRandomFieldNumber = 180,
889 kLogSearchProgressFieldNumber = 41,
890 kFillLogsInResponseFieldNumber = 185,
891 kCpModelMaxNumPresolveOperationsFieldNumber = 151,
892 kAbsoluteGapLimitFieldNumber = 159,
893 kRelativeGapLimitFieldNumber = 160,
894 kRepairHintFieldNumber = 167,
895 kExploitBestSolutionFieldNumber = 130,
896 kExploitRelaxationSolutionFieldNumber = 161,
897 kUseProbingSearchFieldNumber = 176,
898 kPolishLpSolutionFieldNumber = 175,
899 kConvertIntervalsFieldNumber = 177,
900 kInitialPolarityFieldNumber = 2,
901 kMinimizationAlgorithmFieldNumber = 4,
902 kClauseCleanupPeriodFieldNumber = 11,
903 kClauseCleanupTargetFieldNumber = 13,
904 kVariableActivityDecayFieldNumber = 15,
905 kMaxVariableActivityValueFieldNumber = 16,
906 kClauseActivityDecayFieldNumber = 17,
907 kMaxClauseActivityValueFieldNumber = 18,
908 kGlucoseMaxDecayFieldNumber = 22,
909 kGlucoseDecayIncrementFieldNumber = 23,
910 kGlucoseDecayIncrementPeriodFieldNumber = 24,
911 kRestartPeriodFieldNumber = 30,
912 kRandomSeedFieldNumber = 31,
913 kBinaryMinimizationAlgorithmFieldNumber = 34,
914 kMaxTimeInSecondsFieldNumber = 36,
915 kMaxNumberOfConflictsFieldNumber = 37,
916 kMaxMemoryInMbFieldNumber = 40,
917 kUsePhaseSavingFieldNumber = 44,
918 kSubsumptionDuringConflictAnalysisFieldNumber = 56,
919 kTreatBinaryClausesSeparatelyFieldNumber = 33,
920 kCountAssumptionLevelsInLbdFieldNumber = 49,
921 kPbCleanupIncrementFieldNumber = 46,
922 kPbCleanupRatioFieldNumber = 47,
923 kMaxSatStratificationFieldNumber = 53,
924 kPresolveBveThresholdFieldNumber = 54,
925 kPresolveProbingDeterministicTimeLimitFieldNumber = 57,
926 kPresolveBveClauseWeightFieldNumber = 55,
927 kClauseCleanupLbdBoundFieldNumber = 59,
928 kRestartDlAverageRatioFieldNumber = 63,
929 kRestartRunningWindowSizeFieldNumber = 62,
930 kUseOptimizationHintsFieldNumber = 35,
931 kMinimizeCoreFieldNumber = 50,
932 kFindMultipleCoresFieldNumber = 84,
933 kCoverOptimizationFieldNumber = 89,
934 kBlockingRestartMultiplierFieldNumber = 66,
935 kMaxDeterministicTimeFieldNumber = 67,
936 kBlockingRestartWindowSizeFieldNumber = 65,
937 kPresolveBvaThresholdFieldNumber = 73,
938 kRestartLbdAverageRatioFieldNumber = 71,
939 kPresolveBlockedClauseFieldNumber = 88,
940 kPresolveUseBvaFieldNumber = 72,
941 kCpModelPresolveFieldNumber = 86,
942 kCpModelUseSatPresolveFieldNumber = 93,
943 kLinearizationLevelFieldNumber = 90,
944 kMaxNumCutsFieldNumber = 91,
945 kMinimizeWithPropagationRestartPeriodFieldNumber = 96,
946 kMinimizeWithPropagationNumDecisionsFieldNumber = 97,
947 kUsePrecedencesInDisjunctiveConstraintFieldNumber = 74,
948 kUseDisjunctiveConstraintInCumulativeConstraintFieldNumber = 80,
949 kAddCgCutsFieldNumber = 117,
950 kAddMirCutsFieldNumber = 120,
951 kBinarySearchNumConflictsFieldNumber = 99,
952 kNumSearchWorkersFieldNumber = 100,
953 kBooleanEncodingLevelFieldNumber = 107,
954 kCpModelProbingLevelFieldNumber = 110,
955 kExploitIntegerLpSolutionFieldNumber = 94,
956 kExploitAllLpSolutionFieldNumber = 116,
957 kExploitObjectiveFieldNumber = 131,
958 kInstantiateAllVariablesFieldNumber = 106,
959 kMaxIntegerRoundingScalingFieldNumber = 119,
960 kMinOrthogonalityForLpConstraintsFieldNumber = 115,
961 kMaxConsecutiveInactiveCountFieldNumber = 121,
962 kNewConstraintsBatchSizeFieldNumber = 122,
963 kPseudoCostReliabilityThresholdFieldNumber = 123,
964 kMipMaxBoundFieldNumber = 124,
965 kMipVarScalingFieldNumber = 125,
966 kMipWantedPrecisionFieldNumber = 126,
967 kAutoDetectGreaterThanAtLeastOneOfFieldNumber = 95,
968 kShareObjectiveBoundsFieldNumber = 113,
969 kShareLevelZeroBoundsFieldNumber = 114,
970 kLnsExpandIntervalsInConstraintGraphFieldNumber = 184,
971 kMipMaxActivityExponentFieldNumber = 127,
972 kMipCheckPrecisionFieldNumber = 128,
973 kUseRinsLnsFieldNumber = 129,
974 kUseFeasibilityPumpFieldNumber = 164,
975 kUseOptionalVariablesFieldNumber = 108,
976 kUseExactLpReasonFieldNumber = 109,
977 kInterleaveBatchSizeFieldNumber = 134,
978 kMaxPresolveIterationsFieldNumber = 138,
979 kPresolveSubstitutionLevelFieldNumber = 147,
980 kMergeNoOverlapWorkLimitFieldNumber = 145,
981 kMergeAtMostOneWorkLimitFieldNumber = 146,
982 kMaxAllDiffCutSizeFieldNumber = 148,
983 kCatchSigintSignalFieldNumber = 135,
984 kUseImpliedBoundsFieldNumber = 144,
985 kMipAutomaticallyScaleVariablesFieldNumber = 166,
986 kAddZeroHalfCutsFieldNumber = 169,
987 kAddCliqueCutsFieldNumber = 172,
988 kAddLinMaxCutsFieldNumber = 152,
989 kAddLpConstraintsLazilyFieldNumber = 112,
990 kHintConflictLimitFieldNumber = 153,
991 kCutMaxActiveCountValueFieldNumber = 155,
992 kMaxCutRoundsAtLevelZeroFieldNumber = 154,
993 kExpandElementConstraintsFieldNumber = 140,
994 kExpandAutomatonConstraintsFieldNumber = 143,
995 kExpandTableConstraintsFieldNumber = 158,
996 kExpandReservoirConstraintsFieldNumber = 182,
997 kCutActiveCountDecayFieldNumber = 156,
998 kCutCleanupTargetFieldNumber = 157,
999 kFpRoundingFieldNumber = 165,
1000 kPolarityRephaseIncrementFieldNumber = 168,
1001 kSymmetryLevelFieldNumber = 183,
1010 ::operations_research::sat::SatParameters_RestartAlgorithm _internal_restart_algorithms(int index) const;
1011 void _internal_add_restart_algorithms(::operations_research::sat::SatParameters_RestartAlgorithm value);
1014 ::operations_research::sat::SatParameters_RestartAlgorithm restart_algorithms(int index) const;
1015 void set_restart_algorithms(int index, ::operations_research::sat::SatParameters_RestartAlgorithm value);
1020 // optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,DL_MOVING_AVERAGE_RESTART"];
1060 // optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default = IN_ORDER];
1067 void set_preferred_variable_order(::operations_research::sat::SatParameters_VariableOrder value);
1069 ::operations_research::sat::SatParameters_VariableOrder _internal_preferred_variable_order() const;
1070 void _internal_set_preferred_variable_order(::operations_research::sat::SatParameters_VariableOrder value);
1073 // optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [default = DEFAULT_ASSUMPTION_ORDER];
1079 ::operations_research::sat::SatParameters_MaxSatAssumptionOrder max_sat_assumption_order() const;
1080 void set_max_sat_assumption_order(::operations_research::sat::SatParameters_MaxSatAssumptionOrder value);
1082 ::operations_research::sat::SatParameters_MaxSatAssumptionOrder _internal_max_sat_assumption_order() const;
1083 void _internal_set_max_sat_assumption_order(::operations_research::sat::SatParameters_MaxSatAssumptionOrder value);
1112 // optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [default = PROTECTION_NONE];
1119 void set_clause_cleanup_protection(::operations_research::sat::SatParameters_ClauseProtection value);
1121 ::operations_research::sat::SatParameters_ClauseProtection _internal_clause_cleanup_protection() const;
1122 void _internal_set_clause_cleanup_protection(::operations_research::sat::SatParameters_ClauseProtection value);
1125 // optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default = CLAUSE_ACTIVITY];
1132 void set_clause_cleanup_ordering(::operations_research::sat::SatParameters_ClauseOrdering value);
1134 ::operations_research::sat::SatParameters_ClauseOrdering _internal_clause_cleanup_ordering() const;
1135 void _internal_set_clause_cleanup_ordering(::operations_research::sat::SatParameters_ClauseOrdering value);
1161 void _internal_set_num_conflicts_before_strategy_changes(::PROTOBUF_NAMESPACE_ID::int32 value);
1164 // optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTOMATIC_SEARCH];
1174 void _internal_set_search_branching(::operations_research::sat::SatParameters_SearchBranching value);
1801 // optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FALSE];
1814 // optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm = 4 [default = RECURSIVE];
1820 ::operations_research::sat::SatParameters_ConflictMinimizationAlgorithm minimization_algorithm() const;
1821 void set_minimization_algorithm(::operations_research::sat::SatParameters_ConflictMinimizationAlgorithm value);
1823 ::operations_research::sat::SatParameters_ConflictMinimizationAlgorithm _internal_minimization_algorithm() const;
1824 void _internal_set_minimization_algorithm(::operations_research::sat::SatParameters_ConflictMinimizationAlgorithm value);
1970 // optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorithm = 34 [default = BINARY_MINIMIZATION_FIRST];
1976 ::operations_research::sat::SatParameters_BinaryMinizationAlgorithm binary_minimization_algorithm() const;
1977 void set_binary_minimization_algorithm(::operations_research::sat::SatParameters_BinaryMinizationAlgorithm value);
1979 ::operations_research::sat::SatParameters_BinaryMinizationAlgorithm _internal_binary_minimization_algorithm() const;
1980 void _internal_set_binary_minimization_algorithm(::operations_research::sat::SatParameters_BinaryMinizationAlgorithm value);
2100 // optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification = 53 [default = STRATIFICATION_DESCENT];
2106 ::operations_research::sat::SatParameters_MaxSatStratificationAlgorithm max_sat_stratification() const;
2107 void set_max_sat_stratification(::operations_research::sat::SatParameters_MaxSatStratificationAlgorithm value);
2109 ::operations_research::sat::SatParameters_MaxSatStratificationAlgorithm _internal_max_sat_stratification() const;
2110 void _internal_set_max_sat_stratification(::operations_research::sat::SatParameters_MaxSatStratificationAlgorithm value);
2396 void _internal_set_minimize_with_propagation_restart_period(::PROTOBUF_NAMESPACE_ID::int32 value);
2409 void _internal_set_minimize_with_propagation_num_decisions(::PROTOBUF_NAMESPACE_ID::int32 value);
3088 // optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGATION_ASSISTED];
3098 void _internal_set_fp_rounding(::operations_research::sat::SatParameters_FPRoundingMethod value);
3137 static const ::PROTOBUF_NAMESPACE_ID::internal::LazyString _i_give_permission_to_break_this_code_default_default_restart_algorithms_;
3341 name_.Set(::PROTOBUF_NAMESPACE_ID::internal::ArenaStringPtr::EmptyDefault{}, value, GetArena());
3346 ::PROTOBUF_NAMESPACE_ID::internal::ArenaStringPtr::EmptyDefault{}, ::std::move(value), GetArena());
3352 name_.Set(::PROTOBUF_NAMESPACE_ID::internal::ArenaStringPtr::EmptyDefault{}, ::std::string(value), GetArena());
3364 return name_.Mutable(::PROTOBUF_NAMESPACE_ID::internal::ArenaStringPtr::EmptyDefault{}, GetArena());
3372 return name_.ReleaseNonDefault(&::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited(), GetArena());
3385 // optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default = IN_ORDER];
3397 inline ::operations_research::sat::SatParameters_VariableOrder SatParameters::_internal_preferred_variable_order() const {
3398 return static_cast< ::operations_research::sat::SatParameters_VariableOrder >(preferred_variable_order_);
3400 inline ::operations_research::sat::SatParameters_VariableOrder SatParameters::preferred_variable_order() const {
3401 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.preferred_variable_order)
3404 inline void SatParameters::_internal_set_preferred_variable_order(::operations_research::sat::SatParameters_VariableOrder value) {
3409 inline void SatParameters::set_preferred_variable_order(::operations_research::sat::SatParameters_VariableOrder value) {
3411 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.preferred_variable_order)
3414 // optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FALSE];
3426 inline ::operations_research::sat::SatParameters_Polarity SatParameters::_internal_initial_polarity() const {
3429 inline ::operations_research::sat::SatParameters_Polarity SatParameters::initial_polarity() const {
3433 inline void SatParameters::_internal_set_initial_polarity(::operations_research::sat::SatParameters_Polarity value) {
3438 inline void SatParameters::set_initial_polarity(::operations_research::sat::SatParameters_Polarity value) {
3483 inline ::PROTOBUF_NAMESPACE_ID::int32 SatParameters::_internal_polarity_rephase_increment() const {
3487 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.polarity_rephase_increment)
3490 inline void SatParameters::_internal_set_polarity_rephase_increment(::PROTOBUF_NAMESPACE_ID::int32 value) {
3494 inline void SatParameters::set_polarity_rephase_increment(::PROTOBUF_NAMESPACE_ID::int32 value) {
3496 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.polarity_rephase_increment)
3515 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.random_polarity_ratio)
3524 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.random_polarity_ratio)
3543 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.random_branches_ratio)
3552 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.random_branches_ratio)
3571 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.use_erwa_heuristic)
3580 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.use_erwa_heuristic)
3599 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.initial_variables_activity)
3608 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.initial_variables_activity)
3627 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.also_bump_variables_in_conflict_reasons)
3636 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.also_bump_variables_in_conflict_reasons)
3639 // optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm = 4 [default = RECURSIVE];
3651 inline ::operations_research::sat::SatParameters_ConflictMinimizationAlgorithm SatParameters::_internal_minimization_algorithm() const {
3652 return static_cast< ::operations_research::sat::SatParameters_ConflictMinimizationAlgorithm >(minimization_algorithm_);
3654 inline ::operations_research::sat::SatParameters_ConflictMinimizationAlgorithm SatParameters::minimization_algorithm() const {
3655 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.minimization_algorithm)
3658 inline void SatParameters::_internal_set_minimization_algorithm(::operations_research::sat::SatParameters_ConflictMinimizationAlgorithm value) {
3659 assert(::operations_research::sat::SatParameters_ConflictMinimizationAlgorithm_IsValid(value));
3663 inline void SatParameters::set_minimization_algorithm(::operations_research::sat::SatParameters_ConflictMinimizationAlgorithm value) {
3665 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.minimization_algorithm)
3668 // optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorithm = 34 [default = BINARY_MINIMIZATION_FIRST];
3680 inline ::operations_research::sat::SatParameters_BinaryMinizationAlgorithm SatParameters::_internal_binary_minimization_algorithm() const {
3681 return static_cast< ::operations_research::sat::SatParameters_BinaryMinizationAlgorithm >(binary_minimization_algorithm_);
3683 inline ::operations_research::sat::SatParameters_BinaryMinizationAlgorithm SatParameters::binary_minimization_algorithm() const {
3684 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.binary_minimization_algorithm)
3687 inline void SatParameters::_internal_set_binary_minimization_algorithm(::operations_research::sat::SatParameters_BinaryMinizationAlgorithm value) {
3692 inline void SatParameters::set_binary_minimization_algorithm(::operations_research::sat::SatParameters_BinaryMinizationAlgorithm value) {
3694 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.binary_minimization_algorithm)
3713 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.subsumption_during_conflict_analysis)
3722 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.subsumption_during_conflict_analysis)
3741 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.clause_cleanup_period)
3744 inline void SatParameters::_internal_set_clause_cleanup_period(::PROTOBUF_NAMESPACE_ID::int32 value) {
3750 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.clause_cleanup_period)
3769 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.clause_cleanup_target)
3772 inline void SatParameters::_internal_set_clause_cleanup_target(::PROTOBUF_NAMESPACE_ID::int32 value) {
3778 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.clause_cleanup_target)
3781 // optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [default = PROTECTION_NONE];
3793 inline ::operations_research::sat::SatParameters_ClauseProtection SatParameters::_internal_clause_cleanup_protection() const {
3794 return static_cast< ::operations_research::sat::SatParameters_ClauseProtection >(clause_cleanup_protection_);
3796 inline ::operations_research::sat::SatParameters_ClauseProtection SatParameters::clause_cleanup_protection() const {
3797 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.clause_cleanup_protection)
3800 inline void SatParameters::_internal_set_clause_cleanup_protection(::operations_research::sat::SatParameters_ClauseProtection value) {
3805 inline void SatParameters::set_clause_cleanup_protection(::operations_research::sat::SatParameters_ClauseProtection value) {
3807 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.clause_cleanup_protection)
3822 inline ::PROTOBUF_NAMESPACE_ID::int32 SatParameters::_internal_clause_cleanup_lbd_bound() const {
3826 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.clause_cleanup_lbd_bound)
3829 inline void SatParameters::_internal_set_clause_cleanup_lbd_bound(::PROTOBUF_NAMESPACE_ID::int32 value) {
3833 inline void SatParameters::set_clause_cleanup_lbd_bound(::PROTOBUF_NAMESPACE_ID::int32 value) {
3835 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.clause_cleanup_lbd_bound)
3838 // optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default = CLAUSE_ACTIVITY];
3850 inline ::operations_research::sat::SatParameters_ClauseOrdering SatParameters::_internal_clause_cleanup_ordering() const {
3851 return static_cast< ::operations_research::sat::SatParameters_ClauseOrdering >(clause_cleanup_ordering_);
3853 inline ::operations_research::sat::SatParameters_ClauseOrdering SatParameters::clause_cleanup_ordering() const {
3854 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.clause_cleanup_ordering)
3857 inline void SatParameters::_internal_set_clause_cleanup_ordering(::operations_research::sat::SatParameters_ClauseOrdering value) {
3862 inline void SatParameters::set_clause_cleanup_ordering(::operations_research::sat::SatParameters_ClauseOrdering value) {
3864 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.clause_cleanup_ordering)
3883 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.pb_cleanup_increment)
3886 inline void SatParameters::_internal_set_pb_cleanup_increment(::PROTOBUF_NAMESPACE_ID::int32 value) {
3892 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.pb_cleanup_increment)
3935 inline ::PROTOBUF_NAMESPACE_ID::int32 SatParameters::_internal_minimize_with_propagation_restart_period() const {
3938 inline ::PROTOBUF_NAMESPACE_ID::int32 SatParameters::minimize_with_propagation_restart_period() const {
3939 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.minimize_with_propagation_restart_period)
3942 inline void SatParameters::_internal_set_minimize_with_propagation_restart_period(::PROTOBUF_NAMESPACE_ID::int32 value) {
3946 inline void SatParameters::set_minimize_with_propagation_restart_period(::PROTOBUF_NAMESPACE_ID::int32 value) {
3948 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.minimize_with_propagation_restart_period)
3963 inline ::PROTOBUF_NAMESPACE_ID::int32 SatParameters::_internal_minimize_with_propagation_num_decisions() const {
3966 inline ::PROTOBUF_NAMESPACE_ID::int32 SatParameters::minimize_with_propagation_num_decisions() const {
3967 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.minimize_with_propagation_num_decisions)
3970 inline void SatParameters::_internal_set_minimize_with_propagation_num_decisions(::PROTOBUF_NAMESPACE_ID::int32 value) {
3974 inline void SatParameters::set_minimize_with_propagation_num_decisions(::PROTOBUF_NAMESPACE_ID::int32 value) {
3976 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.minimize_with_propagation_num_decisions)
3995 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.variable_activity_decay)
4004 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.variable_activity_decay)
4023 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.max_variable_activity_value)
4032 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.max_variable_activity_value)
4079 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.glucose_decay_increment)
4088 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.glucose_decay_increment)
4103 inline ::PROTOBUF_NAMESPACE_ID::int32 SatParameters::_internal_glucose_decay_increment_period() const {
4107 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.glucose_decay_increment_period)
4110 inline void SatParameters::_internal_set_glucose_decay_increment_period(::PROTOBUF_NAMESPACE_ID::int32 value) {
4114 inline void SatParameters::set_glucose_decay_increment_period(::PROTOBUF_NAMESPACE_ID::int32 value) {
4116 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.glucose_decay_increment_period)
4135 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.clause_activity_decay)
4144 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.clause_activity_decay)
4163 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.max_clause_activity_value)
4172 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.max_clause_activity_value)
4185 inline ::operations_research::sat::SatParameters_RestartAlgorithm SatParameters::_internal_restart_algorithms(int index) const {
4186 return static_cast< ::operations_research::sat::SatParameters_RestartAlgorithm >(restart_algorithms_.Get(index));
4188 inline ::operations_research::sat::SatParameters_RestartAlgorithm SatParameters::restart_algorithms(int index) const {
4189 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.restart_algorithms)
4192 inline void SatParameters::set_restart_algorithms(int index, ::operations_research::sat::SatParameters_RestartAlgorithm value) {
4195 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.restart_algorithms)
4197 inline void SatParameters::_internal_add_restart_algorithms(::operations_research::sat::SatParameters_RestartAlgorithm value) {
4201 inline void SatParameters::add_restart_algorithms(::operations_research::sat::SatParameters_RestartAlgorithm value) {
4202 // @@protoc_insertion_point(field_add:operations_research.sat.SatParameters.restart_algorithms)
4207 // @@protoc_insertion_point(field_list:operations_research.sat.SatParameters.restart_algorithms)
4216 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.SatParameters.restart_algorithms)
4220 // optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,DL_MOVING_AVERAGE_RESTART"];
4229 default_restart_algorithms_.ClearToDefault(::operations_research::sat::SatParameters::_i_give_permission_to_break_this_code_default_default_restart_algorithms_, GetArena());
4233 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.default_restart_algorithms)
4234 if (default_restart_algorithms_.IsDefault(nullptr)) return _i_give_permission_to_break_this_code_default_default_restart_algorithms_.get();
4239 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.default_restart_algorithms)
4242 // @@protoc_insertion_point(field_mutable:operations_research.sat.SatParameters.default_restart_algorithms)
4248 inline void SatParameters::_internal_set_default_restart_algorithms(const std::string& value) {
4250 default_restart_algorithms_.Set(::PROTOBUF_NAMESPACE_ID::internal::ArenaStringPtr::NonEmptyDefault{}, value, GetArena());
4255 ::PROTOBUF_NAMESPACE_ID::internal::ArenaStringPtr::NonEmptyDefault{}, ::std::move(value), GetArena());
4256 // @@protoc_insertion_point(field_set_rvalue:operations_research.sat.SatParameters.default_restart_algorithms)
4261 default_restart_algorithms_.Set(::PROTOBUF_NAMESPACE_ID::internal::ArenaStringPtr::NonEmptyDefault{}, ::std::string(value), GetArena());
4262 // @@protoc_insertion_point(field_set_char:operations_research.sat.SatParameters.default_restart_algorithms)
4267 default_restart_algorithms_.Set(::PROTOBUF_NAMESPACE_ID::internal::ArenaStringPtr::NonEmptyDefault{}, ::std::string(
4269 // @@protoc_insertion_point(field_set_pointer:operations_research.sat.SatParameters.default_restart_algorithms)
4273 return default_restart_algorithms_.Mutable(::operations_research::sat::SatParameters::_i_give_permission_to_break_this_code_default_default_restart_algorithms_, GetArena());
4276 // @@protoc_insertion_point(field_release:operations_research.sat.SatParameters.default_restart_algorithms)
4283 inline void SatParameters::set_allocated_default_restart_algorithms(std::string* default_restart_algorithms) {
4291 // @@protoc_insertion_point(field_set_allocated:operations_research.sat.SatParameters.default_restart_algorithms)
4313 inline void SatParameters::_internal_set_restart_period(::PROTOBUF_NAMESPACE_ID::int32 value) {
4334 inline ::PROTOBUF_NAMESPACE_ID::int32 SatParameters::_internal_restart_running_window_size() const {
4338 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.restart_running_window_size)
4341 inline void SatParameters::_internal_set_restart_running_window_size(::PROTOBUF_NAMESPACE_ID::int32 value) {
4345 inline void SatParameters::set_restart_running_window_size(::PROTOBUF_NAMESPACE_ID::int32 value) {
4347 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.restart_running_window_size)
4366 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.restart_dl_average_ratio)
4375 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.restart_dl_average_ratio)
4394 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.restart_lbd_average_ratio)
4403 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.restart_lbd_average_ratio)
4422 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.use_blocking_restart)
4431 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.use_blocking_restart)
4446 inline ::PROTOBUF_NAMESPACE_ID::int32 SatParameters::_internal_blocking_restart_window_size() const {
4450 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.blocking_restart_window_size)
4453 inline void SatParameters::_internal_set_blocking_restart_window_size(::PROTOBUF_NAMESPACE_ID::int32 value) {
4457 inline void SatParameters::set_blocking_restart_window_size(::PROTOBUF_NAMESPACE_ID::int32 value) {
4459 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.blocking_restart_window_size)
4478 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.blocking_restart_multiplier)
4487 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.blocking_restart_multiplier)
4502 inline ::PROTOBUF_NAMESPACE_ID::int32 SatParameters::_internal_num_conflicts_before_strategy_changes() const {
4505 inline ::PROTOBUF_NAMESPACE_ID::int32 SatParameters::num_conflicts_before_strategy_changes() const {
4506 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.num_conflicts_before_strategy_changes)
4509 inline void SatParameters::_internal_set_num_conflicts_before_strategy_changes(::PROTOBUF_NAMESPACE_ID::int32 value) {
4513 inline void SatParameters::set_num_conflicts_before_strategy_changes(::PROTOBUF_NAMESPACE_ID::int32 value) {
4515 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.num_conflicts_before_strategy_changes)
4534 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.strategy_change_increase_ratio)
4543 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.strategy_change_increase_ratio)
4562 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.max_time_in_seconds)
4571 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.max_time_in_seconds)
4590 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.max_deterministic_time)
4599 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.max_deterministic_time)
4614 inline ::PROTOBUF_NAMESPACE_ID::int64 SatParameters::_internal_max_number_of_conflicts() const {
4618 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.max_number_of_conflicts)
4621 inline void SatParameters::_internal_set_max_number_of_conflicts(::PROTOBUF_NAMESPACE_ID::int64 value) {
4627 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.max_number_of_conflicts)
4649 inline void SatParameters::_internal_set_max_memory_in_mb(::PROTOBUF_NAMESPACE_ID::int64 value) {
4674 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.absolute_gap_limit)
4683 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.absolute_gap_limit)
4702 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.relative_gap_limit)
4711 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.relative_gap_limit)
4730 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.treat_binary_clauses_separately)
4739 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.treat_binary_clauses_separately)
4786 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.permute_variable_randomly)
4795 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.permute_variable_randomly)
4814 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.permute_presolve_constraint_order)
4823 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.permute_presolve_constraint_order)
4870 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.log_search_progress)
4879 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.log_search_progress)
4898 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.fill_logs_in_response)
4907 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.fill_logs_in_response)
4954 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.minimize_reduction_during_pb_resolution)
4963 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.minimize_reduction_during_pb_resolution)
4982 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.count_assumption_levels_in_lbd)
4991 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.count_assumption_levels_in_lbd)
5006 inline ::PROTOBUF_NAMESPACE_ID::int32 SatParameters::_internal_presolve_bve_threshold() const {
5010 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.presolve_bve_threshold)
5013 inline void SatParameters::_internal_set_presolve_bve_threshold(::PROTOBUF_NAMESPACE_ID::int32 value) {
5019 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.presolve_bve_threshold)
5034 inline ::PROTOBUF_NAMESPACE_ID::int32 SatParameters::_internal_presolve_bve_clause_weight() const {
5038 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.presolve_bve_clause_weight)
5041 inline void SatParameters::_internal_set_presolve_bve_clause_weight(::PROTOBUF_NAMESPACE_ID::int32 value) {
5045 inline void SatParameters::set_presolve_bve_clause_weight(::PROTOBUF_NAMESPACE_ID::int32 value) {
5047 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.presolve_bve_clause_weight)
5066 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.presolve_probing_deterministic_time_limit)
5069 inline void SatParameters::_internal_set_presolve_probing_deterministic_time_limit(double value) {
5075 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.presolve_probing_deterministic_time_limit)
5094 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.presolve_blocked_clause)
5103 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.presolve_blocked_clause)
5146 inline ::PROTOBUF_NAMESPACE_ID::int32 SatParameters::_internal_presolve_bva_threshold() const {
5150 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.presolve_bva_threshold)
5153 inline void SatParameters::_internal_set_presolve_bva_threshold(::PROTOBUF_NAMESPACE_ID::int32 value) {
5159 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.presolve_bva_threshold)
5174 inline ::PROTOBUF_NAMESPACE_ID::int32 SatParameters::_internal_max_presolve_iterations() const {
5178 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.max_presolve_iterations)
5181 inline void SatParameters::_internal_set_max_presolve_iterations(::PROTOBUF_NAMESPACE_ID::int32 value) {
5187 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.max_presolve_iterations)
5234 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.cp_model_postsolve_with_full_solver)
5243 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.cp_model_postsolve_with_full_solver)
5258 inline ::PROTOBUF_NAMESPACE_ID::int32 SatParameters::_internal_cp_model_max_num_presolve_operations() const {
5261 inline ::PROTOBUF_NAMESPACE_ID::int32 SatParameters::cp_model_max_num_presolve_operations() const {
5262 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.cp_model_max_num_presolve_operations)
5265 inline void SatParameters::_internal_set_cp_model_max_num_presolve_operations(::PROTOBUF_NAMESPACE_ID::int32 value) {
5269 inline void SatParameters::set_cp_model_max_num_presolve_operations(::PROTOBUF_NAMESPACE_ID::int32 value) {
5271 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.cp_model_max_num_presolve_operations)
5286 inline ::PROTOBUF_NAMESPACE_ID::int32 SatParameters::_internal_cp_model_probing_level() const {
5290 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.cp_model_probing_level)
5293 inline void SatParameters::_internal_set_cp_model_probing_level(::PROTOBUF_NAMESPACE_ID::int32 value) {
5299 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.cp_model_probing_level)
5318 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.cp_model_use_sat_presolve)
5327 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.cp_model_use_sat_presolve)
5346 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.use_sat_inprocessing)
5355 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.use_sat_inprocessing)
5374 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.expand_element_constraints)
5383 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.expand_element_constraints)
5402 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.expand_automaton_constraints)
5411 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.expand_automaton_constraints)
5430 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.expand_table_constraints)
5439 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.expand_table_constraints)
5458 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.expand_alldiff_constraints)
5467 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.expand_alldiff_constraints)
5486 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.expand_reservoir_constraints)
5495 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.expand_reservoir_constraints)
5514 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.disable_constraint_expansion)
5523 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.disable_constraint_expansion)
5542 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.merge_no_overlap_work_limit)
5551 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.merge_no_overlap_work_limit)
5570 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.merge_at_most_one_work_limit)
5579 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.merge_at_most_one_work_limit)
5594 inline ::PROTOBUF_NAMESPACE_ID::int32 SatParameters::_internal_presolve_substitution_level() const {
5598 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.presolve_substitution_level)
5601 inline void SatParameters::_internal_set_presolve_substitution_level(::PROTOBUF_NAMESPACE_ID::int32 value) {
5605 inline void SatParameters::set_presolve_substitution_level(::PROTOBUF_NAMESPACE_ID::int32 value) {
5607 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.presolve_substitution_level)
5626 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.presolve_extract_integer_enforcement)
5635 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.presolve_extract_integer_enforcement)
5654 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.use_optimization_hints)
5663 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.use_optimization_hints)
5710 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.find_multiple_cores)
5719 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.find_multiple_cores)
5738 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.cover_optimization)
5747 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.cover_optimization)
5750 // optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [default = DEFAULT_ASSUMPTION_ORDER];
5762 inline ::operations_research::sat::SatParameters_MaxSatAssumptionOrder SatParameters::_internal_max_sat_assumption_order() const {
5763 return static_cast< ::operations_research::sat::SatParameters_MaxSatAssumptionOrder >(max_sat_assumption_order_);
5765 inline ::operations_research::sat::SatParameters_MaxSatAssumptionOrder SatParameters::max_sat_assumption_order() const {
5766 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.max_sat_assumption_order)
5769 inline void SatParameters::_internal_set_max_sat_assumption_order(::operations_research::sat::SatParameters_MaxSatAssumptionOrder value) {
5774 inline void SatParameters::set_max_sat_assumption_order(::operations_research::sat::SatParameters_MaxSatAssumptionOrder value) {
5776 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.max_sat_assumption_order)
5795 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.max_sat_reverse_assumption_order)
5804 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.max_sat_reverse_assumption_order)
5807 // optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification = 53 [default = STRATIFICATION_DESCENT];
5819 inline ::operations_research::sat::SatParameters_MaxSatStratificationAlgorithm SatParameters::_internal_max_sat_stratification() const {
5820 return static_cast< ::operations_research::sat::SatParameters_MaxSatStratificationAlgorithm >(max_sat_stratification_);
5822 inline ::operations_research::sat::SatParameters_MaxSatStratificationAlgorithm SatParameters::max_sat_stratification() const {
5823 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.max_sat_stratification)
5826 inline void SatParameters::_internal_set_max_sat_stratification(::operations_research::sat::SatParameters_MaxSatStratificationAlgorithm value) {
5827 assert(::operations_research::sat::SatParameters_MaxSatStratificationAlgorithm_IsValid(value));
5831 inline void SatParameters::set_max_sat_stratification(::operations_research::sat::SatParameters_MaxSatStratificationAlgorithm value) {
5833 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.max_sat_stratification)
5852 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.use_precedences_in_disjunctive_constraint)
5855 inline void SatParameters::_internal_set_use_precedences_in_disjunctive_constraint(bool value) {
5861 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.use_precedences_in_disjunctive_constraint)
5865 inline bool SatParameters::_internal_has_use_overload_checker_in_cumulative_constraint() const {
5880 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.use_overload_checker_in_cumulative_constraint)
5883 inline void SatParameters::_internal_set_use_overload_checker_in_cumulative_constraint(bool value) {
5889 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.use_overload_checker_in_cumulative_constraint)
5893 inline bool SatParameters::_internal_has_use_timetable_edge_finding_in_cumulative_constraint() const {
5904 inline bool SatParameters::_internal_use_timetable_edge_finding_in_cumulative_constraint() const {
5908 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.use_timetable_edge_finding_in_cumulative_constraint)
5911 inline void SatParameters::_internal_set_use_timetable_edge_finding_in_cumulative_constraint(bool value) {
5915 inline void SatParameters::set_use_timetable_edge_finding_in_cumulative_constraint(bool value) {
5917 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.use_timetable_edge_finding_in_cumulative_constraint)
5921 inline bool SatParameters::_internal_has_use_disjunctive_constraint_in_cumulative_constraint() const {
5932 inline bool SatParameters::_internal_use_disjunctive_constraint_in_cumulative_constraint() const {
5936 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.use_disjunctive_constraint_in_cumulative_constraint)
5939 inline void SatParameters::_internal_set_use_disjunctive_constraint_in_cumulative_constraint(bool value) {
5943 inline void SatParameters::set_use_disjunctive_constraint_in_cumulative_constraint(bool value) {
5945 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.use_disjunctive_constraint_in_cumulative_constraint)
5964 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.linearization_level)
5967 inline void SatParameters::_internal_set_linearization_level(::PROTOBUF_NAMESPACE_ID::int32 value) {
5973 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.linearization_level)
5988 inline ::PROTOBUF_NAMESPACE_ID::int32 SatParameters::_internal_boolean_encoding_level() const {
5992 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.boolean_encoding_level)
5995 inline void SatParameters::_internal_set_boolean_encoding_level(::PROTOBUF_NAMESPACE_ID::int32 value) {
6001 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.boolean_encoding_level)
6048 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.only_add_cuts_at_level_zero)
6057 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.only_add_cuts_at_level_zero)
6160 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.add_zero_half_cuts)
6169 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.add_zero_half_cuts)
6216 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.max_all_diff_cut_size)
6219 inline void SatParameters::_internal_set_max_all_diff_cut_size(::PROTOBUF_NAMESPACE_ID::int32 value) {
6225 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.max_all_diff_cut_size)
6268 inline ::PROTOBUF_NAMESPACE_ID::int32 SatParameters::_internal_max_integer_rounding_scaling() const {
6272 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.max_integer_rounding_scaling)
6275 inline void SatParameters::_internal_set_max_integer_rounding_scaling(::PROTOBUF_NAMESPACE_ID::int32 value) {
6279 inline void SatParameters::set_max_integer_rounding_scaling(::PROTOBUF_NAMESPACE_ID::int32 value) {
6281 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.max_integer_rounding_scaling)
6300 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.add_lp_constraints_lazily)
6309 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.add_lp_constraints_lazily)
6328 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.min_orthogonality_for_lp_constraints)
6337 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.min_orthogonality_for_lp_constraints)
6352 inline ::PROTOBUF_NAMESPACE_ID::int32 SatParameters::_internal_max_cut_rounds_at_level_zero() const {
6356 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.max_cut_rounds_at_level_zero)
6359 inline void SatParameters::_internal_set_max_cut_rounds_at_level_zero(::PROTOBUF_NAMESPACE_ID::int32 value) {
6363 inline void SatParameters::set_max_cut_rounds_at_level_zero(::PROTOBUF_NAMESPACE_ID::int32 value) {
6365 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.max_cut_rounds_at_level_zero)
6380 inline ::PROTOBUF_NAMESPACE_ID::int32 SatParameters::_internal_max_consecutive_inactive_count() const {
6384 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.max_consecutive_inactive_count)
6387 inline void SatParameters::_internal_set_max_consecutive_inactive_count(::PROTOBUF_NAMESPACE_ID::int32 value) {
6391 inline void SatParameters::set_max_consecutive_inactive_count(::PROTOBUF_NAMESPACE_ID::int32 value) {
6393 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.max_consecutive_inactive_count)
6412 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.cut_max_active_count_value)
6421 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.cut_max_active_count_value)
6440 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.cut_active_count_decay)
6449 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.cut_active_count_decay)
6468 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.cut_cleanup_target)
6471 inline void SatParameters::_internal_set_cut_cleanup_target(::PROTOBUF_NAMESPACE_ID::int32 value) {
6477 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.cut_cleanup_target)
6492 inline ::PROTOBUF_NAMESPACE_ID::int32 SatParameters::_internal_new_constraints_batch_size() const {
6496 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.new_constraints_batch_size)
6499 inline void SatParameters::_internal_set_new_constraints_batch_size(::PROTOBUF_NAMESPACE_ID::int32 value) {
6503 inline void SatParameters::set_new_constraints_batch_size(::PROTOBUF_NAMESPACE_ID::int32 value) {
6505 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.new_constraints_batch_size)
6508 // optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTOMATIC_SEARCH];
6520 inline ::operations_research::sat::SatParameters_SearchBranching SatParameters::_internal_search_branching() const {
6521 return static_cast< ::operations_research::sat::SatParameters_SearchBranching >(search_branching_);
6523 inline ::operations_research::sat::SatParameters_SearchBranching SatParameters::search_branching() const {
6527 inline void SatParameters::_internal_set_search_branching(::operations_research::sat::SatParameters_SearchBranching value) {
6532 inline void SatParameters::set_search_branching(::operations_research::sat::SatParameters_SearchBranching value) {
6553 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.hint_conflict_limit)
6556 inline void SatParameters::_internal_set_hint_conflict_limit(::PROTOBUF_NAMESPACE_ID::int32 value) {
6562 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.hint_conflict_limit)
6609 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.exploit_integer_lp_solution)
6618 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.exploit_integer_lp_solution)
6637 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.exploit_all_lp_solution)
6646 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.exploit_all_lp_solution)
6665 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.exploit_best_solution)
6674 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.exploit_best_solution)
6693 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.exploit_relaxation_solution)
6702 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.exploit_relaxation_solution)
6745 inline ::PROTOBUF_NAMESPACE_ID::int64 SatParameters::_internal_probing_period_at_root() const {
6749 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.probing_period_at_root)
6752 inline void SatParameters::_internal_set_probing_period_at_root(::PROTOBUF_NAMESPACE_ID::int64 value) {
6758 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.probing_period_at_root)
6777 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.use_probing_search)
6786 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.use_probing_search)
6801 inline ::PROTOBUF_NAMESPACE_ID::int64 SatParameters::_internal_pseudo_cost_reliability_threshold() const {
6804 inline ::PROTOBUF_NAMESPACE_ID::int64 SatParameters::pseudo_cost_reliability_threshold() const {
6805 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.pseudo_cost_reliability_threshold)
6808 inline void SatParameters::_internal_set_pseudo_cost_reliability_threshold(::PROTOBUF_NAMESPACE_ID::int64 value) {
6812 inline void SatParameters::set_pseudo_cost_reliability_threshold(::PROTOBUF_NAMESPACE_ID::int64 value) {
6814 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.pseudo_cost_reliability_threshold)
6833 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.optimize_with_core)
6842 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.optimize_with_core)
6857 inline ::PROTOBUF_NAMESPACE_ID::int32 SatParameters::_internal_binary_search_num_conflicts() const {
6861 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.binary_search_num_conflicts)
6864 inline void SatParameters::_internal_set_binary_search_num_conflicts(::PROTOBUF_NAMESPACE_ID::int32 value) {
6868 inline void SatParameters::set_binary_search_num_conflicts(::PROTOBUF_NAMESPACE_ID::int32 value) {
6870 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.binary_search_num_conflicts)
6889 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.optimize_with_max_hs)
6898 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.optimize_with_max_hs)
6917 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.enumerate_all_solutions)
6926 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.enumerate_all_solutions)
6945 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.keep_all_feasible_solutions_in_presolve)
6954 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.keep_all_feasible_solutions_in_presolve)
6973 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.fill_tightened_domains_in_response)
6982 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.fill_tightened_domains_in_response)
7001 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.instantiate_all_variables)
7010 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.instantiate_all_variables)
7029 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.auto_detect_greater_than_at_least_one_of)
7032 inline void SatParameters::_internal_set_auto_detect_greater_than_at_least_one_of(bool value) {
7038 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.auto_detect_greater_than_at_least_one_of)
7057 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.stop_after_first_solution)
7066 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.stop_after_first_solution)
7085 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.stop_after_presolve)
7094 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.stop_after_presolve)
7113 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.num_search_workers)
7116 inline void SatParameters::_internal_set_num_search_workers(::PROTOBUF_NAMESPACE_ID::int32 value) {
7122 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.num_search_workers)
7169 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.interleave_batch_size)
7172 inline void SatParameters::_internal_set_interleave_batch_size(::PROTOBUF_NAMESPACE_ID::int32 value) {
7178 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.interleave_batch_size)
7197 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.reduce_memory_usage_in_interleave_mode)
7206 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.reduce_memory_usage_in_interleave_mode)
7225 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.share_objective_bounds)
7234 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.share_objective_bounds)
7253 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.share_level_zero_bounds)
7262 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.share_level_zero_bounds)
7309 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.lns_focus_on_decision_variables)
7318 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.lns_focus_on_decision_variables)
7337 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.lns_expand_intervals_in_constraint_graph)
7340 inline void SatParameters::_internal_set_lns_expand_intervals_in_constraint_graph(bool value) {
7346 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.lns_expand_intervals_in_constraint_graph)
7393 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.use_feasibility_pump)
7402 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.use_feasibility_pump)
7405 // optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGATION_ASSISTED];
7417 inline ::operations_research::sat::SatParameters_FPRoundingMethod SatParameters::_internal_fp_rounding() const {
7418 return static_cast< ::operations_research::sat::SatParameters_FPRoundingMethod >(fp_rounding_);
7420 inline ::operations_research::sat::SatParameters_FPRoundingMethod SatParameters::fp_rounding() const {
7424 inline void SatParameters::_internal_set_fp_rounding(::operations_research::sat::SatParameters_FPRoundingMethod value) {
7429 inline void SatParameters::set_fp_rounding(::operations_research::sat::SatParameters_FPRoundingMethod value) {
7450 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.use_relaxation_lns)
7459 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.use_relaxation_lns)
7478 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.diversify_lns_params)
7487 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.diversify_lns_params)
7530 inline ::PROTOBUF_NAMESPACE_ID::int64 SatParameters::_internal_search_randomization_tolerance() const {
7534 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.search_randomization_tolerance)
7537 inline void SatParameters::_internal_set_search_randomization_tolerance(::PROTOBUF_NAMESPACE_ID::int64 value) {
7541 inline void SatParameters::set_search_randomization_tolerance(::PROTOBUF_NAMESPACE_ID::int64 value) {
7543 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.search_randomization_tolerance)
7562 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.use_optional_variables)
7571 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.use_optional_variables)
7590 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.use_exact_lp_reason)
7599 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.use_exact_lp_reason)
7618 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.use_branching_in_lp)
7627 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.use_branching_in_lp)
7646 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.use_combined_no_overlap)
7655 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.use_combined_no_overlap)
7674 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.catch_sigint_signal)
7683 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.catch_sigint_signal)
7702 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.use_implied_bounds)
7711 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.use_implied_bounds)
7730 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.polish_lp_solution)
7739 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.polish_lp_solution)
7789 inline void SatParameters::_internal_set_symmetry_level(::PROTOBUF_NAMESPACE_ID::int32 value) {
7870 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.mip_automatically_scale_variables)
7879 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.mip_automatically_scale_variables)
7898 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.mip_wanted_precision)
7907 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.mip_wanted_precision)
7922 inline ::PROTOBUF_NAMESPACE_ID::int32 SatParameters::_internal_mip_max_activity_exponent() const {
7926 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.mip_max_activity_exponent)
7929 inline void SatParameters::_internal_set_mip_max_activity_exponent(::PROTOBUF_NAMESPACE_ID::int32 value) {
7933 inline void SatParameters::set_mip_max_activity_exponent(::PROTOBUF_NAMESPACE_ID::int32 value) {
7935 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.mip_max_activity_exponent)
7954 // @@protoc_insertion_point(field_get:operations_research.sat.SatParameters.mip_check_precision)
7963 // @@protoc_insertion_point(field_set:operations_research.sat.SatParameters.mip_check_precision)
7977 template <> struct is_proto_enum< ::operations_research::sat::SatParameters_VariableOrder> : ::std::true_type {};
7979 inline const EnumDescriptor* GetEnumDescriptor< ::operations_research::sat::SatParameters_VariableOrder>() {
7982 template <> struct is_proto_enum< ::operations_research::sat::SatParameters_Polarity> : ::std::true_type {};
7984 inline const EnumDescriptor* GetEnumDescriptor< ::operations_research::sat::SatParameters_Polarity>() {
7987 template <> struct is_proto_enum< ::operations_research::sat::SatParameters_ConflictMinimizationAlgorithm> : ::std::true_type {};
7989 inline const EnumDescriptor* GetEnumDescriptor< ::operations_research::sat::SatParameters_ConflictMinimizationAlgorithm>() {
7992 template <> struct is_proto_enum< ::operations_research::sat::SatParameters_BinaryMinizationAlgorithm> : ::std::true_type {};
7994 inline const EnumDescriptor* GetEnumDescriptor< ::operations_research::sat::SatParameters_BinaryMinizationAlgorithm>() {
7997 template <> struct is_proto_enum< ::operations_research::sat::SatParameters_ClauseProtection> : ::std::true_type {};
7999 inline const EnumDescriptor* GetEnumDescriptor< ::operations_research::sat::SatParameters_ClauseProtection>() {
8002 template <> struct is_proto_enum< ::operations_research::sat::SatParameters_ClauseOrdering> : ::std::true_type {};
8004 inline const EnumDescriptor* GetEnumDescriptor< ::operations_research::sat::SatParameters_ClauseOrdering>() {
8007 template <> struct is_proto_enum< ::operations_research::sat::SatParameters_RestartAlgorithm> : ::std::true_type {};
8009 inline const EnumDescriptor* GetEnumDescriptor< ::operations_research::sat::SatParameters_RestartAlgorithm>() {
8012 template <> struct is_proto_enum< ::operations_research::sat::SatParameters_MaxSatAssumptionOrder> : ::std::true_type {};
8014 inline const EnumDescriptor* GetEnumDescriptor< ::operations_research::sat::SatParameters_MaxSatAssumptionOrder>() {
8017 template <> struct is_proto_enum< ::operations_research::sat::SatParameters_MaxSatStratificationAlgorithm> : ::std::true_type {};
8019 inline const EnumDescriptor* GetEnumDescriptor< ::operations_research::sat::SatParameters_MaxSatStratificationAlgorithm>() {
8022 template <> struct is_proto_enum< ::operations_research::sat::SatParameters_SearchBranching> : ::std::true_type {};
8024 inline const EnumDescriptor* GetEnumDescriptor< ::operations_research::sat::SatParameters_SearchBranching>() {
8027 template <> struct is_proto_enum< ::operations_research::sat::SatParameters_FPRoundingMethod> : ::std::true_type {};
8029 inline const EnumDescriptor* GetEnumDescriptor< ::operations_research::sat::SatParameters_FPRoundingMethod>() {
8038 #endif // GOOGLE_PROTOBUF_INCLUDED_GOOGLE_PROTOBUF_INCLUDED_ortools_2fsat_2fsat_5fparameters_2eproto
::PROTOBUF_NAMESPACE_ID::int32 interleave_batch_size() const
bool exploit_all_lp_solution() const
bool has_use_implied_bounds() const
bool has_glucose_decay_increment() const
bool has_max_memory_in_mb() const
void clear_restart_algorithms()
void clear_presolve_blocked_clause()
bool optimize_with_core() const
void set_exploit_all_lp_solution(bool value)
double max_deterministic_time() const
bool has_probing_period_at_root() const
double merge_no_overlap_work_limit() const
void set_random_polarity_ratio(double value)
void clear_pseudo_cost_reliability_threshold()
bool interleave_search() const
void clear_catch_sigint_signal()
static const std::string & SearchBranching_Name(T enum_t_value)
Definition: sat_parameters.pb.h:792
bool has_find_multiple_cores() const
void set_use_precedences_in_disjunctive_constraint(bool value)
void clear_cp_model_presolve()
bool has_permute_presolve_constraint_order() const
void clear_presolve_probing_deterministic_time_limit()
bool has_restart_period() const
SatParameters_FPRoundingMethod FPRoundingMethod
Definition: sat_parameters.pb.h:803
void set_catch_sigint_signal(bool value)
SatParameters()
Definition: sat_parameters.pb.h:350
void clear_use_absl_random()
bool has_cp_model_use_sat_presolve() const
bool also_bump_variables_in_conflict_reasons() const
::operations_research::sat::SatParameters_VariableOrder preferred_variable_order() const
void set_restart_algorithms(int index, ::operations_research::sat::SatParameters_RestartAlgorithm value)
void set_use_absl_random(bool value)
bool has_add_cg_cuts() const
bool has_binary_minimization_algorithm() const
bool has_instantiate_all_variables() const
void set_use_timetable_edge_finding_in_cumulative_constraint(bool value)
void set_use_feasibility_pump(bool value)
void set_use_relaxation_lns(bool value)
bool has_glucose_decay_increment_period() const
bool has_merge_no_overlap_work_limit() const
void set_mip_var_scaling(double value)
bool has_binary_search_num_conflicts() const
static const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * VariableOrder_descriptor()
Definition: sat_parameters.pb.h:480
friend void swap(SatParameters &a, SatParameters &b)
Definition: sat_parameters.pb.h:397
SatParameters(::PROTOBUF_NAMESPACE_ID::Arena *arena)
double max_clause_activity_value() const
static const std::string & VariableOrder_Name(T enum_t_value)
Definition: sat_parameters.pb.h:484
bool has_num_conflicts_before_strategy_changes() const
bool has_share_objective_bounds() const
const std::string & default_restart_algorithms() const
void set_minimize_with_propagation_restart_period(::PROTOBUF_NAMESPACE_ID::int32 value)
bool use_lns_only() const
double strategy_change_increase_ratio() const
void set_restart_dl_average_ratio(double value)
void MergeFrom(const SatParameters &from)
void set_initial_polarity(::operations_research::sat::SatParameters_Polarity value)
void set_search_branching(::operations_research::sat::SatParameters_SearchBranching value)
::PROTOBUF_NAMESPACE_ID::int32 presolve_bve_clause_weight() const
bool has_max_clause_activity_value() const
static const ::PROTOBUF_NAMESPACE_ID::Reflection * GetReflection()
Definition: sat_parameters.pb.h:385
bool minimize_core() const
bool subsumption_during_conflict_analysis() const
void clear_max_num_cuts()
void set_mip_max_activity_exponent(::PROTOBUF_NAMESPACE_ID::int32 value)
void add_restart_algorithms(::operations_research::sat::SatParameters_RestartAlgorithm value)
bool has_mip_var_scaling() const
bool has_exploit_objective() const
bool has_interleave_search() const
void set_cut_active_count_decay(double value)
void clear_add_zero_half_cuts()
void clear_max_clause_activity_value()
bool log_search_progress() const
void set_use_branching_in_lp(bool value)
static const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * ClauseProtection_descriptor()
Definition: sat_parameters.pb.h:618
void set_max_variable_activity_value(double value)
bool use_optimization_hints() const
bool has_max_num_cuts() const
void clear_merge_no_overlap_work_limit()
void clear_initial_variables_activity()
void set_add_mir_cuts(bool value)
void set_use_lns_only(bool value)
bool enumerate_all_solutions() const
bool cp_model_use_sat_presolve() const
SatParameters_SearchBranching SearchBranching
Definition: sat_parameters.pb.h:763
double mip_check_precision() const
static bool ClauseOrdering_IsValid(int value)
Definition: sat_parameters.pb.h:638
void clear_polish_lp_solution()
void clear_lns_expand_intervals_in_constraint_graph()
void clear_expand_reservoir_constraints()
bool has_linearization_level() const
bool find_multiple_cores() const
void clear_use_timetable_edge_finding_in_cumulative_constraint()
bool has_optimize_with_core() const
bool has_initial_variables_activity() const
void clear_max_sat_stratification()
bool lns_focus_on_decision_variables() const
static const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * FPRoundingMethod_descriptor()
Definition: sat_parameters.pb.h:822
static const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * Polarity_descriptor()
Definition: sat_parameters.pb.h:516
PROTOBUF_ATTRIBUTE_REINITIALIZES void Clear() final
void set_treat_binary_clauses_separately(bool value)
::PROTOBUF_NAMESPACE_ID::int32 presolve_bve_threshold() const
void clear_presolve_bve_threshold()
double clause_activity_decay() const
bool has_exploit_relaxation_solution() const
void clear_use_relaxation_lns()
void set_fill_tightened_domains_in_response(bool value)
static bool SearchBranching_Parse(::PROTOBUF_NAMESPACE_ID::ConstStringParam name, SearchBranching *value)
Definition: sat_parameters.pb.h:798
void clear_mip_wanted_precision()
void set_use_sat_inprocessing(bool value)
::PROTOBUF_NAMESPACE_ID::int32 polarity_rephase_increment() const
void clear_also_bump_variables_in_conflict_reasons()
void clear_max_deterministic_time()
void clear_keep_all_feasible_solutions_in_presolve()
bool has_cp_model_presolve() const
bool use_erwa_heuristic() const
void set_name(const char *value, size_t size)
bool permute_presolve_constraint_order() const
void clear_default_restart_algorithms()
void clear_variable_activity_decay()
bool has_use_feasibility_pump() const
void set_restart_period(::PROTOBUF_NAMESPACE_ID::int32 value)
void clear_use_combined_no_overlap()
bool has_max_cut_rounds_at_level_zero() const
::PROTOBUF_NAMESPACE_ID::int32 symmetry_level() const
bool has_convert_intervals() const
void clear_max_consecutive_inactive_count()
void clear_optimize_with_max_hs()
bool use_feasibility_pump() const
void set_interleave_batch_size(::PROTOBUF_NAMESPACE_ID::int32 value)
void set_clause_cleanup_ordering(::operations_research::sat::SatParameters_ClauseOrdering value)
void set_interleave_search(bool value)
void set_cp_model_probing_level(::PROTOBUF_NAMESPACE_ID::int32 value)
bool polish_lp_solution() const
bool has_exploit_best_solution() const
::PROTOBUF_NAMESPACE_ID::int32 cp_model_probing_level() const
bool has_presolve_extract_integer_enforcement() const
bool has_use_optional_variables() const
void set_polarity_rephase_increment(::PROTOBUF_NAMESPACE_ID::int32 value)
void set_minimize_with_propagation_num_decisions(::PROTOBUF_NAMESPACE_ID::int32 value)
void set_repair_hint(bool value)
double max_variable_activity_value() const
void set_add_lp_constraints_lazily(bool value)
void clear_binary_minimization_algorithm()
void clear_use_rins_lns()
void clear_use_implied_bounds()
std::string * release_default_restart_algorithms()
void clear_find_multiple_cores()
void set_restart_lbd_average_ratio(double value)
static const ::PROTOBUF_NAMESPACE_ID::Descriptor * descriptor()
Definition: sat_parameters.pb.h:379
bool has_diversify_lns_params() const
void set_auto_detect_greater_than_at_least_one_of(bool value)
void clear_count_assumption_levels_in_lbd()
bool has_max_integer_rounding_scaling() const
double restart_lbd_average_ratio() const
void clear_max_cut_rounds_at_level_zero()
bool has_random_seed() const
void set_minimize_reduction_during_pb_resolution(bool value)
bool has_cp_model_probing_level() const
void clear_use_precedences_in_disjunctive_constraint()
::PROTOBUF_NAMESPACE_ID::int32 restart_running_window_size() const
bool stop_after_first_solution() const
bool has_variable_activity_decay() const
::PROTOBUF_NAMESPACE_ID::int32 num_search_workers() const
void set_name(const std::string &value)
bool add_mir_cuts() const
void clear_exploit_all_lp_solution()
void clear_reduce_memory_usage_in_interleave_mode()
bool has_blocking_restart_multiplier() const
bool has_use_blocking_restart() const
void clear_max_number_of_conflicts()
void clear_glucose_max_decay()
bool has_presolve_bva_threshold() const
bool has_fill_logs_in_response() const
void set_presolve_bve_threshold(::PROTOBUF_NAMESPACE_ID::int32 value)
bool has_min_orthogonality_for_lp_constraints() const
bool has_restart_lbd_average_ratio() const
void set_add_clique_cuts(bool value)
void set_optimize_with_core(bool value)
bool use_pb_resolution() const
void clear_clause_cleanup_ordering()
void set_default_restart_algorithms(const char *value)
void clear_new_constraints_batch_size()
static bool MaxSatAssumptionOrder_IsValid(int value)
Definition: sat_parameters.pb.h:706
void set_default_restart_algorithms(const char *value, size_t size)
void clear_max_variable_activity_value()
::PROTOBUF_NAMESPACE_ID::int32 presolve_substitution_level() const
static bool BinaryMinizationAlgorithm_Parse(::PROTOBUF_NAMESPACE_ID::ConstStringParam name, BinaryMinizationAlgorithm *value)
Definition: sat_parameters.pb.h:596
bool has_preferred_variable_order() const
bool use_implied_bounds() const
void set_mip_automatically_scale_variables(bool value)
void set_also_bump_variables_in_conflict_reasons(bool value)
bool has_use_phase_saving() const
bool has_exploit_all_lp_solution() const
bool has_presolve_substitution_level() const
double mip_wanted_precision() const
void set_new_constraints_batch_size(::PROTOBUF_NAMESPACE_ID::int32 value)
bool has_new_constraints_batch_size() const
void clear_optimize_with_core()
void set_use_disjunctive_constraint_in_cumulative_constraint(bool value)
void set_max_memory_in_mb(::PROTOBUF_NAMESPACE_ID::int64 value)
void clear_expand_automaton_constraints()
bool has_use_branching_in_lp() const
void clear_binary_search_num_conflicts()
bool has_add_knapsack_cuts() const
bool has_mip_wanted_precision() const
bool has_reduce_memory_usage_in_interleave_mode() const
void set_reduce_memory_usage_in_interleave_mode(bool value)
bool keep_all_feasible_solutions_in_presolve() const
static bool ClauseProtection_IsValid(int value)
Definition: sat_parameters.pb.h:608
::operations_research::sat::SatParameters_Polarity initial_polarity() const
void clear_max_sat_assumption_order()
void set_expand_alldiff_constraints(bool value)
void clear_initial_polarity()
bool repair_hint() const
static const std::string & Polarity_Name(T enum_t_value)
Definition: sat_parameters.pb.h:520
void clear_mip_automatically_scale_variables()
void MergeFrom(const ::PROTOBUF_NAMESPACE_ID::Message &from) final
void clear_use_branching_in_lp()
::operations_research::sat::SatParameters_FPRoundingMethod fp_rounding() const
void clear_clause_activity_decay()
void set_expand_element_constraints(bool value)
bool has_default_restart_algorithms() const
static bool ConflictMinimizationAlgorithm_IsValid(int value)
Definition: sat_parameters.pb.h:540
void clear_name()
void set_max_num_cuts(::PROTOBUF_NAMESPACE_ID::int32 value)
void clear_add_mir_cuts()
bool has_also_bump_variables_in_conflict_reasons() const
void set_find_multiple_cores(bool value)
bool has_cut_active_count_decay() const
std::string * mutable_name()
void clear_exploit_best_solution()
void set_boolean_encoding_level(::PROTOBUF_NAMESPACE_ID::int32 value)
bool use_relaxation_lns() const
bool has_minimization_algorithm() const
void clear_exploit_relaxation_solution()
void set_permute_variable_randomly(bool value)
SatParameters & operator=(const SatParameters &from)
Definition: sat_parameters.pb.h:359
bool convert_intervals() const
bool has_only_add_cuts_at_level_zero() const
bool use_rins_lns() const
static const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * RestartAlgorithm_descriptor()
Definition: sat_parameters.pb.h:684
void clear_blocking_restart_multiplier()
bool expand_reservoir_constraints() const
bool has_cp_model_postsolve_with_full_solver() const
void clear_cp_model_probing_level()
void set_pseudo_cost_reliability_threshold(::PROTOBUF_NAMESPACE_ID::int64 value)
void set_cp_model_max_num_presolve_operations(::PROTOBUF_NAMESPACE_ID::int32 value)
bool has_auto_detect_greater_than_at_least_one_of() const
bool has_num_search_workers() const
void set_cp_model_postsolve_with_full_solver(bool value)
bool use_precedences_in_disjunctive_constraint() const
std::string * release_name()
bool has_max_consecutive_inactive_count() const
bool treat_binary_clauses_separately() const
virtual ~SatParameters()
::operations_research::sat::SatParameters_ClauseProtection clause_cleanup_protection() const
::operations_research::sat::SatParameters_SearchBranching search_branching() const
bool has_use_timetable_edge_finding_in_cumulative_constraint() const
bool has_use_relaxation_lns() const
void clear_use_sat_inprocessing()
double blocking_restart_multiplier() const
bool has_clause_cleanup_lbd_bound() const
SatParameters(SatParameters &&from) noexcept
Definition: sat_parameters.pb.h:354
static bool MaxSatStratificationAlgorithm_IsValid(int value)
Definition: sat_parameters.pb.h:738
SatParameters_Polarity Polarity
Definition: sat_parameters.pb.h:495
bool has_max_number_of_conflicts() const
bool has_max_presolve_iterations() const
void set_max_integer_rounding_scaling(::PROTOBUF_NAMESPACE_ID::int32 value)
bool has_restart_dl_average_ratio() const
void set_minimize_core(bool value)
void clear_use_optional_variables()
void clear_use_exact_lp_reason()
bool has_treat_binary_clauses_separately() const
double glucose_max_decay() const
bool expand_automaton_constraints() const
void set_use_blocking_restart(bool value)
bool has_use_disjunctive_constraint_in_cumulative_constraint() const
void clear_clause_cleanup_lbd_bound()
bool presolve_blocked_clause() const
void clear_linearization_level()
bool reduce_memory_usage_in_interleave_mode() const
void set_relative_gap_limit(double value)
::PROTOBUF_NAMESPACE_ID::int32 max_all_diff_cut_size() const
bool has_blocking_restart_window_size() const
::PROTOBUF_NAMESPACE_ID::int32 max_num_cuts() const
void set_permute_presolve_constraint_order(bool value)
double relative_gap_limit() const
static bool MaxSatAssumptionOrder_Parse(::PROTOBUF_NAMESPACE_ID::ConstStringParam name, MaxSatAssumptionOrder *value)
Definition: sat_parameters.pb.h:726
bool minimize_reduction_during_pb_resolution() const
bool catch_sigint_signal() const
void clear_only_add_cuts_at_level_zero()
bool expand_alldiff_constraints() const
::PROTOBUF_NAMESPACE_ID::int32 linearization_level() const
static bool ClauseOrdering_Parse(::PROTOBUF_NAMESPACE_ID::ConstStringParam name, ClauseOrdering *value)
Definition: sat_parameters.pb.h:658
bool use_combined_no_overlap() const
void clear_add_lin_max_cuts()
void set_strategy_change_increase_ratio(double value)
void clear_mip_max_bound()
void clear_clause_cleanup_protection()
void clear_use_lns_only()
void set_cp_model_presolve(bool value)
void set_max_presolve_iterations(::PROTOBUF_NAMESPACE_ID::int32 value)
bool has_clause_cleanup_protection() const
void set_exploit_objective(bool value)
::PROTOBUF_NAMESPACE_ID::int32 mip_max_activity_exponent() const
bool has_presolve_bve_clause_weight() const
void set_use_rins_lns(bool value)
void clear_use_blocking_restart()
bool has_pseudo_cost_reliability_threshold() const
bool use_sat_inprocessing() const
static bool VariableOrder_IsValid(int value)
Definition: sat_parameters.pb.h:470
double variable_activity_decay() const
void clear_clause_cleanup_period()
bool has_hint_conflict_limit() const
double presolve_probing_deterministic_time_limit() const
void clear_mip_check_precision()
bool has_clause_cleanup_ordering() const
void clear_num_search_workers()
bool has_cp_model_max_num_presolve_operations() const
bool has_cover_optimization() const
void clear_presolve_bve_clause_weight()
bool has_use_pb_resolution() const
static bool Polarity_Parse(::PROTOBUF_NAMESPACE_ID::ConstStringParam name, Polarity *value)
Definition: sat_parameters.pb.h:526
bool has_presolve_bve_threshold() const
void set_use_exact_lp_reason(bool value)
SatParameters_MaxSatStratificationAlgorithm MaxSatStratificationAlgorithm
Definition: sat_parameters.pb.h:731
bool has_disable_constraint_expansion() const
void CopyFrom(const SatParameters &from)
SatParameters & operator=(SatParameters &&from) noexcept
Definition: sat_parameters.pb.h:363
void set_use_overload_checker_in_cumulative_constraint(bool value)
void set_clause_cleanup_target(::PROTOBUF_NAMESPACE_ID::int32 value)
bool has_search_branching() const
bool has_stop_after_first_solution() const
void set_cover_optimization(bool value)
std::string * mutable_default_restart_algorithms()
bool has_use_erwa_heuristic() const
static bool ConflictMinimizationAlgorithm_Parse(::PROTOBUF_NAMESPACE_ID::ConstStringParam name, ConflictMinimizationAlgorithm *value)
Definition: sat_parameters.pb.h:560
void clear_exploit_objective()
bool has_boolean_encoding_level() const
static const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * ConflictMinimizationAlgorithm_descriptor()
Definition: sat_parameters.pb.h:550
bool share_objective_bounds() const
void clear_max_all_diff_cut_size()
void set_max_number_of_conflicts(::PROTOBUF_NAMESPACE_ID::int64 value)
void clear_auto_detect_greater_than_at_least_one_of()
bool has_merge_at_most_one_work_limit() const
::PROTOBUF_NAMESPACE_ID::RepeatedField< int > * mutable_restart_algorithms()
void clear_use_pb_resolution()
void clear_stop_after_presolve()
void clear_randomize_search()
bool has_minimize_with_propagation_restart_period() const
void set_only_add_cuts_at_level_zero(bool value)
void set_min_orthogonality_for_lp_constraints(double value)
bool cover_optimization() const
bool use_branching_in_lp() const
void clear_strategy_change_increase_ratio()
void set_search_randomization_tolerance(::PROTOBUF_NAMESPACE_ID::int64 value)
bool has_add_lin_max_cuts() const
void set_merge_at_most_one_work_limit(double value)
void set_polish_lp_solution(bool value)
static bool FPRoundingMethod_IsValid(int value)
Definition: sat_parameters.pb.h:812
static bool Polarity_IsValid(int value)
Definition: sat_parameters.pb.h:506
SatParameters_BinaryMinizationAlgorithm BinaryMinizationAlgorithm
Definition: sat_parameters.pb.h:565
void set_binary_search_num_conflicts(::PROTOBUF_NAMESPACE_ID::int32 value)
void clear_clause_cleanup_target()
void clear_expand_alldiff_constraints()
double merge_at_most_one_work_limit() const
void set_linearization_level(::PROTOBUF_NAMESPACE_ID::int32 value)
void clear_minimization_algorithm()
static const std::string & ClauseProtection_Name(T enum_t_value)
Definition: sat_parameters.pb.h:622
void set_blocking_restart_window_size(::PROTOBUF_NAMESPACE_ID::int32 value)
::PROTOBUF_NAMESPACE_ID::int32 restart_period() const
void set_preferred_variable_order(::operations_research::sat::SatParameters_VariableOrder value)
void clear_cut_cleanup_target()
bool has_clause_cleanup_period() const
bool has_clause_cleanup_target() const
void set_presolve_substitution_level(::PROTOBUF_NAMESPACE_ID::int32 value)
bool has_name() const
bool use_overload_checker_in_cumulative_constraint() const
::operations_research::sat::SatParameters_MaxSatStratificationAlgorithm max_sat_stratification() const
bool has_catch_sigint_signal() const
void set_pb_cleanup_increment(::PROTOBUF_NAMESPACE_ID::int32 value)
void set_diversify_lns_params(bool value)
void clear_merge_at_most_one_work_limit()
void set_use_optimization_hints(bool value)
void set_presolve_bva_threshold(::PROTOBUF_NAMESPACE_ID::int32 value)
bool has_exploit_integer_lp_solution() const
static const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * MaxSatStratificationAlgorithm_descriptor()
Definition: sat_parameters.pb.h:748
static const std::string & MaxSatStratificationAlgorithm_Name(T enum_t_value)
Definition: sat_parameters.pb.h:752
void clear_random_seed()
bool has_use_absl_random() const
void set_stop_after_first_solution(bool value)
SatParameters * New(::PROTOBUF_NAMESPACE_ID::Arena *arena) const final
Definition: sat_parameters.pb.h:420
void clear_preferred_variable_order()
static const std::string & FPRoundingMethod_Name(T enum_t_value)
Definition: sat_parameters.pb.h:826
bool has_polish_lp_solution() const
bool has_max_variable_activity_value() const
void CopyFrom(const ::PROTOBUF_NAMESPACE_ID::Message &from) final
bool has_keep_all_feasible_solutions_in_presolve() const
void set_max_deterministic_time(double value)
void clear_glucose_decay_increment_period()
void set_random_branches_ratio(double value)
bool has_expand_table_constraints() const
void set_mip_check_precision(double value)
bool has_presolve_probing_deterministic_time_limit() const
bool expand_element_constraints() const
void UnsafeArenaSwap(SatParameters *other)
Definition: sat_parameters.pb.h:408
bool has_lns_focus_on_decision_variables() const
void set_max_sat_assumption_order(::operations_research::sat::SatParameters_MaxSatAssumptionOrder value)
bool has_restart_running_window_size() const
void set_glucose_max_decay(double value)
void set_glucose_decay_increment(double value)
::PROTOBUF_NAMESPACE_ID::int32 max_consecutive_inactive_count() const
void set_mip_wanted_precision(double value)
bool has_fp_rounding() const
bool has_add_clique_cuts() const
void clear_expand_table_constraints()
bool exploit_best_solution() const
double cut_max_active_count_value() const
bool has_expand_alldiff_constraints() const
bool has_repair_hint() const
::PROTOBUF_NAMESPACE_ID::int64 max_memory_in_mb() const
void set_minimization_algorithm(::operations_research::sat::SatParameters_ConflictMinimizationAlgorithm value)
void set_clause_activity_decay(double value)
void set_optimize_with_max_hs(bool value)
bool fill_logs_in_response() const
bool use_phase_saving() const
::PROTOBUF_NAMESPACE_ID::int32 num_conflicts_before_strategy_changes() const
void set_expand_automaton_constraints(bool value)
::PROTOBUF_NAMESPACE_ID::int32 pb_cleanup_increment() const
::operations_research::sat::SatParameters_ClauseOrdering clause_cleanup_ordering() const
void set_max_clause_activity_value(double value)
void set_blocking_restart_multiplier(double value)
bool mip_automatically_scale_variables() const
void clear_max_integer_rounding_scaling()
void clear_lns_focus_on_decision_variables()
bool has_random_branches_ratio() const
bool has_minimize_reduction_during_pb_resolution() const
bool use_disjunctive_constraint_in_cumulative_constraint() const
void set_enumerate_all_solutions(bool value)
void set_pb_cleanup_ratio(double value)
void clear_share_level_zero_bounds()
bool has_max_time_in_seconds() const
::operations_research::sat::SatParameters_ConflictMinimizationAlgorithm minimization_algorithm() const
bool add_lin_max_cuts() const
void set_randomize_search(bool value)
void set_stop_after_presolve(bool value)
bool cp_model_presolve() const
bool fill_tightened_domains_in_response() const
void set_max_sat_reverse_assumption_order(bool value)
bool exploit_integer_lp_solution() const
bool has_optimize_with_max_hs() const
void clear_cover_optimization()
bool expand_table_constraints() const
void clear_expand_element_constraints()
SatParameters_ClauseProtection ClauseProtection
Definition: sat_parameters.pb.h:601
void set_lns_focus_on_decision_variables(bool value)
::PROTOBUF_NAMESPACE_ID::int32 new_constraints_batch_size() const
void set_variable_activity_decay(double value)
void set_presolve_blocked_clause(bool value)
static const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * ClauseOrdering_descriptor()
Definition: sat_parameters.pb.h:648
bool has_max_sat_reverse_assumption_order() const
::PROTOBUF_NAMESPACE_ID::int32 clause_cleanup_lbd_bound() const
void set_random_seed(::PROTOBUF_NAMESPACE_ID::int32 value)
bool lns_expand_intervals_in_constraint_graph() const
void clear_diversify_lns_params()
void clear_presolve_extract_integer_enforcement()
void set_use_implied_bounds(bool value)
bool has_subsumption_during_conflict_analysis() const
void clear_minimize_core()
bool use_absl_random() const
double glucose_decay_increment() const
bool use_timetable_edge_finding_in_cumulative_constraint() const
bool has_minimize_with_propagation_num_decisions() const
void clear_hint_conflict_limit()
void clear_treat_binary_clauses_separately()
bool has_enumerate_all_solutions() const
::PROTOBUF_NAMESPACE_ID::int32 minimize_with_propagation_num_decisions() const
void clear_log_search_progress()
static bool RestartAlgorithm_IsValid(int value)
Definition: sat_parameters.pb.h:674
bool has_permute_variable_randomly() const
static const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * MaxSatAssumptionOrder_descriptor()
Definition: sat_parameters.pb.h:716
SatParameters_VariableOrder VariableOrder
Definition: sat_parameters.pb.h:463
double cut_active_count_decay() const
void clear_use_disjunctive_constraint_in_cumulative_constraint()
void set_disable_constraint_expansion(bool value)
void clear_add_cg_cuts()
void clear_pb_cleanup_increment()
static const std::string & BinaryMinizationAlgorithm_Name(T enum_t_value)
Definition: sat_parameters.pb.h:590
inline ::PROTOBUF_NAMESPACE_ID::UnknownFieldSet * mutable_unknown_fields()
Definition: sat_parameters.pb.h:375
bool add_cg_cuts() const
void Swap(SatParameters *other)
Definition: sat_parameters.pb.h:400
double mip_var_scaling() const
void set_probing_period_at_root(::PROTOBUF_NAMESPACE_ID::int64 value)
void clear_exploit_integer_lp_solution()
bool add_clique_cuts() const
void clear_use_feasibility_pump()
SatParameters_ConflictMinimizationAlgorithm ConflictMinimizationAlgorithm
Definition: sat_parameters.pb.h:531
bool has_share_level_zero_bounds() const
::PROTOBUF_NAMESPACE_ID::int64 max_number_of_conflicts() const
bool instantiate_all_variables() const
bool has_pb_cleanup_ratio() const
void set_instantiate_all_variables(bool value)
void clear_share_objective_bounds()
bool add_zero_half_cuts() const
void clear_restart_running_window_size()
void set_log_search_progress(bool value)
bool has_relative_gap_limit() const
void clear_restart_lbd_average_ratio()
void clear_cut_max_active_count_value()
void set_clause_cleanup_period(::PROTOBUF_NAMESPACE_ID::int32 value)
bool has_max_deterministic_time() const
bool has_expand_reservoir_constraints() const
void set_exploit_best_solution(bool value)
void set_symmetry_level(::PROTOBUF_NAMESPACE_ID::int32 value)
static bool SearchBranching_IsValid(int value)
Definition: sat_parameters.pb.h:778
bool add_lp_constraints_lazily() const
void clear_max_sat_reverse_assumption_order()
void clear_use_phase_saving()
void set_cut_max_active_count_value(double value)
void set_exploit_relaxation_solution(bool value)
bool presolve_extract_integer_enforcement() const
bool auto_detect_greater_than_at_least_one_of() const
bool has_stop_after_presolve() const
void clear_presolve_use_bva()
void set_keep_all_feasible_solutions_in_presolve(bool value)
::PROTOBUF_NAMESPACE_ID::int32 random_seed() const
void clear_use_probing_search()
void set_clause_cleanup_lbd_bound(::PROTOBUF_NAMESPACE_ID::int32 value)
void set_binary_minimization_algorithm(::operations_research::sat::SatParameters_BinaryMinizationAlgorithm value)
bool has_absolute_gap_limit() const
void clear_mip_max_activity_exponent()
void clear_relative_gap_limit()
bool has_interleave_batch_size() const
bool has_use_combined_no_overlap() const
bool has_search_randomization_tolerance() const
void clear_max_time_in_seconds()
void clear_fill_logs_in_response()
bool has_glucose_max_decay() const
double absolute_gap_limit() const
static const std::string & MaxSatAssumptionOrder_Name(T enum_t_value)
Definition: sat_parameters.pb.h:720
::PROTOBUF_NAMESPACE_ID::int64 pseudo_cost_reliability_threshold() const
bool use_exact_lp_reason() const
static bool MaxSatStratificationAlgorithm_Parse(::PROTOBUF_NAMESPACE_ID::ConstStringParam name, MaxSatStratificationAlgorithm *value)
Definition: sat_parameters.pb.h:758
SatParameters * New() const final
Definition: sat_parameters.pb.h:416
void clear_stop_after_first_solution()
void clear_add_knapsack_cuts()
void set_expand_reservoir_constraints(bool value)
void set_hint_conflict_limit(::PROTOBUF_NAMESPACE_ID::int32 value)
::PROTOBUF_NAMESPACE_ID::Metadata GetMetadata() const final
bool has_use_lns_only() const
bool use_probing_search() const
void clear_fill_tightened_domains_in_response()
void clear_presolve_substitution_level()
bool has_max_sat_stratification() const
bool has_minimize_core() const
void clear_fp_rounding()
bool has_presolve_use_bva() const
void set_presolve_bve_clause_weight(::PROTOBUF_NAMESPACE_ID::int32 value)
bool stop_after_presolve() const
SatParameters(const SatParameters &from)
void set_lns_expand_intervals_in_constraint_graph(bool value)
double max_time_in_seconds() const
static const ::PROTOBUF_NAMESPACE_ID::Descriptor * GetDescriptor()
Definition: sat_parameters.pb.h:382
bool has_initial_polarity() const
void set_convert_intervals(bool value)
void clear_repair_hint()
::PROTOBUF_NAMESPACE_ID::int32 binary_search_num_conflicts() const
void set_add_zero_half_cuts(bool value)
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< int > & restart_algorithms() const
void clear_cp_model_postsolve_with_full_solver()
void clear_cp_model_use_sat_presolve()
void set_restart_running_window_size(::PROTOBUF_NAMESPACE_ID::int32 value)
::PROTOBUF_NAMESPACE_ID::int32 clause_cleanup_period() const
void set_use_probing_search(bool value)
static bool RestartAlgorithm_Parse(::PROTOBUF_NAMESPACE_ID::ConstStringParam name, RestartAlgorithm *value)
Definition: sat_parameters.pb.h:694
void set_exploit_integer_lp_solution(bool value)
::PROTOBUF_NAMESPACE_ID::int32 max_integer_rounding_scaling() const
SatParameters_RestartAlgorithm RestartAlgorithm
Definition: sat_parameters.pb.h:663
static const std::string & RestartAlgorithm_Name(T enum_t_value)
Definition: sat_parameters.pb.h:688
void set_presolve_use_bva(bool value)
bool use_blocking_restart() const
double initial_variables_activity() const
double mip_max_bound() const
void clear_add_clique_cuts()
void clear_restart_period()
void set_merge_no_overlap_work_limit(double value)
void clear_add_lp_constraints_lazily()
void clear_random_polarity_ratio()
double random_branches_ratio() const
bool has_use_overload_checker_in_cumulative_constraint() const
void clear_max_memory_in_mb()
bool has_count_assumption_levels_in_lbd() const
static const std::string & ConflictMinimizationAlgorithm_Name(T enum_t_value)
Definition: sat_parameters.pb.h:554
::PROTOBUF_NAMESPACE_ID::int64 search_randomization_tolerance() const
bool has_symmetry_level() const
void clear_random_branches_ratio()
void set_add_cg_cuts(bool value)
double pb_cleanup_ratio() const
bool has_mip_max_activity_exponent() const
void clear_mip_var_scaling()
bool has_log_search_progress() const
static bool FPRoundingMethod_Parse(::PROTOBUF_NAMESPACE_ID::ConstStringParam name, FPRoundingMethod *value)
Definition: sat_parameters.pb.h:832
void clear_probing_period_at_root()
static const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * SearchBranching_descriptor()
Definition: sat_parameters.pb.h:788
bool exploit_objective() const
bool presolve_use_bva() const
void clear_blocking_restart_window_size()
void set_add_lin_max_cuts(bool value)
bool has_fill_tightened_domains_in_response() const
static bool BinaryMinizationAlgorithm_IsValid(int value)
Definition: sat_parameters.pb.h:576
bool has_randomize_search() const
int restart_algorithms_size() const
bool has_cut_max_active_count_value() const
::PROTOBUF_NAMESPACE_ID::int32 blocking_restart_window_size() const
::PROTOBUF_NAMESPACE_ID::int32 glucose_decay_increment_period() const
void set_max_time_in_seconds(double value)
bool has_use_probing_search() const
bool has_polarity_rephase_increment() const
const std::string & name() const
void set_count_assumption_levels_in_lbd(bool value)
bool has_use_precedences_in_disjunctive_constraint() const
::operations_research::sat::SatParameters_BinaryMinizationAlgorithm binary_minimization_algorithm() const
void set_cut_cleanup_target(::PROTOBUF_NAMESPACE_ID::int32 value)
void clear_search_randomization_tolerance()
SatParameters_MaxSatAssumptionOrder MaxSatAssumptionOrder
Definition: sat_parameters.pb.h:699
bool has_clause_activity_decay() const
static const SatParameters * internal_default_instance()
Definition: sat_parameters.pb.h:390
void set_initial_variables_activity(double value)
void clear_subsumption_during_conflict_analysis()
void clear_minimize_with_propagation_restart_period()
void clear_use_overload_checker_in_cumulative_constraint()
bool has_mip_check_precision() const
void set_name(const char *value)
void set_name(std::string &&value)
double min_orthogonality_for_lp_constraints() const
double random_polarity_ratio() const
::PROTOBUF_NAMESPACE_ID::int32 boolean_encoding_level() const
bool has_use_exact_lp_reason() const
static const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * BinaryMinizationAlgorithm_descriptor()
Definition: sat_parameters.pb.h:586
bool max_sat_reverse_assumption_order() const
void set_use_combined_no_overlap(bool value)
bool has_use_sat_inprocessing() const
bool has_expand_automaton_constraints() const
bool has_presolve_blocked_clause() const
void set_expand_table_constraints(bool value)
void set_use_pb_resolution(bool value)
void set_default_restart_algorithms(std::string &&value)
void set_use_phase_saving(bool value)
bool optimize_with_max_hs() const
bool has_lns_expand_intervals_in_constraint_graph() const
void set_fp_rounding(::operations_research::sat::SatParameters_FPRoundingMethod value)
::PROTOBUF_NAMESPACE_ID::int32 cp_model_max_num_presolve_operations() const
void set_use_erwa_heuristic(bool value)
void clear_use_optimization_hints()
bool has_max_all_diff_cut_size() const
::PROTOBUF_NAMESPACE_ID::int32 minimize_with_propagation_restart_period() const
bool randomize_search() const
static bool ClauseProtection_Parse(::PROTOBUF_NAMESPACE_ID::ConstStringParam name, ClauseProtection *value)
Definition: sat_parameters.pb.h:628
void set_max_sat_stratification(::operations_research::sat::SatParameters_MaxSatStratificationAlgorithm value)
void clear_convert_intervals()
::PROTOBUF_NAMESPACE_ID::int32 cut_cleanup_target() const
void clear_boolean_encoding_level()
bool has_use_rins_lns() const
bool cp_model_postsolve_with_full_solver() const
bool permute_variable_randomly() const
void clear_restart_dl_average_ratio()
void clear_max_presolve_iterations()
void clear_presolve_bva_threshold()
void clear_instantiate_all_variables()
::PROTOBUF_NAMESPACE_ID::int32 max_cut_rounds_at_level_zero() const
void clear_pb_cleanup_ratio()
void set_allocated_name(std::string *name)
void set_presolve_extract_integer_enforcement(bool value)
void set_add_knapsack_cuts(bool value)
bool has_max_sat_assumption_order() const
bool has_pb_cleanup_increment() const
bool only_add_cuts_at_level_zero() const
bool has_random_polarity_ratio() const
SatParameters_ClauseOrdering ClauseOrdering
Definition: sat_parameters.pb.h:633
void clear_absolute_gap_limit()
void set_use_optional_variables(bool value)
bool has_add_zero_half_cuts() const
bool exploit_relaxation_solution() const
bool has_mip_automatically_scale_variables() const
void set_subsumption_during_conflict_analysis(bool value)
bool has_mip_max_bound() const
bool has_add_mir_cuts() const
void set_mip_max_bound(double value)
void clear_permute_presolve_constraint_order()
void clear_symmetry_level()
void set_allocated_default_restart_algorithms(std::string *default_restart_algorithms)
void clear_use_erwa_heuristic()
::PROTOBUF_NAMESPACE_ID::int64 probing_period_at_root() const
static const SatParameters & default_instance()
void clear_enumerate_all_solutions()
void clear_interleave_search()
bool use_optional_variables() const
static const std::string & ClauseOrdering_Name(T enum_t_value)
Definition: sat_parameters.pb.h:652
::PROTOBUF_NAMESPACE_ID::int32 clause_cleanup_target() const
void set_default_restart_algorithms(const std::string &value)
void clear_cut_active_count_decay()
void set_presolve_probing_deterministic_time_limit(double value)
void set_cp_model_use_sat_presolve(bool value)
void clear_cp_model_max_num_presolve_operations()
bool has_cut_cleanup_target() const
void clear_glucose_decay_increment()
bool disable_constraint_expansion() const
void set_num_conflicts_before_strategy_changes(::PROTOBUF_NAMESPACE_ID::int32 value)
::PROTOBUF_NAMESPACE_ID::int32 presolve_bva_threshold() const
void set_max_all_diff_cut_size(::PROTOBUF_NAMESPACE_ID::int32 value)
::PROTOBUF_NAMESPACE_ID::int32 hint_conflict_limit() const
::PROTOBUF_NAMESPACE_ID::int32 max_presolve_iterations() const
const ::PROTOBUF_NAMESPACE_ID::UnknownFieldSet & unknown_fields() const
Definition: sat_parameters.pb.h:372
static bool VariableOrder_Parse(::PROTOBUF_NAMESPACE_ID::ConstStringParam name, VariableOrder *value)
Definition: sat_parameters.pb.h:490
void clear_min_orthogonality_for_lp_constraints()
void set_glucose_decay_increment_period(::PROTOBUF_NAMESPACE_ID::int32 value)
void set_fill_logs_in_response(bool value)
void set_share_objective_bounds(bool value)
void clear_search_branching()
bool add_knapsack_cuts() const
void set_max_consecutive_inactive_count(::PROTOBUF_NAMESPACE_ID::int32 value)
bool share_level_zero_bounds() const
void clear_num_conflicts_before_strategy_changes()
::operations_research::sat::SatParameters_MaxSatAssumptionOrder max_sat_assumption_order() const
double restart_dl_average_ratio() const
void clear_minimize_with_propagation_num_decisions()
bool has_expand_element_constraints() const
void clear_interleave_batch_size()
::operations_research::sat::SatParameters_RestartAlgorithm restart_algorithms(int index) const
void set_absolute_gap_limit(double value)
void set_num_search_workers(::PROTOBUF_NAMESPACE_ID::int32 value)
void set_share_level_zero_bounds(bool value)
void clear_disable_constraint_expansion()
bool has_use_optimization_hints() const
void clear_minimize_reduction_during_pb_resolution()
void set_clause_cleanup_protection(::operations_research::sat::SatParameters_ClauseProtection value)
void clear_permute_variable_randomly()
bool has_add_lp_constraints_lazily() const
void set_max_cut_rounds_at_level_zero(::PROTOBUF_NAMESPACE_ID::int32 value)
void clear_polarity_rephase_increment()
bool diversify_lns_params() const
bool has_strategy_change_increase_ratio() const
bool count_assumption_levels_in_lbd() const
Definition: boolean_problem.pb.h:38
constexpr int SatParameters_ClauseOrdering_ClauseOrdering_ARRAYSIZE
Definition: sat_parameters.pb.h:202
constexpr SatParameters_ClauseOrdering SatParameters_ClauseOrdering_ClauseOrdering_MIN
Definition: sat_parameters.pb.h:200
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * SatParameters_SearchBranching_descriptor()
constexpr SatParameters_ClauseProtection SatParameters_ClauseProtection_ClauseProtection_MAX
Definition: sat_parameters.pb.h:178
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * SatParameters_VariableOrder_descriptor()
bool SatParameters_RestartAlgorithm_Parse(::PROTOBUF_NAMESPACE_ID::ConstStringParam name, SatParameters_RestartAlgorithm *value)
Definition: sat_parameters.pb.h:239
constexpr int SatParameters_ClauseProtection_ClauseProtection_ARRAYSIZE
Definition: sat_parameters.pb.h:179
bool SatParameters_Polarity_Parse(::PROTOBUF_NAMESPACE_ID::ConstStringParam name, SatParameters_Polarity *value)
Definition: sat_parameters.pb.h:115
SatParameters_SearchBranching
Definition: sat_parameters.pb.h:292
@ SatParameters_SearchBranching_PORTFOLIO_SEARCH
Definition: sat_parameters.pb.h:295
@ SatParameters_SearchBranching_HINT_SEARCH
Definition: sat_parameters.pb.h:299
@ SatParameters_SearchBranching_PSEUDO_COST_SEARCH
Definition: sat_parameters.pb.h:297
@ SatParameters_SearchBranching_FIXED_SEARCH
Definition: sat_parameters.pb.h:294
@ SatParameters_SearchBranching_PORTFOLIO_WITH_QUICK_RESTART_SEARCH
Definition: sat_parameters.pb.h:298
@ SatParameters_SearchBranching_AUTOMATIC_SEARCH
Definition: sat_parameters.pb.h:293
@ SatParameters_SearchBranching_LP_SEARCH
Definition: sat_parameters.pb.h:296
SatParameters_FPRoundingMethod
Definition: sat_parameters.pb.h:320
@ SatParameters_FPRoundingMethod_ACTIVE_LOCK_BASED
Definition: sat_parameters.pb.h:323
@ SatParameters_FPRoundingMethod_NEAREST_INTEGER
Definition: sat_parameters.pb.h:321
@ SatParameters_FPRoundingMethod_PROPAGATION_ASSISTED
Definition: sat_parameters.pb.h:324
@ SatParameters_FPRoundingMethod_LOCK_BASED
Definition: sat_parameters.pb.h:322
bool SatParameters_ClauseProtection_Parse(::PROTOBUF_NAMESPACE_ID::ConstStringParam name, SatParameters_ClauseProtection *value)
Definition: sat_parameters.pb.h:190
SatParametersDefaultTypeInternal _SatParameters_default_instance_
bool SatParameters_MaxSatStratificationAlgorithm_Parse(::PROTOBUF_NAMESPACE_ID::ConstStringParam name, SatParameters_MaxSatStratificationAlgorithm *value)
Definition: sat_parameters.pb.h:287
constexpr SatParameters_MaxSatAssumptionOrder SatParameters_MaxSatAssumptionOrder_MaxSatAssumptionOrder_MAX
Definition: sat_parameters.pb.h:251
const std::string & SatParameters_FPRoundingMethod_Name(T enum_t_value)
Definition: sat_parameters.pb.h:333
SatParameters_ConflictMinimizationAlgorithm
Definition: sat_parameters.pb.h:120
@ SatParameters_ConflictMinimizationAlgorithm_SIMPLE
Definition: sat_parameters.pb.h:122
@ SatParameters_ConflictMinimizationAlgorithm_EXPERIMENTAL
Definition: sat_parameters.pb.h:124
@ SatParameters_ConflictMinimizationAlgorithm_NONE
Definition: sat_parameters.pb.h:121
@ SatParameters_ConflictMinimizationAlgorithm_RECURSIVE
Definition: sat_parameters.pb.h:123
constexpr SatParameters_ClauseProtection SatParameters_ClauseProtection_ClauseProtection_MIN
Definition: sat_parameters.pb.h:177
bool SatParameters_FPRoundingMethod_IsValid(int value)
constexpr int SatParameters_SearchBranching_SearchBranching_ARRAYSIZE
Definition: sat_parameters.pb.h:304
const std::string & SatParameters_RestartAlgorithm_Name(T enum_t_value)
Definition: sat_parameters.pb.h:232
constexpr SatParameters_Polarity SatParameters_Polarity_Polarity_MAX
Definition: sat_parameters.pb.h:103
SatParameters_ClauseOrdering
Definition: sat_parameters.pb.h:195
@ SatParameters_ClauseOrdering_CLAUSE_LBD
Definition: sat_parameters.pb.h:197
@ SatParameters_ClauseOrdering_CLAUSE_ACTIVITY
Definition: sat_parameters.pb.h:196
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * SatParameters_Polarity_descriptor()
bool SatParameters_BinaryMinizationAlgorithm_IsValid(int value)
constexpr int SatParameters_RestartAlgorithm_RestartAlgorithm_ARRAYSIZE
Definition: sat_parameters.pb.h:228
bool SatParameters_MaxSatAssumptionOrder_IsValid(int value)
constexpr SatParameters_BinaryMinizationAlgorithm SatParameters_BinaryMinizationAlgorithm_BinaryMinizationAlgorithm_MAX
Definition: sat_parameters.pb.h:154
constexpr SatParameters_VariableOrder SatParameters_VariableOrder_VariableOrder_MIN
Definition: sat_parameters.pb.h:76
bool SatParameters_Polarity_IsValid(int value)
bool SatParameters_BinaryMinizationAlgorithm_Parse(::PROTOBUF_NAMESPACE_ID::ConstStringParam name, SatParameters_BinaryMinizationAlgorithm *value)
Definition: sat_parameters.pb.h:166
constexpr SatParameters_VariableOrder SatParameters_VariableOrder_VariableOrder_MAX
Definition: sat_parameters.pb.h:77
constexpr SatParameters_ConflictMinimizationAlgorithm SatParameters_ConflictMinimizationAlgorithm_ConflictMinimizationAlgorithm_MIN
Definition: sat_parameters.pb.h:127
bool SatParameters_MaxSatStratificationAlgorithm_IsValid(int value)
bool SatParameters_ClauseOrdering_Parse(::PROTOBUF_NAMESPACE_ID::ConstStringParam name, SatParameters_ClauseOrdering *value)
Definition: sat_parameters.pb.h:213
constexpr SatParameters_Polarity SatParameters_Polarity_Polarity_MIN
Definition: sat_parameters.pb.h:102
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * SatParameters_ClauseOrdering_descriptor()
bool SatParameters_VariableOrder_IsValid(int value)
SatParameters_VariableOrder
Definition: sat_parameters.pb.h:70
@ SatParameters_VariableOrder_IN_RANDOM_ORDER
Definition: sat_parameters.pb.h:73
@ SatParameters_VariableOrder_IN_ORDER
Definition: sat_parameters.pb.h:71
@ SatParameters_VariableOrder_IN_REVERSE_ORDER
Definition: sat_parameters.pb.h:72
const std::string & SatParameters_MaxSatStratificationAlgorithm_Name(T enum_t_value)
Definition: sat_parameters.pb.h:280
SatParameters_BinaryMinizationAlgorithm
Definition: sat_parameters.pb.h:145
@ SatParameters_BinaryMinizationAlgorithm_EXPERIMENTAL_BINARY_MINIMIZATION
Definition: sat_parameters.pb.h:150
@ SatParameters_BinaryMinizationAlgorithm_BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION
Definition: sat_parameters.pb.h:148
@ SatParameters_BinaryMinizationAlgorithm_BINARY_MINIMIZATION_WITH_REACHABILITY
Definition: sat_parameters.pb.h:149
@ SatParameters_BinaryMinizationAlgorithm_BINARY_MINIMIZATION_FIRST
Definition: sat_parameters.pb.h:147
@ SatParameters_BinaryMinizationAlgorithm_NO_BINARY_MINIMIZATION
Definition: sat_parameters.pb.h:146
constexpr SatParameters_FPRoundingMethod SatParameters_FPRoundingMethod_FPRoundingMethod_MIN
Definition: sat_parameters.pb.h:327
const std::string & SatParameters_ClauseOrdering_Name(T enum_t_value)
Definition: sat_parameters.pb.h:206
constexpr SatParameters_MaxSatStratificationAlgorithm SatParameters_MaxSatStratificationAlgorithm_MaxSatStratificationAlgorithm_MAX
Definition: sat_parameters.pb.h:275
SatParameters_MaxSatAssumptionOrder
Definition: sat_parameters.pb.h:244
@ SatParameters_MaxSatAssumptionOrder_ORDER_ASSUMPTION_BY_WEIGHT
Definition: sat_parameters.pb.h:247
@ SatParameters_MaxSatAssumptionOrder_DEFAULT_ASSUMPTION_ORDER
Definition: sat_parameters.pb.h:245
@ SatParameters_MaxSatAssumptionOrder_ORDER_ASSUMPTION_BY_DEPTH
Definition: sat_parameters.pb.h:246
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * SatParameters_ConflictMinimizationAlgorithm_descriptor()
constexpr SatParameters_FPRoundingMethod SatParameters_FPRoundingMethod_FPRoundingMethod_MAX
Definition: sat_parameters.pb.h:328
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * SatParameters_BinaryMinizationAlgorithm_descriptor()
bool SatParameters_SearchBranching_IsValid(int value)
bool SatParameters_ConflictMinimizationAlgorithm_IsValid(int value)
SatParameters_RestartAlgorithm
Definition: sat_parameters.pb.h:218
@ SatParameters_RestartAlgorithm_DL_MOVING_AVERAGE_RESTART
Definition: sat_parameters.pb.h:221
@ SatParameters_RestartAlgorithm_FIXED_RESTART
Definition: sat_parameters.pb.h:223
@ SatParameters_RestartAlgorithm_LBD_MOVING_AVERAGE_RESTART
Definition: sat_parameters.pb.h:222
@ SatParameters_RestartAlgorithm_LUBY_RESTART
Definition: sat_parameters.pb.h:220
@ SatParameters_RestartAlgorithm_NO_RESTART
Definition: sat_parameters.pb.h:219
constexpr int SatParameters_ConflictMinimizationAlgorithm_ConflictMinimizationAlgorithm_ARRAYSIZE
Definition: sat_parameters.pb.h:129
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * SatParameters_RestartAlgorithm_descriptor()
const std::string & SatParameters_VariableOrder_Name(T enum_t_value)
Definition: sat_parameters.pb.h:82
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * SatParameters_MaxSatStratificationAlgorithm_descriptor()
SatParameters_Polarity
Definition: sat_parameters.pb.h:94
@ SatParameters_Polarity_POLARITY_FALSE
Definition: sat_parameters.pb.h:96
@ SatParameters_Polarity_POLARITY_WEIGHTED_SIGN
Definition: sat_parameters.pb.h:98
@ SatParameters_Polarity_POLARITY_TRUE
Definition: sat_parameters.pb.h:95
@ SatParameters_Polarity_POLARITY_RANDOM
Definition: sat_parameters.pb.h:97
@ SatParameters_Polarity_POLARITY_REVERSE_WEIGHTED_SIGN
Definition: sat_parameters.pb.h:99
constexpr SatParameters_MaxSatStratificationAlgorithm SatParameters_MaxSatStratificationAlgorithm_MaxSatStratificationAlgorithm_MIN
Definition: sat_parameters.pb.h:274
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * SatParameters_MaxSatAssumptionOrder_descriptor()
const std::string & SatParameters_MaxSatAssumptionOrder_Name(T enum_t_value)
Definition: sat_parameters.pb.h:256
bool SatParameters_ClauseOrdering_IsValid(int value)
constexpr SatParameters_SearchBranching SatParameters_SearchBranching_SearchBranching_MAX
Definition: sat_parameters.pb.h:303
constexpr int SatParameters_FPRoundingMethod_FPRoundingMethod_ARRAYSIZE
Definition: sat_parameters.pb.h:329
bool SatParameters_MaxSatAssumptionOrder_Parse(::PROTOBUF_NAMESPACE_ID::ConstStringParam name, SatParameters_MaxSatAssumptionOrder *value)
Definition: sat_parameters.pb.h:263
constexpr SatParameters_ClauseOrdering SatParameters_ClauseOrdering_ClauseOrdering_MAX
Definition: sat_parameters.pb.h:201
constexpr SatParameters_ConflictMinimizationAlgorithm SatParameters_ConflictMinimizationAlgorithm_ConflictMinimizationAlgorithm_MAX
Definition: sat_parameters.pb.h:128
constexpr SatParameters_RestartAlgorithm SatParameters_RestartAlgorithm_RestartAlgorithm_MAX
Definition: sat_parameters.pb.h:227
bool SatParameters_RestartAlgorithm_IsValid(int value)
constexpr int SatParameters_VariableOrder_VariableOrder_ARRAYSIZE
Definition: sat_parameters.pb.h:78
const std::string & SatParameters_SearchBranching_Name(T enum_t_value)
Definition: sat_parameters.pb.h:308
constexpr SatParameters_MaxSatAssumptionOrder SatParameters_MaxSatAssumptionOrder_MaxSatAssumptionOrder_MIN
Definition: sat_parameters.pb.h:250
constexpr int SatParameters_MaxSatStratificationAlgorithm_MaxSatStratificationAlgorithm_ARRAYSIZE
Definition: sat_parameters.pb.h:276
constexpr SatParameters_RestartAlgorithm SatParameters_RestartAlgorithm_RestartAlgorithm_MIN
Definition: sat_parameters.pb.h:226
bool SatParameters_ClauseProtection_IsValid(int value)
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * SatParameters_ClauseProtection_descriptor()
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * SatParameters_FPRoundingMethod_descriptor()
bool SatParameters_ConflictMinimizationAlgorithm_Parse(::PROTOBUF_NAMESPACE_ID::ConstStringParam name, SatParameters_ConflictMinimizationAlgorithm *value)
Definition: sat_parameters.pb.h:140
SatParameters_MaxSatStratificationAlgorithm
Definition: sat_parameters.pb.h:268
@ SatParameters_MaxSatStratificationAlgorithm_STRATIFICATION_NONE
Definition: sat_parameters.pb.h:269
@ SatParameters_MaxSatStratificationAlgorithm_STRATIFICATION_DESCENT
Definition: sat_parameters.pb.h:270
@ SatParameters_MaxSatStratificationAlgorithm_STRATIFICATION_ASCENT
Definition: sat_parameters.pb.h:271
bool SatParameters_VariableOrder_Parse(::PROTOBUF_NAMESPACE_ID::ConstStringParam name, SatParameters_VariableOrder *value)
Definition: sat_parameters.pb.h:89
constexpr int SatParameters_BinaryMinizationAlgorithm_BinaryMinizationAlgorithm_ARRAYSIZE
Definition: sat_parameters.pb.h:155
const std::string & SatParameters_ClauseProtection_Name(T enum_t_value)
Definition: sat_parameters.pb.h:183
bool SatParameters_SearchBranching_Parse(::PROTOBUF_NAMESPACE_ID::ConstStringParam name, SatParameters_SearchBranching *value)
Definition: sat_parameters.pb.h:315
constexpr SatParameters_BinaryMinizationAlgorithm SatParameters_BinaryMinizationAlgorithm_BinaryMinizationAlgorithm_MIN
Definition: sat_parameters.pb.h:153
constexpr SatParameters_SearchBranching SatParameters_SearchBranching_SearchBranching_MIN
Definition: sat_parameters.pb.h:302
const std::string & SatParameters_BinaryMinizationAlgorithm_Name(T enum_t_value)
Definition: sat_parameters.pb.h:159
const std::string & SatParameters_ConflictMinimizationAlgorithm_Name(T enum_t_value)
Definition: sat_parameters.pb.h:133
constexpr int SatParameters_Polarity_Polarity_ARRAYSIZE
Definition: sat_parameters.pb.h:104
const std::string & SatParameters_Polarity_Name(T enum_t_value)
Definition: sat_parameters.pb.h:108
constexpr int SatParameters_MaxSatAssumptionOrder_MaxSatAssumptionOrder_ARRAYSIZE
Definition: sat_parameters.pb.h:252
SatParameters_ClauseProtection
Definition: sat_parameters.pb.h:171
@ SatParameters_ClauseProtection_PROTECTION_NONE
Definition: sat_parameters.pb.h:172
@ SatParameters_ClauseProtection_PROTECTION_ALWAYS
Definition: sat_parameters.pb.h:173
@ SatParameters_ClauseProtection_PROTECTION_LBD
Definition: sat_parameters.pb.h:174
bool SatParameters_FPRoundingMethod_Parse(::PROTOBUF_NAMESPACE_ID::ConstStringParam name, SatParameters_FPRoundingMethod *value)
Definition: sat_parameters.pb.h:340
Definition: cp_model.h:52
const ::PROTOBUF_NAMESPACE_ID::internal::DescriptorTable descriptor_table_ortools_2fsat_2fsat_5fparameters_2eproto
static const ::PROTOBUF_NAMESPACE_ID::uint32 offsets[]
Definition: sat_parameters.pb.h:54
static const ::PROTOBUF_NAMESPACE_ID::internal::AuxiliaryParseTableField aux[] PROTOBUF_SECTION_VARIABLE(protodesc_cold)
static const ::PROTOBUF_NAMESPACE_ID::internal::ParseTableField entries[] PROTOBUF_SECTION_VARIABLE(protodesc_cold)
static const ::PROTOBUF_NAMESPACE_ID::internal::ParseTable schema[1] PROTOBUF_SECTION_VARIABLE(protodesc_cold)
static const ::PROTOBUF_NAMESPACE_ID::internal::SerializationTable serialization_table[]
Definition: sat_parameters.pb.h:53
static const ::PROTOBUF_NAMESPACE_ID::internal::FieldMetadata field_metadata[]
Definition: sat_parameters.pb.h:52