4 #ifndef GOOGLE_PROTOBUF_INCLUDED_ortools_2fsat_2fsat_5fparameters_2eproto
5 #define GOOGLE_PROTOBUF_INCLUDED_ortools_2fsat_2fsat_5fparameters_2eproto
10 #include <google/protobuf/port_def.inc>
11 #if PROTOBUF_VERSION < 3014000
12 #error This file was generated by a newer version of protoc which is
13 #error incompatible with your Protocol Buffer headers. Please update
16 #if 3014000 < PROTOBUF_MIN_PROTOC_VERSION
17 #error This file was generated by an older version of protoc which is
18 #error incompatible with your Protocol Buffer headers. Please
19 #error regenerate this file with a newer version of protoc.
22 #include <google/protobuf/port_undef.inc>
23 #include <google/protobuf/io/coded_stream.h>
24 #include <google/protobuf/arena.h>
25 #include <google/protobuf/arenastring.h>
26 #include <google/protobuf/generated_message_table_driven.h>
27 #include <google/protobuf/generated_message_util.h>
28 #include <google/protobuf/metadata_lite.h>
29 #include <google/protobuf/generated_message_reflection.h>
30 #include <google/protobuf/message.h>
31 #include <google/protobuf/repeated_field.h>
32 #include <google/protobuf/extension_set.h>
33 #include <google/protobuf/generated_enum_reflection.h>
34 #include <google/protobuf/unknown_field_set.h>
36 #include <google/protobuf/port_def.inc>
37 #define PROTOBUF_INTERNAL_EXPORT_ortools_2fsat_2fsat_5fparameters_2eproto
38 PROTOBUF_NAMESPACE_OPEN
42 PROTOBUF_NAMESPACE_CLOSE
46 static const ::PROTOBUF_NAMESPACE_ID::internal::ParseTableField entries[]
48 static const ::PROTOBUF_NAMESPACE_ID::internal::AuxiliaryParseTableField aux[]
50 static const ::PROTOBUF_NAMESPACE_ID::internal::ParseTable schema[1]
52 static const ::PROTOBUF_NAMESPACE_ID::internal::FieldMetadata
field_metadata[];
60 class SatParametersDefaultTypeInternal;
64 PROTOBUF_NAMESPACE_OPEN
65 template<> ::operations_research::sat::SatParameters* Arena::CreateMaybeMessage<::operations_research::sat::SatParameters>(Arena*);
66 PROTOBUF_NAMESPACE_CLOSE
85 "Incorrect type passed to function SatParameters_VariableOrder_Name.");
86 return ::PROTOBUF_NAMESPACE_ID::internal::NameOfEnum(
91 return ::PROTOBUF_NAMESPACE_ID::internal::ParseNamedEnum<SatParameters_VariableOrder>(
111 "Incorrect type passed to function SatParameters_Polarity_Name.");
112 return ::PROTOBUF_NAMESPACE_ID::internal::NameOfEnum(
117 return ::PROTOBUF_NAMESPACE_ID::internal::ParseNamedEnum<SatParameters_Polarity>(
136 "Incorrect type passed to function SatParameters_ConflictMinimizationAlgorithm_Name.");
137 return ::PROTOBUF_NAMESPACE_ID::internal::NameOfEnum(
142 return ::PROTOBUF_NAMESPACE_ID::internal::ParseNamedEnum<SatParameters_ConflictMinimizationAlgorithm>(
162 "Incorrect type passed to function SatParameters_BinaryMinizationAlgorithm_Name.");
163 return ::PROTOBUF_NAMESPACE_ID::internal::NameOfEnum(
168 return ::PROTOBUF_NAMESPACE_ID::internal::ParseNamedEnum<SatParameters_BinaryMinizationAlgorithm>(
186 "Incorrect type passed to function SatParameters_ClauseProtection_Name.");
187 return ::PROTOBUF_NAMESPACE_ID::internal::NameOfEnum(
192 return ::PROTOBUF_NAMESPACE_ID::internal::ParseNamedEnum<SatParameters_ClauseProtection>(
209 "Incorrect type passed to function SatParameters_ClauseOrdering_Name.");
210 return ::PROTOBUF_NAMESPACE_ID::internal::NameOfEnum(
215 return ::PROTOBUF_NAMESPACE_ID::internal::ParseNamedEnum<SatParameters_ClauseOrdering>(
235 "Incorrect type passed to function SatParameters_RestartAlgorithm_Name.");
236 return ::PROTOBUF_NAMESPACE_ID::internal::NameOfEnum(
241 return ::PROTOBUF_NAMESPACE_ID::internal::ParseNamedEnum<SatParameters_RestartAlgorithm>(
259 "Incorrect type passed to function SatParameters_MaxSatAssumptionOrder_Name.");
260 return ::PROTOBUF_NAMESPACE_ID::internal::NameOfEnum(
265 return ::PROTOBUF_NAMESPACE_ID::internal::ParseNamedEnum<SatParameters_MaxSatAssumptionOrder>(
283 "Incorrect type passed to function SatParameters_MaxSatStratificationAlgorithm_Name.");
284 return ::PROTOBUF_NAMESPACE_ID::internal::NameOfEnum(
289 return ::PROTOBUF_NAMESPACE_ID::internal::ParseNamedEnum<SatParameters_MaxSatStratificationAlgorithm>(
311 "Incorrect type passed to function SatParameters_SearchBranching_Name.");
312 return ::PROTOBUF_NAMESPACE_ID::internal::NameOfEnum(
317 return ::PROTOBUF_NAMESPACE_ID::internal::ParseNamedEnum<SatParameters_SearchBranching>(
336 "Incorrect type passed to function SatParameters_FPRoundingMethod_Name.");
337 return ::PROTOBUF_NAMESPACE_ID::internal::NameOfEnum(
342 return ::PROTOBUF_NAMESPACE_ID::internal::ParseNamedEnum<SatParameters_FPRoundingMethod>(
348 public ::PROTOBUF_NAMESPACE_ID::Message {
356 *
this = ::std::move(
from);
364 if (GetArena() ==
from.GetArena()) {
365 if (
this != &
from) InternalSwap(&
from);
373 return _internal_metadata_.unknown_fields<::PROTOBUF_NAMESPACE_ID::UnknownFieldSet>(::PROTOBUF_NAMESPACE_ID::UnknownFieldSet::default_instance);
376 return _internal_metadata_.mutable_unknown_fields<::PROTOBUF_NAMESPACE_ID::UnknownFieldSet>();
379 static const ::PROTOBUF_NAMESPACE_ID::Descriptor*
descriptor() {
380 return GetDescriptor();
383 return GetMetadataStatic().descriptor;
386 return GetMetadataStatic().reflection;
391 return reinterpret_cast<const SatParameters*
>(
394 static constexpr
int kIndexInFileMessages =
397 friend void swap(SatParameters&
a, SatParameters&
b) {
400 inline void Swap(SatParameters* other) {
401 if (other ==
this)
return;
402 if (GetArena() == other->GetArena()) {
405 ::PROTOBUF_NAMESPACE_ID::internal::GenericSwap(
this, other);
409 if (other ==
this)
return;
410 GOOGLE_DCHECK(GetArena() == other->GetArena());
416 inline SatParameters*
New() const final {
417 return CreateMaybeMessage<SatParameters>(
nullptr);
420 SatParameters*
New(::PROTOBUF_NAMESPACE_ID::Arena* arena)
const final {
421 return CreateMaybeMessage<SatParameters>(arena);
427 PROTOBUF_ATTRIBUTE_REINITIALIZES
void Clear() final;
428 bool IsInitialized() const final;
430 size_t ByteSizeLong() const final;
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;
434 int GetCachedSize() const final {
return _cached_size_.Get(); }
437 inline void SharedCtor();
438 inline void SharedDtor();
439 void SetCachedSize(
int size)
const final;
440 void InternalSwap(SatParameters* other);
441 friend class ::PROTOBUF_NAMESPACE_ID::internal::AnyMetadata;
442 static ::PROTOBUF_NAMESPACE_ID::StringPiece FullMessageName() {
443 return "operations_research.sat.SatParameters";
448 static void ArenaDtor(
void*
object);
449 inline void RegisterArenaDtor(::PROTOBUF_NAMESPACE_ID::Arena* arena);
454 static ::PROTOBUF_NAMESPACE_ID::Metadata GetMetadataStatic() {
477 static constexpr
int VariableOrder_ARRAYSIZE =
479 static inline const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor*
487 "Incorrect type passed to function VariableOrder_Name.");
504 static constexpr
Polarity POLARITY_REVERSE_WEIGHTED_SIGN =
513 static constexpr
int Polarity_ARRAYSIZE =
515 static inline const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor*
523 "Incorrect type passed to function Polarity_Name.");
547 static constexpr
int ConflictMinimizationAlgorithm_ARRAYSIZE =
549 static inline const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor*
557 "Incorrect type passed to function ConflictMinimizationAlgorithm_Name.");
583 static constexpr
int BinaryMinizationAlgorithm_ARRAYSIZE =
585 static inline const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor*
593 "Incorrect type passed to function BinaryMinizationAlgorithm_Name.");
615 static constexpr
int ClauseProtection_ARRAYSIZE =
617 static inline const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor*
625 "Incorrect type passed to function ClauseProtection_Name.");
645 static constexpr
int ClauseOrdering_ARRAYSIZE =
647 static inline const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor*
655 "Incorrect type passed to function ClauseOrdering_Name.");
681 static constexpr
int RestartAlgorithm_ARRAYSIZE =
683 static inline const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor*
691 "Incorrect type passed to function RestartAlgorithm_Name.");
713 static constexpr
int MaxSatAssumptionOrder_ARRAYSIZE =
715 static inline const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor*
723 "Incorrect type passed to function MaxSatAssumptionOrder_Name.");
745 static constexpr
int MaxSatStratificationAlgorithm_ARRAYSIZE =
747 static inline const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor*
755 "Incorrect type passed to function MaxSatStratificationAlgorithm_Name.");
785 static constexpr
int SearchBranching_ARRAYSIZE =
787 static inline const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor*
795 "Incorrect type passed to function SearchBranching_Name.");
819 static constexpr
int FPRoundingMethod_ARRAYSIZE =
821 static inline const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor*
829 "Incorrect type passed to function FPRoundingMethod_Name.");
840 kRestartAlgorithmsFieldNumber = 61,
841 kDefaultRestartAlgorithmsFieldNumber = 70,
842 kNameFieldNumber = 171,
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 kSearchRandomizationToleranceFieldNumber = 104,
854 kUseErwaHeuristicFieldNumber = 75,
855 kAlsoBumpVariablesInConflictReasonsFieldNumber = 77,
856 kUseBlockingRestartFieldNumber = 64,
857 kPermuteVariableRandomlyFieldNumber = 178,
858 kPermutePresolveConstraintOrderFieldNumber = 179,
859 kUseAbslRandomFieldNumber = 180,
860 kLogSearchProgressFieldNumber = 41,
861 kUsePbResolutionFieldNumber = 43,
862 kUseTimetableEdgeFindingInCumulativeConstraintFieldNumber = 79,
863 kOnlyAddCutsAtLevelZeroFieldNumber = 92,
864 kAddKnapsackCutsFieldNumber = 111,
865 kRepairHintFieldNumber = 167,
866 kOptimizeWithMaxHsFieldNumber = 85,
867 kEnumerateAllSolutionsFieldNumber = 87,
868 kKeepAllFeasibleSolutionsInPresolveFieldNumber = 173,
869 kFillTightenedDomainsInResponseFieldNumber = 132,
870 kDisableConstraintExpansionFieldNumber = 181,
871 kPresolveExtractIntegerEnforcementFieldNumber = 174,
872 kMaxSatReverseAssumptionOrderFieldNumber = 52,
873 kUseOverloadCheckerInCumulativeConstraintFieldNumber = 78,
874 kUseLnsOnlyFieldNumber = 101,
875 kLnsFocusOnDecisionVariablesFieldNumber = 105,
876 kUseRelaxationLnsFieldNumber = 150,
877 kDiversifyLnsParamsFieldNumber = 137,
878 kStopAfterFirstSolutionFieldNumber = 98,
879 kStopAfterPresolveFieldNumber = 149,
880 kInterleaveSearchFieldNumber = 136,
881 kReduceMemoryUsageInInterleaveModeFieldNumber = 141,
882 kMinimizeReductionDuringPbResolutionFieldNumber = 48,
883 kCpModelPostsolveWithFullSolverFieldNumber = 162,
884 kUseSatInprocessingFieldNumber = 163,
885 kExpandAlldiffConstraintsFieldNumber = 170,
886 kExploitBestSolutionFieldNumber = 130,
887 kExploitRelaxationSolutionFieldNumber = 161,
888 kUseProbingSearchFieldNumber = 176,
889 kOptimizeWithCoreFieldNumber = 83,
890 kRandomizeSearchFieldNumber = 103,
891 kUseBranchingInLpFieldNumber = 139,
892 kUseCombinedNoOverlapFieldNumber = 133,
893 kPolishLpSolutionFieldNumber = 175,
894 kProbingPeriodAtRootFieldNumber = 142,
895 kAbsoluteGapLimitFieldNumber = 159,
896 kRelativeGapLimitFieldNumber = 160,
897 kCpModelMaxNumPresolveOperationsFieldNumber = 151,
898 kConvertIntervalsFieldNumber = 177,
899 kInitialPolarityFieldNumber = 2,
900 kMinimizationAlgorithmFieldNumber = 4,
901 kClauseCleanupPeriodFieldNumber = 11,
902 kClauseCleanupTargetFieldNumber = 13,
903 kVariableActivityDecayFieldNumber = 15,
904 kMaxVariableActivityValueFieldNumber = 16,
905 kClauseActivityDecayFieldNumber = 17,
906 kMaxClauseActivityValueFieldNumber = 18,
907 kGlucoseMaxDecayFieldNumber = 22,
908 kGlucoseDecayIncrementFieldNumber = 23,
909 kGlucoseDecayIncrementPeriodFieldNumber = 24,
910 kRestartPeriodFieldNumber = 30,
911 kRandomSeedFieldNumber = 31,
912 kBinaryMinimizationAlgorithmFieldNumber = 34,
913 kMaxTimeInSecondsFieldNumber = 36,
914 kMaxNumberOfConflictsFieldNumber = 37,
915 kMaxMemoryInMbFieldNumber = 40,
916 kUsePhaseSavingFieldNumber = 44,
917 kSubsumptionDuringConflictAnalysisFieldNumber = 56,
918 kTreatBinaryClausesSeparatelyFieldNumber = 33,
919 kCountAssumptionLevelsInLbdFieldNumber = 49,
920 kPbCleanupIncrementFieldNumber = 46,
921 kPbCleanupRatioFieldNumber = 47,
922 kMaxSatStratificationFieldNumber = 53,
923 kPresolveBveThresholdFieldNumber = 54,
924 kPresolveProbingDeterministicTimeLimitFieldNumber = 57,
925 kPresolveBveClauseWeightFieldNumber = 55,
926 kClauseCleanupLbdBoundFieldNumber = 59,
927 kRestartDlAverageRatioFieldNumber = 63,
928 kRestartRunningWindowSizeFieldNumber = 62,
929 kUseOptimizationHintsFieldNumber = 35,
930 kMinimizeCoreFieldNumber = 50,
931 kFindMultipleCoresFieldNumber = 84,
932 kCoverOptimizationFieldNumber = 89,
933 kBlockingRestartMultiplierFieldNumber = 66,
934 kMaxDeterministicTimeFieldNumber = 67,
935 kBlockingRestartWindowSizeFieldNumber = 65,
936 kPresolveBvaThresholdFieldNumber = 73,
937 kRestartLbdAverageRatioFieldNumber = 71,
938 kPresolveBlockedClauseFieldNumber = 88,
939 kPresolveUseBvaFieldNumber = 72,
940 kCpModelPresolveFieldNumber = 86,
941 kCpModelUseSatPresolveFieldNumber = 93,
942 kLinearizationLevelFieldNumber = 90,
943 kMaxNumCutsFieldNumber = 91,
944 kMinimizeWithPropagationRestartPeriodFieldNumber = 96,
945 kMinimizeWithPropagationNumDecisionsFieldNumber = 97,
946 kUsePrecedencesInDisjunctiveConstraintFieldNumber = 74,
947 kUseDisjunctiveConstraintInCumulativeConstraintFieldNumber = 80,
948 kAddCgCutsFieldNumber = 117,
949 kAddMirCutsFieldNumber = 120,
950 kBinarySearchNumConflictsFieldNumber = 99,
951 kNumSearchWorkersFieldNumber = 100,
952 kBooleanEncodingLevelFieldNumber = 107,
953 kCpModelProbingLevelFieldNumber = 110,
954 kExploitIntegerLpSolutionFieldNumber = 94,
955 kExploitAllLpSolutionFieldNumber = 116,
956 kExploitObjectiveFieldNumber = 131,
957 kInstantiateAllVariablesFieldNumber = 106,
958 kMaxIntegerRoundingScalingFieldNumber = 119,
959 kMinOrthogonalityForLpConstraintsFieldNumber = 115,
960 kMaxConsecutiveInactiveCountFieldNumber = 121,
961 kNewConstraintsBatchSizeFieldNumber = 122,
962 kPseudoCostReliabilityThresholdFieldNumber = 123,
963 kMipMaxBoundFieldNumber = 124,
964 kMipVarScalingFieldNumber = 125,
965 kMipWantedPrecisionFieldNumber = 126,
966 kAutoDetectGreaterThanAtLeastOneOfFieldNumber = 95,
967 kShareObjectiveBoundsFieldNumber = 113,
968 kShareLevelZeroBoundsFieldNumber = 114,
969 kLnsExpandIntervalsInConstraintGraphFieldNumber = 184,
970 kMipMaxActivityExponentFieldNumber = 127,
971 kMipCheckPrecisionFieldNumber = 128,
972 kUseRinsLnsFieldNumber = 129,
973 kUseFeasibilityPumpFieldNumber = 164,
974 kUseOptionalVariablesFieldNumber = 108,
975 kUseExactLpReasonFieldNumber = 109,
976 kInterleaveBatchSizeFieldNumber = 134,
977 kMaxPresolveIterationsFieldNumber = 138,
978 kPresolveSubstitutionLevelFieldNumber = 147,
979 kMergeNoOverlapWorkLimitFieldNumber = 145,
980 kMergeAtMostOneWorkLimitFieldNumber = 146,
981 kMaxAllDiffCutSizeFieldNumber = 148,
982 kCatchSigintSignalFieldNumber = 135,
983 kUseImpliedBoundsFieldNumber = 144,
984 kMipAutomaticallyScaleVariablesFieldNumber = 166,
985 kAddZeroHalfCutsFieldNumber = 169,
986 kAddCliqueCutsFieldNumber = 172,
987 kAddLinMaxCutsFieldNumber = 152,
988 kAddLpConstraintsLazilyFieldNumber = 112,
989 kHintConflictLimitFieldNumber = 153,
990 kCutMaxActiveCountValueFieldNumber = 155,
991 kMaxCutRoundsAtLevelZeroFieldNumber = 154,
992 kExpandElementConstraintsFieldNumber = 140,
993 kExpandAutomatonConstraintsFieldNumber = 143,
994 kExpandTableConstraintsFieldNumber = 158,
995 kExpandReservoirConstraintsFieldNumber = 182,
996 kCutActiveCountDecayFieldNumber = 156,
997 kCutCleanupTargetFieldNumber = 157,
998 kFpRoundingFieldNumber = 165,
999 kPolarityRephaseIncrementFieldNumber = 168,
1000 kSymmetryLevelFieldNumber = 183,
1005 int _internal_restart_algorithms_size()
const;
1011 ::PROTOBUF_NAMESPACE_ID::RepeatedField<int>* _internal_mutable_restart_algorithms();
1022 bool _internal_has_default_restart_algorithms()
const;
1034 const std::string& _internal_default_restart_algorithms()
const;
1035 void _internal_set_default_restart_algorithms(
const std::string&
value);
1036 std::string* _internal_mutable_default_restart_algorithms();
1042 bool _internal_has_name()
const;
1054 const std::string& _internal_name()
const;
1055 void _internal_set_name(
const std::string&
value);
1056 std::string* _internal_mutable_name();
1062 bool _internal_has_preferred_variable_order()
const;
1075 bool _internal_has_max_sat_assumption_order()
const;
1088 bool _internal_has_random_branches_ratio()
const;
1094 double _internal_random_branches_ratio()
const;
1095 void _internal_set_random_branches_ratio(
double value);
1101 bool _internal_has_random_polarity_ratio()
const;
1107 double _internal_random_polarity_ratio()
const;
1108 void _internal_set_random_polarity_ratio(
double value);
1114 bool _internal_has_clause_cleanup_protection()
const;
1127 bool _internal_has_clause_cleanup_ordering()
const;
1140 bool _internal_has_strategy_change_increase_ratio()
const;
1146 double _internal_strategy_change_increase_ratio()
const;
1147 void _internal_set_strategy_change_increase_ratio(
double value);
1153 bool _internal_has_num_conflicts_before_strategy_changes()
const;
1166 bool _internal_has_search_branching()
const;
1179 bool _internal_has_initial_variables_activity()
const;
1185 double _internal_initial_variables_activity()
const;
1186 void _internal_set_initial_variables_activity(
double value);
1192 bool _internal_has_search_randomization_tolerance()
const;
1205 bool _internal_has_use_erwa_heuristic()
const;
1211 bool _internal_use_erwa_heuristic()
const;
1212 void _internal_set_use_erwa_heuristic(
bool value);
1218 bool _internal_has_also_bump_variables_in_conflict_reasons()
const;
1224 bool _internal_also_bump_variables_in_conflict_reasons()
const;
1225 void _internal_set_also_bump_variables_in_conflict_reasons(
bool value);
1231 bool _internal_has_use_blocking_restart()
const;
1237 bool _internal_use_blocking_restart()
const;
1238 void _internal_set_use_blocking_restart(
bool value);
1244 bool _internal_has_permute_variable_randomly()
const;
1250 bool _internal_permute_variable_randomly()
const;
1251 void _internal_set_permute_variable_randomly(
bool value);
1257 bool _internal_has_permute_presolve_constraint_order()
const;
1263 bool _internal_permute_presolve_constraint_order()
const;
1264 void _internal_set_permute_presolve_constraint_order(
bool value);
1270 bool _internal_has_use_absl_random()
const;
1276 bool _internal_use_absl_random()
const;
1277 void _internal_set_use_absl_random(
bool value);
1283 bool _internal_has_log_search_progress()
const;
1289 bool _internal_log_search_progress()
const;
1290 void _internal_set_log_search_progress(
bool value);
1296 bool _internal_has_use_pb_resolution()
const;
1302 bool _internal_use_pb_resolution()
const;
1303 void _internal_set_use_pb_resolution(
bool value);
1309 bool _internal_has_use_timetable_edge_finding_in_cumulative_constraint()
const;
1315 bool _internal_use_timetable_edge_finding_in_cumulative_constraint()
const;
1316 void _internal_set_use_timetable_edge_finding_in_cumulative_constraint(
bool value);
1322 bool _internal_has_only_add_cuts_at_level_zero()
const;
1328 bool _internal_only_add_cuts_at_level_zero()
const;
1329 void _internal_set_only_add_cuts_at_level_zero(
bool value);
1335 bool _internal_has_add_knapsack_cuts()
const;
1341 bool _internal_add_knapsack_cuts()
const;
1342 void _internal_set_add_knapsack_cuts(
bool value);
1348 bool _internal_has_repair_hint()
const;
1354 bool _internal_repair_hint()
const;
1355 void _internal_set_repair_hint(
bool value);
1361 bool _internal_has_optimize_with_max_hs()
const;
1367 bool _internal_optimize_with_max_hs()
const;
1368 void _internal_set_optimize_with_max_hs(
bool value);
1374 bool _internal_has_enumerate_all_solutions()
const;
1380 bool _internal_enumerate_all_solutions()
const;
1381 void _internal_set_enumerate_all_solutions(
bool value);
1387 bool _internal_has_keep_all_feasible_solutions_in_presolve()
const;
1393 bool _internal_keep_all_feasible_solutions_in_presolve()
const;
1394 void _internal_set_keep_all_feasible_solutions_in_presolve(
bool value);
1400 bool _internal_has_fill_tightened_domains_in_response()
const;
1406 bool _internal_fill_tightened_domains_in_response()
const;
1407 void _internal_set_fill_tightened_domains_in_response(
bool value);
1413 bool _internal_has_disable_constraint_expansion()
const;
1419 bool _internal_disable_constraint_expansion()
const;
1420 void _internal_set_disable_constraint_expansion(
bool value);
1426 bool _internal_has_presolve_extract_integer_enforcement()
const;
1432 bool _internal_presolve_extract_integer_enforcement()
const;
1433 void _internal_set_presolve_extract_integer_enforcement(
bool value);
1439 bool _internal_has_max_sat_reverse_assumption_order()
const;
1445 bool _internal_max_sat_reverse_assumption_order()
const;
1446 void _internal_set_max_sat_reverse_assumption_order(
bool value);
1452 bool _internal_has_use_overload_checker_in_cumulative_constraint()
const;
1458 bool _internal_use_overload_checker_in_cumulative_constraint()
const;
1459 void _internal_set_use_overload_checker_in_cumulative_constraint(
bool value);
1465 bool _internal_has_use_lns_only()
const;
1471 bool _internal_use_lns_only()
const;
1472 void _internal_set_use_lns_only(
bool value);
1478 bool _internal_has_lns_focus_on_decision_variables()
const;
1484 bool _internal_lns_focus_on_decision_variables()
const;
1485 void _internal_set_lns_focus_on_decision_variables(
bool value);
1491 bool _internal_has_use_relaxation_lns()
const;
1497 bool _internal_use_relaxation_lns()
const;
1498 void _internal_set_use_relaxation_lns(
bool value);
1504 bool _internal_has_diversify_lns_params()
const;
1510 bool _internal_diversify_lns_params()
const;
1511 void _internal_set_diversify_lns_params(
bool value);
1517 bool _internal_has_stop_after_first_solution()
const;
1523 bool _internal_stop_after_first_solution()
const;
1524 void _internal_set_stop_after_first_solution(
bool value);
1530 bool _internal_has_stop_after_presolve()
const;
1536 bool _internal_stop_after_presolve()
const;
1537 void _internal_set_stop_after_presolve(
bool value);
1543 bool _internal_has_interleave_search()
const;
1549 bool _internal_interleave_search()
const;
1550 void _internal_set_interleave_search(
bool value);
1556 bool _internal_has_reduce_memory_usage_in_interleave_mode()
const;
1562 bool _internal_reduce_memory_usage_in_interleave_mode()
const;
1563 void _internal_set_reduce_memory_usage_in_interleave_mode(
bool value);
1569 bool _internal_has_minimize_reduction_during_pb_resolution()
const;
1575 bool _internal_minimize_reduction_during_pb_resolution()
const;
1576 void _internal_set_minimize_reduction_during_pb_resolution(
bool value);
1582 bool _internal_has_cp_model_postsolve_with_full_solver()
const;
1588 bool _internal_cp_model_postsolve_with_full_solver()
const;
1589 void _internal_set_cp_model_postsolve_with_full_solver(
bool value);
1595 bool _internal_has_use_sat_inprocessing()
const;
1601 bool _internal_use_sat_inprocessing()
const;
1602 void _internal_set_use_sat_inprocessing(
bool value);
1608 bool _internal_has_expand_alldiff_constraints()
const;
1614 bool _internal_expand_alldiff_constraints()
const;
1615 void _internal_set_expand_alldiff_constraints(
bool value);
1621 bool _internal_has_exploit_best_solution()
const;
1627 bool _internal_exploit_best_solution()
const;
1628 void _internal_set_exploit_best_solution(
bool value);
1634 bool _internal_has_exploit_relaxation_solution()
const;
1640 bool _internal_exploit_relaxation_solution()
const;
1641 void _internal_set_exploit_relaxation_solution(
bool value);
1647 bool _internal_has_use_probing_search()
const;
1653 bool _internal_use_probing_search()
const;
1654 void _internal_set_use_probing_search(
bool value);
1660 bool _internal_has_optimize_with_core()
const;
1666 bool _internal_optimize_with_core()
const;
1667 void _internal_set_optimize_with_core(
bool value);
1673 bool _internal_has_randomize_search()
const;
1679 bool _internal_randomize_search()
const;
1680 void _internal_set_randomize_search(
bool value);
1686 bool _internal_has_use_branching_in_lp()
const;
1692 bool _internal_use_branching_in_lp()
const;
1693 void _internal_set_use_branching_in_lp(
bool value);
1699 bool _internal_has_use_combined_no_overlap()
const;
1705 bool _internal_use_combined_no_overlap()
const;
1706 void _internal_set_use_combined_no_overlap(
bool value);
1712 bool _internal_has_polish_lp_solution()
const;
1718 bool _internal_polish_lp_solution()
const;
1719 void _internal_set_polish_lp_solution(
bool value);
1725 bool _internal_has_probing_period_at_root()
const;
1738 bool _internal_has_absolute_gap_limit()
const;
1744 double _internal_absolute_gap_limit()
const;
1745 void _internal_set_absolute_gap_limit(
double value);
1751 bool _internal_has_relative_gap_limit()
const;
1757 double _internal_relative_gap_limit()
const;
1758 void _internal_set_relative_gap_limit(
double value);
1764 bool _internal_has_cp_model_max_num_presolve_operations()
const;
1777 bool _internal_has_convert_intervals()
const;
1783 bool _internal_convert_intervals()
const;
1784 void _internal_set_convert_intervals(
bool value);
1790 bool _internal_has_initial_polarity()
const;
1803 bool _internal_has_minimization_algorithm()
const;
1816 bool _internal_has_clause_cleanup_period()
const;
1829 bool _internal_has_clause_cleanup_target()
const;
1842 bool _internal_has_variable_activity_decay()
const;
1848 double _internal_variable_activity_decay()
const;
1849 void _internal_set_variable_activity_decay(
double value);
1855 bool _internal_has_max_variable_activity_value()
const;
1861 double _internal_max_variable_activity_value()
const;
1862 void _internal_set_max_variable_activity_value(
double value);
1868 bool _internal_has_clause_activity_decay()
const;
1874 double _internal_clause_activity_decay()
const;
1875 void _internal_set_clause_activity_decay(
double value);
1881 bool _internal_has_max_clause_activity_value()
const;
1887 double _internal_max_clause_activity_value()
const;
1888 void _internal_set_max_clause_activity_value(
double value);
1894 bool _internal_has_glucose_max_decay()
const;
1900 double _internal_glucose_max_decay()
const;
1901 void _internal_set_glucose_max_decay(
double value);
1907 bool _internal_has_glucose_decay_increment()
const;
1913 double _internal_glucose_decay_increment()
const;
1914 void _internal_set_glucose_decay_increment(
double value);
1920 bool _internal_has_glucose_decay_increment_period()
const;
1933 bool _internal_has_restart_period()
const;
1946 bool _internal_has_random_seed()
const;
1959 bool _internal_has_binary_minimization_algorithm()
const;
1972 bool _internal_has_max_time_in_seconds()
const;
1978 double _internal_max_time_in_seconds()
const;
1979 void _internal_set_max_time_in_seconds(
double value);
1985 bool _internal_has_max_number_of_conflicts()
const;
1998 bool _internal_has_max_memory_in_mb()
const;
2011 bool _internal_has_use_phase_saving()
const;
2017 bool _internal_use_phase_saving()
const;
2018 void _internal_set_use_phase_saving(
bool value);
2024 bool _internal_has_subsumption_during_conflict_analysis()
const;
2030 bool _internal_subsumption_during_conflict_analysis()
const;
2031 void _internal_set_subsumption_during_conflict_analysis(
bool value);
2037 bool _internal_has_treat_binary_clauses_separately()
const;
2043 bool _internal_treat_binary_clauses_separately()
const;
2044 void _internal_set_treat_binary_clauses_separately(
bool value);
2050 bool _internal_has_count_assumption_levels_in_lbd()
const;
2056 bool _internal_count_assumption_levels_in_lbd()
const;
2057 void _internal_set_count_assumption_levels_in_lbd(
bool value);
2063 bool _internal_has_pb_cleanup_increment()
const;
2076 bool _internal_has_pb_cleanup_ratio()
const;
2082 double _internal_pb_cleanup_ratio()
const;
2083 void _internal_set_pb_cleanup_ratio(
double value);
2089 bool _internal_has_max_sat_stratification()
const;
2102 bool _internal_has_presolve_bve_threshold()
const;
2115 bool _internal_has_presolve_probing_deterministic_time_limit()
const;
2121 double _internal_presolve_probing_deterministic_time_limit()
const;
2122 void _internal_set_presolve_probing_deterministic_time_limit(
double value);
2128 bool _internal_has_presolve_bve_clause_weight()
const;
2141 bool _internal_has_clause_cleanup_lbd_bound()
const;
2154 bool _internal_has_restart_dl_average_ratio()
const;
2160 double _internal_restart_dl_average_ratio()
const;
2161 void _internal_set_restart_dl_average_ratio(
double value);
2167 bool _internal_has_restart_running_window_size()
const;
2180 bool _internal_has_use_optimization_hints()
const;
2186 bool _internal_use_optimization_hints()
const;
2187 void _internal_set_use_optimization_hints(
bool value);
2193 bool _internal_has_minimize_core()
const;
2199 bool _internal_minimize_core()
const;
2200 void _internal_set_minimize_core(
bool value);
2206 bool _internal_has_find_multiple_cores()
const;
2212 bool _internal_find_multiple_cores()
const;
2213 void _internal_set_find_multiple_cores(
bool value);
2219 bool _internal_has_cover_optimization()
const;
2225 bool _internal_cover_optimization()
const;
2226 void _internal_set_cover_optimization(
bool value);
2232 bool _internal_has_blocking_restart_multiplier()
const;
2238 double _internal_blocking_restart_multiplier()
const;
2239 void _internal_set_blocking_restart_multiplier(
double value);
2245 bool _internal_has_max_deterministic_time()
const;
2251 double _internal_max_deterministic_time()
const;
2252 void _internal_set_max_deterministic_time(
double value);
2258 bool _internal_has_blocking_restart_window_size()
const;
2271 bool _internal_has_presolve_bva_threshold()
const;
2284 bool _internal_has_restart_lbd_average_ratio()
const;
2290 double _internal_restart_lbd_average_ratio()
const;
2291 void _internal_set_restart_lbd_average_ratio(
double value);
2297 bool _internal_has_presolve_blocked_clause()
const;
2303 bool _internal_presolve_blocked_clause()
const;
2304 void _internal_set_presolve_blocked_clause(
bool value);
2310 bool _internal_has_presolve_use_bva()
const;
2316 bool _internal_presolve_use_bva()
const;
2317 void _internal_set_presolve_use_bva(
bool value);
2323 bool _internal_has_cp_model_presolve()
const;
2329 bool _internal_cp_model_presolve()
const;
2330 void _internal_set_cp_model_presolve(
bool value);
2336 bool _internal_has_cp_model_use_sat_presolve()
const;
2342 bool _internal_cp_model_use_sat_presolve()
const;
2343 void _internal_set_cp_model_use_sat_presolve(
bool value);
2349 bool _internal_has_linearization_level()
const;
2362 bool _internal_has_max_num_cuts()
const;
2375 bool _internal_has_minimize_with_propagation_restart_period()
const;
2388 bool _internal_has_minimize_with_propagation_num_decisions()
const;
2401 bool _internal_has_use_precedences_in_disjunctive_constraint()
const;
2407 bool _internal_use_precedences_in_disjunctive_constraint()
const;
2408 void _internal_set_use_precedences_in_disjunctive_constraint(
bool value);
2414 bool _internal_has_use_disjunctive_constraint_in_cumulative_constraint()
const;
2420 bool _internal_use_disjunctive_constraint_in_cumulative_constraint()
const;
2421 void _internal_set_use_disjunctive_constraint_in_cumulative_constraint(
bool value);
2427 bool _internal_has_add_cg_cuts()
const;
2433 bool _internal_add_cg_cuts()
const;
2434 void _internal_set_add_cg_cuts(
bool value);
2440 bool _internal_has_add_mir_cuts()
const;
2446 bool _internal_add_mir_cuts()
const;
2447 void _internal_set_add_mir_cuts(
bool value);
2453 bool _internal_has_binary_search_num_conflicts()
const;
2466 bool _internal_has_num_search_workers()
const;
2479 bool _internal_has_boolean_encoding_level()
const;
2492 bool _internal_has_cp_model_probing_level()
const;
2505 bool _internal_has_exploit_integer_lp_solution()
const;
2511 bool _internal_exploit_integer_lp_solution()
const;
2512 void _internal_set_exploit_integer_lp_solution(
bool value);
2518 bool _internal_has_exploit_all_lp_solution()
const;
2524 bool _internal_exploit_all_lp_solution()
const;
2525 void _internal_set_exploit_all_lp_solution(
bool value);
2531 bool _internal_has_exploit_objective()
const;
2537 bool _internal_exploit_objective()
const;
2538 void _internal_set_exploit_objective(
bool value);
2544 bool _internal_has_instantiate_all_variables()
const;
2550 bool _internal_instantiate_all_variables()
const;
2551 void _internal_set_instantiate_all_variables(
bool value);
2557 bool _internal_has_max_integer_rounding_scaling()
const;
2570 bool _internal_has_min_orthogonality_for_lp_constraints()
const;
2576 double _internal_min_orthogonality_for_lp_constraints()
const;
2577 void _internal_set_min_orthogonality_for_lp_constraints(
double value);
2583 bool _internal_has_max_consecutive_inactive_count()
const;
2596 bool _internal_has_new_constraints_batch_size()
const;
2609 bool _internal_has_pseudo_cost_reliability_threshold()
const;
2622 bool _internal_has_mip_max_bound()
const;
2628 double _internal_mip_max_bound()
const;
2629 void _internal_set_mip_max_bound(
double value);
2635 bool _internal_has_mip_var_scaling()
const;
2641 double _internal_mip_var_scaling()
const;
2642 void _internal_set_mip_var_scaling(
double value);
2648 bool _internal_has_mip_wanted_precision()
const;
2654 double _internal_mip_wanted_precision()
const;
2655 void _internal_set_mip_wanted_precision(
double value);
2661 bool _internal_has_auto_detect_greater_than_at_least_one_of()
const;
2667 bool _internal_auto_detect_greater_than_at_least_one_of()
const;
2668 void _internal_set_auto_detect_greater_than_at_least_one_of(
bool value);
2674 bool _internal_has_share_objective_bounds()
const;
2680 bool _internal_share_objective_bounds()
const;
2681 void _internal_set_share_objective_bounds(
bool value);
2687 bool _internal_has_share_level_zero_bounds()
const;
2693 bool _internal_share_level_zero_bounds()
const;
2694 void _internal_set_share_level_zero_bounds(
bool value);
2700 bool _internal_has_lns_expand_intervals_in_constraint_graph()
const;
2706 bool _internal_lns_expand_intervals_in_constraint_graph()
const;
2707 void _internal_set_lns_expand_intervals_in_constraint_graph(
bool value);
2713 bool _internal_has_mip_max_activity_exponent()
const;
2726 bool _internal_has_mip_check_precision()
const;
2732 double _internal_mip_check_precision()
const;
2733 void _internal_set_mip_check_precision(
double value);
2739 bool _internal_has_use_rins_lns()
const;
2745 bool _internal_use_rins_lns()
const;
2746 void _internal_set_use_rins_lns(
bool value);
2752 bool _internal_has_use_feasibility_pump()
const;
2758 bool _internal_use_feasibility_pump()
const;
2759 void _internal_set_use_feasibility_pump(
bool value);
2765 bool _internal_has_use_optional_variables()
const;
2771 bool _internal_use_optional_variables()
const;
2772 void _internal_set_use_optional_variables(
bool value);
2778 bool _internal_has_use_exact_lp_reason()
const;
2784 bool _internal_use_exact_lp_reason()
const;
2785 void _internal_set_use_exact_lp_reason(
bool value);
2791 bool _internal_has_interleave_batch_size()
const;
2804 bool _internal_has_max_presolve_iterations()
const;
2817 bool _internal_has_presolve_substitution_level()
const;
2830 bool _internal_has_merge_no_overlap_work_limit()
const;
2836 double _internal_merge_no_overlap_work_limit()
const;
2837 void _internal_set_merge_no_overlap_work_limit(
double value);
2843 bool _internal_has_merge_at_most_one_work_limit()
const;
2849 double _internal_merge_at_most_one_work_limit()
const;
2850 void _internal_set_merge_at_most_one_work_limit(
double value);
2856 bool _internal_has_max_all_diff_cut_size()
const;
2869 bool _internal_has_catch_sigint_signal()
const;
2875 bool _internal_catch_sigint_signal()
const;
2876 void _internal_set_catch_sigint_signal(
bool value);
2882 bool _internal_has_use_implied_bounds()
const;
2888 bool _internal_use_implied_bounds()
const;
2889 void _internal_set_use_implied_bounds(
bool value);
2895 bool _internal_has_mip_automatically_scale_variables()
const;
2901 bool _internal_mip_automatically_scale_variables()
const;
2902 void _internal_set_mip_automatically_scale_variables(
bool value);
2908 bool _internal_has_add_zero_half_cuts()
const;
2914 bool _internal_add_zero_half_cuts()
const;
2915 void _internal_set_add_zero_half_cuts(
bool value);
2921 bool _internal_has_add_clique_cuts()
const;
2927 bool _internal_add_clique_cuts()
const;
2928 void _internal_set_add_clique_cuts(
bool value);
2934 bool _internal_has_add_lin_max_cuts()
const;
2940 bool _internal_add_lin_max_cuts()
const;
2941 void _internal_set_add_lin_max_cuts(
bool value);
2947 bool _internal_has_add_lp_constraints_lazily()
const;
2953 bool _internal_add_lp_constraints_lazily()
const;
2954 void _internal_set_add_lp_constraints_lazily(
bool value);
2960 bool _internal_has_hint_conflict_limit()
const;
2973 bool _internal_has_cut_max_active_count_value()
const;
2979 double _internal_cut_max_active_count_value()
const;
2980 void _internal_set_cut_max_active_count_value(
double value);
2986 bool _internal_has_max_cut_rounds_at_level_zero()
const;
2999 bool _internal_has_expand_element_constraints()
const;
3005 bool _internal_expand_element_constraints()
const;
3006 void _internal_set_expand_element_constraints(
bool value);
3012 bool _internal_has_expand_automaton_constraints()
const;
3018 bool _internal_expand_automaton_constraints()
const;
3019 void _internal_set_expand_automaton_constraints(
bool value);
3025 bool _internal_has_expand_table_constraints()
const;
3031 bool _internal_expand_table_constraints()
const;
3032 void _internal_set_expand_table_constraints(
bool value);
3038 bool _internal_has_expand_reservoir_constraints()
const;
3044 bool _internal_expand_reservoir_constraints()
const;
3045 void _internal_set_expand_reservoir_constraints(
bool value);
3051 bool _internal_has_cut_active_count_decay()
const;
3057 double _internal_cut_active_count_decay()
const;
3058 void _internal_set_cut_active_count_decay(
double value);
3064 bool _internal_has_cut_cleanup_target()
const;
3077 bool _internal_has_fp_rounding()
const;
3090 bool _internal_has_polarity_rephase_increment()
const;
3103 bool _internal_has_symmetry_level()
const;
3117 template <
typename T>
friend class ::PROTOBUF_NAMESPACE_ID::Arena::InternalHelper;
3118 typedef void InternalArenaConstructable_;
3119 typedef void DestructorSkippable_;
3120 ::PROTOBUF_NAMESPACE_ID::internal::HasBits<5> _has_bits_;
3121 mutable ::PROTOBUF_NAMESPACE_ID::internal::CachedSize _cached_size_;
3122 ::PROTOBUF_NAMESPACE_ID::RepeatedField<int> restart_algorithms_;
3123 static const ::PROTOBUF_NAMESPACE_ID::internal::LazyString _i_give_permission_to_break_this_code_default_default_restart_algorithms_;
3124 ::PROTOBUF_NAMESPACE_ID::internal::ArenaStringPtr default_restart_algorithms_;
3125 ::PROTOBUF_NAMESPACE_ID::internal::ArenaStringPtr name_;
3126 int preferred_variable_order_;
3127 int max_sat_assumption_order_;
3128 double random_branches_ratio_;
3129 double random_polarity_ratio_;
3130 int clause_cleanup_protection_;
3131 int clause_cleanup_ordering_;
3132 double strategy_change_increase_ratio_;
3134 int search_branching_;
3135 double initial_variables_activity_;
3137 bool use_erwa_heuristic_;
3138 bool also_bump_variables_in_conflict_reasons_;
3139 bool use_blocking_restart_;
3140 bool permute_variable_randomly_;
3141 bool permute_presolve_constraint_order_;
3142 bool use_absl_random_;
3143 bool log_search_progress_;
3144 bool use_pb_resolution_;
3145 bool use_timetable_edge_finding_in_cumulative_constraint_;
3146 bool only_add_cuts_at_level_zero_;
3147 bool add_knapsack_cuts_;
3149 bool optimize_with_max_hs_;
3150 bool enumerate_all_solutions_;
3151 bool keep_all_feasible_solutions_in_presolve_;
3152 bool fill_tightened_domains_in_response_;
3153 bool disable_constraint_expansion_;
3154 bool presolve_extract_integer_enforcement_;
3155 bool max_sat_reverse_assumption_order_;
3156 bool use_overload_checker_in_cumulative_constraint_;
3158 bool lns_focus_on_decision_variables_;
3159 bool use_relaxation_lns_;
3160 bool diversify_lns_params_;
3161 bool stop_after_first_solution_;
3162 bool stop_after_presolve_;
3163 bool interleave_search_;
3164 bool reduce_memory_usage_in_interleave_mode_;
3165 bool minimize_reduction_during_pb_resolution_;
3166 bool cp_model_postsolve_with_full_solver_;
3167 bool use_sat_inprocessing_;
3168 bool expand_alldiff_constraints_;
3169 bool exploit_best_solution_;
3170 bool exploit_relaxation_solution_;
3171 bool use_probing_search_;
3172 bool optimize_with_core_;
3173 bool randomize_search_;
3174 bool use_branching_in_lp_;
3175 bool use_combined_no_overlap_;
3176 bool polish_lp_solution_;
3178 double absolute_gap_limit_;
3179 double relative_gap_limit_;
3181 bool convert_intervals_;
3182 int initial_polarity_;
3183 int minimization_algorithm_;
3186 double variable_activity_decay_;
3187 double max_variable_activity_value_;
3188 double clause_activity_decay_;
3189 double max_clause_activity_value_;
3190 double glucose_max_decay_;
3191 double glucose_decay_increment_;
3195 int binary_minimization_algorithm_;
3196 double max_time_in_seconds_;
3199 bool use_phase_saving_;
3200 bool subsumption_during_conflict_analysis_;
3201 bool treat_binary_clauses_separately_;
3202 bool count_assumption_levels_in_lbd_;
3204 double pb_cleanup_ratio_;
3205 int max_sat_stratification_;
3207 double presolve_probing_deterministic_time_limit_;
3210 double restart_dl_average_ratio_;
3212 bool use_optimization_hints_;
3213 bool minimize_core_;
3214 bool find_multiple_cores_;
3215 bool cover_optimization_;
3216 double blocking_restart_multiplier_;
3217 double max_deterministic_time_;
3220 double restart_lbd_average_ratio_;
3221 bool presolve_blocked_clause_;
3222 bool presolve_use_bva_;
3223 bool cp_model_presolve_;
3224 bool cp_model_use_sat_presolve_;
3229 bool use_precedences_in_disjunctive_constraint_;
3230 bool use_disjunctive_constraint_in_cumulative_constraint_;
3237 bool exploit_integer_lp_solution_;
3238 bool exploit_all_lp_solution_;
3239 bool exploit_objective_;
3240 bool instantiate_all_variables_;
3242 double min_orthogonality_for_lp_constraints_;
3246 double mip_max_bound_;
3247 double mip_var_scaling_;
3248 double mip_wanted_precision_;
3249 bool auto_detect_greater_than_at_least_one_of_;
3250 bool share_objective_bounds_;
3251 bool share_level_zero_bounds_;
3252 bool lns_expand_intervals_in_constraint_graph_;
3254 double mip_check_precision_;
3256 bool use_feasibility_pump_;
3257 bool use_optional_variables_;
3258 bool use_exact_lp_reason_;
3262 double merge_no_overlap_work_limit_;
3263 double merge_at_most_one_work_limit_;
3265 bool catch_sigint_signal_;
3266 bool use_implied_bounds_;
3267 bool mip_automatically_scale_variables_;
3268 bool add_zero_half_cuts_;
3269 bool add_clique_cuts_;
3270 bool add_lin_max_cuts_;
3271 bool add_lp_constraints_lazily_;
3273 double cut_max_active_count_value_;
3275 bool expand_element_constraints_;
3276 bool expand_automaton_constraints_;
3277 bool expand_table_constraints_;
3278 bool expand_reservoir_constraints_;
3279 double cut_active_count_decay_;
3284 friend struct ::TableStruct_ortools_2fsat_2fsat_5fparameters_2eproto;
3292 #pragma GCC diagnostic push
3293 #pragma GCC diagnostic ignored "-Wstrict-aliasing"
3298 inline bool SatParameters::_internal_has_name()
const {
3299 bool value = (_has_bits_[0] & 0x00000002u) != 0;
3302 inline bool SatParameters::has_name()
const {
3303 return _internal_has_name();
3305 inline void SatParameters::clear_name() {
3306 name_.ClearToEmpty();
3307 _has_bits_[0] &= ~0x00000002u;
3311 return _internal_name();
3313 inline void SatParameters::set_name(
const std::string&
value) {
3314 _internal_set_name(
value);
3317 inline std::string* SatParameters::mutable_name() {
3319 return _internal_mutable_name();
3321 inline const std::string& SatParameters::_internal_name()
const {
3324 inline void SatParameters::_internal_set_name(
const std::string&
value) {
3325 _has_bits_[0] |= 0x00000002u;
3326 name_.Set(::PROTOBUF_NAMESPACE_ID::internal::ArenaStringPtr::EmptyDefault{},
value, GetArena());
3328 inline void SatParameters::set_name(std::string&&
value) {
3329 _has_bits_[0] |= 0x00000002u;
3331 ::PROTOBUF_NAMESPACE_ID::internal::ArenaStringPtr::EmptyDefault{}, ::std::move(
value), GetArena());
3334 inline void SatParameters::set_name(
const char*
value) {
3335 GOOGLE_DCHECK(
value !=
nullptr);
3336 _has_bits_[0] |= 0x00000002u;
3337 name_.Set(::PROTOBUF_NAMESPACE_ID::internal::ArenaStringPtr::EmptyDefault{}, ::std::string(
value), GetArena());
3340 inline void SatParameters::set_name(
const char*
value,
3342 _has_bits_[0] |= 0x00000002u;
3343 name_.Set(::PROTOBUF_NAMESPACE_ID::internal::ArenaStringPtr::EmptyDefault{}, ::std::string(
3344 reinterpret_cast<const char*
>(
value), size), GetArena());
3347 inline std::string* SatParameters::_internal_mutable_name() {
3348 _has_bits_[0] |= 0x00000002u;
3349 return name_.Mutable(::PROTOBUF_NAMESPACE_ID::internal::ArenaStringPtr::EmptyDefault{}, GetArena());
3351 inline std::string* SatParameters::release_name() {
3353 if (!_internal_has_name()) {
3356 _has_bits_[0] &= ~0x00000002u;
3357 return name_.ReleaseNonDefault(&::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited(), GetArena());
3359 inline void SatParameters::set_allocated_name(std::string*
name) {
3360 if (
name !=
nullptr) {
3361 _has_bits_[0] |= 0x00000002u;
3363 _has_bits_[0] &= ~0x00000002u;
3365 name_.SetAllocated(&::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited(),
name,
3371 inline bool SatParameters::_internal_has_preferred_variable_order()
const {
3372 bool value = (_has_bits_[0] & 0x00000004u) != 0;
3375 inline bool SatParameters::has_preferred_variable_order()
const {
3376 return _internal_has_preferred_variable_order();
3378 inline void SatParameters::clear_preferred_variable_order() {
3379 preferred_variable_order_ = 0;
3380 _has_bits_[0] &= ~0x00000004u;
3387 return _internal_preferred_variable_order();
3391 _has_bits_[0] |= 0x00000004u;
3392 preferred_variable_order_ =
value;
3395 _internal_set_preferred_variable_order(
value);
3400 inline bool SatParameters::_internal_has_initial_polarity()
const {
3401 bool value = (_has_bits_[1] & 0x04000000u) != 0;
3404 inline bool SatParameters::has_initial_polarity()
const {
3405 return _internal_has_initial_polarity();
3407 inline void SatParameters::clear_initial_polarity() {
3408 initial_polarity_ = 1;
3409 _has_bits_[1] &= ~0x04000000u;
3416 return _internal_initial_polarity();
3420 _has_bits_[1] |= 0x04000000u;
3421 initial_polarity_ =
value;
3424 _internal_set_initial_polarity(
value);
3429 inline bool SatParameters::_internal_has_use_phase_saving()
const {
3430 bool value = (_has_bits_[2] & 0x00000800u) != 0;
3433 inline bool SatParameters::has_use_phase_saving()
const {
3434 return _internal_has_use_phase_saving();
3436 inline void SatParameters::clear_use_phase_saving() {
3437 use_phase_saving_ =
true;
3438 _has_bits_[2] &= ~0x00000800u;
3440 inline bool SatParameters::_internal_use_phase_saving()
const {
3441 return use_phase_saving_;
3443 inline bool SatParameters::use_phase_saving()
const {
3445 return _internal_use_phase_saving();
3447 inline void SatParameters::_internal_set_use_phase_saving(
bool value) {
3448 _has_bits_[2] |= 0x00000800u;
3449 use_phase_saving_ =
value;
3451 inline void SatParameters::set_use_phase_saving(
bool value) {
3452 _internal_set_use_phase_saving(
value);
3457 inline bool SatParameters::_internal_has_polarity_rephase_increment()
const {
3458 bool value = (_has_bits_[4] & 0x40000000u) != 0;
3461 inline bool SatParameters::has_polarity_rephase_increment()
const {
3462 return _internal_has_polarity_rephase_increment();
3464 inline void SatParameters::clear_polarity_rephase_increment() {
3465 polarity_rephase_increment_ = 1000;
3466 _has_bits_[4] &= ~0x40000000u;
3469 return polarity_rephase_increment_;
3473 return _internal_polarity_rephase_increment();
3476 _has_bits_[4] |= 0x40000000u;
3477 polarity_rephase_increment_ =
value;
3480 _internal_set_polarity_rephase_increment(
value);
3485 inline bool SatParameters::_internal_has_random_polarity_ratio()
const {
3486 bool value = (_has_bits_[0] & 0x00000020u) != 0;
3489 inline bool SatParameters::has_random_polarity_ratio()
const {
3490 return _internal_has_random_polarity_ratio();
3492 inline void SatParameters::clear_random_polarity_ratio() {
3493 random_polarity_ratio_ = 0;
3494 _has_bits_[0] &= ~0x00000020u;
3496 inline double SatParameters::_internal_random_polarity_ratio()
const {
3497 return random_polarity_ratio_;
3499 inline double SatParameters::random_polarity_ratio()
const {
3501 return _internal_random_polarity_ratio();
3503 inline void SatParameters::_internal_set_random_polarity_ratio(
double value) {
3504 _has_bits_[0] |= 0x00000020u;
3505 random_polarity_ratio_ =
value;
3507 inline void SatParameters::set_random_polarity_ratio(
double value) {
3508 _internal_set_random_polarity_ratio(
value);
3513 inline bool SatParameters::_internal_has_random_branches_ratio()
const {
3514 bool value = (_has_bits_[0] & 0x00000010u) != 0;
3517 inline bool SatParameters::has_random_branches_ratio()
const {
3518 return _internal_has_random_branches_ratio();
3520 inline void SatParameters::clear_random_branches_ratio() {
3521 random_branches_ratio_ = 0;
3522 _has_bits_[0] &= ~0x00000010u;
3524 inline double SatParameters::_internal_random_branches_ratio()
const {
3525 return random_branches_ratio_;
3527 inline double SatParameters::random_branches_ratio()
const {
3529 return _internal_random_branches_ratio();
3531 inline void SatParameters::_internal_set_random_branches_ratio(
double value) {
3532 _has_bits_[0] |= 0x00000010u;
3533 random_branches_ratio_ =
value;
3535 inline void SatParameters::set_random_branches_ratio(
double value) {
3536 _internal_set_random_branches_ratio(
value);
3541 inline bool SatParameters::_internal_has_use_erwa_heuristic()
const {
3542 bool value = (_has_bits_[0] & 0x00002000u) != 0;
3545 inline bool SatParameters::has_use_erwa_heuristic()
const {
3546 return _internal_has_use_erwa_heuristic();
3548 inline void SatParameters::clear_use_erwa_heuristic() {
3549 use_erwa_heuristic_ =
false;
3550 _has_bits_[0] &= ~0x00002000u;
3552 inline bool SatParameters::_internal_use_erwa_heuristic()
const {
3553 return use_erwa_heuristic_;
3555 inline bool SatParameters::use_erwa_heuristic()
const {
3557 return _internal_use_erwa_heuristic();
3559 inline void SatParameters::_internal_set_use_erwa_heuristic(
bool value) {
3560 _has_bits_[0] |= 0x00002000u;
3561 use_erwa_heuristic_ =
value;
3563 inline void SatParameters::set_use_erwa_heuristic(
bool value) {
3564 _internal_set_use_erwa_heuristic(
value);
3569 inline bool SatParameters::_internal_has_initial_variables_activity()
const {
3570 bool value = (_has_bits_[0] & 0x00000800u) != 0;
3573 inline bool SatParameters::has_initial_variables_activity()
const {
3574 return _internal_has_initial_variables_activity();
3576 inline void SatParameters::clear_initial_variables_activity() {
3577 initial_variables_activity_ = 0;
3578 _has_bits_[0] &= ~0x00000800u;
3580 inline double SatParameters::_internal_initial_variables_activity()
const {
3581 return initial_variables_activity_;
3583 inline double SatParameters::initial_variables_activity()
const {
3585 return _internal_initial_variables_activity();
3587 inline void SatParameters::_internal_set_initial_variables_activity(
double value) {
3588 _has_bits_[0] |= 0x00000800u;
3589 initial_variables_activity_ =
value;
3591 inline void SatParameters::set_initial_variables_activity(
double value) {
3592 _internal_set_initial_variables_activity(
value);
3597 inline bool SatParameters::_internal_has_also_bump_variables_in_conflict_reasons()
const {
3598 bool value = (_has_bits_[0] & 0x00004000u) != 0;
3601 inline bool SatParameters::has_also_bump_variables_in_conflict_reasons()
const {
3602 return _internal_has_also_bump_variables_in_conflict_reasons();
3604 inline void SatParameters::clear_also_bump_variables_in_conflict_reasons() {
3605 also_bump_variables_in_conflict_reasons_ =
false;
3606 _has_bits_[0] &= ~0x00004000u;
3608 inline bool SatParameters::_internal_also_bump_variables_in_conflict_reasons()
const {
3609 return also_bump_variables_in_conflict_reasons_;
3611 inline bool SatParameters::also_bump_variables_in_conflict_reasons()
const {
3613 return _internal_also_bump_variables_in_conflict_reasons();
3615 inline void SatParameters::_internal_set_also_bump_variables_in_conflict_reasons(
bool value) {
3616 _has_bits_[0] |= 0x00004000u;
3617 also_bump_variables_in_conflict_reasons_ =
value;
3619 inline void SatParameters::set_also_bump_variables_in_conflict_reasons(
bool value) {
3620 _internal_set_also_bump_variables_in_conflict_reasons(
value);
3625 inline bool SatParameters::_internal_has_minimization_algorithm()
const {
3626 bool value = (_has_bits_[1] & 0x08000000u) != 0;
3629 inline bool SatParameters::has_minimization_algorithm()
const {
3630 return _internal_has_minimization_algorithm();
3632 inline void SatParameters::clear_minimization_algorithm() {
3633 minimization_algorithm_ = 2;
3634 _has_bits_[1] &= ~0x08000000u;
3641 return _internal_minimization_algorithm();
3645 _has_bits_[1] |= 0x08000000u;
3646 minimization_algorithm_ =
value;
3649 _internal_set_minimization_algorithm(
value);
3654 inline bool SatParameters::_internal_has_binary_minimization_algorithm()
const {
3655 bool value = (_has_bits_[2] & 0x00000080u) != 0;
3658 inline bool SatParameters::has_binary_minimization_algorithm()
const {
3659 return _internal_has_binary_minimization_algorithm();
3661 inline void SatParameters::clear_binary_minimization_algorithm() {
3662 binary_minimization_algorithm_ = 1;
3663 _has_bits_[2] &= ~0x00000080u;
3670 return _internal_binary_minimization_algorithm();
3674 _has_bits_[2] |= 0x00000080u;
3675 binary_minimization_algorithm_ =
value;
3678 _internal_set_binary_minimization_algorithm(
value);
3683 inline bool SatParameters::_internal_has_subsumption_during_conflict_analysis()
const {
3684 bool value = (_has_bits_[2] & 0x00001000u) != 0;
3687 inline bool SatParameters::has_subsumption_during_conflict_analysis()
const {
3688 return _internal_has_subsumption_during_conflict_analysis();
3690 inline void SatParameters::clear_subsumption_during_conflict_analysis() {
3691 subsumption_during_conflict_analysis_ =
true;
3692 _has_bits_[2] &= ~0x00001000u;
3694 inline bool SatParameters::_internal_subsumption_during_conflict_analysis()
const {
3695 return subsumption_during_conflict_analysis_;
3697 inline bool SatParameters::subsumption_during_conflict_analysis()
const {
3699 return _internal_subsumption_during_conflict_analysis();
3701 inline void SatParameters::_internal_set_subsumption_during_conflict_analysis(
bool value) {
3702 _has_bits_[2] |= 0x00001000u;
3703 subsumption_during_conflict_analysis_ =
value;
3705 inline void SatParameters::set_subsumption_during_conflict_analysis(
bool value) {
3706 _internal_set_subsumption_during_conflict_analysis(
value);
3711 inline bool SatParameters::_internal_has_clause_cleanup_period()
const {
3712 bool value = (_has_bits_[1] & 0x10000000u) != 0;
3715 inline bool SatParameters::has_clause_cleanup_period()
const {
3716 return _internal_has_clause_cleanup_period();
3718 inline void SatParameters::clear_clause_cleanup_period() {
3719 clause_cleanup_period_ = 10000;
3720 _has_bits_[1] &= ~0x10000000u;
3723 return clause_cleanup_period_;
3727 return _internal_clause_cleanup_period();
3730 _has_bits_[1] |= 0x10000000u;
3731 clause_cleanup_period_ =
value;
3734 _internal_set_clause_cleanup_period(
value);
3739 inline bool SatParameters::_internal_has_clause_cleanup_target()
const {
3740 bool value = (_has_bits_[1] & 0x20000000u) != 0;
3743 inline bool SatParameters::has_clause_cleanup_target()
const {
3744 return _internal_has_clause_cleanup_target();
3746 inline void SatParameters::clear_clause_cleanup_target() {
3747 clause_cleanup_target_ = 10000;
3748 _has_bits_[1] &= ~0x20000000u;
3751 return clause_cleanup_target_;
3755 return _internal_clause_cleanup_target();
3758 _has_bits_[1] |= 0x20000000u;
3759 clause_cleanup_target_ =
value;
3762 _internal_set_clause_cleanup_target(
value);
3767 inline bool SatParameters::_internal_has_clause_cleanup_protection()
const {
3768 bool value = (_has_bits_[0] & 0x00000040u) != 0;
3771 inline bool SatParameters::has_clause_cleanup_protection()
const {
3772 return _internal_has_clause_cleanup_protection();
3774 inline void SatParameters::clear_clause_cleanup_protection() {
3775 clause_cleanup_protection_ = 0;
3776 _has_bits_[0] &= ~0x00000040u;
3783 return _internal_clause_cleanup_protection();
3787 _has_bits_[0] |= 0x00000040u;
3788 clause_cleanup_protection_ =
value;
3791 _internal_set_clause_cleanup_protection(
value);
3796 inline bool SatParameters::_internal_has_clause_cleanup_lbd_bound()
const {
3797 bool value = (_has_bits_[2] & 0x00200000u) != 0;
3800 inline bool SatParameters::has_clause_cleanup_lbd_bound()
const {
3801 return _internal_has_clause_cleanup_lbd_bound();
3803 inline void SatParameters::clear_clause_cleanup_lbd_bound() {
3804 clause_cleanup_lbd_bound_ = 5;
3805 _has_bits_[2] &= ~0x00200000u;
3808 return clause_cleanup_lbd_bound_;
3812 return _internal_clause_cleanup_lbd_bound();
3815 _has_bits_[2] |= 0x00200000u;
3816 clause_cleanup_lbd_bound_ =
value;
3819 _internal_set_clause_cleanup_lbd_bound(
value);
3824 inline bool SatParameters::_internal_has_clause_cleanup_ordering()
const {
3825 bool value = (_has_bits_[0] & 0x00000080u) != 0;
3828 inline bool SatParameters::has_clause_cleanup_ordering()
const {
3829 return _internal_has_clause_cleanup_ordering();
3831 inline void SatParameters::clear_clause_cleanup_ordering() {
3832 clause_cleanup_ordering_ = 0;
3833 _has_bits_[0] &= ~0x00000080u;
3840 return _internal_clause_cleanup_ordering();
3844 _has_bits_[0] |= 0x00000080u;
3845 clause_cleanup_ordering_ =
value;
3848 _internal_set_clause_cleanup_ordering(
value);
3853 inline bool SatParameters::_internal_has_pb_cleanup_increment()
const {
3854 bool value = (_has_bits_[2] & 0x00008000u) != 0;
3857 inline bool SatParameters::has_pb_cleanup_increment()
const {
3858 return _internal_has_pb_cleanup_increment();
3860 inline void SatParameters::clear_pb_cleanup_increment() {
3861 pb_cleanup_increment_ = 200;
3862 _has_bits_[2] &= ~0x00008000u;
3865 return pb_cleanup_increment_;
3869 return _internal_pb_cleanup_increment();
3872 _has_bits_[2] |= 0x00008000u;
3873 pb_cleanup_increment_ =
value;
3876 _internal_set_pb_cleanup_increment(
value);
3881 inline bool SatParameters::_internal_has_pb_cleanup_ratio()
const {
3882 bool value = (_has_bits_[2] & 0x00010000u) != 0;
3885 inline bool SatParameters::has_pb_cleanup_ratio()
const {
3886 return _internal_has_pb_cleanup_ratio();
3888 inline void SatParameters::clear_pb_cleanup_ratio() {
3889 pb_cleanup_ratio_ = 0.5;
3890 _has_bits_[2] &= ~0x00010000u;
3892 inline double SatParameters::_internal_pb_cleanup_ratio()
const {
3893 return pb_cleanup_ratio_;
3895 inline double SatParameters::pb_cleanup_ratio()
const {
3897 return _internal_pb_cleanup_ratio();
3899 inline void SatParameters::_internal_set_pb_cleanup_ratio(
double value) {
3900 _has_bits_[2] |= 0x00010000u;
3901 pb_cleanup_ratio_ =
value;
3903 inline void SatParameters::set_pb_cleanup_ratio(
double value) {
3904 _internal_set_pb_cleanup_ratio(
value);
3909 inline bool SatParameters::_internal_has_minimize_with_propagation_restart_period()
const {
3910 bool value = (_has_bits_[3] & 0x00000080u) != 0;
3913 inline bool SatParameters::has_minimize_with_propagation_restart_period()
const {
3914 return _internal_has_minimize_with_propagation_restart_period();
3916 inline void SatParameters::clear_minimize_with_propagation_restart_period() {
3917 minimize_with_propagation_restart_period_ = 10;
3918 _has_bits_[3] &= ~0x00000080u;
3921 return minimize_with_propagation_restart_period_;
3925 return _internal_minimize_with_propagation_restart_period();
3928 _has_bits_[3] |= 0x00000080u;
3929 minimize_with_propagation_restart_period_ =
value;
3932 _internal_set_minimize_with_propagation_restart_period(
value);
3937 inline bool SatParameters::_internal_has_minimize_with_propagation_num_decisions()
const {
3938 bool value = (_has_bits_[3] & 0x00000100u) != 0;
3941 inline bool SatParameters::has_minimize_with_propagation_num_decisions()
const {
3942 return _internal_has_minimize_with_propagation_num_decisions();
3944 inline void SatParameters::clear_minimize_with_propagation_num_decisions() {
3945 minimize_with_propagation_num_decisions_ = 1000;
3946 _has_bits_[3] &= ~0x00000100u;
3949 return minimize_with_propagation_num_decisions_;
3953 return _internal_minimize_with_propagation_num_decisions();
3956 _has_bits_[3] |= 0x00000100u;
3957 minimize_with_propagation_num_decisions_ =
value;
3960 _internal_set_minimize_with_propagation_num_decisions(
value);
3965 inline bool SatParameters::_internal_has_variable_activity_decay()
const {
3966 bool value = (_has_bits_[1] & 0x40000000u) != 0;
3969 inline bool SatParameters::has_variable_activity_decay()
const {
3970 return _internal_has_variable_activity_decay();
3972 inline void SatParameters::clear_variable_activity_decay() {
3973 variable_activity_decay_ = 0.8;
3974 _has_bits_[1] &= ~0x40000000u;
3976 inline double SatParameters::_internal_variable_activity_decay()
const {
3977 return variable_activity_decay_;
3979 inline double SatParameters::variable_activity_decay()
const {
3981 return _internal_variable_activity_decay();
3983 inline void SatParameters::_internal_set_variable_activity_decay(
double value) {
3984 _has_bits_[1] |= 0x40000000u;
3985 variable_activity_decay_ =
value;
3987 inline void SatParameters::set_variable_activity_decay(
double value) {
3988 _internal_set_variable_activity_decay(
value);
3993 inline bool SatParameters::_internal_has_max_variable_activity_value()
const {
3994 bool value = (_has_bits_[1] & 0x80000000u) != 0;
3997 inline bool SatParameters::has_max_variable_activity_value()
const {
3998 return _internal_has_max_variable_activity_value();
4000 inline void SatParameters::clear_max_variable_activity_value() {
4001 max_variable_activity_value_ = 1e+100;
4002 _has_bits_[1] &= ~0x80000000u;
4004 inline double SatParameters::_internal_max_variable_activity_value()
const {
4005 return max_variable_activity_value_;
4007 inline double SatParameters::max_variable_activity_value()
const {
4009 return _internal_max_variable_activity_value();
4011 inline void SatParameters::_internal_set_max_variable_activity_value(
double value) {
4012 _has_bits_[1] |= 0x80000000u;
4013 max_variable_activity_value_ =
value;
4015 inline void SatParameters::set_max_variable_activity_value(
double value) {
4016 _internal_set_max_variable_activity_value(
value);
4021 inline bool SatParameters::_internal_has_glucose_max_decay()
const {
4022 bool value = (_has_bits_[2] & 0x00000004u) != 0;
4025 inline bool SatParameters::has_glucose_max_decay()
const {
4026 return _internal_has_glucose_max_decay();
4028 inline void SatParameters::clear_glucose_max_decay() {
4029 glucose_max_decay_ = 0.95;
4030 _has_bits_[2] &= ~0x00000004u;
4032 inline double SatParameters::_internal_glucose_max_decay()
const {
4033 return glucose_max_decay_;
4035 inline double SatParameters::glucose_max_decay()
const {
4037 return _internal_glucose_max_decay();
4039 inline void SatParameters::_internal_set_glucose_max_decay(
double value) {
4040 _has_bits_[2] |= 0x00000004u;
4041 glucose_max_decay_ =
value;
4043 inline void SatParameters::set_glucose_max_decay(
double value) {
4044 _internal_set_glucose_max_decay(
value);
4049 inline bool SatParameters::_internal_has_glucose_decay_increment()
const {
4050 bool value = (_has_bits_[2] & 0x00000008u) != 0;
4053 inline bool SatParameters::has_glucose_decay_increment()
const {
4054 return _internal_has_glucose_decay_increment();
4056 inline void SatParameters::clear_glucose_decay_increment() {
4057 glucose_decay_increment_ = 0.01;
4058 _has_bits_[2] &= ~0x00000008u;
4060 inline double SatParameters::_internal_glucose_decay_increment()
const {
4061 return glucose_decay_increment_;
4063 inline double SatParameters::glucose_decay_increment()
const {
4065 return _internal_glucose_decay_increment();
4067 inline void SatParameters::_internal_set_glucose_decay_increment(
double value) {
4068 _has_bits_[2] |= 0x00000008u;
4069 glucose_decay_increment_ =
value;
4071 inline void SatParameters::set_glucose_decay_increment(
double value) {
4072 _internal_set_glucose_decay_increment(
value);
4077 inline bool SatParameters::_internal_has_glucose_decay_increment_period()
const {
4078 bool value = (_has_bits_[2] & 0x00000010u) != 0;
4081 inline bool SatParameters::has_glucose_decay_increment_period()
const {
4082 return _internal_has_glucose_decay_increment_period();
4084 inline void SatParameters::clear_glucose_decay_increment_period() {
4085 glucose_decay_increment_period_ = 5000;
4086 _has_bits_[2] &= ~0x00000010u;
4089 return glucose_decay_increment_period_;
4093 return _internal_glucose_decay_increment_period();
4096 _has_bits_[2] |= 0x00000010u;
4097 glucose_decay_increment_period_ =
value;
4100 _internal_set_glucose_decay_increment_period(
value);
4105 inline bool SatParameters::_internal_has_clause_activity_decay()
const {
4106 bool value = (_has_bits_[2] & 0x00000001u) != 0;
4109 inline bool SatParameters::has_clause_activity_decay()
const {
4110 return _internal_has_clause_activity_decay();
4112 inline void SatParameters::clear_clause_activity_decay() {
4113 clause_activity_decay_ = 0.999;
4114 _has_bits_[2] &= ~0x00000001u;
4116 inline double SatParameters::_internal_clause_activity_decay()
const {
4117 return clause_activity_decay_;
4119 inline double SatParameters::clause_activity_decay()
const {
4121 return _internal_clause_activity_decay();
4123 inline void SatParameters::_internal_set_clause_activity_decay(
double value) {
4124 _has_bits_[2] |= 0x00000001u;
4125 clause_activity_decay_ =
value;
4127 inline void SatParameters::set_clause_activity_decay(
double value) {
4128 _internal_set_clause_activity_decay(
value);
4133 inline bool SatParameters::_internal_has_max_clause_activity_value()
const {
4134 bool value = (_has_bits_[2] & 0x00000002u) != 0;
4137 inline bool SatParameters::has_max_clause_activity_value()
const {
4138 return _internal_has_max_clause_activity_value();
4140 inline void SatParameters::clear_max_clause_activity_value() {
4141 max_clause_activity_value_ = 1e+20;
4142 _has_bits_[2] &= ~0x00000002u;
4144 inline double SatParameters::_internal_max_clause_activity_value()
const {
4145 return max_clause_activity_value_;
4147 inline double SatParameters::max_clause_activity_value()
const {
4149 return _internal_max_clause_activity_value();
4151 inline void SatParameters::_internal_set_max_clause_activity_value(
double value) {
4152 _has_bits_[2] |= 0x00000002u;
4153 max_clause_activity_value_ =
value;
4155 inline void SatParameters::set_max_clause_activity_value(
double value) {
4156 _internal_set_max_clause_activity_value(
value);
4161 inline int SatParameters::_internal_restart_algorithms_size()
const {
4162 return restart_algorithms_.size();
4164 inline int SatParameters::restart_algorithms_size()
const {
4165 return _internal_restart_algorithms_size();
4167 inline void SatParameters::clear_restart_algorithms() {
4168 restart_algorithms_.Clear();
4175 return _internal_restart_algorithms(
index);
4184 restart_algorithms_.Add(
value);
4188 _internal_add_restart_algorithms(
value);
4190 inline const ::PROTOBUF_NAMESPACE_ID::RepeatedField<int>&
4191 SatParameters::restart_algorithms()
const {
4193 return restart_algorithms_;
4195 inline ::PROTOBUF_NAMESPACE_ID::RepeatedField<int>*
4196 SatParameters::_internal_mutable_restart_algorithms() {
4197 return &restart_algorithms_;
4199 inline ::PROTOBUF_NAMESPACE_ID::RepeatedField<int>*
4200 SatParameters::mutable_restart_algorithms() {
4202 return _internal_mutable_restart_algorithms();
4206 inline bool SatParameters::_internal_has_default_restart_algorithms()
const {
4207 bool value = (_has_bits_[0] & 0x00000001u) != 0;
4210 inline bool SatParameters::has_default_restart_algorithms()
const {
4211 return _internal_has_default_restart_algorithms();
4213 inline void SatParameters::clear_default_restart_algorithms() {
4214 default_restart_algorithms_.ClearToDefault(::operations_research::sat::SatParameters::_i_give_permission_to_break_this_code_default_default_restart_algorithms_, GetArena());
4215 _has_bits_[0] &= ~0x00000001u;
4217 inline const std::string& SatParameters::default_restart_algorithms()
const {
4219 if (default_restart_algorithms_.IsDefault(
nullptr))
return _i_give_permission_to_break_this_code_default_default_restart_algorithms_.get();
4220 return _internal_default_restart_algorithms();
4222 inline void SatParameters::set_default_restart_algorithms(
const std::string&
value) {
4223 _internal_set_default_restart_algorithms(
value);
4226 inline std::string* SatParameters::mutable_default_restart_algorithms() {
4228 return _internal_mutable_default_restart_algorithms();
4230 inline const std::string& SatParameters::_internal_default_restart_algorithms()
const {
4231 return default_restart_algorithms_.Get();
4233 inline void SatParameters::_internal_set_default_restart_algorithms(
const std::string&
value) {
4234 _has_bits_[0] |= 0x00000001u;
4235 default_restart_algorithms_.Set(::PROTOBUF_NAMESPACE_ID::internal::ArenaStringPtr::NonEmptyDefault{},
value, GetArena());
4237 inline void SatParameters::set_default_restart_algorithms(std::string&&
value) {
4238 _has_bits_[0] |= 0x00000001u;
4239 default_restart_algorithms_.Set(
4240 ::PROTOBUF_NAMESPACE_ID::internal::ArenaStringPtr::NonEmptyDefault{}, ::std::move(
value), GetArena());
4243 inline void SatParameters::set_default_restart_algorithms(
const char*
value) {
4244 GOOGLE_DCHECK(
value !=
nullptr);
4245 _has_bits_[0] |= 0x00000001u;
4246 default_restart_algorithms_.Set(::PROTOBUF_NAMESPACE_ID::internal::ArenaStringPtr::NonEmptyDefault{}, ::std::string(
value), GetArena());
4249 inline void SatParameters::set_default_restart_algorithms(
const char*
value,
4251 _has_bits_[0] |= 0x00000001u;
4252 default_restart_algorithms_.Set(::PROTOBUF_NAMESPACE_ID::internal::ArenaStringPtr::NonEmptyDefault{}, ::std::string(
4253 reinterpret_cast<const char*
>(
value), size), GetArena());
4256 inline std::string* SatParameters::_internal_mutable_default_restart_algorithms() {
4257 _has_bits_[0] |= 0x00000001u;
4258 return default_restart_algorithms_.Mutable(::operations_research::sat::SatParameters::_i_give_permission_to_break_this_code_default_default_restart_algorithms_, GetArena());
4260 inline std::string* SatParameters::release_default_restart_algorithms() {
4262 if (!_internal_has_default_restart_algorithms()) {
4265 _has_bits_[0] &= ~0x00000001u;
4266 return default_restart_algorithms_.ReleaseNonDefault(
nullptr, GetArena());
4268 inline void SatParameters::set_allocated_default_restart_algorithms(std::string* default_restart_algorithms) {
4269 if (default_restart_algorithms !=
nullptr) {
4270 _has_bits_[0] |= 0x00000001u;
4272 _has_bits_[0] &= ~0x00000001u;
4274 default_restart_algorithms_.SetAllocated(
nullptr, default_restart_algorithms,
4280 inline bool SatParameters::_internal_has_restart_period()
const {
4281 bool value = (_has_bits_[2] & 0x00000020u) != 0;
4284 inline bool SatParameters::has_restart_period()
const {
4285 return _internal_has_restart_period();
4287 inline void SatParameters::clear_restart_period() {
4288 restart_period_ = 50;
4289 _has_bits_[2] &= ~0x00000020u;
4292 return restart_period_;
4296 return _internal_restart_period();
4299 _has_bits_[2] |= 0x00000020u;
4300 restart_period_ =
value;
4303 _internal_set_restart_period(
value);
4308 inline bool SatParameters::_internal_has_restart_running_window_size()
const {
4309 bool value = (_has_bits_[2] & 0x00800000u) != 0;
4312 inline bool SatParameters::has_restart_running_window_size()
const {
4313 return _internal_has_restart_running_window_size();
4315 inline void SatParameters::clear_restart_running_window_size() {
4316 restart_running_window_size_ = 50;
4317 _has_bits_[2] &= ~0x00800000u;
4320 return restart_running_window_size_;
4324 return _internal_restart_running_window_size();
4327 _has_bits_[2] |= 0x00800000u;
4328 restart_running_window_size_ =
value;
4331 _internal_set_restart_running_window_size(
value);
4336 inline bool SatParameters::_internal_has_restart_dl_average_ratio()
const {
4337 bool value = (_has_bits_[2] & 0x00400000u) != 0;
4340 inline bool SatParameters::has_restart_dl_average_ratio()
const {
4341 return _internal_has_restart_dl_average_ratio();
4343 inline void SatParameters::clear_restart_dl_average_ratio() {
4344 restart_dl_average_ratio_ = 1;
4345 _has_bits_[2] &= ~0x00400000u;
4347 inline double SatParameters::_internal_restart_dl_average_ratio()
const {
4348 return restart_dl_average_ratio_;
4350 inline double SatParameters::restart_dl_average_ratio()
const {
4352 return _internal_restart_dl_average_ratio();
4354 inline void SatParameters::_internal_set_restart_dl_average_ratio(
double value) {
4355 _has_bits_[2] |= 0x00400000u;
4356 restart_dl_average_ratio_ =
value;
4358 inline void SatParameters::set_restart_dl_average_ratio(
double value) {
4359 _internal_set_restart_dl_average_ratio(
value);
4364 inline bool SatParameters::_internal_has_restart_lbd_average_ratio()
const {
4365 bool value = (_has_bits_[3] & 0x00000001u) != 0;
4368 inline bool SatParameters::has_restart_lbd_average_ratio()
const {
4369 return _internal_has_restart_lbd_average_ratio();
4371 inline void SatParameters::clear_restart_lbd_average_ratio() {
4372 restart_lbd_average_ratio_ = 1;
4373 _has_bits_[3] &= ~0x00000001u;
4375 inline double SatParameters::_internal_restart_lbd_average_ratio()
const {
4376 return restart_lbd_average_ratio_;
4378 inline double SatParameters::restart_lbd_average_ratio()
const {
4380 return _internal_restart_lbd_average_ratio();
4382 inline void SatParameters::_internal_set_restart_lbd_average_ratio(
double value) {
4383 _has_bits_[3] |= 0x00000001u;
4384 restart_lbd_average_ratio_ =
value;
4386 inline void SatParameters::set_restart_lbd_average_ratio(
double value) {
4387 _internal_set_restart_lbd_average_ratio(
value);
4392 inline bool SatParameters::_internal_has_use_blocking_restart()
const {
4393 bool value = (_has_bits_[0] & 0x00008000u) != 0;
4396 inline bool SatParameters::has_use_blocking_restart()
const {
4397 return _internal_has_use_blocking_restart();
4399 inline void SatParameters::clear_use_blocking_restart() {
4400 use_blocking_restart_ =
false;
4401 _has_bits_[0] &= ~0x00008000u;
4403 inline bool SatParameters::_internal_use_blocking_restart()
const {
4404 return use_blocking_restart_;
4406 inline bool SatParameters::use_blocking_restart()
const {
4408 return _internal_use_blocking_restart();
4410 inline void SatParameters::_internal_set_use_blocking_restart(
bool value) {
4411 _has_bits_[0] |= 0x00008000u;
4412 use_blocking_restart_ =
value;
4414 inline void SatParameters::set_use_blocking_restart(
bool value) {
4415 _internal_set_use_blocking_restart(
value);
4420 inline bool SatParameters::_internal_has_blocking_restart_window_size()
const {
4421 bool value = (_has_bits_[2] & 0x40000000u) != 0;
4424 inline bool SatParameters::has_blocking_restart_window_size()
const {
4425 return _internal_has_blocking_restart_window_size();
4427 inline void SatParameters::clear_blocking_restart_window_size() {
4428 blocking_restart_window_size_ = 5000;
4429 _has_bits_[2] &= ~0x40000000u;
4432 return blocking_restart_window_size_;
4436 return _internal_blocking_restart_window_size();
4439 _has_bits_[2] |= 0x40000000u;
4440 blocking_restart_window_size_ =
value;
4443 _internal_set_blocking_restart_window_size(
value);
4448 inline bool SatParameters::_internal_has_blocking_restart_multiplier()
const {
4449 bool value = (_has_bits_[2] & 0x10000000u) != 0;
4452 inline bool SatParameters::has_blocking_restart_multiplier()
const {
4453 return _internal_has_blocking_restart_multiplier();
4455 inline void SatParameters::clear_blocking_restart_multiplier() {
4456 blocking_restart_multiplier_ = 1.4;
4457 _has_bits_[2] &= ~0x10000000u;
4459 inline double SatParameters::_internal_blocking_restart_multiplier()
const {
4460 return blocking_restart_multiplier_;
4462 inline double SatParameters::blocking_restart_multiplier()
const {
4464 return _internal_blocking_restart_multiplier();
4466 inline void SatParameters::_internal_set_blocking_restart_multiplier(
double value) {
4467 _has_bits_[2] |= 0x10000000u;
4468 blocking_restart_multiplier_ =
value;
4470 inline void SatParameters::set_blocking_restart_multiplier(
double value) {
4471 _internal_set_blocking_restart_multiplier(
value);
4476 inline bool SatParameters::_internal_has_num_conflicts_before_strategy_changes()
const {
4477 bool value = (_has_bits_[0] & 0x00000200u) != 0;
4480 inline bool SatParameters::has_num_conflicts_before_strategy_changes()
const {
4481 return _internal_has_num_conflicts_before_strategy_changes();
4483 inline void SatParameters::clear_num_conflicts_before_strategy_changes() {
4484 num_conflicts_before_strategy_changes_ = 0;
4485 _has_bits_[0] &= ~0x00000200u;
4488 return num_conflicts_before_strategy_changes_;
4492 return _internal_num_conflicts_before_strategy_changes();
4495 _has_bits_[0] |= 0x00000200u;
4496 num_conflicts_before_strategy_changes_ =
value;
4499 _internal_set_num_conflicts_before_strategy_changes(
value);
4504 inline bool SatParameters::_internal_has_strategy_change_increase_ratio()
const {
4505 bool value = (_has_bits_[0] & 0x00000100u) != 0;
4508 inline bool SatParameters::has_strategy_change_increase_ratio()
const {
4509 return _internal_has_strategy_change_increase_ratio();
4511 inline void SatParameters::clear_strategy_change_increase_ratio() {
4512 strategy_change_increase_ratio_ = 0;
4513 _has_bits_[0] &= ~0x00000100u;
4515 inline double SatParameters::_internal_strategy_change_increase_ratio()
const {
4516 return strategy_change_increase_ratio_;
4518 inline double SatParameters::strategy_change_increase_ratio()
const {
4520 return _internal_strategy_change_increase_ratio();
4522 inline void SatParameters::_internal_set_strategy_change_increase_ratio(
double value) {
4523 _has_bits_[0] |= 0x00000100u;
4524 strategy_change_increase_ratio_ =
value;
4526 inline void SatParameters::set_strategy_change_increase_ratio(
double value) {
4527 _internal_set_strategy_change_increase_ratio(
value);
4532 inline bool SatParameters::_internal_has_max_time_in_seconds()
const {
4533 bool value = (_has_bits_[2] & 0x00000100u) != 0;
4536 inline bool SatParameters::has_max_time_in_seconds()
const {
4537 return _internal_has_max_time_in_seconds();
4539 inline void SatParameters::clear_max_time_in_seconds() {
4540 max_time_in_seconds_ = std::numeric_limits<double>::infinity();
4541 _has_bits_[2] &= ~0x00000100u;
4543 inline double SatParameters::_internal_max_time_in_seconds()
const {
4544 return max_time_in_seconds_;
4546 inline double SatParameters::max_time_in_seconds()
const {
4548 return _internal_max_time_in_seconds();
4550 inline void SatParameters::_internal_set_max_time_in_seconds(
double value) {
4551 _has_bits_[2] |= 0x00000100u;
4552 max_time_in_seconds_ =
value;
4554 inline void SatParameters::set_max_time_in_seconds(
double value) {
4555 _internal_set_max_time_in_seconds(
value);
4560 inline bool SatParameters::_internal_has_max_deterministic_time()
const {
4561 bool value = (_has_bits_[2] & 0x20000000u) != 0;
4564 inline bool SatParameters::has_max_deterministic_time()
const {
4565 return _internal_has_max_deterministic_time();
4567 inline void SatParameters::clear_max_deterministic_time() {
4568 max_deterministic_time_ = std::numeric_limits<double>::infinity();
4569 _has_bits_[2] &= ~0x20000000u;
4571 inline double SatParameters::_internal_max_deterministic_time()
const {
4572 return max_deterministic_time_;
4574 inline double SatParameters::max_deterministic_time()
const {
4576 return _internal_max_deterministic_time();
4578 inline void SatParameters::_internal_set_max_deterministic_time(
double value) {
4579 _has_bits_[2] |= 0x20000000u;
4580 max_deterministic_time_ =
value;
4582 inline void SatParameters::set_max_deterministic_time(
double value) {
4583 _internal_set_max_deterministic_time(
value);
4588 inline bool SatParameters::_internal_has_max_number_of_conflicts()
const {
4589 bool value = (_has_bits_[2] & 0x00000200u) != 0;
4592 inline bool SatParameters::has_max_number_of_conflicts()
const {
4593 return _internal_has_max_number_of_conflicts();
4595 inline void SatParameters::clear_max_number_of_conflicts() {
4596 max_number_of_conflicts_ = PROTOBUF_LONGLONG(9223372036854775807);
4597 _has_bits_[2] &= ~0x00000200u;
4600 return max_number_of_conflicts_;
4604 return _internal_max_number_of_conflicts();
4607 _has_bits_[2] |= 0x00000200u;
4608 max_number_of_conflicts_ =
value;
4611 _internal_set_max_number_of_conflicts(
value);
4616 inline bool SatParameters::_internal_has_max_memory_in_mb()
const {
4617 bool value = (_has_bits_[2] & 0x00000400u) != 0;
4620 inline bool SatParameters::has_max_memory_in_mb()
const {
4621 return _internal_has_max_memory_in_mb();
4623 inline void SatParameters::clear_max_memory_in_mb() {
4624 max_memory_in_mb_ = PROTOBUF_LONGLONG(10000);
4625 _has_bits_[2] &= ~0x00000400u;
4628 return max_memory_in_mb_;
4632 return _internal_max_memory_in_mb();
4635 _has_bits_[2] |= 0x00000400u;
4636 max_memory_in_mb_ =
value;
4639 _internal_set_max_memory_in_mb(
value);
4644 inline bool SatParameters::_internal_has_absolute_gap_limit()
const {
4645 bool value = (_has_bits_[1] & 0x00400000u) != 0;
4648 inline bool SatParameters::has_absolute_gap_limit()
const {
4649 return _internal_has_absolute_gap_limit();
4651 inline void SatParameters::clear_absolute_gap_limit() {
4652 absolute_gap_limit_ = 0;
4653 _has_bits_[1] &= ~0x00400000u;
4655 inline double SatParameters::_internal_absolute_gap_limit()
const {
4656 return absolute_gap_limit_;
4658 inline double SatParameters::absolute_gap_limit()
const {
4660 return _internal_absolute_gap_limit();
4662 inline void SatParameters::_internal_set_absolute_gap_limit(
double value) {
4663 _has_bits_[1] |= 0x00400000u;
4664 absolute_gap_limit_ =
value;
4666 inline void SatParameters::set_absolute_gap_limit(
double value) {
4667 _internal_set_absolute_gap_limit(
value);
4672 inline bool SatParameters::_internal_has_relative_gap_limit()
const {
4673 bool value = (_has_bits_[1] & 0x00800000u) != 0;
4676 inline bool SatParameters::has_relative_gap_limit()
const {
4677 return _internal_has_relative_gap_limit();
4679 inline void SatParameters::clear_relative_gap_limit() {
4680 relative_gap_limit_ = 0;
4681 _has_bits_[1] &= ~0x00800000u;
4683 inline double SatParameters::_internal_relative_gap_limit()
const {
4684 return relative_gap_limit_;
4686 inline double SatParameters::relative_gap_limit()
const {
4688 return _internal_relative_gap_limit();
4690 inline void SatParameters::_internal_set_relative_gap_limit(
double value) {
4691 _has_bits_[1] |= 0x00800000u;
4692 relative_gap_limit_ =
value;
4694 inline void SatParameters::set_relative_gap_limit(
double value) {
4695 _internal_set_relative_gap_limit(
value);
4700 inline bool SatParameters::_internal_has_treat_binary_clauses_separately()
const {
4701 bool value = (_has_bits_[2] & 0x00002000u) != 0;
4704 inline bool SatParameters::has_treat_binary_clauses_separately()
const {
4705 return _internal_has_treat_binary_clauses_separately();
4707 inline void SatParameters::clear_treat_binary_clauses_separately() {
4708 treat_binary_clauses_separately_ =
true;
4709 _has_bits_[2] &= ~0x00002000u;
4711 inline bool SatParameters::_internal_treat_binary_clauses_separately()
const {
4712 return treat_binary_clauses_separately_;
4714 inline bool SatParameters::treat_binary_clauses_separately()
const {
4716 return _internal_treat_binary_clauses_separately();
4718 inline void SatParameters::_internal_set_treat_binary_clauses_separately(
bool value) {
4719 _has_bits_[2] |= 0x00002000u;
4720 treat_binary_clauses_separately_ =
value;
4722 inline void SatParameters::set_treat_binary_clauses_separately(
bool value) {
4723 _internal_set_treat_binary_clauses_separately(
value);
4728 inline bool SatParameters::_internal_has_random_seed()
const {
4729 bool value = (_has_bits_[2] & 0x00000040u) != 0;
4732 inline bool SatParameters::has_random_seed()
const {
4733 return _internal_has_random_seed();
4735 inline void SatParameters::clear_random_seed() {
4737 _has_bits_[2] &= ~0x00000040u;
4740 return random_seed_;
4744 return _internal_random_seed();
4747 _has_bits_[2] |= 0x00000040u;
4748 random_seed_ =
value;
4751 _internal_set_random_seed(
value);
4756 inline bool SatParameters::_internal_has_permute_variable_randomly()
const {
4757 bool value = (_has_bits_[0] & 0x00010000u) != 0;
4760 inline bool SatParameters::has_permute_variable_randomly()
const {
4761 return _internal_has_permute_variable_randomly();
4763 inline void SatParameters::clear_permute_variable_randomly() {
4764 permute_variable_randomly_ =
false;
4765 _has_bits_[0] &= ~0x00010000u;
4767 inline bool SatParameters::_internal_permute_variable_randomly()
const {
4768 return permute_variable_randomly_;
4770 inline bool SatParameters::permute_variable_randomly()
const {
4772 return _internal_permute_variable_randomly();
4774 inline void SatParameters::_internal_set_permute_variable_randomly(
bool value) {
4775 _has_bits_[0] |= 0x00010000u;
4776 permute_variable_randomly_ =
value;
4778 inline void SatParameters::set_permute_variable_randomly(
bool value) {
4779 _internal_set_permute_variable_randomly(
value);
4784 inline bool SatParameters::_internal_has_permute_presolve_constraint_order()
const {
4785 bool value = (_has_bits_[0] & 0x00020000u) != 0;
4788 inline bool SatParameters::has_permute_presolve_constraint_order()
const {
4789 return _internal_has_permute_presolve_constraint_order();
4791 inline void SatParameters::clear_permute_presolve_constraint_order() {
4792 permute_presolve_constraint_order_ =
false;
4793 _has_bits_[0] &= ~0x00020000u;
4795 inline bool SatParameters::_internal_permute_presolve_constraint_order()
const {
4796 return permute_presolve_constraint_order_;
4798 inline bool SatParameters::permute_presolve_constraint_order()
const {
4800 return _internal_permute_presolve_constraint_order();
4802 inline void SatParameters::_internal_set_permute_presolve_constraint_order(
bool value) {
4803 _has_bits_[0] |= 0x00020000u;
4804 permute_presolve_constraint_order_ =
value;
4806 inline void SatParameters::set_permute_presolve_constraint_order(
bool value) {
4807 _internal_set_permute_presolve_constraint_order(
value);
4812 inline bool SatParameters::_internal_has_use_absl_random()
const {
4813 bool value = (_has_bits_[0] & 0x00040000u) != 0;
4816 inline bool SatParameters::has_use_absl_random()
const {
4817 return _internal_has_use_absl_random();
4819 inline void SatParameters::clear_use_absl_random() {
4820 use_absl_random_ =
false;
4821 _has_bits_[0] &= ~0x00040000u;
4823 inline bool SatParameters::_internal_use_absl_random()
const {
4824 return use_absl_random_;
4826 inline bool SatParameters::use_absl_random()
const {
4828 return _internal_use_absl_random();
4830 inline void SatParameters::_internal_set_use_absl_random(
bool value) {
4831 _has_bits_[0] |= 0x00040000u;
4832 use_absl_random_ =
value;
4834 inline void SatParameters::set_use_absl_random(
bool value) {
4835 _internal_set_use_absl_random(
value);
4840 inline bool SatParameters::_internal_has_log_search_progress()
const {
4841 bool value = (_has_bits_[0] & 0x00080000u) != 0;
4844 inline bool SatParameters::has_log_search_progress()
const {
4845 return _internal_has_log_search_progress();
4847 inline void SatParameters::clear_log_search_progress() {
4848 log_search_progress_ =
false;
4849 _has_bits_[0] &= ~0x00080000u;
4851 inline bool SatParameters::_internal_log_search_progress()
const {
4852 return log_search_progress_;
4854 inline bool SatParameters::log_search_progress()
const {
4856 return _internal_log_search_progress();
4858 inline void SatParameters::_internal_set_log_search_progress(
bool value) {
4859 _has_bits_[0] |= 0x00080000u;
4860 log_search_progress_ =
value;
4862 inline void SatParameters::set_log_search_progress(
bool value) {
4863 _internal_set_log_search_progress(
value);
4868 inline bool SatParameters::_internal_has_use_pb_resolution()
const {
4869 bool value = (_has_bits_[0] & 0x00100000u) != 0;
4872 inline bool SatParameters::has_use_pb_resolution()
const {
4873 return _internal_has_use_pb_resolution();
4875 inline void SatParameters::clear_use_pb_resolution() {
4876 use_pb_resolution_ =
false;
4877 _has_bits_[0] &= ~0x00100000u;
4879 inline bool SatParameters::_internal_use_pb_resolution()
const {
4880 return use_pb_resolution_;
4882 inline bool SatParameters::use_pb_resolution()
const {
4884 return _internal_use_pb_resolution();
4886 inline void SatParameters::_internal_set_use_pb_resolution(
bool value) {
4887 _has_bits_[0] |= 0x00100000u;
4888 use_pb_resolution_ =
value;
4890 inline void SatParameters::set_use_pb_resolution(
bool value) {
4891 _internal_set_use_pb_resolution(
value);
4896 inline bool SatParameters::_internal_has_minimize_reduction_during_pb_resolution()
const {
4897 bool value = (_has_bits_[1] & 0x00000200u) != 0;
4900 inline bool SatParameters::has_minimize_reduction_during_pb_resolution()
const {
4901 return _internal_has_minimize_reduction_during_pb_resolution();
4903 inline void SatParameters::clear_minimize_reduction_during_pb_resolution() {
4904 minimize_reduction_during_pb_resolution_ =
false;
4905 _has_bits_[1] &= ~0x00000200u;
4907 inline bool SatParameters::_internal_minimize_reduction_during_pb_resolution()
const {
4908 return minimize_reduction_during_pb_resolution_;
4910 inline bool SatParameters::minimize_reduction_during_pb_resolution()
const {
4912 return _internal_minimize_reduction_during_pb_resolution();
4914 inline void SatParameters::_internal_set_minimize_reduction_during_pb_resolution(
bool value) {
4915 _has_bits_[1] |= 0x00000200u;
4916 minimize_reduction_during_pb_resolution_ =
value;
4918 inline void SatParameters::set_minimize_reduction_during_pb_resolution(
bool value) {
4919 _internal_set_minimize_reduction_during_pb_resolution(
value);
4924 inline bool SatParameters::_internal_has_count_assumption_levels_in_lbd()
const {
4925 bool value = (_has_bits_[2] & 0x00004000u) != 0;
4928 inline bool SatParameters::has_count_assumption_levels_in_lbd()
const {
4929 return _internal_has_count_assumption_levels_in_lbd();
4931 inline void SatParameters::clear_count_assumption_levels_in_lbd() {
4932 count_assumption_levels_in_lbd_ =
true;
4933 _has_bits_[2] &= ~0x00004000u;
4935 inline bool SatParameters::_internal_count_assumption_levels_in_lbd()
const {
4936 return count_assumption_levels_in_lbd_;
4938 inline bool SatParameters::count_assumption_levels_in_lbd()
const {
4940 return _internal_count_assumption_levels_in_lbd();
4942 inline void SatParameters::_internal_set_count_assumption_levels_in_lbd(
bool value) {
4943 _has_bits_[2] |= 0x00004000u;
4944 count_assumption_levels_in_lbd_ =
value;
4946 inline void SatParameters::set_count_assumption_levels_in_lbd(
bool value) {
4947 _internal_set_count_assumption_levels_in_lbd(
value);
4952 inline bool SatParameters::_internal_has_presolve_bve_threshold()
const {
4953 bool value = (_has_bits_[2] & 0x00040000u) != 0;
4956 inline bool SatParameters::has_presolve_bve_threshold()
const {
4957 return _internal_has_presolve_bve_threshold();
4959 inline void SatParameters::clear_presolve_bve_threshold() {
4960 presolve_bve_threshold_ = 500;
4961 _has_bits_[2] &= ~0x00040000u;
4964 return presolve_bve_threshold_;
4968 return _internal_presolve_bve_threshold();
4971 _has_bits_[2] |= 0x00040000u;
4972 presolve_bve_threshold_ =
value;
4975 _internal_set_presolve_bve_threshold(
value);
4980 inline bool SatParameters::_internal_has_presolve_bve_clause_weight()
const {
4981 bool value = (_has_bits_[2] & 0x00100000u) != 0;
4984 inline bool SatParameters::has_presolve_bve_clause_weight()
const {
4985 return _internal_has_presolve_bve_clause_weight();
4987 inline void SatParameters::clear_presolve_bve_clause_weight() {
4988 presolve_bve_clause_weight_ = 3;
4989 _has_bits_[2] &= ~0x00100000u;
4992 return presolve_bve_clause_weight_;
4996 return _internal_presolve_bve_clause_weight();
4999 _has_bits_[2] |= 0x00100000u;
5000 presolve_bve_clause_weight_ =
value;
5003 _internal_set_presolve_bve_clause_weight(
value);
5008 inline bool SatParameters::_internal_has_presolve_probing_deterministic_time_limit()
const {
5009 bool value = (_has_bits_[2] & 0x00080000u) != 0;
5012 inline bool SatParameters::has_presolve_probing_deterministic_time_limit()
const {
5013 return _internal_has_presolve_probing_deterministic_time_limit();
5015 inline void SatParameters::clear_presolve_probing_deterministic_time_limit() {
5016 presolve_probing_deterministic_time_limit_ = 30;
5017 _has_bits_[2] &= ~0x00080000u;
5019 inline double SatParameters::_internal_presolve_probing_deterministic_time_limit()
const {
5020 return presolve_probing_deterministic_time_limit_;
5022 inline double SatParameters::presolve_probing_deterministic_time_limit()
const {
5024 return _internal_presolve_probing_deterministic_time_limit();
5026 inline void SatParameters::_internal_set_presolve_probing_deterministic_time_limit(
double value) {
5027 _has_bits_[2] |= 0x00080000u;
5028 presolve_probing_deterministic_time_limit_ =
value;
5030 inline void SatParameters::set_presolve_probing_deterministic_time_limit(
double value) {
5031 _internal_set_presolve_probing_deterministic_time_limit(
value);
5036 inline bool SatParameters::_internal_has_presolve_blocked_clause()
const {
5037 bool value = (_has_bits_[3] & 0x00000002u) != 0;
5040 inline bool SatParameters::has_presolve_blocked_clause()
const {
5041 return _internal_has_presolve_blocked_clause();
5043 inline void SatParameters::clear_presolve_blocked_clause() {
5044 presolve_blocked_clause_ =
true;
5045 _has_bits_[3] &= ~0x00000002u;
5047 inline bool SatParameters::_internal_presolve_blocked_clause()
const {
5048 return presolve_blocked_clause_;
5050 inline bool SatParameters::presolve_blocked_clause()
const {
5052 return _internal_presolve_blocked_clause();
5054 inline void SatParameters::_internal_set_presolve_blocked_clause(
bool value) {
5055 _has_bits_[3] |= 0x00000002u;
5056 presolve_blocked_clause_ =
value;
5058 inline void SatParameters::set_presolve_blocked_clause(
bool value) {
5059 _internal_set_presolve_blocked_clause(
value);
5064 inline bool SatParameters::_internal_has_presolve_use_bva()
const {
5065 bool value = (_has_bits_[3] & 0x00000004u) != 0;
5068 inline bool SatParameters::has_presolve_use_bva()
const {
5069 return _internal_has_presolve_use_bva();
5071 inline void SatParameters::clear_presolve_use_bva() {
5072 presolve_use_bva_ =
true;
5073 _has_bits_[3] &= ~0x00000004u;
5075 inline bool SatParameters::_internal_presolve_use_bva()
const {
5076 return presolve_use_bva_;
5078 inline bool SatParameters::presolve_use_bva()
const {
5080 return _internal_presolve_use_bva();
5082 inline void SatParameters::_internal_set_presolve_use_bva(
bool value) {
5083 _has_bits_[3] |= 0x00000004u;
5084 presolve_use_bva_ =
value;
5086 inline void SatParameters::set_presolve_use_bva(
bool value) {
5087 _internal_set_presolve_use_bva(
value);
5092 inline bool SatParameters::_internal_has_presolve_bva_threshold()
const {
5093 bool value = (_has_bits_[2] & 0x80000000u) != 0;
5096 inline bool SatParameters::has_presolve_bva_threshold()
const {
5097 return _internal_has_presolve_bva_threshold();
5099 inline void SatParameters::clear_presolve_bva_threshold() {
5100 presolve_bva_threshold_ = 1;
5101 _has_bits_[2] &= ~0x80000000u;
5104 return presolve_bva_threshold_;
5108 return _internal_presolve_bva_threshold();
5111 _has_bits_[2] |= 0x80000000u;
5112 presolve_bva_threshold_ =
value;
5115 _internal_set_presolve_bva_threshold(
value);
5120 inline bool SatParameters::_internal_has_max_presolve_iterations()
const {
5121 bool value = (_has_bits_[4] & 0x00000100u) != 0;
5124 inline bool SatParameters::has_max_presolve_iterations()
const {
5125 return _internal_has_max_presolve_iterations();
5127 inline void SatParameters::clear_max_presolve_iterations() {
5128 max_presolve_iterations_ = 3;
5129 _has_bits_[4] &= ~0x00000100u;
5132 return max_presolve_iterations_;
5136 return _internal_max_presolve_iterations();
5139 _has_bits_[4] |= 0x00000100u;
5140 max_presolve_iterations_ =
value;
5143 _internal_set_max_presolve_iterations(
value);
5148 inline bool SatParameters::_internal_has_cp_model_presolve()
const {
5149 bool value = (_has_bits_[3] & 0x00000008u) != 0;
5152 inline bool SatParameters::has_cp_model_presolve()
const {
5153 return _internal_has_cp_model_presolve();
5155 inline void SatParameters::clear_cp_model_presolve() {
5156 cp_model_presolve_ =
true;
5157 _has_bits_[3] &= ~0x00000008u;
5159 inline bool SatParameters::_internal_cp_model_presolve()
const {
5160 return cp_model_presolve_;
5162 inline bool SatParameters::cp_model_presolve()
const {
5164 return _internal_cp_model_presolve();
5166 inline void SatParameters::_internal_set_cp_model_presolve(
bool value) {
5167 _has_bits_[3] |= 0x00000008u;
5168 cp_model_presolve_ =
value;
5170 inline void SatParameters::set_cp_model_presolve(
bool value) {
5171 _internal_set_cp_model_presolve(
value);
5176 inline bool SatParameters::_internal_has_cp_model_postsolve_with_full_solver()
const {
5177 bool value = (_has_bits_[1] & 0x00000400u) != 0;
5180 inline bool SatParameters::has_cp_model_postsolve_with_full_solver()
const {
5181 return _internal_has_cp_model_postsolve_with_full_solver();
5183 inline void SatParameters::clear_cp_model_postsolve_with_full_solver() {
5184 cp_model_postsolve_with_full_solver_ =
false;
5185 _has_bits_[1] &= ~0x00000400u;
5187 inline bool SatParameters::_internal_cp_model_postsolve_with_full_solver()
const {
5188 return cp_model_postsolve_with_full_solver_;
5190 inline bool SatParameters::cp_model_postsolve_with_full_solver()
const {
5192 return _internal_cp_model_postsolve_with_full_solver();
5194 inline void SatParameters::_internal_set_cp_model_postsolve_with_full_solver(
bool value) {
5195 _has_bits_[1] |= 0x00000400u;
5196 cp_model_postsolve_with_full_solver_ =
value;
5198 inline void SatParameters::set_cp_model_postsolve_with_full_solver(
bool value) {
5199 _internal_set_cp_model_postsolve_with_full_solver(
value);
5204 inline bool SatParameters::_internal_has_cp_model_max_num_presolve_operations()
const {
5205 bool value = (_has_bits_[1] & 0x01000000u) != 0;
5208 inline bool SatParameters::has_cp_model_max_num_presolve_operations()
const {
5209 return _internal_has_cp_model_max_num_presolve_operations();
5211 inline void SatParameters::clear_cp_model_max_num_presolve_operations() {
5212 cp_model_max_num_presolve_operations_ = 0;
5213 _has_bits_[1] &= ~0x01000000u;
5216 return cp_model_max_num_presolve_operations_;
5220 return _internal_cp_model_max_num_presolve_operations();
5223 _has_bits_[1] |= 0x01000000u;
5224 cp_model_max_num_presolve_operations_ =
value;
5227 _internal_set_cp_model_max_num_presolve_operations(
value);
5232 inline bool SatParameters::_internal_has_cp_model_probing_level()
const {
5233 bool value = (_has_bits_[3] & 0x00010000u) != 0;
5236 inline bool SatParameters::has_cp_model_probing_level()
const {
5237 return _internal_has_cp_model_probing_level();
5239 inline void SatParameters::clear_cp_model_probing_level() {
5240 cp_model_probing_level_ = 2;
5241 _has_bits_[3] &= ~0x00010000u;
5244 return cp_model_probing_level_;
5248 return _internal_cp_model_probing_level();
5251 _has_bits_[3] |= 0x00010000u;
5252 cp_model_probing_level_ =
value;
5255 _internal_set_cp_model_probing_level(
value);
5260 inline bool SatParameters::_internal_has_cp_model_use_sat_presolve()
const {
5261 bool value = (_has_bits_[3] & 0x00000010u) != 0;
5264 inline bool SatParameters::has_cp_model_use_sat_presolve()
const {
5265 return _internal_has_cp_model_use_sat_presolve();
5267 inline void SatParameters::clear_cp_model_use_sat_presolve() {
5268 cp_model_use_sat_presolve_ =
true;
5269 _has_bits_[3] &= ~0x00000010u;
5271 inline bool SatParameters::_internal_cp_model_use_sat_presolve()
const {
5272 return cp_model_use_sat_presolve_;
5274 inline bool SatParameters::cp_model_use_sat_presolve()
const {
5276 return _internal_cp_model_use_sat_presolve();
5278 inline void SatParameters::_internal_set_cp_model_use_sat_presolve(
bool value) {
5279 _has_bits_[3] |= 0x00000010u;
5280 cp_model_use_sat_presolve_ =
value;
5282 inline void SatParameters::set_cp_model_use_sat_presolve(
bool value) {
5283 _internal_set_cp_model_use_sat_presolve(
value);
5288 inline bool SatParameters::_internal_has_use_sat_inprocessing()
const {
5289 bool value = (_has_bits_[1] & 0x00000800u) != 0;
5292 inline bool SatParameters::has_use_sat_inprocessing()
const {
5293 return _internal_has_use_sat_inprocessing();
5295 inline void SatParameters::clear_use_sat_inprocessing() {
5296 use_sat_inprocessing_ =
false;
5297 _has_bits_[1] &= ~0x00000800u;
5299 inline bool SatParameters::_internal_use_sat_inprocessing()
const {
5300 return use_sat_inprocessing_;
5302 inline bool SatParameters::use_sat_inprocessing()
const {
5304 return _internal_use_sat_inprocessing();
5306 inline void SatParameters::_internal_set_use_sat_inprocessing(
bool value) {
5307 _has_bits_[1] |= 0x00000800u;
5308 use_sat_inprocessing_ =
value;
5310 inline void SatParameters::set_use_sat_inprocessing(
bool value) {
5311 _internal_set_use_sat_inprocessing(
value);
5316 inline bool SatParameters::_internal_has_expand_element_constraints()
const {
5317 bool value = (_has_bits_[4] & 0x00800000u) != 0;
5320 inline bool SatParameters::has_expand_element_constraints()
const {
5321 return _internal_has_expand_element_constraints();
5323 inline void SatParameters::clear_expand_element_constraints() {
5324 expand_element_constraints_ =
true;
5325 _has_bits_[4] &= ~0x00800000u;
5327 inline bool SatParameters::_internal_expand_element_constraints()
const {
5328 return expand_element_constraints_;
5330 inline bool SatParameters::expand_element_constraints()
const {
5332 return _internal_expand_element_constraints();
5334 inline void SatParameters::_internal_set_expand_element_constraints(
bool value) {
5335 _has_bits_[4] |= 0x00800000u;
5336 expand_element_constraints_ =
value;
5338 inline void SatParameters::set_expand_element_constraints(
bool value) {
5339 _internal_set_expand_element_constraints(
value);
5344 inline bool SatParameters::_internal_has_expand_automaton_constraints()
const {
5345 bool value = (_has_bits_[4] & 0x01000000u) != 0;
5348 inline bool SatParameters::has_expand_automaton_constraints()
const {
5349 return _internal_has_expand_automaton_constraints();
5351 inline void SatParameters::clear_expand_automaton_constraints() {
5352 expand_automaton_constraints_ =
true;
5353 _has_bits_[4] &= ~0x01000000u;
5355 inline bool SatParameters::_internal_expand_automaton_constraints()
const {
5356 return expand_automaton_constraints_;
5358 inline bool SatParameters::expand_automaton_constraints()
const {
5360 return _internal_expand_automaton_constraints();
5362 inline void SatParameters::_internal_set_expand_automaton_constraints(
bool value) {
5363 _has_bits_[4] |= 0x01000000u;
5364 expand_automaton_constraints_ =
value;
5366 inline void SatParameters::set_expand_automaton_constraints(
bool value) {
5367 _internal_set_expand_automaton_constraints(
value);
5372 inline bool SatParameters::_internal_has_expand_table_constraints()
const {
5373 bool value = (_has_bits_[4] & 0x02000000u) != 0;
5376 inline bool SatParameters::has_expand_table_constraints()
const {
5377 return _internal_has_expand_table_constraints();
5379 inline void SatParameters::clear_expand_table_constraints() {
5380 expand_table_constraints_ =
true;
5381 _has_bits_[4] &= ~0x02000000u;
5383 inline bool SatParameters::_internal_expand_table_constraints()
const {
5384 return expand_table_constraints_;
5386 inline bool SatParameters::expand_table_constraints()
const {
5388 return _internal_expand_table_constraints();
5390 inline void SatParameters::_internal_set_expand_table_constraints(
bool value) {
5391 _has_bits_[4] |= 0x02000000u;
5392 expand_table_constraints_ =
value;
5394 inline void SatParameters::set_expand_table_constraints(
bool value) {
5395 _internal_set_expand_table_constraints(
value);
5400 inline bool SatParameters::_internal_has_expand_alldiff_constraints()
const {
5401 bool value = (_has_bits_[1] & 0x00001000u) != 0;
5404 inline bool SatParameters::has_expand_alldiff_constraints()
const {
5405 return _internal_has_expand_alldiff_constraints();
5407 inline void SatParameters::clear_expand_alldiff_constraints() {
5408 expand_alldiff_constraints_ =
false;
5409 _has_bits_[1] &= ~0x00001000u;
5411 inline bool SatParameters::_internal_expand_alldiff_constraints()
const {
5412 return expand_alldiff_constraints_;
5414 inline bool SatParameters::expand_alldiff_constraints()
const {
5416 return _internal_expand_alldiff_constraints();
5418 inline void SatParameters::_internal_set_expand_alldiff_constraints(
bool value) {
5419 _has_bits_[1] |= 0x00001000u;
5420 expand_alldiff_constraints_ =
value;
5422 inline void SatParameters::set_expand_alldiff_constraints(
bool value) {
5423 _internal_set_expand_alldiff_constraints(
value);
5428 inline bool SatParameters::_internal_has_expand_reservoir_constraints()
const {
5429 bool value = (_has_bits_[4] & 0x04000000u) != 0;
5432 inline bool SatParameters::has_expand_reservoir_constraints()
const {
5433 return _internal_has_expand_reservoir_constraints();
5435 inline void SatParameters::clear_expand_reservoir_constraints() {
5436 expand_reservoir_constraints_ =
true;
5437 _has_bits_[4] &= ~0x04000000u;
5439 inline bool SatParameters::_internal_expand_reservoir_constraints()
const {
5440 return expand_reservoir_constraints_;
5442 inline bool SatParameters::expand_reservoir_constraints()
const {
5444 return _internal_expand_reservoir_constraints();
5446 inline void SatParameters::_internal_set_expand_reservoir_constraints(
bool value) {
5447 _has_bits_[4] |= 0x04000000u;
5448 expand_reservoir_constraints_ =
value;
5450 inline void SatParameters::set_expand_reservoir_constraints(
bool value) {
5451 _internal_set_expand_reservoir_constraints(
value);
5456 inline bool SatParameters::_internal_has_disable_constraint_expansion()
const {
5457 bool value = (_has_bits_[0] & 0x20000000u) != 0;
5460 inline bool SatParameters::has_disable_constraint_expansion()
const {
5461 return _internal_has_disable_constraint_expansion();
5463 inline void SatParameters::clear_disable_constraint_expansion() {
5464 disable_constraint_expansion_ =
false;
5465 _has_bits_[0] &= ~0x20000000u;
5467 inline bool SatParameters::_internal_disable_constraint_expansion()
const {
5468 return disable_constraint_expansion_;
5470 inline bool SatParameters::disable_constraint_expansion()
const {
5472 return _internal_disable_constraint_expansion();
5474 inline void SatParameters::_internal_set_disable_constraint_expansion(
bool value) {
5475 _has_bits_[0] |= 0x20000000u;
5476 disable_constraint_expansion_ =
value;
5478 inline void SatParameters::set_disable_constraint_expansion(
bool value) {
5479 _internal_set_disable_constraint_expansion(
value);
5484 inline bool SatParameters::_internal_has_merge_no_overlap_work_limit()
const {
5485 bool value = (_has_bits_[4] & 0x00000400u) != 0;
5488 inline bool SatParameters::has_merge_no_overlap_work_limit()
const {
5489 return _internal_has_merge_no_overlap_work_limit();
5491 inline void SatParameters::clear_merge_no_overlap_work_limit() {
5492 merge_no_overlap_work_limit_ = 1000000000000;
5493 _has_bits_[4] &= ~0x00000400u;
5495 inline double SatParameters::_internal_merge_no_overlap_work_limit()
const {
5496 return merge_no_overlap_work_limit_;
5498 inline double SatParameters::merge_no_overlap_work_limit()
const {
5500 return _internal_merge_no_overlap_work_limit();
5502 inline void SatParameters::_internal_set_merge_no_overlap_work_limit(
double value) {
5503 _has_bits_[4] |= 0x00000400u;
5504 merge_no_overlap_work_limit_ =
value;
5506 inline void SatParameters::set_merge_no_overlap_work_limit(
double value) {
5507 _internal_set_merge_no_overlap_work_limit(
value);
5512 inline bool SatParameters::_internal_has_merge_at_most_one_work_limit()
const {
5513 bool value = (_has_bits_[4] & 0x00000800u) != 0;
5516 inline bool SatParameters::has_merge_at_most_one_work_limit()
const {
5517 return _internal_has_merge_at_most_one_work_limit();
5519 inline void SatParameters::clear_merge_at_most_one_work_limit() {
5520 merge_at_most_one_work_limit_ = 100000000;
5521 _has_bits_[4] &= ~0x00000800u;
5523 inline double SatParameters::_internal_merge_at_most_one_work_limit()
const {
5524 return merge_at_most_one_work_limit_;
5526 inline double SatParameters::merge_at_most_one_work_limit()
const {
5528 return _internal_merge_at_most_one_work_limit();
5530 inline void SatParameters::_internal_set_merge_at_most_one_work_limit(
double value) {
5531 _has_bits_[4] |= 0x00000800u;
5532 merge_at_most_one_work_limit_ =
value;
5534 inline void SatParameters::set_merge_at_most_one_work_limit(
double value) {
5535 _internal_set_merge_at_most_one_work_limit(
value);
5540 inline bool SatParameters::_internal_has_presolve_substitution_level()
const {
5541 bool value = (_has_bits_[4] & 0x00000200u) != 0;
5544 inline bool SatParameters::has_presolve_substitution_level()
const {
5545 return _internal_has_presolve_substitution_level();
5547 inline void SatParameters::clear_presolve_substitution_level() {
5548 presolve_substitution_level_ = 1;
5549 _has_bits_[4] &= ~0x00000200u;
5552 return presolve_substitution_level_;
5556 return _internal_presolve_substitution_level();
5559 _has_bits_[4] |= 0x00000200u;
5560 presolve_substitution_level_ =
value;
5563 _internal_set_presolve_substitution_level(
value);
5568 inline bool SatParameters::_internal_has_presolve_extract_integer_enforcement()
const {
5569 bool value = (_has_bits_[0] & 0x40000000u) != 0;
5572 inline bool SatParameters::has_presolve_extract_integer_enforcement()
const {
5573 return _internal_has_presolve_extract_integer_enforcement();
5575 inline void SatParameters::clear_presolve_extract_integer_enforcement() {
5576 presolve_extract_integer_enforcement_ =
false;
5577 _has_bits_[0] &= ~0x40000000u;
5579 inline bool SatParameters::_internal_presolve_extract_integer_enforcement()
const {
5580 return presolve_extract_integer_enforcement_;
5582 inline bool SatParameters::presolve_extract_integer_enforcement()
const {
5584 return _internal_presolve_extract_integer_enforcement();
5586 inline void SatParameters::_internal_set_presolve_extract_integer_enforcement(
bool value) {
5587 _has_bits_[0] |= 0x40000000u;
5588 presolve_extract_integer_enforcement_ =
value;
5590 inline void SatParameters::set_presolve_extract_integer_enforcement(
bool value) {
5591 _internal_set_presolve_extract_integer_enforcement(
value);
5596 inline bool SatParameters::_internal_has_use_optimization_hints()
const {
5597 bool value = (_has_bits_[2] & 0x01000000u) != 0;
5600 inline bool SatParameters::has_use_optimization_hints()
const {
5601 return _internal_has_use_optimization_hints();
5603 inline void SatParameters::clear_use_optimization_hints() {
5604 use_optimization_hints_ =
true;
5605 _has_bits_[2] &= ~0x01000000u;
5607 inline bool SatParameters::_internal_use_optimization_hints()
const {
5608 return use_optimization_hints_;
5610 inline bool SatParameters::use_optimization_hints()
const {
5612 return _internal_use_optimization_hints();
5614 inline void SatParameters::_internal_set_use_optimization_hints(
bool value) {
5615 _has_bits_[2] |= 0x01000000u;
5616 use_optimization_hints_ =
value;
5618 inline void SatParameters::set_use_optimization_hints(
bool value) {
5619 _internal_set_use_optimization_hints(
value);
5624 inline bool SatParameters::_internal_has_minimize_core()
const {
5625 bool value = (_has_bits_[2] & 0x02000000u) != 0;
5628 inline bool SatParameters::has_minimize_core()
const {
5629 return _internal_has_minimize_core();
5631 inline void SatParameters::clear_minimize_core() {
5632 minimize_core_ =
true;
5633 _has_bits_[2] &= ~0x02000000u;
5635 inline bool SatParameters::_internal_minimize_core()
const {
5636 return minimize_core_;
5638 inline bool SatParameters::minimize_core()
const {
5640 return _internal_minimize_core();
5642 inline void SatParameters::_internal_set_minimize_core(
bool value) {
5643 _has_bits_[2] |= 0x02000000u;
5644 minimize_core_ =
value;
5646 inline void SatParameters::set_minimize_core(
bool value) {
5647 _internal_set_minimize_core(
value);
5652 inline bool SatParameters::_internal_has_find_multiple_cores()
const {
5653 bool value = (_has_bits_[2] & 0x04000000u) != 0;
5656 inline bool SatParameters::has_find_multiple_cores()
const {
5657 return _internal_has_find_multiple_cores();
5659 inline void SatParameters::clear_find_multiple_cores() {
5660 find_multiple_cores_ =
true;
5661 _has_bits_[2] &= ~0x04000000u;
5663 inline bool SatParameters::_internal_find_multiple_cores()
const {
5664 return find_multiple_cores_;
5666 inline bool SatParameters::find_multiple_cores()
const {
5668 return _internal_find_multiple_cores();
5670 inline void SatParameters::_internal_set_find_multiple_cores(
bool value) {
5671 _has_bits_[2] |= 0x04000000u;
5672 find_multiple_cores_ =
value;
5674 inline void SatParameters::set_find_multiple_cores(
bool value) {
5675 _internal_set_find_multiple_cores(
value);
5680 inline bool SatParameters::_internal_has_cover_optimization()
const {
5681 bool value = (_has_bits_[2] & 0x08000000u) != 0;
5684 inline bool SatParameters::has_cover_optimization()
const {
5685 return _internal_has_cover_optimization();
5687 inline void SatParameters::clear_cover_optimization() {
5688 cover_optimization_ =
true;
5689 _has_bits_[2] &= ~0x08000000u;
5691 inline bool SatParameters::_internal_cover_optimization()
const {
5692 return cover_optimization_;
5694 inline bool SatParameters::cover_optimization()
const {
5696 return _internal_cover_optimization();
5698 inline void SatParameters::_internal_set_cover_optimization(
bool value) {
5699 _has_bits_[2] |= 0x08000000u;
5700 cover_optimization_ =
value;
5702 inline void SatParameters::set_cover_optimization(
bool value) {
5703 _internal_set_cover_optimization(
value);
5708 inline bool SatParameters::_internal_has_max_sat_assumption_order()
const {
5709 bool value = (_has_bits_[0] & 0x00000008u) != 0;
5712 inline bool SatParameters::has_max_sat_assumption_order()
const {
5713 return _internal_has_max_sat_assumption_order();
5715 inline void SatParameters::clear_max_sat_assumption_order() {
5716 max_sat_assumption_order_ = 0;
5717 _has_bits_[0] &= ~0x00000008u;
5724 return _internal_max_sat_assumption_order();
5728 _has_bits_[0] |= 0x00000008u;
5729 max_sat_assumption_order_ =
value;
5732 _internal_set_max_sat_assumption_order(
value);
5737 inline bool SatParameters::_internal_has_max_sat_reverse_assumption_order()
const {
5738 bool value = (_has_bits_[0] & 0x80000000u) != 0;
5741 inline bool SatParameters::has_max_sat_reverse_assumption_order()
const {
5742 return _internal_has_max_sat_reverse_assumption_order();
5744 inline void SatParameters::clear_max_sat_reverse_assumption_order() {
5745 max_sat_reverse_assumption_order_ =
false;
5746 _has_bits_[0] &= ~0x80000000u;
5748 inline bool SatParameters::_internal_max_sat_reverse_assumption_order()
const {
5749 return max_sat_reverse_assumption_order_;
5751 inline bool SatParameters::max_sat_reverse_assumption_order()
const {
5753 return _internal_max_sat_reverse_assumption_order();
5755 inline void SatParameters::_internal_set_max_sat_reverse_assumption_order(
bool value) {
5756 _has_bits_[0] |= 0x80000000u;
5757 max_sat_reverse_assumption_order_ =
value;
5759 inline void SatParameters::set_max_sat_reverse_assumption_order(
bool value) {
5760 _internal_set_max_sat_reverse_assumption_order(
value);
5765 inline bool SatParameters::_internal_has_max_sat_stratification()
const {
5766 bool value = (_has_bits_[2] & 0x00020000u) != 0;
5769 inline bool SatParameters::has_max_sat_stratification()
const {
5770 return _internal_has_max_sat_stratification();
5772 inline void SatParameters::clear_max_sat_stratification() {
5773 max_sat_stratification_ = 1;
5774 _has_bits_[2] &= ~0x00020000u;
5781 return _internal_max_sat_stratification();
5785 _has_bits_[2] |= 0x00020000u;
5786 max_sat_stratification_ =
value;
5789 _internal_set_max_sat_stratification(
value);
5794 inline bool SatParameters::_internal_has_use_precedences_in_disjunctive_constraint()
const {
5795 bool value = (_has_bits_[3] & 0x00000200u) != 0;
5798 inline bool SatParameters::has_use_precedences_in_disjunctive_constraint()
const {
5799 return _internal_has_use_precedences_in_disjunctive_constraint();
5801 inline void SatParameters::clear_use_precedences_in_disjunctive_constraint() {
5802 use_precedences_in_disjunctive_constraint_ =
true;
5803 _has_bits_[3] &= ~0x00000200u;
5805 inline bool SatParameters::_internal_use_precedences_in_disjunctive_constraint()
const {
5806 return use_precedences_in_disjunctive_constraint_;
5808 inline bool SatParameters::use_precedences_in_disjunctive_constraint()
const {
5810 return _internal_use_precedences_in_disjunctive_constraint();
5812 inline void SatParameters::_internal_set_use_precedences_in_disjunctive_constraint(
bool value) {
5813 _has_bits_[3] |= 0x00000200u;
5814 use_precedences_in_disjunctive_constraint_ =
value;
5816 inline void SatParameters::set_use_precedences_in_disjunctive_constraint(
bool value) {
5817 _internal_set_use_precedences_in_disjunctive_constraint(
value);
5822 inline bool SatParameters::_internal_has_use_overload_checker_in_cumulative_constraint()
const {
5823 bool value = (_has_bits_[1] & 0x00000001u) != 0;
5826 inline bool SatParameters::has_use_overload_checker_in_cumulative_constraint()
const {
5827 return _internal_has_use_overload_checker_in_cumulative_constraint();
5829 inline void SatParameters::clear_use_overload_checker_in_cumulative_constraint() {
5830 use_overload_checker_in_cumulative_constraint_ =
false;
5831 _has_bits_[1] &= ~0x00000001u;
5833 inline bool SatParameters::_internal_use_overload_checker_in_cumulative_constraint()
const {
5834 return use_overload_checker_in_cumulative_constraint_;
5836 inline bool SatParameters::use_overload_checker_in_cumulative_constraint()
const {
5838 return _internal_use_overload_checker_in_cumulative_constraint();
5840 inline void SatParameters::_internal_set_use_overload_checker_in_cumulative_constraint(
bool value) {
5841 _has_bits_[1] |= 0x00000001u;
5842 use_overload_checker_in_cumulative_constraint_ =
value;
5844 inline void SatParameters::set_use_overload_checker_in_cumulative_constraint(
bool value) {
5845 _internal_set_use_overload_checker_in_cumulative_constraint(
value);
5850 inline bool SatParameters::_internal_has_use_timetable_edge_finding_in_cumulative_constraint()
const {
5851 bool value = (_has_bits_[0] & 0x00200000u) != 0;
5854 inline bool SatParameters::has_use_timetable_edge_finding_in_cumulative_constraint()
const {
5855 return _internal_has_use_timetable_edge_finding_in_cumulative_constraint();
5857 inline void SatParameters::clear_use_timetable_edge_finding_in_cumulative_constraint() {
5858 use_timetable_edge_finding_in_cumulative_constraint_ =
false;
5859 _has_bits_[0] &= ~0x00200000u;
5861 inline bool SatParameters::_internal_use_timetable_edge_finding_in_cumulative_constraint()
const {
5862 return use_timetable_edge_finding_in_cumulative_constraint_;
5864 inline bool SatParameters::use_timetable_edge_finding_in_cumulative_constraint()
const {
5866 return _internal_use_timetable_edge_finding_in_cumulative_constraint();
5868 inline void SatParameters::_internal_set_use_timetable_edge_finding_in_cumulative_constraint(
bool value) {
5869 _has_bits_[0] |= 0x00200000u;
5870 use_timetable_edge_finding_in_cumulative_constraint_ =
value;
5872 inline void SatParameters::set_use_timetable_edge_finding_in_cumulative_constraint(
bool value) {
5873 _internal_set_use_timetable_edge_finding_in_cumulative_constraint(
value);
5878 inline bool SatParameters::_internal_has_use_disjunctive_constraint_in_cumulative_constraint()
const {
5879 bool value = (_has_bits_[3] & 0x00000400u) != 0;
5882 inline bool SatParameters::has_use_disjunctive_constraint_in_cumulative_constraint()
const {
5883 return _internal_has_use_disjunctive_constraint_in_cumulative_constraint();
5885 inline void SatParameters::clear_use_disjunctive_constraint_in_cumulative_constraint() {
5886 use_disjunctive_constraint_in_cumulative_constraint_ =
true;
5887 _has_bits_[3] &= ~0x00000400u;
5889 inline bool SatParameters::_internal_use_disjunctive_constraint_in_cumulative_constraint()
const {
5890 return use_disjunctive_constraint_in_cumulative_constraint_;
5892 inline bool SatParameters::use_disjunctive_constraint_in_cumulative_constraint()
const {
5894 return _internal_use_disjunctive_constraint_in_cumulative_constraint();
5896 inline void SatParameters::_internal_set_use_disjunctive_constraint_in_cumulative_constraint(
bool value) {
5897 _has_bits_[3] |= 0x00000400u;
5898 use_disjunctive_constraint_in_cumulative_constraint_ =
value;
5900 inline void SatParameters::set_use_disjunctive_constraint_in_cumulative_constraint(
bool value) {
5901 _internal_set_use_disjunctive_constraint_in_cumulative_constraint(
value);
5906 inline bool SatParameters::_internal_has_linearization_level()
const {
5907 bool value = (_has_bits_[3] & 0x00000020u) != 0;
5910 inline bool SatParameters::has_linearization_level()
const {
5911 return _internal_has_linearization_level();
5913 inline void SatParameters::clear_linearization_level() {
5914 linearization_level_ = 1;
5915 _has_bits_[3] &= ~0x00000020u;
5918 return linearization_level_;
5922 return _internal_linearization_level();
5925 _has_bits_[3] |= 0x00000020u;
5926 linearization_level_ =
value;
5929 _internal_set_linearization_level(
value);
5934 inline bool SatParameters::_internal_has_boolean_encoding_level()
const {
5935 bool value = (_has_bits_[3] & 0x00008000u) != 0;
5938 inline bool SatParameters::has_boolean_encoding_level()
const {
5939 return _internal_has_boolean_encoding_level();
5941 inline void SatParameters::clear_boolean_encoding_level() {
5942 boolean_encoding_level_ = 1;
5943 _has_bits_[3] &= ~0x00008000u;
5946 return boolean_encoding_level_;
5950 return _internal_boolean_encoding_level();
5953 _has_bits_[3] |= 0x00008000u;
5954 boolean_encoding_level_ =
value;
5957 _internal_set_boolean_encoding_level(
value);
5962 inline bool SatParameters::_internal_has_max_num_cuts()
const {
5963 bool value = (_has_bits_[3] & 0x00000040u) != 0;
5966 inline bool SatParameters::has_max_num_cuts()
const {
5967 return _internal_has_max_num_cuts();
5969 inline void SatParameters::clear_max_num_cuts() {
5970 max_num_cuts_ = 10000;
5971 _has_bits_[3] &= ~0x00000040u;
5974 return max_num_cuts_;
5978 return _internal_max_num_cuts();
5981 _has_bits_[3] |= 0x00000040u;
5982 max_num_cuts_ =
value;
5985 _internal_set_max_num_cuts(
value);
5990 inline bool SatParameters::_internal_has_only_add_cuts_at_level_zero()
const {
5991 bool value = (_has_bits_[0] & 0x00400000u) != 0;
5994 inline bool SatParameters::has_only_add_cuts_at_level_zero()
const {
5995 return _internal_has_only_add_cuts_at_level_zero();
5997 inline void SatParameters::clear_only_add_cuts_at_level_zero() {
5998 only_add_cuts_at_level_zero_ =
false;
5999 _has_bits_[0] &= ~0x00400000u;
6001 inline bool SatParameters::_internal_only_add_cuts_at_level_zero()
const {
6002 return only_add_cuts_at_level_zero_;
6004 inline bool SatParameters::only_add_cuts_at_level_zero()
const {
6006 return _internal_only_add_cuts_at_level_zero();
6008 inline void SatParameters::_internal_set_only_add_cuts_at_level_zero(
bool value) {
6009 _has_bits_[0] |= 0x00400000u;
6010 only_add_cuts_at_level_zero_ =
value;
6012 inline void SatParameters::set_only_add_cuts_at_level_zero(
bool value) {
6013 _internal_set_only_add_cuts_at_level_zero(
value);
6018 inline bool SatParameters::_internal_has_add_knapsack_cuts()
const {
6019 bool value = (_has_bits_[0] & 0x00800000u) != 0;
6022 inline bool SatParameters::has_add_knapsack_cuts()
const {
6023 return _internal_has_add_knapsack_cuts();
6025 inline void SatParameters::clear_add_knapsack_cuts() {
6026 add_knapsack_cuts_ =
false;
6027 _has_bits_[0] &= ~0x00800000u;
6029 inline bool SatParameters::_internal_add_knapsack_cuts()
const {
6030 return add_knapsack_cuts_;
6032 inline bool SatParameters::add_knapsack_cuts()
const {
6034 return _internal_add_knapsack_cuts();
6036 inline void SatParameters::_internal_set_add_knapsack_cuts(
bool value) {
6037 _has_bits_[0] |= 0x00800000u;
6038 add_knapsack_cuts_ =
value;
6040 inline void SatParameters::set_add_knapsack_cuts(
bool value) {
6041 _internal_set_add_knapsack_cuts(
value);
6046 inline bool SatParameters::_internal_has_add_cg_cuts()
const {
6047 bool value = (_has_bits_[3] & 0x00000800u) != 0;
6050 inline bool SatParameters::has_add_cg_cuts()
const {
6051 return _internal_has_add_cg_cuts();
6053 inline void SatParameters::clear_add_cg_cuts() {
6054 add_cg_cuts_ =
true;
6055 _has_bits_[3] &= ~0x00000800u;
6057 inline bool SatParameters::_internal_add_cg_cuts()
const {
6058 return add_cg_cuts_;
6060 inline bool SatParameters::add_cg_cuts()
const {
6062 return _internal_add_cg_cuts();
6064 inline void SatParameters::_internal_set_add_cg_cuts(
bool value) {
6065 _has_bits_[3] |= 0x00000800u;
6066 add_cg_cuts_ =
value;
6068 inline void SatParameters::set_add_cg_cuts(
bool value) {
6069 _internal_set_add_cg_cuts(
value);
6074 inline bool SatParameters::_internal_has_add_mir_cuts()
const {
6075 bool value = (_has_bits_[3] & 0x00001000u) != 0;
6078 inline bool SatParameters::has_add_mir_cuts()
const {
6079 return _internal_has_add_mir_cuts();
6081 inline void SatParameters::clear_add_mir_cuts() {
6082 add_mir_cuts_ =
true;
6083 _has_bits_[3] &= ~0x00001000u;
6085 inline bool SatParameters::_internal_add_mir_cuts()
const {
6086 return add_mir_cuts_;
6088 inline bool SatParameters::add_mir_cuts()
const {
6090 return _internal_add_mir_cuts();
6092 inline void SatParameters::_internal_set_add_mir_cuts(
bool value) {
6093 _has_bits_[3] |= 0x00001000u;
6094 add_mir_cuts_ =
value;
6096 inline void SatParameters::set_add_mir_cuts(
bool value) {
6097 _internal_set_add_mir_cuts(
value);
6102 inline bool SatParameters::_internal_has_add_zero_half_cuts()
const {
6103 bool value = (_has_bits_[4] & 0x00010000u) != 0;
6106 inline bool SatParameters::has_add_zero_half_cuts()
const {
6107 return _internal_has_add_zero_half_cuts();
6109 inline void SatParameters::clear_add_zero_half_cuts() {
6110 add_zero_half_cuts_ =
true;
6111 _has_bits_[4] &= ~0x00010000u;
6113 inline bool SatParameters::_internal_add_zero_half_cuts()
const {
6114 return add_zero_half_cuts_;
6116 inline bool SatParameters::add_zero_half_cuts()
const {
6118 return _internal_add_zero_half_cuts();
6120 inline void SatParameters::_internal_set_add_zero_half_cuts(
bool value) {
6121 _has_bits_[4] |= 0x00010000u;
6122 add_zero_half_cuts_ =
value;
6124 inline void SatParameters::set_add_zero_half_cuts(
bool value) {
6125 _internal_set_add_zero_half_cuts(
value);
6130 inline bool SatParameters::_internal_has_add_clique_cuts()
const {
6131 bool value = (_has_bits_[4] & 0x00020000u) != 0;
6134 inline bool SatParameters::has_add_clique_cuts()
const {
6135 return _internal_has_add_clique_cuts();
6137 inline void SatParameters::clear_add_clique_cuts() {
6138 add_clique_cuts_ =
true;
6139 _has_bits_[4] &= ~0x00020000u;
6141 inline bool SatParameters::_internal_add_clique_cuts()
const {
6142 return add_clique_cuts_;
6144 inline bool SatParameters::add_clique_cuts()
const {
6146 return _internal_add_clique_cuts();
6148 inline void SatParameters::_internal_set_add_clique_cuts(
bool value) {
6149 _has_bits_[4] |= 0x00020000u;
6150 add_clique_cuts_ =
value;
6152 inline void SatParameters::set_add_clique_cuts(
bool value) {
6153 _internal_set_add_clique_cuts(
value);
6158 inline bool SatParameters::_internal_has_max_all_diff_cut_size()
const {
6159 bool value = (_has_bits_[4] & 0x00001000u) != 0;
6162 inline bool SatParameters::has_max_all_diff_cut_size()
const {
6163 return _internal_has_max_all_diff_cut_size();
6165 inline void SatParameters::clear_max_all_diff_cut_size() {
6166 max_all_diff_cut_size_ = 7;
6167 _has_bits_[4] &= ~0x00001000u;
6170 return max_all_diff_cut_size_;
6174 return _internal_max_all_diff_cut_size();
6177 _has_bits_[4] |= 0x00001000u;
6178 max_all_diff_cut_size_ =
value;
6181 _internal_set_max_all_diff_cut_size(
value);
6186 inline bool SatParameters::_internal_has_add_lin_max_cuts()
const {
6187 bool value = (_has_bits_[4] & 0x00040000u) != 0;
6190 inline bool SatParameters::has_add_lin_max_cuts()
const {
6191 return _internal_has_add_lin_max_cuts();
6193 inline void SatParameters::clear_add_lin_max_cuts() {
6194 add_lin_max_cuts_ =
true;
6195 _has_bits_[4] &= ~0x00040000u;
6197 inline bool SatParameters::_internal_add_lin_max_cuts()
const {
6198 return add_lin_max_cuts_;
6200 inline bool SatParameters::add_lin_max_cuts()
const {
6202 return _internal_add_lin_max_cuts();
6204 inline void SatParameters::_internal_set_add_lin_max_cuts(
bool value) {
6205 _has_bits_[4] |= 0x00040000u;
6206 add_lin_max_cuts_ =
value;
6208 inline void SatParameters::set_add_lin_max_cuts(
bool value) {
6209 _internal_set_add_lin_max_cuts(
value);
6214 inline bool SatParameters::_internal_has_max_integer_rounding_scaling()
const {
6215 bool value = (_has_bits_[3] & 0x00200000u) != 0;
6218 inline bool SatParameters::has_max_integer_rounding_scaling()
const {
6219 return _internal_has_max_integer_rounding_scaling();
6221 inline void SatParameters::clear_max_integer_rounding_scaling() {
6222 max_integer_rounding_scaling_ = 600;
6223 _has_bits_[3] &= ~0x00200000u;
6226 return max_integer_rounding_scaling_;
6230 return _internal_max_integer_rounding_scaling();
6233 _has_bits_[3] |= 0x00200000u;
6234 max_integer_rounding_scaling_ =
value;
6237 _internal_set_max_integer_rounding_scaling(
value);
6242 inline bool SatParameters::_internal_has_add_lp_constraints_lazily()
const {
6243 bool value = (_has_bits_[4] & 0x00080000u) != 0;
6246 inline bool SatParameters::has_add_lp_constraints_lazily()
const {
6247 return _internal_has_add_lp_constraints_lazily();
6249 inline void SatParameters::clear_add_lp_constraints_lazily() {
6250 add_lp_constraints_lazily_ =
true;
6251 _has_bits_[4] &= ~0x00080000u;
6253 inline bool SatParameters::_internal_add_lp_constraints_lazily()
const {
6254 return add_lp_constraints_lazily_;
6256 inline bool SatParameters::add_lp_constraints_lazily()
const {
6258 return _internal_add_lp_constraints_lazily();
6260 inline void SatParameters::_internal_set_add_lp_constraints_lazily(
bool value) {
6261 _has_bits_[4] |= 0x00080000u;
6262 add_lp_constraints_lazily_ =
value;
6264 inline void SatParameters::set_add_lp_constraints_lazily(
bool value) {
6265 _internal_set_add_lp_constraints_lazily(
value);
6270 inline bool SatParameters::_internal_has_min_orthogonality_for_lp_constraints()
const {
6271 bool value = (_has_bits_[3] & 0x00400000u) != 0;
6274 inline bool SatParameters::has_min_orthogonality_for_lp_constraints()
const {
6275 return _internal_has_min_orthogonality_for_lp_constraints();
6277 inline void SatParameters::clear_min_orthogonality_for_lp_constraints() {
6278 min_orthogonality_for_lp_constraints_ = 0.05;
6279 _has_bits_[3] &= ~0x00400000u;
6281 inline double SatParameters::_internal_min_orthogonality_for_lp_constraints()
const {
6282 return min_orthogonality_for_lp_constraints_;
6284 inline double SatParameters::min_orthogonality_for_lp_constraints()
const {
6286 return _internal_min_orthogonality_for_lp_constraints();
6288 inline void SatParameters::_internal_set_min_orthogonality_for_lp_constraints(
double value) {
6289 _has_bits_[3] |= 0x00400000u;
6290 min_orthogonality_for_lp_constraints_ =
value;
6292 inline void SatParameters::set_min_orthogonality_for_lp_constraints(
double value) {
6293 _internal_set_min_orthogonality_for_lp_constraints(
value);
6298 inline bool SatParameters::_internal_has_max_cut_rounds_at_level_zero()
const {
6299 bool value = (_has_bits_[4] & 0x00400000u) != 0;
6302 inline bool SatParameters::has_max_cut_rounds_at_level_zero()
const {
6303 return _internal_has_max_cut_rounds_at_level_zero();
6305 inline void SatParameters::clear_max_cut_rounds_at_level_zero() {
6306 max_cut_rounds_at_level_zero_ = 1;
6307 _has_bits_[4] &= ~0x00400000u;
6310 return max_cut_rounds_at_level_zero_;
6314 return _internal_max_cut_rounds_at_level_zero();
6317 _has_bits_[4] |= 0x00400000u;
6318 max_cut_rounds_at_level_zero_ =
value;
6321 _internal_set_max_cut_rounds_at_level_zero(
value);
6326 inline bool SatParameters::_internal_has_max_consecutive_inactive_count()
const {
6327 bool value = (_has_bits_[3] & 0x00800000u) != 0;
6330 inline bool SatParameters::has_max_consecutive_inactive_count()
const {
6331 return _internal_has_max_consecutive_inactive_count();
6333 inline void SatParameters::clear_max_consecutive_inactive_count() {
6334 max_consecutive_inactive_count_ = 100;
6335 _has_bits_[3] &= ~0x00800000u;
6338 return max_consecutive_inactive_count_;
6342 return _internal_max_consecutive_inactive_count();
6345 _has_bits_[3] |= 0x00800000u;
6346 max_consecutive_inactive_count_ =
value;
6349 _internal_set_max_consecutive_inactive_count(
value);
6354 inline bool SatParameters::_internal_has_cut_max_active_count_value()
const {
6355 bool value = (_has_bits_[4] & 0x00200000u) != 0;
6358 inline bool SatParameters::has_cut_max_active_count_value()
const {
6359 return _internal_has_cut_max_active_count_value();
6361 inline void SatParameters::clear_cut_max_active_count_value() {
6362 cut_max_active_count_value_ = 10000000000;
6363 _has_bits_[4] &= ~0x00200000u;
6365 inline double SatParameters::_internal_cut_max_active_count_value()
const {
6366 return cut_max_active_count_value_;
6368 inline double SatParameters::cut_max_active_count_value()
const {
6370 return _internal_cut_max_active_count_value();
6372 inline void SatParameters::_internal_set_cut_max_active_count_value(
double value) {
6373 _has_bits_[4] |= 0x00200000u;
6374 cut_max_active_count_value_ =
value;
6376 inline void SatParameters::set_cut_max_active_count_value(
double value) {
6377 _internal_set_cut_max_active_count_value(
value);
6382 inline bool SatParameters::_internal_has_cut_active_count_decay()
const {
6383 bool value = (_has_bits_[4] & 0x08000000u) != 0;
6386 inline bool SatParameters::has_cut_active_count_decay()
const {
6387 return _internal_has_cut_active_count_decay();
6389 inline void SatParameters::clear_cut_active_count_decay() {
6390 cut_active_count_decay_ = 0.8;
6391 _has_bits_[4] &= ~0x08000000u;
6393 inline double SatParameters::_internal_cut_active_count_decay()
const {
6394 return cut_active_count_decay_;
6396 inline double SatParameters::cut_active_count_decay()
const {
6398 return _internal_cut_active_count_decay();
6400 inline void SatParameters::_internal_set_cut_active_count_decay(
double value) {
6401 _has_bits_[4] |= 0x08000000u;
6402 cut_active_count_decay_ =
value;
6404 inline void SatParameters::set_cut_active_count_decay(
double value) {
6405 _internal_set_cut_active_count_decay(
value);
6410 inline bool SatParameters::_internal_has_cut_cleanup_target()
const {
6411 bool value = (_has_bits_[4] & 0x10000000u) != 0;
6414 inline bool SatParameters::has_cut_cleanup_target()
const {
6415 return _internal_has_cut_cleanup_target();
6417 inline void SatParameters::clear_cut_cleanup_target() {
6418 cut_cleanup_target_ = 1000;
6419 _has_bits_[4] &= ~0x10000000u;
6422 return cut_cleanup_target_;
6426 return _internal_cut_cleanup_target();
6429 _has_bits_[4] |= 0x10000000u;
6430 cut_cleanup_target_ =
value;
6433 _internal_set_cut_cleanup_target(
value);
6438 inline bool SatParameters::_internal_has_new_constraints_batch_size()
const {
6439 bool value = (_has_bits_[3] & 0x01000000u) != 0;
6442 inline bool SatParameters::has_new_constraints_batch_size()
const {
6443 return _internal_has_new_constraints_batch_size();
6445 inline void SatParameters::clear_new_constraints_batch_size() {
6446 new_constraints_batch_size_ = 50;
6447 _has_bits_[3] &= ~0x01000000u;
6450 return new_constraints_batch_size_;
6454 return _internal_new_constraints_batch_size();
6457 _has_bits_[3] |= 0x01000000u;
6458 new_constraints_batch_size_ =
value;
6461 _internal_set_new_constraints_batch_size(
value);
6466 inline bool SatParameters::_internal_has_search_branching()
const {
6467 bool value = (_has_bits_[0] & 0x00000400u) != 0;
6470 inline bool SatParameters::has_search_branching()
const {
6471 return _internal_has_search_branching();
6473 inline void SatParameters::clear_search_branching() {
6474 search_branching_ = 0;
6475 _has_bits_[0] &= ~0x00000400u;
6482 return _internal_search_branching();
6486 _has_bits_[0] |= 0x00000400u;
6487 search_branching_ =
value;
6490 _internal_set_search_branching(
value);
6495 inline bool SatParameters::_internal_has_hint_conflict_limit()
const {
6496 bool value = (_has_bits_[4] & 0x00100000u) != 0;
6499 inline bool SatParameters::has_hint_conflict_limit()
const {
6500 return _internal_has_hint_conflict_limit();
6502 inline void SatParameters::clear_hint_conflict_limit() {
6503 hint_conflict_limit_ = 10;
6504 _has_bits_[4] &= ~0x00100000u;
6507 return hint_conflict_limit_;
6511 return _internal_hint_conflict_limit();
6514 _has_bits_[4] |= 0x00100000u;
6515 hint_conflict_limit_ =
value;
6518 _internal_set_hint_conflict_limit(
value);
6523 inline bool SatParameters::_internal_has_repair_hint()
const {
6524 bool value = (_has_bits_[0] & 0x01000000u) != 0;
6527 inline bool SatParameters::has_repair_hint()
const {
6528 return _internal_has_repair_hint();
6530 inline void SatParameters::clear_repair_hint() {
6531 repair_hint_ =
false;
6532 _has_bits_[0] &= ~0x01000000u;
6534 inline bool SatParameters::_internal_repair_hint()
const {
6535 return repair_hint_;
6537 inline bool SatParameters::repair_hint()
const {
6539 return _internal_repair_hint();
6541 inline void SatParameters::_internal_set_repair_hint(
bool value) {
6542 _has_bits_[0] |= 0x01000000u;
6543 repair_hint_ =
value;
6545 inline void SatParameters::set_repair_hint(
bool value) {
6546 _internal_set_repair_hint(
value);
6551 inline bool SatParameters::_internal_has_exploit_integer_lp_solution()
const {
6552 bool value = (_has_bits_[3] & 0x00020000u) != 0;
6555 inline bool SatParameters::has_exploit_integer_lp_solution()
const {
6556 return _internal_has_exploit_integer_lp_solution();
6558 inline void SatParameters::clear_exploit_integer_lp_solution() {
6559 exploit_integer_lp_solution_ =
true;
6560 _has_bits_[3] &= ~0x00020000u;
6562 inline bool SatParameters::_internal_exploit_integer_lp_solution()
const {
6563 return exploit_integer_lp_solution_;
6565 inline bool SatParameters::exploit_integer_lp_solution()
const {
6567 return _internal_exploit_integer_lp_solution();
6569 inline void SatParameters::_internal_set_exploit_integer_lp_solution(
bool value) {
6570 _has_bits_[3] |= 0x00020000u;
6571 exploit_integer_lp_solution_ =
value;
6573 inline void SatParameters::set_exploit_integer_lp_solution(
bool value) {
6574 _internal_set_exploit_integer_lp_solution(
value);
6579 inline bool SatParameters::_internal_has_exploit_all_lp_solution()
const {
6580 bool value = (_has_bits_[3] & 0x00040000u) != 0;
6583 inline bool SatParameters::has_exploit_all_lp_solution()
const {
6584 return _internal_has_exploit_all_lp_solution();
6586 inline void SatParameters::clear_exploit_all_lp_solution() {
6587 exploit_all_lp_solution_ =
true;
6588 _has_bits_[3] &= ~0x00040000u;
6590 inline bool SatParameters::_internal_exploit_all_lp_solution()
const {
6591 return exploit_all_lp_solution_;
6593 inline bool SatParameters::exploit_all_lp_solution()
const {
6595 return _internal_exploit_all_lp_solution();
6597 inline void SatParameters::_internal_set_exploit_all_lp_solution(
bool value) {
6598 _has_bits_[3] |= 0x00040000u;
6599 exploit_all_lp_solution_ =
value;
6601 inline void SatParameters::set_exploit_all_lp_solution(
bool value) {
6602 _internal_set_exploit_all_lp_solution(
value);
6607 inline bool SatParameters::_internal_has_exploit_best_solution()
const {
6608 bool value = (_has_bits_[1] & 0x00002000u) != 0;
6611 inline bool SatParameters::has_exploit_best_solution()
const {
6612 return _internal_has_exploit_best_solution();
6614 inline void SatParameters::clear_exploit_best_solution() {
6615 exploit_best_solution_ =
false;
6616 _has_bits_[1] &= ~0x00002000u;
6618 inline bool SatParameters::_internal_exploit_best_solution()
const {
6619 return exploit_best_solution_;
6621 inline bool SatParameters::exploit_best_solution()
const {
6623 return _internal_exploit_best_solution();
6625 inline void SatParameters::_internal_set_exploit_best_solution(
bool value) {
6626 _has_bits_[1] |= 0x00002000u;
6627 exploit_best_solution_ =
value;
6629 inline void SatParameters::set_exploit_best_solution(
bool value) {
6630 _internal_set_exploit_best_solution(
value);
6635 inline bool SatParameters::_internal_has_exploit_relaxation_solution()
const {
6636 bool value = (_has_bits_[1] & 0x00004000u) != 0;
6639 inline bool SatParameters::has_exploit_relaxation_solution()
const {
6640 return _internal_has_exploit_relaxation_solution();
6642 inline void SatParameters::clear_exploit_relaxation_solution() {
6643 exploit_relaxation_solution_ =
false;
6644 _has_bits_[1] &= ~0x00004000u;
6646 inline bool SatParameters::_internal_exploit_relaxation_solution()
const {
6647 return exploit_relaxation_solution_;
6649 inline bool SatParameters::exploit_relaxation_solution()
const {
6651 return _internal_exploit_relaxation_solution();
6653 inline void SatParameters::_internal_set_exploit_relaxation_solution(
bool value) {
6654 _has_bits_[1] |= 0x00004000u;
6655 exploit_relaxation_solution_ =
value;
6657 inline void SatParameters::set_exploit_relaxation_solution(
bool value) {
6658 _internal_set_exploit_relaxation_solution(
value);
6663 inline bool SatParameters::_internal_has_exploit_objective()
const {
6664 bool value = (_has_bits_[3] & 0x00080000u) != 0;
6667 inline bool SatParameters::has_exploit_objective()
const {
6668 return _internal_has_exploit_objective();
6670 inline void SatParameters::clear_exploit_objective() {
6671 exploit_objective_ =
true;
6672 _has_bits_[3] &= ~0x00080000u;
6674 inline bool SatParameters::_internal_exploit_objective()
const {
6675 return exploit_objective_;
6677 inline bool SatParameters::exploit_objective()
const {
6679 return _internal_exploit_objective();
6681 inline void SatParameters::_internal_set_exploit_objective(
bool value) {
6682 _has_bits_[3] |= 0x00080000u;
6683 exploit_objective_ =
value;
6685 inline void SatParameters::set_exploit_objective(
bool value) {
6686 _internal_set_exploit_objective(
value);
6691 inline bool SatParameters::_internal_has_probing_period_at_root()
const {
6692 bool value = (_has_bits_[1] & 0x00200000u) != 0;
6695 inline bool SatParameters::has_probing_period_at_root()
const {
6696 return _internal_has_probing_period_at_root();
6698 inline void SatParameters::clear_probing_period_at_root() {
6699 probing_period_at_root_ = PROTOBUF_LONGLONG(0);
6700 _has_bits_[1] &= ~0x00200000u;
6703 return probing_period_at_root_;
6707 return _internal_probing_period_at_root();
6710 _has_bits_[1] |= 0x00200000u;
6711 probing_period_at_root_ =
value;
6714 _internal_set_probing_period_at_root(
value);
6719 inline bool SatParameters::_internal_has_use_probing_search()
const {
6720 bool value = (_has_bits_[1] & 0x00008000u) != 0;
6723 inline bool SatParameters::has_use_probing_search()
const {
6724 return _internal_has_use_probing_search();
6726 inline void SatParameters::clear_use_probing_search() {
6727 use_probing_search_ =
false;
6728 _has_bits_[1] &= ~0x00008000u;
6730 inline bool SatParameters::_internal_use_probing_search()
const {
6731 return use_probing_search_;
6733 inline bool SatParameters::use_probing_search()
const {
6735 return _internal_use_probing_search();
6737 inline void SatParameters::_internal_set_use_probing_search(
bool value) {
6738 _has_bits_[1] |= 0x00008000u;
6739 use_probing_search_ =
value;
6741 inline void SatParameters::set_use_probing_search(
bool value) {
6742 _internal_set_use_probing_search(
value);
6747 inline bool SatParameters::_internal_has_pseudo_cost_reliability_threshold()
const {
6748 bool value = (_has_bits_[3] & 0x02000000u) != 0;
6751 inline bool SatParameters::has_pseudo_cost_reliability_threshold()
const {
6752 return _internal_has_pseudo_cost_reliability_threshold();
6754 inline void SatParameters::clear_pseudo_cost_reliability_threshold() {
6755 pseudo_cost_reliability_threshold_ = PROTOBUF_LONGLONG(100);
6756 _has_bits_[3] &= ~0x02000000u;
6759 return pseudo_cost_reliability_threshold_;
6763 return _internal_pseudo_cost_reliability_threshold();
6766 _has_bits_[3] |= 0x02000000u;
6767 pseudo_cost_reliability_threshold_ =
value;
6770 _internal_set_pseudo_cost_reliability_threshold(
value);
6775 inline bool SatParameters::_internal_has_optimize_with_core()
const {
6776 bool value = (_has_bits_[1] & 0x00010000u) != 0;
6779 inline bool SatParameters::has_optimize_with_core()
const {
6780 return _internal_has_optimize_with_core();
6782 inline void SatParameters::clear_optimize_with_core() {
6783 optimize_with_core_ =
false;
6784 _has_bits_[1] &= ~0x00010000u;
6786 inline bool SatParameters::_internal_optimize_with_core()
const {
6787 return optimize_with_core_;
6789 inline bool SatParameters::optimize_with_core()
const {
6791 return _internal_optimize_with_core();
6793 inline void SatParameters::_internal_set_optimize_with_core(
bool value) {
6794 _has_bits_[1] |= 0x00010000u;
6795 optimize_with_core_ =
value;
6797 inline void SatParameters::set_optimize_with_core(
bool value) {
6798 _internal_set_optimize_with_core(
value);
6803 inline bool SatParameters::_internal_has_binary_search_num_conflicts()
const {
6804 bool value = (_has_bits_[3] & 0x00002000u) != 0;
6807 inline bool SatParameters::has_binary_search_num_conflicts()
const {
6808 return _internal_has_binary_search_num_conflicts();
6810 inline void SatParameters::clear_binary_search_num_conflicts() {
6811 binary_search_num_conflicts_ = -1;
6812 _has_bits_[3] &= ~0x00002000u;
6815 return binary_search_num_conflicts_;
6819 return _internal_binary_search_num_conflicts();
6822 _has_bits_[3] |= 0x00002000u;
6823 binary_search_num_conflicts_ =
value;
6826 _internal_set_binary_search_num_conflicts(
value);
6831 inline bool SatParameters::_internal_has_optimize_with_max_hs()
const {
6832 bool value = (_has_bits_[0] & 0x02000000u) != 0;
6835 inline bool SatParameters::has_optimize_with_max_hs()
const {
6836 return _internal_has_optimize_with_max_hs();
6838 inline void SatParameters::clear_optimize_with_max_hs() {
6839 optimize_with_max_hs_ =
false;
6840 _has_bits_[0] &= ~0x02000000u;
6842 inline bool SatParameters::_internal_optimize_with_max_hs()
const {
6843 return optimize_with_max_hs_;
6845 inline bool SatParameters::optimize_with_max_hs()
const {
6847 return _internal_optimize_with_max_hs();
6849 inline void SatParameters::_internal_set_optimize_with_max_hs(
bool value) {
6850 _has_bits_[0] |= 0x02000000u;
6851 optimize_with_max_hs_ =
value;
6853 inline void SatParameters::set_optimize_with_max_hs(
bool value) {
6854 _internal_set_optimize_with_max_hs(
value);
6859 inline bool SatParameters::_internal_has_enumerate_all_solutions()
const {
6860 bool value = (_has_bits_[0] & 0x04000000u) != 0;
6863 inline bool SatParameters::has_enumerate_all_solutions()
const {
6864 return _internal_has_enumerate_all_solutions();
6866 inline void SatParameters::clear_enumerate_all_solutions() {
6867 enumerate_all_solutions_ =
false;
6868 _has_bits_[0] &= ~0x04000000u;
6870 inline bool SatParameters::_internal_enumerate_all_solutions()
const {
6871 return enumerate_all_solutions_;
6873 inline bool SatParameters::enumerate_all_solutions()
const {
6875 return _internal_enumerate_all_solutions();
6877 inline void SatParameters::_internal_set_enumerate_all_solutions(
bool value) {
6878 _has_bits_[0] |= 0x04000000u;
6879 enumerate_all_solutions_ =
value;
6881 inline void SatParameters::set_enumerate_all_solutions(
bool value) {
6882 _internal_set_enumerate_all_solutions(
value);
6887 inline bool SatParameters::_internal_has_keep_all_feasible_solutions_in_presolve()
const {
6888 bool value = (_has_bits_[0] & 0x08000000u) != 0;
6891 inline bool SatParameters::has_keep_all_feasible_solutions_in_presolve()
const {
6892 return _internal_has_keep_all_feasible_solutions_in_presolve();
6894 inline void SatParameters::clear_keep_all_feasible_solutions_in_presolve() {
6895 keep_all_feasible_solutions_in_presolve_ =
false;
6896 _has_bits_[0] &= ~0x08000000u;
6898 inline bool SatParameters::_internal_keep_all_feasible_solutions_in_presolve()
const {
6899 return keep_all_feasible_solutions_in_presolve_;
6901 inline bool SatParameters::keep_all_feasible_solutions_in_presolve()
const {
6903 return _internal_keep_all_feasible_solutions_in_presolve();
6905 inline void SatParameters::_internal_set_keep_all_feasible_solutions_in_presolve(
bool value) {
6906 _has_bits_[0] |= 0x08000000u;
6907 keep_all_feasible_solutions_in_presolve_ =
value;
6909 inline void SatParameters::set_keep_all_feasible_solutions_in_presolve(
bool value) {
6910 _internal_set_keep_all_feasible_solutions_in_presolve(
value);
6915 inline bool SatParameters::_internal_has_fill_tightened_domains_in_response()
const {
6916 bool value = (_has_bits_[0] & 0x10000000u) != 0;
6919 inline bool SatParameters::has_fill_tightened_domains_in_response()
const {
6920 return _internal_has_fill_tightened_domains_in_response();
6922 inline void SatParameters::clear_fill_tightened_domains_in_response() {
6923 fill_tightened_domains_in_response_ =
false;
6924 _has_bits_[0] &= ~0x10000000u;
6926 inline bool SatParameters::_internal_fill_tightened_domains_in_response()
const {
6927 return fill_tightened_domains_in_response_;
6929 inline bool SatParameters::fill_tightened_domains_in_response()
const {
6931 return _internal_fill_tightened_domains_in_response();
6933 inline void SatParameters::_internal_set_fill_tightened_domains_in_response(
bool value) {
6934 _has_bits_[0] |= 0x10000000u;
6935 fill_tightened_domains_in_response_ =
value;
6937 inline void SatParameters::set_fill_tightened_domains_in_response(
bool value) {
6938 _internal_set_fill_tightened_domains_in_response(
value);
6943 inline bool SatParameters::_internal_has_instantiate_all_variables()
const {
6944 bool value = (_has_bits_[3] & 0x00100000u) != 0;
6947 inline bool SatParameters::has_instantiate_all_variables()
const {
6948 return _internal_has_instantiate_all_variables();
6950 inline void SatParameters::clear_instantiate_all_variables() {
6951 instantiate_all_variables_ =
true;
6952 _has_bits_[3] &= ~0x00100000u;
6954 inline bool SatParameters::_internal_instantiate_all_variables()
const {
6955 return instantiate_all_variables_;
6957 inline bool SatParameters::instantiate_all_variables()
const {
6959 return _internal_instantiate_all_variables();
6961 inline void SatParameters::_internal_set_instantiate_all_variables(
bool value) {
6962 _has_bits_[3] |= 0x00100000u;
6963 instantiate_all_variables_ =
value;
6965 inline void SatParameters::set_instantiate_all_variables(
bool value) {
6966 _internal_set_instantiate_all_variables(
value);
6971 inline bool SatParameters::_internal_has_auto_detect_greater_than_at_least_one_of()
const {
6972 bool value = (_has_bits_[3] & 0x20000000u) != 0;
6975 inline bool SatParameters::has_auto_detect_greater_than_at_least_one_of()
const {
6976 return _internal_has_auto_detect_greater_than_at_least_one_of();
6978 inline void SatParameters::clear_auto_detect_greater_than_at_least_one_of() {
6979 auto_detect_greater_than_at_least_one_of_ =
true;
6980 _has_bits_[3] &= ~0x20000000u;
6982 inline bool SatParameters::_internal_auto_detect_greater_than_at_least_one_of()
const {
6983 return auto_detect_greater_than_at_least_one_of_;
6985 inline bool SatParameters::auto_detect_greater_than_at_least_one_of()
const {
6987 return _internal_auto_detect_greater_than_at_least_one_of();
6989 inline void SatParameters::_internal_set_auto_detect_greater_than_at_least_one_of(
bool value) {
6990 _has_bits_[3] |= 0x20000000u;
6991 auto_detect_greater_than_at_least_one_of_ =
value;
6993 inline void SatParameters::set_auto_detect_greater_than_at_least_one_of(
bool value) {
6994 _internal_set_auto_detect_greater_than_at_least_one_of(
value);
6999 inline bool SatParameters::_internal_has_stop_after_first_solution()
const {
7000 bool value = (_has_bits_[1] & 0x00000020u) != 0;
7003 inline bool SatParameters::has_stop_after_first_solution()
const {
7004 return _internal_has_stop_after_first_solution();
7006 inline void SatParameters::clear_stop_after_first_solution() {
7007 stop_after_first_solution_ =
false;
7008 _has_bits_[1] &= ~0x00000020u;
7010 inline bool SatParameters::_internal_stop_after_first_solution()
const {
7011 return stop_after_first_solution_;
7013 inline bool SatParameters::stop_after_first_solution()
const {
7015 return _internal_stop_after_first_solution();
7017 inline void SatParameters::_internal_set_stop_after_first_solution(
bool value) {
7018 _has_bits_[1] |= 0x00000020u;
7019 stop_after_first_solution_ =
value;
7021 inline void SatParameters::set_stop_after_first_solution(
bool value) {
7022 _internal_set_stop_after_first_solution(
value);
7027 inline bool SatParameters::_internal_has_stop_after_presolve()
const {
7028 bool value = (_has_bits_[1] & 0x00000040u) != 0;
7031 inline bool SatParameters::has_stop_after_presolve()
const {
7032 return _internal_has_stop_after_presolve();
7034 inline void SatParameters::clear_stop_after_presolve() {
7035 stop_after_presolve_ =
false;
7036 _has_bits_[1] &= ~0x00000040u;
7038 inline bool SatParameters::_internal_stop_after_presolve()
const {
7039 return stop_after_presolve_;
7041 inline bool SatParameters::stop_after_presolve()
const {
7043 return _internal_stop_after_presolve();
7045 inline void SatParameters::_internal_set_stop_after_presolve(
bool value) {
7046 _has_bits_[1] |= 0x00000040u;
7047 stop_after_presolve_ =
value;
7049 inline void SatParameters::set_stop_after_presolve(
bool value) {
7050 _internal_set_stop_after_presolve(
value);
7055 inline bool SatParameters::_internal_has_num_search_workers()
const {
7056 bool value = (_has_bits_[3] & 0x00004000u) != 0;
7059 inline bool SatParameters::has_num_search_workers()
const {
7060 return _internal_has_num_search_workers();
7062 inline void SatParameters::clear_num_search_workers() {
7063 num_search_workers_ = 1;
7064 _has_bits_[3] &= ~0x00004000u;
7067 return num_search_workers_;
7071 return _internal_num_search_workers();
7074 _has_bits_[3] |= 0x00004000u;
7075 num_search_workers_ =
value;
7078 _internal_set_num_search_workers(
value);
7083 inline bool SatParameters::_internal_has_interleave_search()
const {
7084 bool value = (_has_bits_[1] & 0x00000080u) != 0;
7087 inline bool SatParameters::has_interleave_search()
const {
7088 return _internal_has_interleave_search();
7090 inline void SatParameters::clear_interleave_search() {
7091 interleave_search_ =
false;
7092 _has_bits_[1] &= ~0x00000080u;
7094 inline bool SatParameters::_internal_interleave_search()
const {
7095 return interleave_search_;
7097 inline bool SatParameters::interleave_search()
const {
7099 return _internal_interleave_search();
7101 inline void SatParameters::_internal_set_interleave_search(
bool value) {
7102 _has_bits_[1] |= 0x00000080u;
7103 interleave_search_ =
value;
7105 inline void SatParameters::set_interleave_search(
bool value) {
7106 _internal_set_interleave_search(
value);
7111 inline bool SatParameters::_internal_has_interleave_batch_size()
const {
7112 bool value = (_has_bits_[4] & 0x00000080u) != 0;
7115 inline bool SatParameters::has_interleave_batch_size()
const {
7116 return _internal_has_interleave_batch_size();
7118 inline void SatParameters::clear_interleave_batch_size() {
7119 interleave_batch_size_ = 1;
7120 _has_bits_[4] &= ~0x00000080u;
7123 return interleave_batch_size_;
7127 return _internal_interleave_batch_size();
7130 _has_bits_[4] |= 0x00000080u;
7131 interleave_batch_size_ =
value;
7134 _internal_set_interleave_batch_size(
value);
7139 inline bool SatParameters::_internal_has_reduce_memory_usage_in_interleave_mode()
const {
7140 bool value = (_has_bits_[1] & 0x00000100u) != 0;
7143 inline bool SatParameters::has_reduce_memory_usage_in_interleave_mode()
const {
7144 return _internal_has_reduce_memory_usage_in_interleave_mode();
7146 inline void SatParameters::clear_reduce_memory_usage_in_interleave_mode() {
7147 reduce_memory_usage_in_interleave_mode_ =
false;
7148 _has_bits_[1] &= ~0x00000100u;
7150 inline bool SatParameters::_internal_reduce_memory_usage_in_interleave_mode()
const {
7151 return reduce_memory_usage_in_interleave_mode_;
7153 inline bool SatParameters::reduce_memory_usage_in_interleave_mode()
const {
7155 return _internal_reduce_memory_usage_in_interleave_mode();
7157 inline void SatParameters::_internal_set_reduce_memory_usage_in_interleave_mode(
bool value) {
7158 _has_bits_[1] |= 0x00000100u;
7159 reduce_memory_usage_in_interleave_mode_ =
value;
7161 inline void SatParameters::set_reduce_memory_usage_in_interleave_mode(
bool value) {
7162 _internal_set_reduce_memory_usage_in_interleave_mode(
value);
7167 inline bool SatParameters::_internal_has_share_objective_bounds()
const {
7168 bool value = (_has_bits_[3] & 0x40000000u) != 0;
7171 inline bool SatParameters::has_share_objective_bounds()
const {
7172 return _internal_has_share_objective_bounds();
7174 inline void SatParameters::clear_share_objective_bounds() {
7175 share_objective_bounds_ =
true;
7176 _has_bits_[3] &= ~0x40000000u;
7178 inline bool SatParameters::_internal_share_objective_bounds()
const {
7179 return share_objective_bounds_;
7181 inline bool SatParameters::share_objective_bounds()
const {
7183 return _internal_share_objective_bounds();
7185 inline void SatParameters::_internal_set_share_objective_bounds(
bool value) {
7186 _has_bits_[3] |= 0x40000000u;
7187 share_objective_bounds_ =
value;
7189 inline void SatParameters::set_share_objective_bounds(
bool value) {
7190 _internal_set_share_objective_bounds(
value);
7195 inline bool SatParameters::_internal_has_share_level_zero_bounds()
const {
7196 bool value = (_has_bits_[3] & 0x80000000u) != 0;
7199 inline bool SatParameters::has_share_level_zero_bounds()
const {
7200 return _internal_has_share_level_zero_bounds();
7202 inline void SatParameters::clear_share_level_zero_bounds() {
7203 share_level_zero_bounds_ =
true;
7204 _has_bits_[3] &= ~0x80000000u;
7206 inline bool SatParameters::_internal_share_level_zero_bounds()
const {
7207 return share_level_zero_bounds_;
7209 inline bool SatParameters::share_level_zero_bounds()
const {
7211 return _internal_share_level_zero_bounds();
7213 inline void SatParameters::_internal_set_share_level_zero_bounds(
bool value) {
7214 _has_bits_[3] |= 0x80000000u;
7215 share_level_zero_bounds_ =
value;
7217 inline void SatParameters::set_share_level_zero_bounds(
bool value) {
7218 _internal_set_share_level_zero_bounds(
value);
7223 inline bool SatParameters::_internal_has_use_lns_only()
const {
7224 bool value = (_has_bits_[1] & 0x00000002u) != 0;
7227 inline bool SatParameters::has_use_lns_only()
const {
7228 return _internal_has_use_lns_only();
7230 inline void SatParameters::clear_use_lns_only() {
7231 use_lns_only_ =
false;
7232 _has_bits_[1] &= ~0x00000002u;
7234 inline bool SatParameters::_internal_use_lns_only()
const {
7235 return use_lns_only_;
7237 inline bool SatParameters::use_lns_only()
const {
7239 return _internal_use_lns_only();
7241 inline void SatParameters::_internal_set_use_lns_only(
bool value) {
7242 _has_bits_[1] |= 0x00000002u;
7243 use_lns_only_ =
value;
7245 inline void SatParameters::set_use_lns_only(
bool value) {
7246 _internal_set_use_lns_only(
value);
7251 inline bool SatParameters::_internal_has_lns_focus_on_decision_variables()
const {
7252 bool value = (_has_bits_[1] & 0x00000004u) != 0;
7255 inline bool SatParameters::has_lns_focus_on_decision_variables()
const {
7256 return _internal_has_lns_focus_on_decision_variables();
7258 inline void SatParameters::clear_lns_focus_on_decision_variables() {
7259 lns_focus_on_decision_variables_ =
false;
7260 _has_bits_[1] &= ~0x00000004u;
7262 inline bool SatParameters::_internal_lns_focus_on_decision_variables()
const {
7263 return lns_focus_on_decision_variables_;
7265 inline bool SatParameters::lns_focus_on_decision_variables()
const {
7267 return _internal_lns_focus_on_decision_variables();
7269 inline void SatParameters::_internal_set_lns_focus_on_decision_variables(
bool value) {
7270 _has_bits_[1] |= 0x00000004u;
7271 lns_focus_on_decision_variables_ =
value;
7273 inline void SatParameters::set_lns_focus_on_decision_variables(
bool value) {
7274 _internal_set_lns_focus_on_decision_variables(
value);
7279 inline bool SatParameters::_internal_has_lns_expand_intervals_in_constraint_graph()
const {
7280 bool value = (_has_bits_[4] & 0x00000001u) != 0;
7283 inline bool SatParameters::has_lns_expand_intervals_in_constraint_graph()
const {
7284 return _internal_has_lns_expand_intervals_in_constraint_graph();
7286 inline void SatParameters::clear_lns_expand_intervals_in_constraint_graph() {
7287 lns_expand_intervals_in_constraint_graph_ =
true;
7288 _has_bits_[4] &= ~0x00000001u;
7290 inline bool SatParameters::_internal_lns_expand_intervals_in_constraint_graph()
const {
7291 return lns_expand_intervals_in_constraint_graph_;
7293 inline bool SatParameters::lns_expand_intervals_in_constraint_graph()
const {
7295 return _internal_lns_expand_intervals_in_constraint_graph();
7297 inline void SatParameters::_internal_set_lns_expand_intervals_in_constraint_graph(
bool value) {
7298 _has_bits_[4] |= 0x00000001u;
7299 lns_expand_intervals_in_constraint_graph_ =
value;
7301 inline void SatParameters::set_lns_expand_intervals_in_constraint_graph(
bool value) {
7302 _internal_set_lns_expand_intervals_in_constraint_graph(
value);
7307 inline bool SatParameters::_internal_has_use_rins_lns()
const {
7308 bool value = (_has_bits_[4] & 0x00000008u) != 0;
7311 inline bool SatParameters::has_use_rins_lns()
const {
7312 return _internal_has_use_rins_lns();
7314 inline void SatParameters::clear_use_rins_lns() {
7315 use_rins_lns_ =
true;
7316 _has_bits_[4] &= ~0x00000008u;
7318 inline bool SatParameters::_internal_use_rins_lns()
const {
7319 return use_rins_lns_;
7321 inline bool SatParameters::use_rins_lns()
const {
7323 return _internal_use_rins_lns();
7325 inline void SatParameters::_internal_set_use_rins_lns(
bool value) {
7326 _has_bits_[4] |= 0x00000008u;
7327 use_rins_lns_ =
value;
7329 inline void SatParameters::set_use_rins_lns(
bool value) {
7330 _internal_set_use_rins_lns(
value);
7335 inline bool SatParameters::_internal_has_use_feasibility_pump()
const {
7336 bool value = (_has_bits_[4] & 0x00000010u) != 0;
7339 inline bool SatParameters::has_use_feasibility_pump()
const {
7340 return _internal_has_use_feasibility_pump();
7342 inline void SatParameters::clear_use_feasibility_pump() {
7343 use_feasibility_pump_ =
true;
7344 _has_bits_[4] &= ~0x00000010u;
7346 inline bool SatParameters::_internal_use_feasibility_pump()
const {
7347 return use_feasibility_pump_;
7349 inline bool SatParameters::use_feasibility_pump()
const {
7351 return _internal_use_feasibility_pump();
7353 inline void SatParameters::_internal_set_use_feasibility_pump(
bool value) {
7354 _has_bits_[4] |= 0x00000010u;
7355 use_feasibility_pump_ =
value;
7357 inline void SatParameters::set_use_feasibility_pump(
bool value) {
7358 _internal_set_use_feasibility_pump(
value);
7363 inline bool SatParameters::_internal_has_fp_rounding()
const {
7364 bool value = (_has_bits_[4] & 0x20000000u) != 0;
7367 inline bool SatParameters::has_fp_rounding()
const {
7368 return _internal_has_fp_rounding();
7370 inline void SatParameters::clear_fp_rounding() {
7372 _has_bits_[4] &= ~0x20000000u;
7379 return _internal_fp_rounding();
7383 _has_bits_[4] |= 0x20000000u;
7384 fp_rounding_ =
value;
7387 _internal_set_fp_rounding(
value);
7392 inline bool SatParameters::_internal_has_use_relaxation_lns()
const {
7393 bool value = (_has_bits_[1] & 0x00000008u) != 0;
7396 inline bool SatParameters::has_use_relaxation_lns()
const {
7397 return _internal_has_use_relaxation_lns();
7399 inline void SatParameters::clear_use_relaxation_lns() {
7400 use_relaxation_lns_ =
false;
7401 _has_bits_[1] &= ~0x00000008u;
7403 inline bool SatParameters::_internal_use_relaxation_lns()
const {
7404 return use_relaxation_lns_;
7406 inline bool SatParameters::use_relaxation_lns()
const {
7408 return _internal_use_relaxation_lns();
7410 inline void SatParameters::_internal_set_use_relaxation_lns(
bool value) {
7411 _has_bits_[1] |= 0x00000008u;
7412 use_relaxation_lns_ =
value;
7414 inline void SatParameters::set_use_relaxation_lns(
bool value) {
7415 _internal_set_use_relaxation_lns(
value);
7420 inline bool SatParameters::_internal_has_diversify_lns_params()
const {
7421 bool value = (_has_bits_[1] & 0x00000010u) != 0;
7424 inline bool SatParameters::has_diversify_lns_params()
const {
7425 return _internal_has_diversify_lns_params();
7427 inline void SatParameters::clear_diversify_lns_params() {
7428 diversify_lns_params_ =
false;
7429 _has_bits_[1] &= ~0x00000010u;
7431 inline bool SatParameters::_internal_diversify_lns_params()
const {
7432 return diversify_lns_params_;
7434 inline bool SatParameters::diversify_lns_params()
const {
7436 return _internal_diversify_lns_params();
7438 inline void SatParameters::_internal_set_diversify_lns_params(
bool value) {
7439 _has_bits_[1] |= 0x00000010u;
7440 diversify_lns_params_ =
value;
7442 inline void SatParameters::set_diversify_lns_params(
bool value) {
7443 _internal_set_diversify_lns_params(
value);
7448 inline bool SatParameters::_internal_has_randomize_search()
const {
7449 bool value = (_has_bits_[1] & 0x00020000u) != 0;
7452 inline bool SatParameters::has_randomize_search()
const {
7453 return _internal_has_randomize_search();
7455 inline void SatParameters::clear_randomize_search() {
7456 randomize_search_ =
false;
7457 _has_bits_[1] &= ~0x00020000u;
7459 inline bool SatParameters::_internal_randomize_search()
const {
7460 return randomize_search_;
7462 inline bool SatParameters::randomize_search()
const {
7464 return _internal_randomize_search();
7466 inline void SatParameters::_internal_set_randomize_search(
bool value) {
7467 _has_bits_[1] |= 0x00020000u;
7468 randomize_search_ =
value;
7470 inline void SatParameters::set_randomize_search(
bool value) {
7471 _internal_set_randomize_search(
value);
7476 inline bool SatParameters::_internal_has_search_randomization_tolerance()
const {
7477 bool value = (_has_bits_[0] & 0x00001000u) != 0;
7480 inline bool SatParameters::has_search_randomization_tolerance()
const {
7481 return _internal_has_search_randomization_tolerance();
7483 inline void SatParameters::clear_search_randomization_tolerance() {
7484 search_randomization_tolerance_ = PROTOBUF_LONGLONG(0);
7485 _has_bits_[0] &= ~0x00001000u;
7488 return search_randomization_tolerance_;
7492 return _internal_search_randomization_tolerance();
7495 _has_bits_[0] |= 0x00001000u;
7496 search_randomization_tolerance_ =
value;
7499 _internal_set_search_randomization_tolerance(
value);
7504 inline bool SatParameters::_internal_has_use_optional_variables()
const {
7505 bool value = (_has_bits_[4] & 0x00000020u) != 0;
7508 inline bool SatParameters::has_use_optional_variables()
const {
7509 return _internal_has_use_optional_variables();
7511 inline void SatParameters::clear_use_optional_variables() {
7512 use_optional_variables_ =
true;
7513 _has_bits_[4] &= ~0x00000020u;
7515 inline bool SatParameters::_internal_use_optional_variables()
const {
7516 return use_optional_variables_;
7518 inline bool SatParameters::use_optional_variables()
const {
7520 return _internal_use_optional_variables();
7522 inline void SatParameters::_internal_set_use_optional_variables(
bool value) {
7523 _has_bits_[4] |= 0x00000020u;
7524 use_optional_variables_ =
value;
7526 inline void SatParameters::set_use_optional_variables(
bool value) {
7527 _internal_set_use_optional_variables(
value);
7532 inline bool SatParameters::_internal_has_use_exact_lp_reason()
const {
7533 bool value = (_has_bits_[4] & 0x00000040u) != 0;
7536 inline bool SatParameters::has_use_exact_lp_reason()
const {
7537 return _internal_has_use_exact_lp_reason();
7539 inline void SatParameters::clear_use_exact_lp_reason() {
7540 use_exact_lp_reason_ =
true;
7541 _has_bits_[4] &= ~0x00000040u;
7543 inline bool SatParameters::_internal_use_exact_lp_reason()
const {
7544 return use_exact_lp_reason_;
7546 inline bool SatParameters::use_exact_lp_reason()
const {
7548 return _internal_use_exact_lp_reason();
7550 inline void SatParameters::_internal_set_use_exact_lp_reason(
bool value) {
7551 _has_bits_[4] |= 0x00000040u;
7552 use_exact_lp_reason_ =
value;
7554 inline void SatParameters::set_use_exact_lp_reason(
bool value) {
7555 _internal_set_use_exact_lp_reason(
value);
7560 inline bool SatParameters::_internal_has_use_branching_in_lp()
const {
7561 bool value = (_has_bits_[1] & 0x00040000u) != 0;
7564 inline bool SatParameters::has_use_branching_in_lp()
const {
7565 return _internal_has_use_branching_in_lp();
7567 inline void SatParameters::clear_use_branching_in_lp() {
7568 use_branching_in_lp_ =
false;
7569 _has_bits_[1] &= ~0x00040000u;
7571 inline bool SatParameters::_internal_use_branching_in_lp()
const {
7572 return use_branching_in_lp_;
7574 inline bool SatParameters::use_branching_in_lp()
const {
7576 return _internal_use_branching_in_lp();
7578 inline void SatParameters::_internal_set_use_branching_in_lp(
bool value) {
7579 _has_bits_[1] |= 0x00040000u;
7580 use_branching_in_lp_ =
value;
7582 inline void SatParameters::set_use_branching_in_lp(
bool value) {
7583 _internal_set_use_branching_in_lp(
value);
7588 inline bool SatParameters::_internal_has_use_combined_no_overlap()
const {
7589 bool value = (_has_bits_[1] & 0x00080000u) != 0;
7592 inline bool SatParameters::has_use_combined_no_overlap()
const {
7593 return _internal_has_use_combined_no_overlap();
7595 inline void SatParameters::clear_use_combined_no_overlap() {
7596 use_combined_no_overlap_ =
false;
7597 _has_bits_[1] &= ~0x00080000u;
7599 inline bool SatParameters::_internal_use_combined_no_overlap()
const {
7600 return use_combined_no_overlap_;
7602 inline bool SatParameters::use_combined_no_overlap()
const {
7604 return _internal_use_combined_no_overlap();
7606 inline void SatParameters::_internal_set_use_combined_no_overlap(
bool value) {
7607 _has_bits_[1] |= 0x00080000u;
7608 use_combined_no_overlap_ =
value;
7610 inline void SatParameters::set_use_combined_no_overlap(
bool value) {
7611 _internal_set_use_combined_no_overlap(
value);
7616 inline bool SatParameters::_internal_has_catch_sigint_signal()
const {
7617 bool value = (_has_bits_[4] & 0x00002000u) != 0;
7620 inline bool SatParameters::has_catch_sigint_signal()
const {
7621 return _internal_has_catch_sigint_signal();
7623 inline void SatParameters::clear_catch_sigint_signal() {
7624 catch_sigint_signal_ =
true;
7625 _has_bits_[4] &= ~0x00002000u;
7627 inline bool SatParameters::_internal_catch_sigint_signal()
const {
7628 return catch_sigint_signal_;
7630 inline bool SatParameters::catch_sigint_signal()
const {
7632 return _internal_catch_sigint_signal();
7634 inline void SatParameters::_internal_set_catch_sigint_signal(
bool value) {
7635 _has_bits_[4] |= 0x00002000u;
7636 catch_sigint_signal_ =
value;
7638 inline void SatParameters::set_catch_sigint_signal(
bool value) {
7639 _internal_set_catch_sigint_signal(
value);
7644 inline bool SatParameters::_internal_has_use_implied_bounds()
const {
7645 bool value = (_has_bits_[4] & 0x00004000u) != 0;
7648 inline bool SatParameters::has_use_implied_bounds()
const {
7649 return _internal_has_use_implied_bounds();
7651 inline void SatParameters::clear_use_implied_bounds() {
7652 use_implied_bounds_ =
true;
7653 _has_bits_[4] &= ~0x00004000u;
7655 inline bool SatParameters::_internal_use_implied_bounds()
const {
7656 return use_implied_bounds_;
7658 inline bool SatParameters::use_implied_bounds()
const {
7660 return _internal_use_implied_bounds();
7662 inline void SatParameters::_internal_set_use_implied_bounds(
bool value) {
7663 _has_bits_[4] |= 0x00004000u;
7664 use_implied_bounds_ =
value;
7666 inline void SatParameters::set_use_implied_bounds(
bool value) {
7667 _internal_set_use_implied_bounds(
value);
7672 inline bool SatParameters::_internal_has_polish_lp_solution()
const {
7673 bool value = (_has_bits_[1] & 0x00100000u) != 0;
7676 inline bool SatParameters::has_polish_lp_solution()
const {
7677 return _internal_has_polish_lp_solution();
7679 inline void SatParameters::clear_polish_lp_solution() {
7680 polish_lp_solution_ =
false;
7681 _has_bits_[1] &= ~0x00100000u;
7683 inline bool SatParameters::_internal_polish_lp_solution()
const {
7684 return polish_lp_solution_;
7686 inline bool SatParameters::polish_lp_solution()
const {
7688 return _internal_polish_lp_solution();
7690 inline void SatParameters::_internal_set_polish_lp_solution(
bool value) {
7691 _has_bits_[1] |= 0x00100000u;
7692 polish_lp_solution_ =
value;
7694 inline void SatParameters::set_polish_lp_solution(
bool value) {
7695 _internal_set_polish_lp_solution(
value);
7700 inline bool SatParameters::_internal_has_convert_intervals()
const {
7701 bool value = (_has_bits_[1] & 0x02000000u) != 0;
7704 inline bool SatParameters::has_convert_intervals()
const {
7705 return _internal_has_convert_intervals();
7707 inline void SatParameters::clear_convert_intervals() {
7708 convert_intervals_ =
false;
7709 _has_bits_[1] &= ~0x02000000u;
7711 inline bool SatParameters::_internal_convert_intervals()
const {
7712 return convert_intervals_;
7714 inline bool SatParameters::convert_intervals()
const {
7716 return _internal_convert_intervals();
7718 inline void SatParameters::_internal_set_convert_intervals(
bool value) {
7719 _has_bits_[1] |= 0x02000000u;
7720 convert_intervals_ =
value;
7722 inline void SatParameters::set_convert_intervals(
bool value) {
7723 _internal_set_convert_intervals(
value);
7728 inline bool SatParameters::_internal_has_symmetry_level()
const {
7729 bool value = (_has_bits_[4] & 0x80000000u) != 0;
7732 inline bool SatParameters::has_symmetry_level()
const {
7733 return _internal_has_symmetry_level();
7735 inline void SatParameters::clear_symmetry_level() {
7736 symmetry_level_ = 2;
7737 _has_bits_[4] &= ~0x80000000u;
7740 return symmetry_level_;
7744 return _internal_symmetry_level();
7747 _has_bits_[4] |= 0x80000000u;
7748 symmetry_level_ =
value;
7751 _internal_set_symmetry_level(
value);
7756 inline bool SatParameters::_internal_has_mip_max_bound()
const {
7757 bool value = (_has_bits_[3] & 0x04000000u) != 0;
7760 inline bool SatParameters::has_mip_max_bound()
const {
7761 return _internal_has_mip_max_bound();
7763 inline void SatParameters::clear_mip_max_bound() {
7764 mip_max_bound_ = 10000000;
7765 _has_bits_[3] &= ~0x04000000u;
7767 inline double SatParameters::_internal_mip_max_bound()
const {
7768 return mip_max_bound_;
7770 inline double SatParameters::mip_max_bound()
const {
7772 return _internal_mip_max_bound();
7774 inline void SatParameters::_internal_set_mip_max_bound(
double value) {
7775 _has_bits_[3] |= 0x04000000u;
7776 mip_max_bound_ =
value;
7778 inline void SatParameters::set_mip_max_bound(
double value) {
7779 _internal_set_mip_max_bound(
value);
7784 inline bool SatParameters::_internal_has_mip_var_scaling()
const {
7785 bool value = (_has_bits_[3] & 0x08000000u) != 0;
7788 inline bool SatParameters::has_mip_var_scaling()
const {
7789 return _internal_has_mip_var_scaling();
7791 inline void SatParameters::clear_mip_var_scaling() {
7792 mip_var_scaling_ = 1;
7793 _has_bits_[3] &= ~0x08000000u;
7795 inline double SatParameters::_internal_mip_var_scaling()
const {
7796 return mip_var_scaling_;
7798 inline double SatParameters::mip_var_scaling()
const {
7800 return _internal_mip_var_scaling();
7802 inline void SatParameters::_internal_set_mip_var_scaling(
double value) {
7803 _has_bits_[3] |= 0x08000000u;
7804 mip_var_scaling_ =
value;
7806 inline void SatParameters::set_mip_var_scaling(
double value) {
7807 _internal_set_mip_var_scaling(
value);
7812 inline bool SatParameters::_internal_has_mip_automatically_scale_variables()
const {
7813 bool value = (_has_bits_[4] & 0x00008000u) != 0;
7816 inline bool SatParameters::has_mip_automatically_scale_variables()
const {
7817 return _internal_has_mip_automatically_scale_variables();
7819 inline void SatParameters::clear_mip_automatically_scale_variables() {
7820 mip_automatically_scale_variables_ =
true;
7821 _has_bits_[4] &= ~0x00008000u;
7823 inline bool SatParameters::_internal_mip_automatically_scale_variables()
const {
7824 return mip_automatically_scale_variables_;
7826 inline bool SatParameters::mip_automatically_scale_variables()
const {
7828 return _internal_mip_automatically_scale_variables();
7830 inline void SatParameters::_internal_set_mip_automatically_scale_variables(
bool value) {
7831 _has_bits_[4] |= 0x00008000u;
7832 mip_automatically_scale_variables_ =
value;
7834 inline void SatParameters::set_mip_automatically_scale_variables(
bool value) {
7835 _internal_set_mip_automatically_scale_variables(
value);
7840 inline bool SatParameters::_internal_has_mip_wanted_precision()
const {
7841 bool value = (_has_bits_[3] & 0x10000000u) != 0;
7844 inline bool SatParameters::has_mip_wanted_precision()
const {
7845 return _internal_has_mip_wanted_precision();
7847 inline void SatParameters::clear_mip_wanted_precision() {
7848 mip_wanted_precision_ = 1e-06;
7849 _has_bits_[3] &= ~0x10000000u;
7851 inline double SatParameters::_internal_mip_wanted_precision()
const {
7852 return mip_wanted_precision_;
7854 inline double SatParameters::mip_wanted_precision()
const {
7856 return _internal_mip_wanted_precision();
7858 inline void SatParameters::_internal_set_mip_wanted_precision(
double value) {
7859 _has_bits_[3] |= 0x10000000u;
7860 mip_wanted_precision_ =
value;
7862 inline void SatParameters::set_mip_wanted_precision(
double value) {
7863 _internal_set_mip_wanted_precision(
value);
7868 inline bool SatParameters::_internal_has_mip_max_activity_exponent()
const {
7869 bool value = (_has_bits_[4] & 0x00000002u) != 0;
7872 inline bool SatParameters::has_mip_max_activity_exponent()
const {
7873 return _internal_has_mip_max_activity_exponent();
7875 inline void SatParameters::clear_mip_max_activity_exponent() {
7876 mip_max_activity_exponent_ = 53;
7877 _has_bits_[4] &= ~0x00000002u;
7880 return mip_max_activity_exponent_;
7884 return _internal_mip_max_activity_exponent();
7887 _has_bits_[4] |= 0x00000002u;
7888 mip_max_activity_exponent_ =
value;
7891 _internal_set_mip_max_activity_exponent(
value);
7896 inline bool SatParameters::_internal_has_mip_check_precision()
const {
7897 bool value = (_has_bits_[4] & 0x00000004u) != 0;
7900 inline bool SatParameters::has_mip_check_precision()
const {
7901 return _internal_has_mip_check_precision();
7903 inline void SatParameters::clear_mip_check_precision() {
7904 mip_check_precision_ = 0.0001;
7905 _has_bits_[4] &= ~0x00000004u;
7907 inline double SatParameters::_internal_mip_check_precision()
const {
7908 return mip_check_precision_;
7910 inline double SatParameters::mip_check_precision()
const {
7912 return _internal_mip_check_precision();
7914 inline void SatParameters::_internal_set_mip_check_precision(
double value) {
7915 _has_bits_[4] |= 0x00000004u;
7916 mip_check_precision_ =
value;
7918 inline void SatParameters::set_mip_check_precision(
double value) {
7919 _internal_set_mip_check_precision(
value);
7924 #pragma GCC diagnostic pop
7932 PROTOBUF_NAMESPACE_OPEN
7936 inline const EnumDescriptor* GetEnumDescriptor< ::operations_research::sat::SatParameters_VariableOrder>() {
7941 inline const EnumDescriptor* GetEnumDescriptor< ::operations_research::sat::SatParameters_Polarity>() {
7946 inline const EnumDescriptor* GetEnumDescriptor< ::operations_research::sat::SatParameters_ConflictMinimizationAlgorithm>() {
7951 inline const EnumDescriptor* GetEnumDescriptor< ::operations_research::sat::SatParameters_BinaryMinizationAlgorithm>() {
7956 inline const EnumDescriptor* GetEnumDescriptor< ::operations_research::sat::SatParameters_ClauseProtection>() {
7961 inline const EnumDescriptor* GetEnumDescriptor< ::operations_research::sat::SatParameters_ClauseOrdering>() {
7966 inline const EnumDescriptor* GetEnumDescriptor< ::operations_research::sat::SatParameters_RestartAlgorithm>() {
7971 inline const EnumDescriptor* GetEnumDescriptor< ::operations_research::sat::SatParameters_MaxSatAssumptionOrder>() {
7976 inline const EnumDescriptor* GetEnumDescriptor< ::operations_research::sat::SatParameters_MaxSatStratificationAlgorithm>() {
7981 inline const EnumDescriptor* GetEnumDescriptor< ::operations_research::sat::SatParameters_SearchBranching>() {
7986 inline const EnumDescriptor* GetEnumDescriptor< ::operations_research::sat::SatParameters_FPRoundingMethod>() {
7990 PROTOBUF_NAMESPACE_CLOSE
7994 #include <google/protobuf/port_undef.inc>
::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)
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
void set_catch_sigint_signal(bool value)
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()
friend void swap(SatParameters &a, SatParameters &b)
SatParameters(::PROTOBUF_NAMESPACE_ID::Arena *arena)
double max_clause_activity_value() const
static const std::string & VariableOrder_Name(T enum_t_value)
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()
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()
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
double mip_check_precision() const
static bool ClauseOrdering_IsValid(int value)
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()
static const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * Polarity_descriptor()
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)
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()
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
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)
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)
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)
::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()
static const std::string & Polarity_Name(T enum_t_value)
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)
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)
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()
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
::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
static bool MaxSatStratificationAlgorithm_IsValid(int value)
SatParameters_Polarity Polarity
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)
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)
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)
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)
bool has_presolve_bve_threshold() const
void set_use_exact_lp_reason(bool value)
SatParameters_MaxSatStratificationAlgorithm MaxSatStratificationAlgorithm
bool has_disable_constraint_expansion() const
void CopyFrom(const SatParameters &from)
SatParameters & operator=(SatParameters &&from) noexcept
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)
void clear_exploit_objective()
bool has_boolean_encoding_level() const
static const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * ConflictMinimizationAlgorithm_descriptor()
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)
static bool Polarity_IsValid(int value)
SatParameters_BinaryMinizationAlgorithm BinaryMinizationAlgorithm
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)
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 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()
static const std::string & MaxSatStratificationAlgorithm_Name(T enum_t_value)
bool has_use_absl_random() const
void set_stop_after_first_solution(bool value)
SatParameters * New(::PROTOBUF_NAMESPACE_ID::Arena *arena) const final
void clear_preferred_variable_order()
static const std::string & FPRoundingMethod_Name(T enum_t_value)
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)
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 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
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()
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)
bool has_permute_variable_randomly() const
static const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * MaxSatAssumptionOrder_descriptor()
SatParameters_VariableOrder VariableOrder
double cut_active_count_decay() const
void clear_use_disjunctive_constraint_in_cumulative_constraint()
void set_disable_constraint_expansion(bool value)
void clear_pb_cleanup_increment()
static const std::string & BinaryMinizationAlgorithm_Name(T enum_t_value)
inline ::PROTOBUF_NAMESPACE_ID::UnknownFieldSet * mutable_unknown_fields()
void Swap(SatParameters *other)
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
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)
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()
bool has_glucose_max_decay() const
double absolute_gap_limit() const
static const std::string & MaxSatAssumptionOrder_Name(T enum_t_value)
::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)
SatParameters * New() const final
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
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()
bool has_initial_polarity() const
void set_convert_intervals(bool value)
::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)
void set_exploit_integer_lp_solution(bool value)
::PROTOBUF_NAMESPACE_ID::int32 max_integer_rounding_scaling() const
SatParameters_RestartAlgorithm RestartAlgorithm
static const std::string & RestartAlgorithm_Name(T enum_t_value)
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)
::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)
void clear_probing_period_at_root()
static const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * SearchBranching_descriptor()
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)
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
bool has_clause_activity_decay() const
static const SatParameters * internal_default_instance()
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()
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)
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
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)
::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
static bool VariableOrder_Parse(::PROTOBUF_NAMESPACE_ID::ConstStringParam name, VariableOrder *value)
void clear_min_orthogonality_for_lp_constraints()
void set_glucose_decay_increment_period(::PROTOBUF_NAMESPACE_ID::int32 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
constexpr int SatParameters_ClauseOrdering_ClauseOrdering_ARRAYSIZE
constexpr SatParameters_ClauseOrdering SatParameters_ClauseOrdering_ClauseOrdering_MIN
constexpr SatParameters_ClauseProtection SatParameters_ClauseProtection_ClauseProtection_MAX
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * SatParameters_ClauseProtection_descriptor()
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * SatParameters_MaxSatAssumptionOrder_descriptor()
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * SatParameters_VariableOrder_descriptor()
bool SatParameters_RestartAlgorithm_Parse(::PROTOBUF_NAMESPACE_ID::ConstStringParam name, SatParameters_RestartAlgorithm *value)
constexpr int SatParameters_ClauseProtection_ClauseProtection_ARRAYSIZE
bool SatParameters_Polarity_Parse(::PROTOBUF_NAMESPACE_ID::ConstStringParam name, SatParameters_Polarity *value)
SatParameters_SearchBranching
@ SatParameters_SearchBranching_PORTFOLIO_SEARCH
@ SatParameters_SearchBranching_HINT_SEARCH
@ SatParameters_SearchBranching_PSEUDO_COST_SEARCH
@ SatParameters_SearchBranching_FIXED_SEARCH
@ SatParameters_SearchBranching_PORTFOLIO_WITH_QUICK_RESTART_SEARCH
@ SatParameters_SearchBranching_AUTOMATIC_SEARCH
@ SatParameters_SearchBranching_LP_SEARCH
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * SatParameters_ClauseOrdering_descriptor()
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * SatParameters_BinaryMinizationAlgorithm_descriptor()
SatParameters_FPRoundingMethod
@ SatParameters_FPRoundingMethod_ACTIVE_LOCK_BASED
@ SatParameters_FPRoundingMethod_NEAREST_INTEGER
@ SatParameters_FPRoundingMethod_PROPAGATION_ASSISTED
@ SatParameters_FPRoundingMethod_LOCK_BASED
bool SatParameters_ClauseProtection_Parse(::PROTOBUF_NAMESPACE_ID::ConstStringParam name, SatParameters_ClauseProtection *value)
class operations_research::sat::SatParametersDefaultTypeInternal _SatParameters_default_instance_
bool SatParameters_MaxSatStratificationAlgorithm_Parse(::PROTOBUF_NAMESPACE_ID::ConstStringParam name, SatParameters_MaxSatStratificationAlgorithm *value)
constexpr SatParameters_MaxSatAssumptionOrder SatParameters_MaxSatAssumptionOrder_MaxSatAssumptionOrder_MAX
const std::string & SatParameters_FPRoundingMethod_Name(T enum_t_value)
bool SatParameters_VariableOrder_IsValid(int value)
SatParameters_ConflictMinimizationAlgorithm
@ SatParameters_ConflictMinimizationAlgorithm_SIMPLE
@ SatParameters_ConflictMinimizationAlgorithm_EXPERIMENTAL
@ SatParameters_ConflictMinimizationAlgorithm_NONE
@ SatParameters_ConflictMinimizationAlgorithm_RECURSIVE
constexpr SatParameters_ClauseProtection SatParameters_ClauseProtection_ClauseProtection_MIN
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * SatParameters_SearchBranching_descriptor()
constexpr int SatParameters_SearchBranching_SearchBranching_ARRAYSIZE
const std::string & SatParameters_RestartAlgorithm_Name(T enum_t_value)
constexpr SatParameters_Polarity SatParameters_Polarity_Polarity_MAX
SatParameters_ClauseOrdering
@ SatParameters_ClauseOrdering_CLAUSE_LBD
@ SatParameters_ClauseOrdering_CLAUSE_ACTIVITY
constexpr int SatParameters_RestartAlgorithm_RestartAlgorithm_ARRAYSIZE
constexpr SatParameters_BinaryMinizationAlgorithm SatParameters_BinaryMinizationAlgorithm_BinaryMinizationAlgorithm_MAX
constexpr SatParameters_VariableOrder SatParameters_VariableOrder_VariableOrder_MIN
bool SatParameters_BinaryMinizationAlgorithm_Parse(::PROTOBUF_NAMESPACE_ID::ConstStringParam name, SatParameters_BinaryMinizationAlgorithm *value)
constexpr SatParameters_VariableOrder SatParameters_VariableOrder_VariableOrder_MAX
constexpr SatParameters_ConflictMinimizationAlgorithm SatParameters_ConflictMinimizationAlgorithm_ConflictMinimizationAlgorithm_MIN
bool SatParameters_ClauseOrdering_IsValid(int value)
bool SatParameters_ClauseOrdering_Parse(::PROTOBUF_NAMESPACE_ID::ConstStringParam name, SatParameters_ClauseOrdering *value)
constexpr SatParameters_Polarity SatParameters_Polarity_Polarity_MIN
bool SatParameters_RestartAlgorithm_IsValid(int value)
SatParameters_VariableOrder
@ SatParameters_VariableOrder_IN_RANDOM_ORDER
@ SatParameters_VariableOrder_IN_ORDER
@ SatParameters_VariableOrder_IN_REVERSE_ORDER
bool SatParameters_ClauseProtection_IsValid(int value)
const std::string & SatParameters_MaxSatStratificationAlgorithm_Name(T enum_t_value)
SatParameters_BinaryMinizationAlgorithm
@ SatParameters_BinaryMinizationAlgorithm_EXPERIMENTAL_BINARY_MINIMIZATION
@ SatParameters_BinaryMinizationAlgorithm_BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION
@ SatParameters_BinaryMinizationAlgorithm_BINARY_MINIMIZATION_WITH_REACHABILITY
@ SatParameters_BinaryMinizationAlgorithm_BINARY_MINIMIZATION_FIRST
@ SatParameters_BinaryMinizationAlgorithm_NO_BINARY_MINIMIZATION
constexpr SatParameters_FPRoundingMethod SatParameters_FPRoundingMethod_FPRoundingMethod_MIN
bool SatParameters_MaxSatAssumptionOrder_IsValid(int value)
const std::string & SatParameters_ClauseOrdering_Name(T enum_t_value)
constexpr SatParameters_MaxSatStratificationAlgorithm SatParameters_MaxSatStratificationAlgorithm_MaxSatStratificationAlgorithm_MAX
SatParameters_MaxSatAssumptionOrder
@ SatParameters_MaxSatAssumptionOrder_ORDER_ASSUMPTION_BY_WEIGHT
@ SatParameters_MaxSatAssumptionOrder_DEFAULT_ASSUMPTION_ORDER
@ SatParameters_MaxSatAssumptionOrder_ORDER_ASSUMPTION_BY_DEPTH
constexpr SatParameters_FPRoundingMethod SatParameters_FPRoundingMethod_FPRoundingMethod_MAX
bool SatParameters_BinaryMinizationAlgorithm_IsValid(int value)
SatParameters_RestartAlgorithm
@ SatParameters_RestartAlgorithm_DL_MOVING_AVERAGE_RESTART
@ SatParameters_RestartAlgorithm_FIXED_RESTART
@ SatParameters_RestartAlgorithm_LBD_MOVING_AVERAGE_RESTART
@ SatParameters_RestartAlgorithm_LUBY_RESTART
@ SatParameters_RestartAlgorithm_NO_RESTART
constexpr int SatParameters_ConflictMinimizationAlgorithm_ConflictMinimizationAlgorithm_ARRAYSIZE
const std::string & SatParameters_VariableOrder_Name(T enum_t_value)
bool SatParameters_SearchBranching_IsValid(int value)
@ SatParameters_Polarity_POLARITY_FALSE
@ SatParameters_Polarity_POLARITY_WEIGHTED_SIGN
@ SatParameters_Polarity_POLARITY_TRUE
@ SatParameters_Polarity_POLARITY_RANDOM
@ SatParameters_Polarity_POLARITY_REVERSE_WEIGHTED_SIGN
constexpr SatParameters_MaxSatStratificationAlgorithm SatParameters_MaxSatStratificationAlgorithm_MaxSatStratificationAlgorithm_MIN
const std::string & SatParameters_MaxSatAssumptionOrder_Name(T enum_t_value)
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * SatParameters_ConflictMinimizationAlgorithm_descriptor()
constexpr SatParameters_SearchBranching SatParameters_SearchBranching_SearchBranching_MAX
constexpr int SatParameters_FPRoundingMethod_FPRoundingMethod_ARRAYSIZE
bool SatParameters_MaxSatAssumptionOrder_Parse(::PROTOBUF_NAMESPACE_ID::ConstStringParam name, SatParameters_MaxSatAssumptionOrder *value)
constexpr SatParameters_ClauseOrdering SatParameters_ClauseOrdering_ClauseOrdering_MAX
constexpr SatParameters_ConflictMinimizationAlgorithm SatParameters_ConflictMinimizationAlgorithm_ConflictMinimizationAlgorithm_MAX
constexpr SatParameters_RestartAlgorithm SatParameters_RestartAlgorithm_RestartAlgorithm_MAX
constexpr int SatParameters_VariableOrder_VariableOrder_ARRAYSIZE
bool SatParameters_ConflictMinimizationAlgorithm_IsValid(int value)
const std::string & SatParameters_SearchBranching_Name(T enum_t_value)
constexpr SatParameters_MaxSatAssumptionOrder SatParameters_MaxSatAssumptionOrder_MaxSatAssumptionOrder_MIN
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * SatParameters_Polarity_descriptor()
constexpr int SatParameters_MaxSatStratificationAlgorithm_MaxSatStratificationAlgorithm_ARRAYSIZE
constexpr SatParameters_RestartAlgorithm SatParameters_RestartAlgorithm_RestartAlgorithm_MIN
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * SatParameters_RestartAlgorithm_descriptor()
bool SatParameters_FPRoundingMethod_IsValid(int value)
bool SatParameters_MaxSatStratificationAlgorithm_IsValid(int value)
bool SatParameters_ConflictMinimizationAlgorithm_Parse(::PROTOBUF_NAMESPACE_ID::ConstStringParam name, SatParameters_ConflictMinimizationAlgorithm *value)
SatParameters_MaxSatStratificationAlgorithm
@ SatParameters_MaxSatStratificationAlgorithm_STRATIFICATION_NONE
@ SatParameters_MaxSatStratificationAlgorithm_STRATIFICATION_DESCENT
@ SatParameters_MaxSatStratificationAlgorithm_STRATIFICATION_ASCENT
bool SatParameters_VariableOrder_Parse(::PROTOBUF_NAMESPACE_ID::ConstStringParam name, SatParameters_VariableOrder *value)
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * SatParameters_MaxSatStratificationAlgorithm_descriptor()
constexpr int SatParameters_BinaryMinizationAlgorithm_BinaryMinizationAlgorithm_ARRAYSIZE
const std::string & SatParameters_ClauseProtection_Name(T enum_t_value)
bool SatParameters_SearchBranching_Parse(::PROTOBUF_NAMESPACE_ID::ConstStringParam name, SatParameters_SearchBranching *value)
constexpr SatParameters_BinaryMinizationAlgorithm SatParameters_BinaryMinizationAlgorithm_BinaryMinizationAlgorithm_MIN
constexpr SatParameters_SearchBranching SatParameters_SearchBranching_SearchBranching_MIN
const std::string & SatParameters_BinaryMinizationAlgorithm_Name(T enum_t_value)
bool SatParameters_Polarity_IsValid(int value)
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * SatParameters_FPRoundingMethod_descriptor()
const std::string & SatParameters_ConflictMinimizationAlgorithm_Name(T enum_t_value)
constexpr int SatParameters_Polarity_Polarity_ARRAYSIZE
const std::string & SatParameters_Polarity_Name(T enum_t_value)
constexpr int SatParameters_MaxSatAssumptionOrder_MaxSatAssumptionOrder_ARRAYSIZE
SatParameters_ClauseProtection
@ SatParameters_ClauseProtection_PROTECTION_NONE
@ SatParameters_ClauseProtection_PROTECTION_ALWAYS
@ SatParameters_ClauseProtection_PROTECTION_LBD
bool SatParameters_FPRoundingMethod_Parse(::PROTOBUF_NAMESPACE_ID::ConstStringParam name, SatParameters_FPRoundingMethod *value)
The vehicle routing library lets one model and solve generic vehicle routing problems ranging from th...
PyObject * from(const Type &val)
const ::PROTOBUF_NAMESPACE_ID::internal::DescriptorTable descriptor_table_ortools_2fsat_2fsat_5fparameters_2eproto