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 < 3013000
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 3013000 < 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/inlined_string_field.h>
29 #include <google/protobuf/metadata_lite.h>
30 #include <google/protobuf/generated_message_reflection.h>
31 #include <google/protobuf/message.h>
32 #include <google/protobuf/repeated_field.h>
33 #include <google/protobuf/extension_set.h>
34 #include <google/protobuf/generated_enum_reflection.h>
35 #include <google/protobuf/unknown_field_set.h>
37 #include <google/protobuf/port_def.inc>
38 #define PROTOBUF_INTERNAL_EXPORT_ortools_2fsat_2fsat_5fparameters_2eproto
39 PROTOBUF_NAMESPACE_OPEN
43 PROTOBUF_NAMESPACE_CLOSE
47 static const ::PROTOBUF_NAMESPACE_ID::internal::ParseTableField entries[]
49 static const ::PROTOBUF_NAMESPACE_ID::internal::AuxiliaryParseTableField aux[]
51 static const ::PROTOBUF_NAMESPACE_ID::internal::ParseTable schema[1]
53 static const ::PROTOBUF_NAMESPACE_ID::internal::FieldMetadata
field_metadata[];
61 class SatParametersDefaultTypeInternal;
65 PROTOBUF_NAMESPACE_OPEN
66 template<> ::operations_research::sat::SatParameters* Arena::CreateMaybeMessage<::operations_research::sat::SatParameters>(Arena*);
67 PROTOBUF_NAMESPACE_CLOSE
86 "Incorrect type passed to function SatParameters_VariableOrder_Name.");
87 return ::PROTOBUF_NAMESPACE_ID::internal::NameOfEnum(
92 return ::PROTOBUF_NAMESPACE_ID::internal::ParseNamedEnum<SatParameters_VariableOrder>(
112 "Incorrect type passed to function SatParameters_Polarity_Name.");
113 return ::PROTOBUF_NAMESPACE_ID::internal::NameOfEnum(
118 return ::PROTOBUF_NAMESPACE_ID::internal::ParseNamedEnum<SatParameters_Polarity>(
137 "Incorrect type passed to function SatParameters_ConflictMinimizationAlgorithm_Name.");
138 return ::PROTOBUF_NAMESPACE_ID::internal::NameOfEnum(
143 return ::PROTOBUF_NAMESPACE_ID::internal::ParseNamedEnum<SatParameters_ConflictMinimizationAlgorithm>(
163 "Incorrect type passed to function SatParameters_BinaryMinizationAlgorithm_Name.");
164 return ::PROTOBUF_NAMESPACE_ID::internal::NameOfEnum(
169 return ::PROTOBUF_NAMESPACE_ID::internal::ParseNamedEnum<SatParameters_BinaryMinizationAlgorithm>(
187 "Incorrect type passed to function SatParameters_ClauseProtection_Name.");
188 return ::PROTOBUF_NAMESPACE_ID::internal::NameOfEnum(
193 return ::PROTOBUF_NAMESPACE_ID::internal::ParseNamedEnum<SatParameters_ClauseProtection>(
210 "Incorrect type passed to function SatParameters_ClauseOrdering_Name.");
211 return ::PROTOBUF_NAMESPACE_ID::internal::NameOfEnum(
216 return ::PROTOBUF_NAMESPACE_ID::internal::ParseNamedEnum<SatParameters_ClauseOrdering>(
236 "Incorrect type passed to function SatParameters_RestartAlgorithm_Name.");
237 return ::PROTOBUF_NAMESPACE_ID::internal::NameOfEnum(
242 return ::PROTOBUF_NAMESPACE_ID::internal::ParseNamedEnum<SatParameters_RestartAlgorithm>(
260 "Incorrect type passed to function SatParameters_MaxSatAssumptionOrder_Name.");
261 return ::PROTOBUF_NAMESPACE_ID::internal::NameOfEnum(
266 return ::PROTOBUF_NAMESPACE_ID::internal::ParseNamedEnum<SatParameters_MaxSatAssumptionOrder>(
284 "Incorrect type passed to function SatParameters_MaxSatStratificationAlgorithm_Name.");
285 return ::PROTOBUF_NAMESPACE_ID::internal::NameOfEnum(
290 return ::PROTOBUF_NAMESPACE_ID::internal::ParseNamedEnum<SatParameters_MaxSatStratificationAlgorithm>(
312 "Incorrect type passed to function SatParameters_SearchBranching_Name.");
313 return ::PROTOBUF_NAMESPACE_ID::internal::NameOfEnum(
318 return ::PROTOBUF_NAMESPACE_ID::internal::ParseNamedEnum<SatParameters_SearchBranching>(
337 "Incorrect type passed to function SatParameters_FPRoundingMethod_Name.");
338 return ::PROTOBUF_NAMESPACE_ID::internal::NameOfEnum(
343 return ::PROTOBUF_NAMESPACE_ID::internal::ParseNamedEnum<SatParameters_FPRoundingMethod>(
349 public ::PROTOBUF_NAMESPACE_ID::Message {
357 *
this = ::std::move(from);
360 inline SatParameters&
operator=(
const SatParameters& from) {
364 inline SatParameters&
operator=(SatParameters&& from) noexcept {
365 if (GetArena() == from.GetArena()) {
366 if (
this != &from) InternalSwap(&from);
374 return _internal_metadata_.unknown_fields<::PROTOBUF_NAMESPACE_ID::UnknownFieldSet>(::PROTOBUF_NAMESPACE_ID::UnknownFieldSet::default_instance);
377 return _internal_metadata_.mutable_unknown_fields<::PROTOBUF_NAMESPACE_ID::UnknownFieldSet>();
380 static const ::PROTOBUF_NAMESPACE_ID::Descriptor*
descriptor() {
381 return GetDescriptor();
384 return GetMetadataStatic().descriptor;
387 return GetMetadataStatic().reflection;
393 return reinterpret_cast<const SatParameters*
>(
396 static constexpr
int kIndexInFileMessages =
399 friend void swap(SatParameters&
a, SatParameters&
b) {
402 inline void Swap(SatParameters* other) {
403 if (other ==
this)
return;
404 if (GetArena() == other->GetArena()) {
407 ::PROTOBUF_NAMESPACE_ID::internal::GenericSwap(
this, other);
411 if (other ==
this)
return;
412 GOOGLE_DCHECK(GetArena() == other->GetArena());
418 inline SatParameters*
New() const final {
419 return CreateMaybeMessage<SatParameters>(
nullptr);
422 SatParameters*
New(::PROTOBUF_NAMESPACE_ID::Arena* arena)
const final {
423 return CreateMaybeMessage<SatParameters>(arena);
425 void CopyFrom(const ::PROTOBUF_NAMESPACE_ID::Message& from)
final;
426 void MergeFrom(const ::PROTOBUF_NAMESPACE_ID::Message& from)
final;
429 PROTOBUF_ATTRIBUTE_REINITIALIZES
void Clear() final;
430 bool IsInitialized() const final;
432 size_t ByteSizeLong() const final;
433 const
char* _InternalParse(const
char* ptr, ::PROTOBUF_NAMESPACE_ID::
internal::ParseContext* ctx) final;
434 ::PROTOBUF_NAMESPACE_ID::
uint8* _InternalSerialize(
435 ::PROTOBUF_NAMESPACE_ID::
uint8* target, ::PROTOBUF_NAMESPACE_ID::io::EpsCopyOutputStream* stream) const final;
436 int GetCachedSize() const final {
return _cached_size_.Get(); }
439 inline void SharedCtor();
440 inline void SharedDtor();
441 void SetCachedSize(
int size)
const final;
442 void InternalSwap(SatParameters* other);
443 friend class ::PROTOBUF_NAMESPACE_ID::internal::AnyMetadata;
444 static ::PROTOBUF_NAMESPACE_ID::StringPiece FullMessageName() {
445 return "operations_research.sat.SatParameters";
450 static void ArenaDtor(
void*
object);
451 inline void RegisterArenaDtor(::PROTOBUF_NAMESPACE_ID::Arena* arena);
456 static ::PROTOBUF_NAMESPACE_ID::Metadata GetMetadataStatic() {
479 static constexpr
int VariableOrder_ARRAYSIZE =
481 static inline const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor*
489 "Incorrect type passed to function VariableOrder_Name.");
506 static constexpr
Polarity POLARITY_REVERSE_WEIGHTED_SIGN =
515 static constexpr
int Polarity_ARRAYSIZE =
517 static inline const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor*
525 "Incorrect type passed to function Polarity_Name.");
549 static constexpr
int ConflictMinimizationAlgorithm_ARRAYSIZE =
551 static inline const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor*
559 "Incorrect type passed to function ConflictMinimizationAlgorithm_Name.");
585 static constexpr
int BinaryMinizationAlgorithm_ARRAYSIZE =
587 static inline const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor*
595 "Incorrect type passed to function BinaryMinizationAlgorithm_Name.");
617 static constexpr
int ClauseProtection_ARRAYSIZE =
619 static inline const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor*
627 "Incorrect type passed to function ClauseProtection_Name.");
647 static constexpr
int ClauseOrdering_ARRAYSIZE =
649 static inline const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor*
657 "Incorrect type passed to function ClauseOrdering_Name.");
683 static constexpr
int RestartAlgorithm_ARRAYSIZE =
685 static inline const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor*
693 "Incorrect type passed to function RestartAlgorithm_Name.");
715 static constexpr
int MaxSatAssumptionOrder_ARRAYSIZE =
717 static inline const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor*
725 "Incorrect type passed to function MaxSatAssumptionOrder_Name.");
747 static constexpr
int MaxSatStratificationAlgorithm_ARRAYSIZE =
749 static inline const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor*
757 "Incorrect type passed to function MaxSatStratificationAlgorithm_Name.");
787 static constexpr
int SearchBranching_ARRAYSIZE =
789 static inline const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor*
797 "Incorrect type passed to function SearchBranching_Name.");
821 static constexpr
int FPRoundingMethod_ARRAYSIZE =
823 static inline const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor*
831 "Incorrect type passed to function FPRoundingMethod_Name.");
842 kRestartAlgorithmsFieldNumber = 61,
843 kDefaultRestartAlgorithmsFieldNumber = 70,
844 kNameFieldNumber = 171,
845 kPreferredVariableOrderFieldNumber = 1,
846 kMaxSatAssumptionOrderFieldNumber = 51,
847 kRandomBranchesRatioFieldNumber = 32,
848 kRandomPolarityRatioFieldNumber = 45,
849 kClauseCleanupProtectionFieldNumber = 58,
850 kClauseCleanupOrderingFieldNumber = 60,
851 kUseErwaHeuristicFieldNumber = 75,
852 kAlsoBumpVariablesInConflictReasonsFieldNumber = 77,
853 kUseBlockingRestartFieldNumber = 64,
854 kLogSearchProgressFieldNumber = 41,
855 kNumConflictsBeforeStrategyChangesFieldNumber = 68,
856 kStrategyChangeIncreaseRatioFieldNumber = 69,
857 kInitialVariablesActivityFieldNumber = 76,
858 kSearchBranchingFieldNumber = 82,
859 kExpandAlldiffConstraintsFieldNumber = 170,
860 kMaxSatReverseAssumptionOrderFieldNumber = 52,
861 kUseOverloadCheckerInCumulativeConstraintFieldNumber = 78,
862 kUseTimetableEdgeFindingInCumulativeConstraintFieldNumber = 79,
863 kSearchRandomizationToleranceFieldNumber = 104,
864 kUsePbResolutionFieldNumber = 43,
865 kMinimizeReductionDuringPbResolutionFieldNumber = 48,
866 kCpModelPostsolveWithFullSolverFieldNumber = 162,
867 kUseSatInprocessingFieldNumber = 163,
868 kExploitRelaxationSolutionFieldNumber = 161,
869 kOptimizeWithCoreFieldNumber = 83,
870 kOptimizeWithMaxHsFieldNumber = 85,
871 kEnumerateAllSolutionsFieldNumber = 87,
872 kReduceMemoryUsageInInterleaveModeFieldNumber = 141,
873 kUseLnsOnlyFieldNumber = 101,
874 kLnsFocusOnDecisionVariablesFieldNumber = 105,
875 kUseRelaxationLnsFieldNumber = 150,
876 kOnlyAddCutsAtLevelZeroFieldNumber = 92,
877 kAddKnapsackCutsFieldNumber = 111,
878 kRepairHintFieldNumber = 167,
879 kExploitBestSolutionFieldNumber = 130,
880 kDiversifyLnsParamsFieldNumber = 137,
881 kRandomizeSearchFieldNumber = 103,
882 kUseBranchingInLpFieldNumber = 139,
883 kUseCombinedNoOverlapFieldNumber = 133,
884 kFillTightenedDomainsInResponseFieldNumber = 132,
885 kStopAfterFirstSolutionFieldNumber = 98,
886 kStopAfterPresolveFieldNumber = 149,
887 kInterleaveSearchFieldNumber = 136,
888 kProbingPeriodAtRootFieldNumber = 142,
889 kCpModelMaxNumPresolveOperationsFieldNumber = 151,
890 kAbsoluteGapLimitFieldNumber = 159,
891 kRelativeGapLimitFieldNumber = 160,
892 kPolarityRephaseIncrementFieldNumber = 168,
893 kInitialPolarityFieldNumber = 2,
894 kMinimizationAlgorithmFieldNumber = 4,
895 kClauseCleanupPeriodFieldNumber = 11,
896 kClauseCleanupTargetFieldNumber = 13,
897 kVariableActivityDecayFieldNumber = 15,
898 kMaxVariableActivityValueFieldNumber = 16,
899 kClauseActivityDecayFieldNumber = 17,
900 kMaxClauseActivityValueFieldNumber = 18,
901 kGlucoseMaxDecayFieldNumber = 22,
902 kGlucoseDecayIncrementFieldNumber = 23,
903 kGlucoseDecayIncrementPeriodFieldNumber = 24,
904 kRestartPeriodFieldNumber = 30,
905 kRandomSeedFieldNumber = 31,
906 kBinaryMinimizationAlgorithmFieldNumber = 34,
907 kMaxTimeInSecondsFieldNumber = 36,
908 kMaxNumberOfConflictsFieldNumber = 37,
909 kMaxMemoryInMbFieldNumber = 40,
910 kUsePhaseSavingFieldNumber = 44,
911 kSubsumptionDuringConflictAnalysisFieldNumber = 56,
912 kTreatBinaryClausesSeparatelyFieldNumber = 33,
913 kCountAssumptionLevelsInLbdFieldNumber = 49,
914 kPbCleanupIncrementFieldNumber = 46,
915 kPbCleanupRatioFieldNumber = 47,
916 kMaxSatStratificationFieldNumber = 53,
917 kPresolveBveThresholdFieldNumber = 54,
918 kPresolveProbingDeterministicTimeLimitFieldNumber = 57,
919 kPresolveBveClauseWeightFieldNumber = 55,
920 kClauseCleanupLbdBoundFieldNumber = 59,
921 kRestartDlAverageRatioFieldNumber = 63,
922 kRestartRunningWindowSizeFieldNumber = 62,
923 kBlockingRestartWindowSizeFieldNumber = 65,
924 kBlockingRestartMultiplierFieldNumber = 66,
925 kMaxDeterministicTimeFieldNumber = 67,
926 kRestartLbdAverageRatioFieldNumber = 71,
927 kPresolveBvaThresholdFieldNumber = 73,
928 kMinimizeCoreFieldNumber = 50,
929 kFindMultipleCoresFieldNumber = 84,
930 kCoverOptimizationFieldNumber = 89,
931 kUsePrecedencesInDisjunctiveConstraintFieldNumber = 74,
932 kPresolveBlockedClauseFieldNumber = 88,
933 kPresolveUseBvaFieldNumber = 72,
934 kCpModelPresolveFieldNumber = 86,
935 kCpModelUseSatPresolveFieldNumber = 93,
936 kLinearizationLevelFieldNumber = 90,
937 kMaxNumCutsFieldNumber = 91,
938 kMinimizeWithPropagationRestartPeriodFieldNumber = 96,
939 kMinimizeWithPropagationNumDecisionsFieldNumber = 97,
940 kBinarySearchNumConflictsFieldNumber = 99,
941 kNumSearchWorkersFieldNumber = 100,
942 kBooleanEncodingLevelFieldNumber = 107,
943 kCpModelProbingLevelFieldNumber = 110,
944 kExploitAllLpSolutionFieldNumber = 116,
945 kExploitObjectiveFieldNumber = 131,
946 kInstantiateAllVariablesFieldNumber = 106,
947 kAutoDetectGreaterThanAtLeastOneOfFieldNumber = 95,
948 kMinOrthogonalityForLpConstraintsFieldNumber = 115,
949 kMaxIntegerRoundingScalingFieldNumber = 119,
950 kExpandElementConstraintsFieldNumber = 140,
951 kExpandAutomatonConstraintsFieldNumber = 143,
952 kExpandTableConstraintsFieldNumber = 158,
953 kUseOptimizationHintsFieldNumber = 35,
954 kMaxConsecutiveInactiveCountFieldNumber = 121,
955 kUseDisjunctiveConstraintInCumulativeConstraintFieldNumber = 80,
956 kAddCgCutsFieldNumber = 117,
957 kAddMirCutsFieldNumber = 120,
958 kAddZeroHalfCutsFieldNumber = 169,
959 kPseudoCostReliabilityThresholdFieldNumber = 123,
960 kNewConstraintsBatchSizeFieldNumber = 122,
961 kUseOptionalVariablesFieldNumber = 108,
962 kUseExactLpReasonFieldNumber = 109,
963 kCatchSigintSignalFieldNumber = 135,
964 kUseImpliedBoundsFieldNumber = 144,
965 kMipMaxBoundFieldNumber = 124,
966 kMipVarScalingFieldNumber = 125,
967 kMipWantedPrecisionFieldNumber = 126,
968 kMipCheckPrecisionFieldNumber = 128,
969 kMipMaxActivityExponentFieldNumber = 127,
970 kShareObjectiveBoundsFieldNumber = 113,
971 kShareLevelZeroBoundsFieldNumber = 114,
972 kUseRinsLnsFieldNumber = 129,
973 kUseFeasibilityPumpFieldNumber = 164,
974 kAddCliqueCutsFieldNumber = 172,
975 kAddLinMaxCutsFieldNumber = 152,
976 kAddLpConstraintsLazilyFieldNumber = 112,
977 kExploitIntegerLpSolutionFieldNumber = 94,
978 kInterleaveBatchSizeFieldNumber = 134,
979 kMaxPresolveIterationsFieldNumber = 138,
980 kPresolveSubstitutionLevelFieldNumber = 147,
981 kMergeNoOverlapWorkLimitFieldNumber = 145,
982 kMergeAtMostOneWorkLimitFieldNumber = 146,
983 kMaxAllDiffCutSizeFieldNumber = 148,
984 kHintConflictLimitFieldNumber = 153,
985 kCutMaxActiveCountValueFieldNumber = 155,
986 kMaxCutRoundsAtLevelZeroFieldNumber = 154,
987 kCutCleanupTargetFieldNumber = 157,
988 kCutActiveCountDecayFieldNumber = 156,
989 kFpRoundingFieldNumber = 165,
990 kMipAutomaticallyScaleVariablesFieldNumber = 166,
995 int _internal_restart_algorithms_size()
const;
1001 ::PROTOBUF_NAMESPACE_ID::RepeatedField<int>* _internal_mutable_restart_algorithms();
1012 bool _internal_has_default_restart_algorithms()
const;
1024 const std::string& _internal_default_restart_algorithms()
const;
1025 void _internal_set_default_restart_algorithms(
const std::string&
value);
1026 std::string* _internal_mutable_default_restart_algorithms();
1032 bool _internal_has_name()
const;
1044 const std::string& _internal_name()
const;
1045 void _internal_set_name(
const std::string&
value);
1046 std::string* _internal_mutable_name();
1052 bool _internal_has_preferred_variable_order()
const;
1065 bool _internal_has_max_sat_assumption_order()
const;
1078 bool _internal_has_random_branches_ratio()
const;
1084 double _internal_random_branches_ratio()
const;
1085 void _internal_set_random_branches_ratio(
double value);
1091 bool _internal_has_random_polarity_ratio()
const;
1097 double _internal_random_polarity_ratio()
const;
1098 void _internal_set_random_polarity_ratio(
double value);
1104 bool _internal_has_clause_cleanup_protection()
const;
1117 bool _internal_has_clause_cleanup_ordering()
const;
1130 bool _internal_has_use_erwa_heuristic()
const;
1136 bool _internal_use_erwa_heuristic()
const;
1137 void _internal_set_use_erwa_heuristic(
bool value);
1143 bool _internal_has_also_bump_variables_in_conflict_reasons()
const;
1149 bool _internal_also_bump_variables_in_conflict_reasons()
const;
1150 void _internal_set_also_bump_variables_in_conflict_reasons(
bool value);
1156 bool _internal_has_use_blocking_restart()
const;
1162 bool _internal_use_blocking_restart()
const;
1163 void _internal_set_use_blocking_restart(
bool value);
1169 bool _internal_has_log_search_progress()
const;
1175 bool _internal_log_search_progress()
const;
1176 void _internal_set_log_search_progress(
bool value);
1182 bool _internal_has_num_conflicts_before_strategy_changes()
const;
1195 bool _internal_has_strategy_change_increase_ratio()
const;
1201 double _internal_strategy_change_increase_ratio()
const;
1202 void _internal_set_strategy_change_increase_ratio(
double value);
1208 bool _internal_has_initial_variables_activity()
const;
1214 double _internal_initial_variables_activity()
const;
1215 void _internal_set_initial_variables_activity(
double value);
1221 bool _internal_has_search_branching()
const;
1234 bool _internal_has_expand_alldiff_constraints()
const;
1240 bool _internal_expand_alldiff_constraints()
const;
1241 void _internal_set_expand_alldiff_constraints(
bool value);
1247 bool _internal_has_max_sat_reverse_assumption_order()
const;
1253 bool _internal_max_sat_reverse_assumption_order()
const;
1254 void _internal_set_max_sat_reverse_assumption_order(
bool value);
1260 bool _internal_has_use_overload_checker_in_cumulative_constraint()
const;
1266 bool _internal_use_overload_checker_in_cumulative_constraint()
const;
1267 void _internal_set_use_overload_checker_in_cumulative_constraint(
bool value);
1273 bool _internal_has_use_timetable_edge_finding_in_cumulative_constraint()
const;
1279 bool _internal_use_timetable_edge_finding_in_cumulative_constraint()
const;
1280 void _internal_set_use_timetable_edge_finding_in_cumulative_constraint(
bool value);
1286 bool _internal_has_search_randomization_tolerance()
const;
1299 bool _internal_has_use_pb_resolution()
const;
1305 bool _internal_use_pb_resolution()
const;
1306 void _internal_set_use_pb_resolution(
bool value);
1312 bool _internal_has_minimize_reduction_during_pb_resolution()
const;
1318 bool _internal_minimize_reduction_during_pb_resolution()
const;
1319 void _internal_set_minimize_reduction_during_pb_resolution(
bool value);
1325 bool _internal_has_cp_model_postsolve_with_full_solver()
const;
1331 bool _internal_cp_model_postsolve_with_full_solver()
const;
1332 void _internal_set_cp_model_postsolve_with_full_solver(
bool value);
1338 bool _internal_has_use_sat_inprocessing()
const;
1344 bool _internal_use_sat_inprocessing()
const;
1345 void _internal_set_use_sat_inprocessing(
bool value);
1351 bool _internal_has_exploit_relaxation_solution()
const;
1357 bool _internal_exploit_relaxation_solution()
const;
1358 void _internal_set_exploit_relaxation_solution(
bool value);
1364 bool _internal_has_optimize_with_core()
const;
1370 bool _internal_optimize_with_core()
const;
1371 void _internal_set_optimize_with_core(
bool value);
1377 bool _internal_has_optimize_with_max_hs()
const;
1383 bool _internal_optimize_with_max_hs()
const;
1384 void _internal_set_optimize_with_max_hs(
bool value);
1390 bool _internal_has_enumerate_all_solutions()
const;
1396 bool _internal_enumerate_all_solutions()
const;
1397 void _internal_set_enumerate_all_solutions(
bool value);
1403 bool _internal_has_reduce_memory_usage_in_interleave_mode()
const;
1409 bool _internal_reduce_memory_usage_in_interleave_mode()
const;
1410 void _internal_set_reduce_memory_usage_in_interleave_mode(
bool value);
1416 bool _internal_has_use_lns_only()
const;
1422 bool _internal_use_lns_only()
const;
1423 void _internal_set_use_lns_only(
bool value);
1429 bool _internal_has_lns_focus_on_decision_variables()
const;
1435 bool _internal_lns_focus_on_decision_variables()
const;
1436 void _internal_set_lns_focus_on_decision_variables(
bool value);
1442 bool _internal_has_use_relaxation_lns()
const;
1448 bool _internal_use_relaxation_lns()
const;
1449 void _internal_set_use_relaxation_lns(
bool value);
1455 bool _internal_has_only_add_cuts_at_level_zero()
const;
1461 bool _internal_only_add_cuts_at_level_zero()
const;
1462 void _internal_set_only_add_cuts_at_level_zero(
bool value);
1468 bool _internal_has_add_knapsack_cuts()
const;
1474 bool _internal_add_knapsack_cuts()
const;
1475 void _internal_set_add_knapsack_cuts(
bool value);
1481 bool _internal_has_repair_hint()
const;
1487 bool _internal_repair_hint()
const;
1488 void _internal_set_repair_hint(
bool value);
1494 bool _internal_has_exploit_best_solution()
const;
1500 bool _internal_exploit_best_solution()
const;
1501 void _internal_set_exploit_best_solution(
bool value);
1507 bool _internal_has_diversify_lns_params()
const;
1513 bool _internal_diversify_lns_params()
const;
1514 void _internal_set_diversify_lns_params(
bool value);
1520 bool _internal_has_randomize_search()
const;
1526 bool _internal_randomize_search()
const;
1527 void _internal_set_randomize_search(
bool value);
1533 bool _internal_has_use_branching_in_lp()
const;
1539 bool _internal_use_branching_in_lp()
const;
1540 void _internal_set_use_branching_in_lp(
bool value);
1546 bool _internal_has_use_combined_no_overlap()
const;
1552 bool _internal_use_combined_no_overlap()
const;
1553 void _internal_set_use_combined_no_overlap(
bool value);
1559 bool _internal_has_fill_tightened_domains_in_response()
const;
1565 bool _internal_fill_tightened_domains_in_response()
const;
1566 void _internal_set_fill_tightened_domains_in_response(
bool value);
1572 bool _internal_has_stop_after_first_solution()
const;
1578 bool _internal_stop_after_first_solution()
const;
1579 void _internal_set_stop_after_first_solution(
bool value);
1585 bool _internal_has_stop_after_presolve()
const;
1591 bool _internal_stop_after_presolve()
const;
1592 void _internal_set_stop_after_presolve(
bool value);
1598 bool _internal_has_interleave_search()
const;
1604 bool _internal_interleave_search()
const;
1605 void _internal_set_interleave_search(
bool value);
1611 bool _internal_has_probing_period_at_root()
const;
1624 bool _internal_has_cp_model_max_num_presolve_operations()
const;
1637 bool _internal_has_absolute_gap_limit()
const;
1643 double _internal_absolute_gap_limit()
const;
1644 void _internal_set_absolute_gap_limit(
double value);
1650 bool _internal_has_relative_gap_limit()
const;
1656 double _internal_relative_gap_limit()
const;
1657 void _internal_set_relative_gap_limit(
double value);
1663 bool _internal_has_polarity_rephase_increment()
const;
1676 bool _internal_has_initial_polarity()
const;
1689 bool _internal_has_minimization_algorithm()
const;
1702 bool _internal_has_clause_cleanup_period()
const;
1715 bool _internal_has_clause_cleanup_target()
const;
1728 bool _internal_has_variable_activity_decay()
const;
1734 double _internal_variable_activity_decay()
const;
1735 void _internal_set_variable_activity_decay(
double value);
1741 bool _internal_has_max_variable_activity_value()
const;
1747 double _internal_max_variable_activity_value()
const;
1748 void _internal_set_max_variable_activity_value(
double value);
1754 bool _internal_has_clause_activity_decay()
const;
1760 double _internal_clause_activity_decay()
const;
1761 void _internal_set_clause_activity_decay(
double value);
1767 bool _internal_has_max_clause_activity_value()
const;
1773 double _internal_max_clause_activity_value()
const;
1774 void _internal_set_max_clause_activity_value(
double value);
1780 bool _internal_has_glucose_max_decay()
const;
1786 double _internal_glucose_max_decay()
const;
1787 void _internal_set_glucose_max_decay(
double value);
1793 bool _internal_has_glucose_decay_increment()
const;
1799 double _internal_glucose_decay_increment()
const;
1800 void _internal_set_glucose_decay_increment(
double value);
1806 bool _internal_has_glucose_decay_increment_period()
const;
1819 bool _internal_has_restart_period()
const;
1832 bool _internal_has_random_seed()
const;
1845 bool _internal_has_binary_minimization_algorithm()
const;
1858 bool _internal_has_max_time_in_seconds()
const;
1864 double _internal_max_time_in_seconds()
const;
1865 void _internal_set_max_time_in_seconds(
double value);
1871 bool _internal_has_max_number_of_conflicts()
const;
1884 bool _internal_has_max_memory_in_mb()
const;
1897 bool _internal_has_use_phase_saving()
const;
1903 bool _internal_use_phase_saving()
const;
1904 void _internal_set_use_phase_saving(
bool value);
1910 bool _internal_has_subsumption_during_conflict_analysis()
const;
1916 bool _internal_subsumption_during_conflict_analysis()
const;
1917 void _internal_set_subsumption_during_conflict_analysis(
bool value);
1923 bool _internal_has_treat_binary_clauses_separately()
const;
1929 bool _internal_treat_binary_clauses_separately()
const;
1930 void _internal_set_treat_binary_clauses_separately(
bool value);
1936 bool _internal_has_count_assumption_levels_in_lbd()
const;
1942 bool _internal_count_assumption_levels_in_lbd()
const;
1943 void _internal_set_count_assumption_levels_in_lbd(
bool value);
1949 bool _internal_has_pb_cleanup_increment()
const;
1962 bool _internal_has_pb_cleanup_ratio()
const;
1968 double _internal_pb_cleanup_ratio()
const;
1969 void _internal_set_pb_cleanup_ratio(
double value);
1975 bool _internal_has_max_sat_stratification()
const;
1988 bool _internal_has_presolve_bve_threshold()
const;
2001 bool _internal_has_presolve_probing_deterministic_time_limit()
const;
2007 double _internal_presolve_probing_deterministic_time_limit()
const;
2008 void _internal_set_presolve_probing_deterministic_time_limit(
double value);
2014 bool _internal_has_presolve_bve_clause_weight()
const;
2027 bool _internal_has_clause_cleanup_lbd_bound()
const;
2040 bool _internal_has_restart_dl_average_ratio()
const;
2046 double _internal_restart_dl_average_ratio()
const;
2047 void _internal_set_restart_dl_average_ratio(
double value);
2053 bool _internal_has_restart_running_window_size()
const;
2066 bool _internal_has_blocking_restart_window_size()
const;
2079 bool _internal_has_blocking_restart_multiplier()
const;
2085 double _internal_blocking_restart_multiplier()
const;
2086 void _internal_set_blocking_restart_multiplier(
double value);
2092 bool _internal_has_max_deterministic_time()
const;
2098 double _internal_max_deterministic_time()
const;
2099 void _internal_set_max_deterministic_time(
double value);
2105 bool _internal_has_restart_lbd_average_ratio()
const;
2111 double _internal_restart_lbd_average_ratio()
const;
2112 void _internal_set_restart_lbd_average_ratio(
double value);
2118 bool _internal_has_presolve_bva_threshold()
const;
2131 bool _internal_has_minimize_core()
const;
2137 bool _internal_minimize_core()
const;
2138 void _internal_set_minimize_core(
bool value);
2144 bool _internal_has_find_multiple_cores()
const;
2150 bool _internal_find_multiple_cores()
const;
2151 void _internal_set_find_multiple_cores(
bool value);
2157 bool _internal_has_cover_optimization()
const;
2163 bool _internal_cover_optimization()
const;
2164 void _internal_set_cover_optimization(
bool value);
2170 bool _internal_has_use_precedences_in_disjunctive_constraint()
const;
2176 bool _internal_use_precedences_in_disjunctive_constraint()
const;
2177 void _internal_set_use_precedences_in_disjunctive_constraint(
bool value);
2183 bool _internal_has_presolve_blocked_clause()
const;
2189 bool _internal_presolve_blocked_clause()
const;
2190 void _internal_set_presolve_blocked_clause(
bool value);
2196 bool _internal_has_presolve_use_bva()
const;
2202 bool _internal_presolve_use_bva()
const;
2203 void _internal_set_presolve_use_bva(
bool value);
2209 bool _internal_has_cp_model_presolve()
const;
2215 bool _internal_cp_model_presolve()
const;
2216 void _internal_set_cp_model_presolve(
bool value);
2222 bool _internal_has_cp_model_use_sat_presolve()
const;
2228 bool _internal_cp_model_use_sat_presolve()
const;
2229 void _internal_set_cp_model_use_sat_presolve(
bool value);
2235 bool _internal_has_linearization_level()
const;
2248 bool _internal_has_max_num_cuts()
const;
2261 bool _internal_has_minimize_with_propagation_restart_period()
const;
2274 bool _internal_has_minimize_with_propagation_num_decisions()
const;
2287 bool _internal_has_binary_search_num_conflicts()
const;
2300 bool _internal_has_num_search_workers()
const;
2313 bool _internal_has_boolean_encoding_level()
const;
2326 bool _internal_has_cp_model_probing_level()
const;
2339 bool _internal_has_exploit_all_lp_solution()
const;
2345 bool _internal_exploit_all_lp_solution()
const;
2346 void _internal_set_exploit_all_lp_solution(
bool value);
2352 bool _internal_has_exploit_objective()
const;
2358 bool _internal_exploit_objective()
const;
2359 void _internal_set_exploit_objective(
bool value);
2365 bool _internal_has_instantiate_all_variables()
const;
2371 bool _internal_instantiate_all_variables()
const;
2372 void _internal_set_instantiate_all_variables(
bool value);
2378 bool _internal_has_auto_detect_greater_than_at_least_one_of()
const;
2384 bool _internal_auto_detect_greater_than_at_least_one_of()
const;
2385 void _internal_set_auto_detect_greater_than_at_least_one_of(
bool value);
2391 bool _internal_has_min_orthogonality_for_lp_constraints()
const;
2397 double _internal_min_orthogonality_for_lp_constraints()
const;
2398 void _internal_set_min_orthogonality_for_lp_constraints(
double value);
2404 bool _internal_has_max_integer_rounding_scaling()
const;
2417 bool _internal_has_expand_element_constraints()
const;
2423 bool _internal_expand_element_constraints()
const;
2424 void _internal_set_expand_element_constraints(
bool value);
2430 bool _internal_has_expand_automaton_constraints()
const;
2436 bool _internal_expand_automaton_constraints()
const;
2437 void _internal_set_expand_automaton_constraints(
bool value);
2443 bool _internal_has_expand_table_constraints()
const;
2449 bool _internal_expand_table_constraints()
const;
2450 void _internal_set_expand_table_constraints(
bool value);
2456 bool _internal_has_use_optimization_hints()
const;
2462 bool _internal_use_optimization_hints()
const;
2463 void _internal_set_use_optimization_hints(
bool value);
2469 bool _internal_has_max_consecutive_inactive_count()
const;
2482 bool _internal_has_use_disjunctive_constraint_in_cumulative_constraint()
const;
2488 bool _internal_use_disjunctive_constraint_in_cumulative_constraint()
const;
2489 void _internal_set_use_disjunctive_constraint_in_cumulative_constraint(
bool value);
2495 bool _internal_has_add_cg_cuts()
const;
2501 bool _internal_add_cg_cuts()
const;
2502 void _internal_set_add_cg_cuts(
bool value);
2508 bool _internal_has_add_mir_cuts()
const;
2514 bool _internal_add_mir_cuts()
const;
2515 void _internal_set_add_mir_cuts(
bool value);
2521 bool _internal_has_add_zero_half_cuts()
const;
2527 bool _internal_add_zero_half_cuts()
const;
2528 void _internal_set_add_zero_half_cuts(
bool value);
2534 bool _internal_has_pseudo_cost_reliability_threshold()
const;
2547 bool _internal_has_new_constraints_batch_size()
const;
2560 bool _internal_has_use_optional_variables()
const;
2566 bool _internal_use_optional_variables()
const;
2567 void _internal_set_use_optional_variables(
bool value);
2573 bool _internal_has_use_exact_lp_reason()
const;
2579 bool _internal_use_exact_lp_reason()
const;
2580 void _internal_set_use_exact_lp_reason(
bool value);
2586 bool _internal_has_catch_sigint_signal()
const;
2592 bool _internal_catch_sigint_signal()
const;
2593 void _internal_set_catch_sigint_signal(
bool value);
2599 bool _internal_has_use_implied_bounds()
const;
2605 bool _internal_use_implied_bounds()
const;
2606 void _internal_set_use_implied_bounds(
bool value);
2612 bool _internal_has_mip_max_bound()
const;
2618 double _internal_mip_max_bound()
const;
2619 void _internal_set_mip_max_bound(
double value);
2625 bool _internal_has_mip_var_scaling()
const;
2631 double _internal_mip_var_scaling()
const;
2632 void _internal_set_mip_var_scaling(
double value);
2638 bool _internal_has_mip_wanted_precision()
const;
2644 double _internal_mip_wanted_precision()
const;
2645 void _internal_set_mip_wanted_precision(
double value);
2651 bool _internal_has_mip_check_precision()
const;
2657 double _internal_mip_check_precision()
const;
2658 void _internal_set_mip_check_precision(
double value);
2664 bool _internal_has_mip_max_activity_exponent()
const;
2677 bool _internal_has_share_objective_bounds()
const;
2683 bool _internal_share_objective_bounds()
const;
2684 void _internal_set_share_objective_bounds(
bool value);
2690 bool _internal_has_share_level_zero_bounds()
const;
2696 bool _internal_share_level_zero_bounds()
const;
2697 void _internal_set_share_level_zero_bounds(
bool value);
2703 bool _internal_has_use_rins_lns()
const;
2709 bool _internal_use_rins_lns()
const;
2710 void _internal_set_use_rins_lns(
bool value);
2716 bool _internal_has_use_feasibility_pump()
const;
2722 bool _internal_use_feasibility_pump()
const;
2723 void _internal_set_use_feasibility_pump(
bool value);
2729 bool _internal_has_add_clique_cuts()
const;
2735 bool _internal_add_clique_cuts()
const;
2736 void _internal_set_add_clique_cuts(
bool value);
2742 bool _internal_has_add_lin_max_cuts()
const;
2748 bool _internal_add_lin_max_cuts()
const;
2749 void _internal_set_add_lin_max_cuts(
bool value);
2755 bool _internal_has_add_lp_constraints_lazily()
const;
2761 bool _internal_add_lp_constraints_lazily()
const;
2762 void _internal_set_add_lp_constraints_lazily(
bool value);
2768 bool _internal_has_exploit_integer_lp_solution()
const;
2774 bool _internal_exploit_integer_lp_solution()
const;
2775 void _internal_set_exploit_integer_lp_solution(
bool value);
2781 bool _internal_has_interleave_batch_size()
const;
2794 bool _internal_has_max_presolve_iterations()
const;
2807 bool _internal_has_presolve_substitution_level()
const;
2820 bool _internal_has_merge_no_overlap_work_limit()
const;
2826 double _internal_merge_no_overlap_work_limit()
const;
2827 void _internal_set_merge_no_overlap_work_limit(
double value);
2833 bool _internal_has_merge_at_most_one_work_limit()
const;
2839 double _internal_merge_at_most_one_work_limit()
const;
2840 void _internal_set_merge_at_most_one_work_limit(
double value);
2846 bool _internal_has_max_all_diff_cut_size()
const;
2859 bool _internal_has_hint_conflict_limit()
const;
2872 bool _internal_has_cut_max_active_count_value()
const;
2878 double _internal_cut_max_active_count_value()
const;
2879 void _internal_set_cut_max_active_count_value(
double value);
2885 bool _internal_has_max_cut_rounds_at_level_zero()
const;
2898 bool _internal_has_cut_cleanup_target()
const;
2911 bool _internal_has_cut_active_count_decay()
const;
2917 double _internal_cut_active_count_decay()
const;
2918 void _internal_set_cut_active_count_decay(
double value);
2924 bool _internal_has_fp_rounding()
const;
2937 bool _internal_has_mip_automatically_scale_variables()
const;
2943 bool _internal_mip_automatically_scale_variables()
const;
2944 void _internal_set_mip_automatically_scale_variables(
bool value);
2951 template <
typename T>
friend class ::PROTOBUF_NAMESPACE_ID::Arena::InternalHelper;
2952 typedef void InternalArenaConstructable_;
2953 typedef void DestructorSkippable_;
2954 ::PROTOBUF_NAMESPACE_ID::internal::HasBits<5> _has_bits_;
2955 mutable ::PROTOBUF_NAMESPACE_ID::internal::CachedSize _cached_size_;
2956 ::PROTOBUF_NAMESPACE_ID::RepeatedField<int> restart_algorithms_;
2960 ::PROTOBUF_NAMESPACE_ID::internal::ArenaStringPtr default_restart_algorithms_;
2961 ::PROTOBUF_NAMESPACE_ID::internal::ArenaStringPtr name_;
2962 int preferred_variable_order_;
2963 int max_sat_assumption_order_;
2964 double random_branches_ratio_;
2965 double random_polarity_ratio_;
2966 int clause_cleanup_protection_;
2967 int clause_cleanup_ordering_;
2968 bool use_erwa_heuristic_;
2969 bool also_bump_variables_in_conflict_reasons_;
2970 bool use_blocking_restart_;
2971 bool log_search_progress_;
2973 double strategy_change_increase_ratio_;
2974 double initial_variables_activity_;
2975 int search_branching_;
2976 bool expand_alldiff_constraints_;
2977 bool max_sat_reverse_assumption_order_;
2978 bool use_overload_checker_in_cumulative_constraint_;
2979 bool use_timetable_edge_finding_in_cumulative_constraint_;
2981 bool use_pb_resolution_;
2982 bool minimize_reduction_during_pb_resolution_;
2983 bool cp_model_postsolve_with_full_solver_;
2984 bool use_sat_inprocessing_;
2985 bool exploit_relaxation_solution_;
2986 bool optimize_with_core_;
2987 bool optimize_with_max_hs_;
2988 bool enumerate_all_solutions_;
2989 bool reduce_memory_usage_in_interleave_mode_;
2991 bool lns_focus_on_decision_variables_;
2992 bool use_relaxation_lns_;
2993 bool only_add_cuts_at_level_zero_;
2994 bool add_knapsack_cuts_;
2996 bool exploit_best_solution_;
2997 bool diversify_lns_params_;
2998 bool randomize_search_;
2999 bool use_branching_in_lp_;
3000 bool use_combined_no_overlap_;
3001 bool fill_tightened_domains_in_response_;
3002 bool stop_after_first_solution_;
3003 bool stop_after_presolve_;
3004 bool interleave_search_;
3007 double absolute_gap_limit_;
3008 double relative_gap_limit_;
3010 int initial_polarity_;
3011 int minimization_algorithm_;
3014 double variable_activity_decay_;
3015 double max_variable_activity_value_;
3016 double clause_activity_decay_;
3017 double max_clause_activity_value_;
3018 double glucose_max_decay_;
3019 double glucose_decay_increment_;
3023 int binary_minimization_algorithm_;
3024 double max_time_in_seconds_;
3027 bool use_phase_saving_;
3028 bool subsumption_during_conflict_analysis_;
3029 bool treat_binary_clauses_separately_;
3030 bool count_assumption_levels_in_lbd_;
3032 double pb_cleanup_ratio_;
3033 int max_sat_stratification_;
3035 double presolve_probing_deterministic_time_limit_;
3038 double restart_dl_average_ratio_;
3041 double blocking_restart_multiplier_;
3042 double max_deterministic_time_;
3043 double restart_lbd_average_ratio_;
3045 bool minimize_core_;
3046 bool find_multiple_cores_;
3047 bool cover_optimization_;
3048 bool use_precedences_in_disjunctive_constraint_;
3049 bool presolve_blocked_clause_;
3050 bool presolve_use_bva_;
3051 bool cp_model_presolve_;
3052 bool cp_model_use_sat_presolve_;
3061 bool exploit_all_lp_solution_;
3062 bool exploit_objective_;
3063 bool instantiate_all_variables_;
3064 bool auto_detect_greater_than_at_least_one_of_;
3065 double min_orthogonality_for_lp_constraints_;
3067 bool expand_element_constraints_;
3068 bool expand_automaton_constraints_;
3069 bool expand_table_constraints_;
3070 bool use_optimization_hints_;
3072 bool use_disjunctive_constraint_in_cumulative_constraint_;
3075 bool add_zero_half_cuts_;
3078 bool use_optional_variables_;
3079 bool use_exact_lp_reason_;
3080 bool catch_sigint_signal_;
3081 bool use_implied_bounds_;
3082 double mip_max_bound_;
3083 double mip_var_scaling_;
3084 double mip_wanted_precision_;
3085 double mip_check_precision_;
3087 bool share_objective_bounds_;
3088 bool share_level_zero_bounds_;
3090 bool use_feasibility_pump_;
3091 bool add_clique_cuts_;
3092 bool add_lin_max_cuts_;
3093 bool add_lp_constraints_lazily_;
3094 bool exploit_integer_lp_solution_;
3098 double merge_no_overlap_work_limit_;
3099 double merge_at_most_one_work_limit_;
3102 double cut_max_active_count_value_;
3105 double cut_active_count_decay_;
3107 bool mip_automatically_scale_variables_;
3108 friend struct ::TableStruct_ortools_2fsat_2fsat_5fparameters_2eproto;
3116 #pragma GCC diagnostic push
3117 #pragma GCC diagnostic ignored "-Wstrict-aliasing"
3122 inline bool SatParameters::_internal_has_name()
const {
3123 bool value = (_has_bits_[0] & 0x00000002u) != 0;
3126 inline bool SatParameters::has_name()
const {
3127 return _internal_has_name();
3129 inline void SatParameters::clear_name() {
3130 name_.ClearToEmpty(&::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited(), GetArena());
3131 _has_bits_[0] &= ~0x00000002u;
3135 return _internal_name();
3137 inline void SatParameters::set_name(
const std::string&
value) {
3138 _internal_set_name(
value);
3141 inline std::string* SatParameters::mutable_name() {
3143 return _internal_mutable_name();
3145 inline const std::string& SatParameters::_internal_name()
const {
3148 inline void SatParameters::_internal_set_name(
const std::string&
value) {
3149 _has_bits_[0] |= 0x00000002u;
3150 name_.Set(&::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited(),
value, GetArena());
3152 inline void SatParameters::set_name(std::string&&
value) {
3153 _has_bits_[0] |= 0x00000002u;
3155 &::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited(), ::std::move(
value), GetArena());
3158 inline void SatParameters::set_name(
const char*
value) {
3159 GOOGLE_DCHECK(
value !=
nullptr);
3160 _has_bits_[0] |= 0x00000002u;
3161 name_.Set(&::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited(), ::std::string(
value),
3165 inline void SatParameters::set_name(
const char*
value,
3167 _has_bits_[0] |= 0x00000002u;
3168 name_.Set(&::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited(), ::std::string(
3169 reinterpret_cast<const char*
>(
value), size), GetArena());
3172 inline std::string* SatParameters::_internal_mutable_name() {
3173 _has_bits_[0] |= 0x00000002u;
3174 return name_.Mutable(&::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited(), GetArena());
3176 inline std::string* SatParameters::release_name() {
3178 if (!_internal_has_name()) {
3181 _has_bits_[0] &= ~0x00000002u;
3182 return name_.ReleaseNonDefault(&::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited(), GetArena());
3184 inline void SatParameters::set_allocated_name(std::string*
name) {
3185 if (
name !=
nullptr) {
3186 _has_bits_[0] |= 0x00000002u;
3188 _has_bits_[0] &= ~0x00000002u;
3190 name_.SetAllocated(&::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited(),
name,
3196 inline bool SatParameters::_internal_has_preferred_variable_order()
const {
3197 bool value = (_has_bits_[0] & 0x00000004u) != 0;
3200 inline bool SatParameters::has_preferred_variable_order()
const {
3201 return _internal_has_preferred_variable_order();
3203 inline void SatParameters::clear_preferred_variable_order() {
3204 preferred_variable_order_ = 0;
3205 _has_bits_[0] &= ~0x00000004u;
3212 return _internal_preferred_variable_order();
3216 _has_bits_[0] |= 0x00000004u;
3217 preferred_variable_order_ =
value;
3220 _internal_set_preferred_variable_order(
value);
3225 inline bool SatParameters::_internal_has_initial_polarity()
const {
3226 bool value = (_has_bits_[1] & 0x00040000u) != 0;
3229 inline bool SatParameters::has_initial_polarity()
const {
3230 return _internal_has_initial_polarity();
3232 inline void SatParameters::clear_initial_polarity() {
3233 initial_polarity_ = 1;
3234 _has_bits_[1] &= ~0x00040000u;
3241 return _internal_initial_polarity();
3245 _has_bits_[1] |= 0x00040000u;
3246 initial_polarity_ =
value;
3249 _internal_set_initial_polarity(
value);
3254 inline bool SatParameters::_internal_has_use_phase_saving()
const {
3255 bool value = (_has_bits_[2] & 0x00000008u) != 0;
3258 inline bool SatParameters::has_use_phase_saving()
const {
3259 return _internal_has_use_phase_saving();
3261 inline void SatParameters::clear_use_phase_saving() {
3262 use_phase_saving_ =
true;
3263 _has_bits_[2] &= ~0x00000008u;
3265 inline bool SatParameters::_internal_use_phase_saving()
const {
3266 return use_phase_saving_;
3268 inline bool SatParameters::use_phase_saving()
const {
3270 return _internal_use_phase_saving();
3272 inline void SatParameters::_internal_set_use_phase_saving(
bool value) {
3273 _has_bits_[2] |= 0x00000008u;
3274 use_phase_saving_ =
value;
3276 inline void SatParameters::set_use_phase_saving(
bool value) {
3277 _internal_set_use_phase_saving(
value);
3282 inline bool SatParameters::_internal_has_polarity_rephase_increment()
const {
3283 bool value = (_has_bits_[1] & 0x00020000u) != 0;
3286 inline bool SatParameters::has_polarity_rephase_increment()
const {
3287 return _internal_has_polarity_rephase_increment();
3289 inline void SatParameters::clear_polarity_rephase_increment() {
3290 polarity_rephase_increment_ = 1000;
3291 _has_bits_[1] &= ~0x00020000u;
3294 return polarity_rephase_increment_;
3298 return _internal_polarity_rephase_increment();
3301 _has_bits_[1] |= 0x00020000u;
3302 polarity_rephase_increment_ =
value;
3305 _internal_set_polarity_rephase_increment(
value);
3310 inline bool SatParameters::_internal_has_random_polarity_ratio()
const {
3311 bool value = (_has_bits_[0] & 0x00000020u) != 0;
3314 inline bool SatParameters::has_random_polarity_ratio()
const {
3315 return _internal_has_random_polarity_ratio();
3317 inline void SatParameters::clear_random_polarity_ratio() {
3318 random_polarity_ratio_ = 0;
3319 _has_bits_[0] &= ~0x00000020u;
3321 inline double SatParameters::_internal_random_polarity_ratio()
const {
3322 return random_polarity_ratio_;
3324 inline double SatParameters::random_polarity_ratio()
const {
3326 return _internal_random_polarity_ratio();
3328 inline void SatParameters::_internal_set_random_polarity_ratio(
double value) {
3329 _has_bits_[0] |= 0x00000020u;
3330 random_polarity_ratio_ =
value;
3332 inline void SatParameters::set_random_polarity_ratio(
double value) {
3333 _internal_set_random_polarity_ratio(
value);
3338 inline bool SatParameters::_internal_has_random_branches_ratio()
const {
3339 bool value = (_has_bits_[0] & 0x00000010u) != 0;
3342 inline bool SatParameters::has_random_branches_ratio()
const {
3343 return _internal_has_random_branches_ratio();
3345 inline void SatParameters::clear_random_branches_ratio() {
3346 random_branches_ratio_ = 0;
3347 _has_bits_[0] &= ~0x00000010u;
3349 inline double SatParameters::_internal_random_branches_ratio()
const {
3350 return random_branches_ratio_;
3352 inline double SatParameters::random_branches_ratio()
const {
3354 return _internal_random_branches_ratio();
3356 inline void SatParameters::_internal_set_random_branches_ratio(
double value) {
3357 _has_bits_[0] |= 0x00000010u;
3358 random_branches_ratio_ =
value;
3360 inline void SatParameters::set_random_branches_ratio(
double value) {
3361 _internal_set_random_branches_ratio(
value);
3366 inline bool SatParameters::_internal_has_use_erwa_heuristic()
const {
3367 bool value = (_has_bits_[0] & 0x00000100u) != 0;
3370 inline bool SatParameters::has_use_erwa_heuristic()
const {
3371 return _internal_has_use_erwa_heuristic();
3373 inline void SatParameters::clear_use_erwa_heuristic() {
3374 use_erwa_heuristic_ =
false;
3375 _has_bits_[0] &= ~0x00000100u;
3377 inline bool SatParameters::_internal_use_erwa_heuristic()
const {
3378 return use_erwa_heuristic_;
3380 inline bool SatParameters::use_erwa_heuristic()
const {
3382 return _internal_use_erwa_heuristic();
3384 inline void SatParameters::_internal_set_use_erwa_heuristic(
bool value) {
3385 _has_bits_[0] |= 0x00000100u;
3386 use_erwa_heuristic_ =
value;
3388 inline void SatParameters::set_use_erwa_heuristic(
bool value) {
3389 _internal_set_use_erwa_heuristic(
value);
3394 inline bool SatParameters::_internal_has_initial_variables_activity()
const {
3395 bool value = (_has_bits_[0] & 0x00004000u) != 0;
3398 inline bool SatParameters::has_initial_variables_activity()
const {
3399 return _internal_has_initial_variables_activity();
3401 inline void SatParameters::clear_initial_variables_activity() {
3402 initial_variables_activity_ = 0;
3403 _has_bits_[0] &= ~0x00004000u;
3405 inline double SatParameters::_internal_initial_variables_activity()
const {
3406 return initial_variables_activity_;
3408 inline double SatParameters::initial_variables_activity()
const {
3410 return _internal_initial_variables_activity();
3412 inline void SatParameters::_internal_set_initial_variables_activity(
double value) {
3413 _has_bits_[0] |= 0x00004000u;
3414 initial_variables_activity_ =
value;
3416 inline void SatParameters::set_initial_variables_activity(
double value) {
3417 _internal_set_initial_variables_activity(
value);
3422 inline bool SatParameters::_internal_has_also_bump_variables_in_conflict_reasons()
const {
3423 bool value = (_has_bits_[0] & 0x00000200u) != 0;
3426 inline bool SatParameters::has_also_bump_variables_in_conflict_reasons()
const {
3427 return _internal_has_also_bump_variables_in_conflict_reasons();
3429 inline void SatParameters::clear_also_bump_variables_in_conflict_reasons() {
3430 also_bump_variables_in_conflict_reasons_ =
false;
3431 _has_bits_[0] &= ~0x00000200u;
3433 inline bool SatParameters::_internal_also_bump_variables_in_conflict_reasons()
const {
3434 return also_bump_variables_in_conflict_reasons_;
3436 inline bool SatParameters::also_bump_variables_in_conflict_reasons()
const {
3438 return _internal_also_bump_variables_in_conflict_reasons();
3440 inline void SatParameters::_internal_set_also_bump_variables_in_conflict_reasons(
bool value) {
3441 _has_bits_[0] |= 0x00000200u;
3442 also_bump_variables_in_conflict_reasons_ =
value;
3444 inline void SatParameters::set_also_bump_variables_in_conflict_reasons(
bool value) {
3445 _internal_set_also_bump_variables_in_conflict_reasons(
value);
3450 inline bool SatParameters::_internal_has_minimization_algorithm()
const {
3451 bool value = (_has_bits_[1] & 0x00080000u) != 0;
3454 inline bool SatParameters::has_minimization_algorithm()
const {
3455 return _internal_has_minimization_algorithm();
3457 inline void SatParameters::clear_minimization_algorithm() {
3458 minimization_algorithm_ = 2;
3459 _has_bits_[1] &= ~0x00080000u;
3466 return _internal_minimization_algorithm();
3470 _has_bits_[1] |= 0x00080000u;
3471 minimization_algorithm_ =
value;
3474 _internal_set_minimization_algorithm(
value);
3479 inline bool SatParameters::_internal_has_binary_minimization_algorithm()
const {
3480 bool value = (_has_bits_[1] & 0x80000000u) != 0;
3483 inline bool SatParameters::has_binary_minimization_algorithm()
const {
3484 return _internal_has_binary_minimization_algorithm();
3486 inline void SatParameters::clear_binary_minimization_algorithm() {
3487 binary_minimization_algorithm_ = 1;
3488 _has_bits_[1] &= ~0x80000000u;
3495 return _internal_binary_minimization_algorithm();
3499 _has_bits_[1] |= 0x80000000u;
3500 binary_minimization_algorithm_ =
value;
3503 _internal_set_binary_minimization_algorithm(
value);
3508 inline bool SatParameters::_internal_has_subsumption_during_conflict_analysis()
const {
3509 bool value = (_has_bits_[2] & 0x00000010u) != 0;
3512 inline bool SatParameters::has_subsumption_during_conflict_analysis()
const {
3513 return _internal_has_subsumption_during_conflict_analysis();
3515 inline void SatParameters::clear_subsumption_during_conflict_analysis() {
3516 subsumption_during_conflict_analysis_ =
true;
3517 _has_bits_[2] &= ~0x00000010u;
3519 inline bool SatParameters::_internal_subsumption_during_conflict_analysis()
const {
3520 return subsumption_during_conflict_analysis_;
3522 inline bool SatParameters::subsumption_during_conflict_analysis()
const {
3524 return _internal_subsumption_during_conflict_analysis();
3526 inline void SatParameters::_internal_set_subsumption_during_conflict_analysis(
bool value) {
3527 _has_bits_[2] |= 0x00000010u;
3528 subsumption_during_conflict_analysis_ =
value;
3530 inline void SatParameters::set_subsumption_during_conflict_analysis(
bool value) {
3531 _internal_set_subsumption_during_conflict_analysis(
value);
3536 inline bool SatParameters::_internal_has_clause_cleanup_period()
const {
3537 bool value = (_has_bits_[1] & 0x00100000u) != 0;
3540 inline bool SatParameters::has_clause_cleanup_period()
const {
3541 return _internal_has_clause_cleanup_period();
3543 inline void SatParameters::clear_clause_cleanup_period() {
3544 clause_cleanup_period_ = 10000;
3545 _has_bits_[1] &= ~0x00100000u;
3548 return clause_cleanup_period_;
3552 return _internal_clause_cleanup_period();
3555 _has_bits_[1] |= 0x00100000u;
3556 clause_cleanup_period_ =
value;
3559 _internal_set_clause_cleanup_period(
value);
3564 inline bool SatParameters::_internal_has_clause_cleanup_target()
const {
3565 bool value = (_has_bits_[1] & 0x00200000u) != 0;
3568 inline bool SatParameters::has_clause_cleanup_target()
const {
3569 return _internal_has_clause_cleanup_target();
3571 inline void SatParameters::clear_clause_cleanup_target() {
3572 clause_cleanup_target_ = 10000;
3573 _has_bits_[1] &= ~0x00200000u;
3576 return clause_cleanup_target_;
3580 return _internal_clause_cleanup_target();
3583 _has_bits_[1] |= 0x00200000u;
3584 clause_cleanup_target_ =
value;
3587 _internal_set_clause_cleanup_target(
value);
3592 inline bool SatParameters::_internal_has_clause_cleanup_protection()
const {
3593 bool value = (_has_bits_[0] & 0x00000040u) != 0;
3596 inline bool SatParameters::has_clause_cleanup_protection()
const {
3597 return _internal_has_clause_cleanup_protection();
3599 inline void SatParameters::clear_clause_cleanup_protection() {
3600 clause_cleanup_protection_ = 0;
3601 _has_bits_[0] &= ~0x00000040u;
3608 return _internal_clause_cleanup_protection();
3612 _has_bits_[0] |= 0x00000040u;
3613 clause_cleanup_protection_ =
value;
3616 _internal_set_clause_cleanup_protection(
value);
3621 inline bool SatParameters::_internal_has_clause_cleanup_lbd_bound()
const {
3622 bool value = (_has_bits_[2] & 0x00002000u) != 0;
3625 inline bool SatParameters::has_clause_cleanup_lbd_bound()
const {
3626 return _internal_has_clause_cleanup_lbd_bound();
3628 inline void SatParameters::clear_clause_cleanup_lbd_bound() {
3629 clause_cleanup_lbd_bound_ = 5;
3630 _has_bits_[2] &= ~0x00002000u;
3633 return clause_cleanup_lbd_bound_;
3637 return _internal_clause_cleanup_lbd_bound();
3640 _has_bits_[2] |= 0x00002000u;
3641 clause_cleanup_lbd_bound_ =
value;
3644 _internal_set_clause_cleanup_lbd_bound(
value);
3649 inline bool SatParameters::_internal_has_clause_cleanup_ordering()
const {
3650 bool value = (_has_bits_[0] & 0x00000080u) != 0;
3653 inline bool SatParameters::has_clause_cleanup_ordering()
const {
3654 return _internal_has_clause_cleanup_ordering();
3656 inline void SatParameters::clear_clause_cleanup_ordering() {
3657 clause_cleanup_ordering_ = 0;
3658 _has_bits_[0] &= ~0x00000080u;
3665 return _internal_clause_cleanup_ordering();
3669 _has_bits_[0] |= 0x00000080u;
3670 clause_cleanup_ordering_ =
value;
3673 _internal_set_clause_cleanup_ordering(
value);
3678 inline bool SatParameters::_internal_has_pb_cleanup_increment()
const {
3679 bool value = (_has_bits_[2] & 0x00000080u) != 0;
3682 inline bool SatParameters::has_pb_cleanup_increment()
const {
3683 return _internal_has_pb_cleanup_increment();
3685 inline void SatParameters::clear_pb_cleanup_increment() {
3686 pb_cleanup_increment_ = 200;
3687 _has_bits_[2] &= ~0x00000080u;
3690 return pb_cleanup_increment_;
3694 return _internal_pb_cleanup_increment();
3697 _has_bits_[2] |= 0x00000080u;
3698 pb_cleanup_increment_ =
value;
3701 _internal_set_pb_cleanup_increment(
value);
3706 inline bool SatParameters::_internal_has_pb_cleanup_ratio()
const {
3707 bool value = (_has_bits_[2] & 0x00000100u) != 0;
3710 inline bool SatParameters::has_pb_cleanup_ratio()
const {
3711 return _internal_has_pb_cleanup_ratio();
3713 inline void SatParameters::clear_pb_cleanup_ratio() {
3714 pb_cleanup_ratio_ = 0.5;
3715 _has_bits_[2] &= ~0x00000100u;
3717 inline double SatParameters::_internal_pb_cleanup_ratio()
const {
3718 return pb_cleanup_ratio_;
3720 inline double SatParameters::pb_cleanup_ratio()
const {
3722 return _internal_pb_cleanup_ratio();
3724 inline void SatParameters::_internal_set_pb_cleanup_ratio(
double value) {
3725 _has_bits_[2] |= 0x00000100u;
3726 pb_cleanup_ratio_ =
value;
3728 inline void SatParameters::set_pb_cleanup_ratio(
double value) {
3729 _internal_set_pb_cleanup_ratio(
value);
3734 inline bool SatParameters::_internal_has_minimize_with_propagation_restart_period()
const {
3735 bool value = (_has_bits_[2] & 0x80000000u) != 0;
3738 inline bool SatParameters::has_minimize_with_propagation_restart_period()
const {
3739 return _internal_has_minimize_with_propagation_restart_period();
3741 inline void SatParameters::clear_minimize_with_propagation_restart_period() {
3742 minimize_with_propagation_restart_period_ = 10;
3743 _has_bits_[2] &= ~0x80000000u;
3746 return minimize_with_propagation_restart_period_;
3750 return _internal_minimize_with_propagation_restart_period();
3753 _has_bits_[2] |= 0x80000000u;
3754 minimize_with_propagation_restart_period_ =
value;
3757 _internal_set_minimize_with_propagation_restart_period(
value);
3762 inline bool SatParameters::_internal_has_minimize_with_propagation_num_decisions()
const {
3763 bool value = (_has_bits_[3] & 0x00000001u) != 0;
3766 inline bool SatParameters::has_minimize_with_propagation_num_decisions()
const {
3767 return _internal_has_minimize_with_propagation_num_decisions();
3769 inline void SatParameters::clear_minimize_with_propagation_num_decisions() {
3770 minimize_with_propagation_num_decisions_ = 1000;
3771 _has_bits_[3] &= ~0x00000001u;
3774 return minimize_with_propagation_num_decisions_;
3778 return _internal_minimize_with_propagation_num_decisions();
3781 _has_bits_[3] |= 0x00000001u;
3782 minimize_with_propagation_num_decisions_ =
value;
3785 _internal_set_minimize_with_propagation_num_decisions(
value);
3790 inline bool SatParameters::_internal_has_variable_activity_decay()
const {
3791 bool value = (_has_bits_[1] & 0x00400000u) != 0;
3794 inline bool SatParameters::has_variable_activity_decay()
const {
3795 return _internal_has_variable_activity_decay();
3797 inline void SatParameters::clear_variable_activity_decay() {
3798 variable_activity_decay_ = 0.8;
3799 _has_bits_[1] &= ~0x00400000u;
3801 inline double SatParameters::_internal_variable_activity_decay()
const {
3802 return variable_activity_decay_;
3804 inline double SatParameters::variable_activity_decay()
const {
3806 return _internal_variable_activity_decay();
3808 inline void SatParameters::_internal_set_variable_activity_decay(
double value) {
3809 _has_bits_[1] |= 0x00400000u;
3810 variable_activity_decay_ =
value;
3812 inline void SatParameters::set_variable_activity_decay(
double value) {
3813 _internal_set_variable_activity_decay(
value);
3818 inline bool SatParameters::_internal_has_max_variable_activity_value()
const {
3819 bool value = (_has_bits_[1] & 0x00800000u) != 0;
3822 inline bool SatParameters::has_max_variable_activity_value()
const {
3823 return _internal_has_max_variable_activity_value();
3825 inline void SatParameters::clear_max_variable_activity_value() {
3826 max_variable_activity_value_ = 1e+100;
3827 _has_bits_[1] &= ~0x00800000u;
3829 inline double SatParameters::_internal_max_variable_activity_value()
const {
3830 return max_variable_activity_value_;
3832 inline double SatParameters::max_variable_activity_value()
const {
3834 return _internal_max_variable_activity_value();
3836 inline void SatParameters::_internal_set_max_variable_activity_value(
double value) {
3837 _has_bits_[1] |= 0x00800000u;
3838 max_variable_activity_value_ =
value;
3840 inline void SatParameters::set_max_variable_activity_value(
double value) {
3841 _internal_set_max_variable_activity_value(
value);
3846 inline bool SatParameters::_internal_has_glucose_max_decay()
const {
3847 bool value = (_has_bits_[1] & 0x04000000u) != 0;
3850 inline bool SatParameters::has_glucose_max_decay()
const {
3851 return _internal_has_glucose_max_decay();
3853 inline void SatParameters::clear_glucose_max_decay() {
3854 glucose_max_decay_ = 0.95;
3855 _has_bits_[1] &= ~0x04000000u;
3857 inline double SatParameters::_internal_glucose_max_decay()
const {
3858 return glucose_max_decay_;
3860 inline double SatParameters::glucose_max_decay()
const {
3862 return _internal_glucose_max_decay();
3864 inline void SatParameters::_internal_set_glucose_max_decay(
double value) {
3865 _has_bits_[1] |= 0x04000000u;
3866 glucose_max_decay_ =
value;
3868 inline void SatParameters::set_glucose_max_decay(
double value) {
3869 _internal_set_glucose_max_decay(
value);
3874 inline bool SatParameters::_internal_has_glucose_decay_increment()
const {
3875 bool value = (_has_bits_[1] & 0x08000000u) != 0;
3878 inline bool SatParameters::has_glucose_decay_increment()
const {
3879 return _internal_has_glucose_decay_increment();
3881 inline void SatParameters::clear_glucose_decay_increment() {
3882 glucose_decay_increment_ = 0.01;
3883 _has_bits_[1] &= ~0x08000000u;
3885 inline double SatParameters::_internal_glucose_decay_increment()
const {
3886 return glucose_decay_increment_;
3888 inline double SatParameters::glucose_decay_increment()
const {
3890 return _internal_glucose_decay_increment();
3892 inline void SatParameters::_internal_set_glucose_decay_increment(
double value) {
3893 _has_bits_[1] |= 0x08000000u;
3894 glucose_decay_increment_ =
value;
3896 inline void SatParameters::set_glucose_decay_increment(
double value) {
3897 _internal_set_glucose_decay_increment(
value);
3902 inline bool SatParameters::_internal_has_glucose_decay_increment_period()
const {
3903 bool value = (_has_bits_[1] & 0x10000000u) != 0;
3906 inline bool SatParameters::has_glucose_decay_increment_period()
const {
3907 return _internal_has_glucose_decay_increment_period();
3909 inline void SatParameters::clear_glucose_decay_increment_period() {
3910 glucose_decay_increment_period_ = 5000;
3911 _has_bits_[1] &= ~0x10000000u;
3914 return glucose_decay_increment_period_;
3918 return _internal_glucose_decay_increment_period();
3921 _has_bits_[1] |= 0x10000000u;
3922 glucose_decay_increment_period_ =
value;
3925 _internal_set_glucose_decay_increment_period(
value);
3930 inline bool SatParameters::_internal_has_clause_activity_decay()
const {
3931 bool value = (_has_bits_[1] & 0x01000000u) != 0;
3934 inline bool SatParameters::has_clause_activity_decay()
const {
3935 return _internal_has_clause_activity_decay();
3937 inline void SatParameters::clear_clause_activity_decay() {
3938 clause_activity_decay_ = 0.999;
3939 _has_bits_[1] &= ~0x01000000u;
3941 inline double SatParameters::_internal_clause_activity_decay()
const {
3942 return clause_activity_decay_;
3944 inline double SatParameters::clause_activity_decay()
const {
3946 return _internal_clause_activity_decay();
3948 inline void SatParameters::_internal_set_clause_activity_decay(
double value) {
3949 _has_bits_[1] |= 0x01000000u;
3950 clause_activity_decay_ =
value;
3952 inline void SatParameters::set_clause_activity_decay(
double value) {
3953 _internal_set_clause_activity_decay(
value);
3958 inline bool SatParameters::_internal_has_max_clause_activity_value()
const {
3959 bool value = (_has_bits_[1] & 0x02000000u) != 0;
3962 inline bool SatParameters::has_max_clause_activity_value()
const {
3963 return _internal_has_max_clause_activity_value();
3965 inline void SatParameters::clear_max_clause_activity_value() {
3966 max_clause_activity_value_ = 1e+20;
3967 _has_bits_[1] &= ~0x02000000u;
3969 inline double SatParameters::_internal_max_clause_activity_value()
const {
3970 return max_clause_activity_value_;
3972 inline double SatParameters::max_clause_activity_value()
const {
3974 return _internal_max_clause_activity_value();
3976 inline void SatParameters::_internal_set_max_clause_activity_value(
double value) {
3977 _has_bits_[1] |= 0x02000000u;
3978 max_clause_activity_value_ =
value;
3980 inline void SatParameters::set_max_clause_activity_value(
double value) {
3981 _internal_set_max_clause_activity_value(
value);
3986 inline int SatParameters::_internal_restart_algorithms_size()
const {
3987 return restart_algorithms_.size();
3989 inline int SatParameters::restart_algorithms_size()
const {
3990 return _internal_restart_algorithms_size();
3992 inline void SatParameters::clear_restart_algorithms() {
3993 restart_algorithms_.Clear();
4000 return _internal_restart_algorithms(
index);
4009 restart_algorithms_.Add(
value);
4013 _internal_add_restart_algorithms(
value);
4015 inline const ::PROTOBUF_NAMESPACE_ID::RepeatedField<int>&
4016 SatParameters::restart_algorithms()
const {
4018 return restart_algorithms_;
4020 inline ::PROTOBUF_NAMESPACE_ID::RepeatedField<int>*
4021 SatParameters::_internal_mutable_restart_algorithms() {
4022 return &restart_algorithms_;
4024 inline ::PROTOBUF_NAMESPACE_ID::RepeatedField<int>*
4025 SatParameters::mutable_restart_algorithms() {
4027 return _internal_mutable_restart_algorithms();
4031 inline bool SatParameters::_internal_has_default_restart_algorithms()
const {
4032 bool value = (_has_bits_[0] & 0x00000001u) != 0;
4035 inline bool SatParameters::has_default_restart_algorithms()
const {
4036 return _internal_has_default_restart_algorithms();
4038 inline void SatParameters::clear_default_restart_algorithms() {
4039 default_restart_algorithms_.ClearToDefault(&::operations_research::sat::SatParameters::_i_give_permission_to_break_this_code_default_default_restart_algorithms_.get(), GetArena());
4040 _has_bits_[0] &= ~0x00000001u;
4042 inline const std::string& SatParameters::default_restart_algorithms()
const {
4044 return _internal_default_restart_algorithms();
4046 inline void SatParameters::set_default_restart_algorithms(
const std::string&
value) {
4047 _internal_set_default_restart_algorithms(
value);
4050 inline std::string* SatParameters::mutable_default_restart_algorithms() {
4052 return _internal_mutable_default_restart_algorithms();
4054 inline const std::string& SatParameters::_internal_default_restart_algorithms()
const {
4055 return default_restart_algorithms_.Get();
4057 inline void SatParameters::_internal_set_default_restart_algorithms(
const std::string&
value) {
4058 _has_bits_[0] |= 0x00000001u;
4059 default_restart_algorithms_.Set(&::operations_research::sat::SatParameters::_i_give_permission_to_break_this_code_default_default_restart_algorithms_.get(),
value, GetArena());
4061 inline void SatParameters::set_default_restart_algorithms(std::string&&
value) {
4062 _has_bits_[0] |= 0x00000001u;
4063 default_restart_algorithms_.Set(
4064 &::operations_research::sat::SatParameters::_i_give_permission_to_break_this_code_default_default_restart_algorithms_.get(), ::std::move(
value), GetArena());
4067 inline void SatParameters::set_default_restart_algorithms(
const char*
value) {
4068 GOOGLE_DCHECK(
value !=
nullptr);
4069 _has_bits_[0] |= 0x00000001u;
4070 default_restart_algorithms_.Set(&::operations_research::sat::SatParameters::_i_give_permission_to_break_this_code_default_default_restart_algorithms_.get(), ::std::string(
value),
4074 inline void SatParameters::set_default_restart_algorithms(
const char*
value,
4076 _has_bits_[0] |= 0x00000001u;
4077 default_restart_algorithms_.Set(&::operations_research::sat::SatParameters::_i_give_permission_to_break_this_code_default_default_restart_algorithms_.get(), ::std::string(
4078 reinterpret_cast<const char*
>(
value), size), GetArena());
4081 inline std::string* SatParameters::_internal_mutable_default_restart_algorithms() {
4082 _has_bits_[0] |= 0x00000001u;
4083 return default_restart_algorithms_.Mutable(&::operations_research::sat::SatParameters::_i_give_permission_to_break_this_code_default_default_restart_algorithms_.get(), GetArena());
4085 inline std::string* SatParameters::release_default_restart_algorithms() {
4087 if (!_internal_has_default_restart_algorithms()) {
4090 _has_bits_[0] &= ~0x00000001u;
4091 return default_restart_algorithms_.ReleaseNonDefault(&::operations_research::sat::SatParameters::_i_give_permission_to_break_this_code_default_default_restart_algorithms_.get(), GetArena());
4093 inline void SatParameters::set_allocated_default_restart_algorithms(std::string* default_restart_algorithms) {
4094 if (default_restart_algorithms !=
nullptr) {
4095 _has_bits_[0] |= 0x00000001u;
4097 _has_bits_[0] &= ~0x00000001u;
4099 default_restart_algorithms_.SetAllocated(&::operations_research::sat::SatParameters::_i_give_permission_to_break_this_code_default_default_restart_algorithms_.get(), default_restart_algorithms,
4105 inline bool SatParameters::_internal_has_restart_period()
const {
4106 bool value = (_has_bits_[1] & 0x20000000u) != 0;
4109 inline bool SatParameters::has_restart_period()
const {
4110 return _internal_has_restart_period();
4112 inline void SatParameters::clear_restart_period() {
4113 restart_period_ = 50;
4114 _has_bits_[1] &= ~0x20000000u;
4117 return restart_period_;
4121 return _internal_restart_period();
4124 _has_bits_[1] |= 0x20000000u;
4125 restart_period_ =
value;
4128 _internal_set_restart_period(
value);
4133 inline bool SatParameters::_internal_has_restart_running_window_size()
const {
4134 bool value = (_has_bits_[2] & 0x00008000u) != 0;
4137 inline bool SatParameters::has_restart_running_window_size()
const {
4138 return _internal_has_restart_running_window_size();
4140 inline void SatParameters::clear_restart_running_window_size() {
4141 restart_running_window_size_ = 50;
4142 _has_bits_[2] &= ~0x00008000u;
4145 return restart_running_window_size_;
4149 return _internal_restart_running_window_size();
4152 _has_bits_[2] |= 0x00008000u;
4153 restart_running_window_size_ =
value;
4156 _internal_set_restart_running_window_size(
value);
4161 inline bool SatParameters::_internal_has_restart_dl_average_ratio()
const {
4162 bool value = (_has_bits_[2] & 0x00004000u) != 0;
4165 inline bool SatParameters::has_restart_dl_average_ratio()
const {
4166 return _internal_has_restart_dl_average_ratio();
4168 inline void SatParameters::clear_restart_dl_average_ratio() {
4169 restart_dl_average_ratio_ = 1;
4170 _has_bits_[2] &= ~0x00004000u;
4172 inline double SatParameters::_internal_restart_dl_average_ratio()
const {
4173 return restart_dl_average_ratio_;
4175 inline double SatParameters::restart_dl_average_ratio()
const {
4177 return _internal_restart_dl_average_ratio();
4179 inline void SatParameters::_internal_set_restart_dl_average_ratio(
double value) {
4180 _has_bits_[2] |= 0x00004000u;
4181 restart_dl_average_ratio_ =
value;
4183 inline void SatParameters::set_restart_dl_average_ratio(
double value) {
4184 _internal_set_restart_dl_average_ratio(
value);
4189 inline bool SatParameters::_internal_has_restart_lbd_average_ratio()
const {
4190 bool value = (_has_bits_[2] & 0x00080000u) != 0;
4193 inline bool SatParameters::has_restart_lbd_average_ratio()
const {
4194 return _internal_has_restart_lbd_average_ratio();
4196 inline void SatParameters::clear_restart_lbd_average_ratio() {
4197 restart_lbd_average_ratio_ = 1;
4198 _has_bits_[2] &= ~0x00080000u;
4200 inline double SatParameters::_internal_restart_lbd_average_ratio()
const {
4201 return restart_lbd_average_ratio_;
4203 inline double SatParameters::restart_lbd_average_ratio()
const {
4205 return _internal_restart_lbd_average_ratio();
4207 inline void SatParameters::_internal_set_restart_lbd_average_ratio(
double value) {
4208 _has_bits_[2] |= 0x00080000u;
4209 restart_lbd_average_ratio_ =
value;
4211 inline void SatParameters::set_restart_lbd_average_ratio(
double value) {
4212 _internal_set_restart_lbd_average_ratio(
value);
4217 inline bool SatParameters::_internal_has_use_blocking_restart()
const {
4218 bool value = (_has_bits_[0] & 0x00000400u) != 0;
4221 inline bool SatParameters::has_use_blocking_restart()
const {
4222 return _internal_has_use_blocking_restart();
4224 inline void SatParameters::clear_use_blocking_restart() {
4225 use_blocking_restart_ =
false;
4226 _has_bits_[0] &= ~0x00000400u;
4228 inline bool SatParameters::_internal_use_blocking_restart()
const {
4229 return use_blocking_restart_;
4231 inline bool SatParameters::use_blocking_restart()
const {
4233 return _internal_use_blocking_restart();
4235 inline void SatParameters::_internal_set_use_blocking_restart(
bool value) {
4236 _has_bits_[0] |= 0x00000400u;
4237 use_blocking_restart_ =
value;
4239 inline void SatParameters::set_use_blocking_restart(
bool value) {
4240 _internal_set_use_blocking_restart(
value);
4245 inline bool SatParameters::_internal_has_blocking_restart_window_size()
const {
4246 bool value = (_has_bits_[2] & 0x00010000u) != 0;
4249 inline bool SatParameters::has_blocking_restart_window_size()
const {
4250 return _internal_has_blocking_restart_window_size();
4252 inline void SatParameters::clear_blocking_restart_window_size() {
4253 blocking_restart_window_size_ = 5000;
4254 _has_bits_[2] &= ~0x00010000u;
4257 return blocking_restart_window_size_;
4261 return _internal_blocking_restart_window_size();
4264 _has_bits_[2] |= 0x00010000u;
4265 blocking_restart_window_size_ =
value;
4268 _internal_set_blocking_restart_window_size(
value);
4273 inline bool SatParameters::_internal_has_blocking_restart_multiplier()
const {
4274 bool value = (_has_bits_[2] & 0x00020000u) != 0;
4277 inline bool SatParameters::has_blocking_restart_multiplier()
const {
4278 return _internal_has_blocking_restart_multiplier();
4280 inline void SatParameters::clear_blocking_restart_multiplier() {
4281 blocking_restart_multiplier_ = 1.4;
4282 _has_bits_[2] &= ~0x00020000u;
4284 inline double SatParameters::_internal_blocking_restart_multiplier()
const {
4285 return blocking_restart_multiplier_;
4287 inline double SatParameters::blocking_restart_multiplier()
const {
4289 return _internal_blocking_restart_multiplier();
4291 inline void SatParameters::_internal_set_blocking_restart_multiplier(
double value) {
4292 _has_bits_[2] |= 0x00020000u;
4293 blocking_restart_multiplier_ =
value;
4295 inline void SatParameters::set_blocking_restart_multiplier(
double value) {
4296 _internal_set_blocking_restart_multiplier(
value);
4301 inline bool SatParameters::_internal_has_num_conflicts_before_strategy_changes()
const {
4302 bool value = (_has_bits_[0] & 0x00001000u) != 0;
4305 inline bool SatParameters::has_num_conflicts_before_strategy_changes()
const {
4306 return _internal_has_num_conflicts_before_strategy_changes();
4308 inline void SatParameters::clear_num_conflicts_before_strategy_changes() {
4309 num_conflicts_before_strategy_changes_ = 0;
4310 _has_bits_[0] &= ~0x00001000u;
4313 return num_conflicts_before_strategy_changes_;
4317 return _internal_num_conflicts_before_strategy_changes();
4320 _has_bits_[0] |= 0x00001000u;
4321 num_conflicts_before_strategy_changes_ =
value;
4324 _internal_set_num_conflicts_before_strategy_changes(
value);
4329 inline bool SatParameters::_internal_has_strategy_change_increase_ratio()
const {
4330 bool value = (_has_bits_[0] & 0x00002000u) != 0;
4333 inline bool SatParameters::has_strategy_change_increase_ratio()
const {
4334 return _internal_has_strategy_change_increase_ratio();
4336 inline void SatParameters::clear_strategy_change_increase_ratio() {
4337 strategy_change_increase_ratio_ = 0;
4338 _has_bits_[0] &= ~0x00002000u;
4340 inline double SatParameters::_internal_strategy_change_increase_ratio()
const {
4341 return strategy_change_increase_ratio_;
4343 inline double SatParameters::strategy_change_increase_ratio()
const {
4345 return _internal_strategy_change_increase_ratio();
4347 inline void SatParameters::_internal_set_strategy_change_increase_ratio(
double value) {
4348 _has_bits_[0] |= 0x00002000u;
4349 strategy_change_increase_ratio_ =
value;
4351 inline void SatParameters::set_strategy_change_increase_ratio(
double value) {
4352 _internal_set_strategy_change_increase_ratio(
value);
4357 inline bool SatParameters::_internal_has_max_time_in_seconds()
const {
4358 bool value = (_has_bits_[2] & 0x00000001u) != 0;
4361 inline bool SatParameters::has_max_time_in_seconds()
const {
4362 return _internal_has_max_time_in_seconds();
4364 inline void SatParameters::clear_max_time_in_seconds() {
4365 max_time_in_seconds_ = std::numeric_limits<double>::infinity();
4366 _has_bits_[2] &= ~0x00000001u;
4368 inline double SatParameters::_internal_max_time_in_seconds()
const {
4369 return max_time_in_seconds_;
4371 inline double SatParameters::max_time_in_seconds()
const {
4373 return _internal_max_time_in_seconds();
4375 inline void SatParameters::_internal_set_max_time_in_seconds(
double value) {
4376 _has_bits_[2] |= 0x00000001u;
4377 max_time_in_seconds_ =
value;
4379 inline void SatParameters::set_max_time_in_seconds(
double value) {
4380 _internal_set_max_time_in_seconds(
value);
4385 inline bool SatParameters::_internal_has_max_deterministic_time()
const {
4386 bool value = (_has_bits_[2] & 0x00040000u) != 0;
4389 inline bool SatParameters::has_max_deterministic_time()
const {
4390 return _internal_has_max_deterministic_time();
4392 inline void SatParameters::clear_max_deterministic_time() {
4393 max_deterministic_time_ = std::numeric_limits<double>::infinity();
4394 _has_bits_[2] &= ~0x00040000u;
4396 inline double SatParameters::_internal_max_deterministic_time()
const {
4397 return max_deterministic_time_;
4399 inline double SatParameters::max_deterministic_time()
const {
4401 return _internal_max_deterministic_time();
4403 inline void SatParameters::_internal_set_max_deterministic_time(
double value) {
4404 _has_bits_[2] |= 0x00040000u;
4405 max_deterministic_time_ =
value;
4407 inline void SatParameters::set_max_deterministic_time(
double value) {
4408 _internal_set_max_deterministic_time(
value);
4413 inline bool SatParameters::_internal_has_max_number_of_conflicts()
const {
4414 bool value = (_has_bits_[2] & 0x00000002u) != 0;
4417 inline bool SatParameters::has_max_number_of_conflicts()
const {
4418 return _internal_has_max_number_of_conflicts();
4420 inline void SatParameters::clear_max_number_of_conflicts() {
4421 max_number_of_conflicts_ = PROTOBUF_LONGLONG(9223372036854775807);
4422 _has_bits_[2] &= ~0x00000002u;
4425 return max_number_of_conflicts_;
4429 return _internal_max_number_of_conflicts();
4432 _has_bits_[2] |= 0x00000002u;
4433 max_number_of_conflicts_ =
value;
4436 _internal_set_max_number_of_conflicts(
value);
4441 inline bool SatParameters::_internal_has_max_memory_in_mb()
const {
4442 bool value = (_has_bits_[2] & 0x00000004u) != 0;
4445 inline bool SatParameters::has_max_memory_in_mb()
const {
4446 return _internal_has_max_memory_in_mb();
4448 inline void SatParameters::clear_max_memory_in_mb() {
4449 max_memory_in_mb_ = PROTOBUF_LONGLONG(10000);
4450 _has_bits_[2] &= ~0x00000004u;
4453 return max_memory_in_mb_;
4457 return _internal_max_memory_in_mb();
4460 _has_bits_[2] |= 0x00000004u;
4461 max_memory_in_mb_ =
value;
4464 _internal_set_max_memory_in_mb(
value);
4469 inline bool SatParameters::_internal_has_absolute_gap_limit()
const {
4470 bool value = (_has_bits_[1] & 0x00008000u) != 0;
4473 inline bool SatParameters::has_absolute_gap_limit()
const {
4474 return _internal_has_absolute_gap_limit();
4476 inline void SatParameters::clear_absolute_gap_limit() {
4477 absolute_gap_limit_ = 0;
4478 _has_bits_[1] &= ~0x00008000u;
4480 inline double SatParameters::_internal_absolute_gap_limit()
const {
4481 return absolute_gap_limit_;
4483 inline double SatParameters::absolute_gap_limit()
const {
4485 return _internal_absolute_gap_limit();
4487 inline void SatParameters::_internal_set_absolute_gap_limit(
double value) {
4488 _has_bits_[1] |= 0x00008000u;
4489 absolute_gap_limit_ =
value;
4491 inline void SatParameters::set_absolute_gap_limit(
double value) {
4492 _internal_set_absolute_gap_limit(
value);
4497 inline bool SatParameters::_internal_has_relative_gap_limit()
const {
4498 bool value = (_has_bits_[1] & 0x00010000u) != 0;
4501 inline bool SatParameters::has_relative_gap_limit()
const {
4502 return _internal_has_relative_gap_limit();
4504 inline void SatParameters::clear_relative_gap_limit() {
4505 relative_gap_limit_ = 0;
4506 _has_bits_[1] &= ~0x00010000u;
4508 inline double SatParameters::_internal_relative_gap_limit()
const {
4509 return relative_gap_limit_;
4511 inline double SatParameters::relative_gap_limit()
const {
4513 return _internal_relative_gap_limit();
4515 inline void SatParameters::_internal_set_relative_gap_limit(
double value) {
4516 _has_bits_[1] |= 0x00010000u;
4517 relative_gap_limit_ =
value;
4519 inline void SatParameters::set_relative_gap_limit(
double value) {
4520 _internal_set_relative_gap_limit(
value);
4525 inline bool SatParameters::_internal_has_treat_binary_clauses_separately()
const {
4526 bool value = (_has_bits_[2] & 0x00000020u) != 0;
4529 inline bool SatParameters::has_treat_binary_clauses_separately()
const {
4530 return _internal_has_treat_binary_clauses_separately();
4532 inline void SatParameters::clear_treat_binary_clauses_separately() {
4533 treat_binary_clauses_separately_ =
true;
4534 _has_bits_[2] &= ~0x00000020u;
4536 inline bool SatParameters::_internal_treat_binary_clauses_separately()
const {
4537 return treat_binary_clauses_separately_;
4539 inline bool SatParameters::treat_binary_clauses_separately()
const {
4541 return _internal_treat_binary_clauses_separately();
4543 inline void SatParameters::_internal_set_treat_binary_clauses_separately(
bool value) {
4544 _has_bits_[2] |= 0x00000020u;
4545 treat_binary_clauses_separately_ =
value;
4547 inline void SatParameters::set_treat_binary_clauses_separately(
bool value) {
4548 _internal_set_treat_binary_clauses_separately(
value);
4553 inline bool SatParameters::_internal_has_random_seed()
const {
4554 bool value = (_has_bits_[1] & 0x40000000u) != 0;
4557 inline bool SatParameters::has_random_seed()
const {
4558 return _internal_has_random_seed();
4560 inline void SatParameters::clear_random_seed() {
4562 _has_bits_[1] &= ~0x40000000u;
4565 return random_seed_;
4569 return _internal_random_seed();
4572 _has_bits_[1] |= 0x40000000u;
4573 random_seed_ =
value;
4576 _internal_set_random_seed(
value);
4581 inline bool SatParameters::_internal_has_log_search_progress()
const {
4582 bool value = (_has_bits_[0] & 0x00000800u) != 0;
4585 inline bool SatParameters::has_log_search_progress()
const {
4586 return _internal_has_log_search_progress();
4588 inline void SatParameters::clear_log_search_progress() {
4589 log_search_progress_ =
false;
4590 _has_bits_[0] &= ~0x00000800u;
4592 inline bool SatParameters::_internal_log_search_progress()
const {
4593 return log_search_progress_;
4595 inline bool SatParameters::log_search_progress()
const {
4597 return _internal_log_search_progress();
4599 inline void SatParameters::_internal_set_log_search_progress(
bool value) {
4600 _has_bits_[0] |= 0x00000800u;
4601 log_search_progress_ =
value;
4603 inline void SatParameters::set_log_search_progress(
bool value) {
4604 _internal_set_log_search_progress(
value);
4609 inline bool SatParameters::_internal_has_use_pb_resolution()
const {
4610 bool value = (_has_bits_[0] & 0x00200000u) != 0;
4613 inline bool SatParameters::has_use_pb_resolution()
const {
4614 return _internal_has_use_pb_resolution();
4616 inline void SatParameters::clear_use_pb_resolution() {
4617 use_pb_resolution_ =
false;
4618 _has_bits_[0] &= ~0x00200000u;
4620 inline bool SatParameters::_internal_use_pb_resolution()
const {
4621 return use_pb_resolution_;
4623 inline bool SatParameters::use_pb_resolution()
const {
4625 return _internal_use_pb_resolution();
4627 inline void SatParameters::_internal_set_use_pb_resolution(
bool value) {
4628 _has_bits_[0] |= 0x00200000u;
4629 use_pb_resolution_ =
value;
4631 inline void SatParameters::set_use_pb_resolution(
bool value) {
4632 _internal_set_use_pb_resolution(
value);
4637 inline bool SatParameters::_internal_has_minimize_reduction_during_pb_resolution()
const {
4638 bool value = (_has_bits_[0] & 0x00400000u) != 0;
4641 inline bool SatParameters::has_minimize_reduction_during_pb_resolution()
const {
4642 return _internal_has_minimize_reduction_during_pb_resolution();
4644 inline void SatParameters::clear_minimize_reduction_during_pb_resolution() {
4645 minimize_reduction_during_pb_resolution_ =
false;
4646 _has_bits_[0] &= ~0x00400000u;
4648 inline bool SatParameters::_internal_minimize_reduction_during_pb_resolution()
const {
4649 return minimize_reduction_during_pb_resolution_;
4651 inline bool SatParameters::minimize_reduction_during_pb_resolution()
const {
4653 return _internal_minimize_reduction_during_pb_resolution();
4655 inline void SatParameters::_internal_set_minimize_reduction_during_pb_resolution(
bool value) {
4656 _has_bits_[0] |= 0x00400000u;
4657 minimize_reduction_during_pb_resolution_ =
value;
4659 inline void SatParameters::set_minimize_reduction_during_pb_resolution(
bool value) {
4660 _internal_set_minimize_reduction_during_pb_resolution(
value);
4665 inline bool SatParameters::_internal_has_count_assumption_levels_in_lbd()
const {
4666 bool value = (_has_bits_[2] & 0x00000040u) != 0;
4669 inline bool SatParameters::has_count_assumption_levels_in_lbd()
const {
4670 return _internal_has_count_assumption_levels_in_lbd();
4672 inline void SatParameters::clear_count_assumption_levels_in_lbd() {
4673 count_assumption_levels_in_lbd_ =
true;
4674 _has_bits_[2] &= ~0x00000040u;
4676 inline bool SatParameters::_internal_count_assumption_levels_in_lbd()
const {
4677 return count_assumption_levels_in_lbd_;
4679 inline bool SatParameters::count_assumption_levels_in_lbd()
const {
4681 return _internal_count_assumption_levels_in_lbd();
4683 inline void SatParameters::_internal_set_count_assumption_levels_in_lbd(
bool value) {
4684 _has_bits_[2] |= 0x00000040u;
4685 count_assumption_levels_in_lbd_ =
value;
4687 inline void SatParameters::set_count_assumption_levels_in_lbd(
bool value) {
4688 _internal_set_count_assumption_levels_in_lbd(
value);
4693 inline bool SatParameters::_internal_has_presolve_bve_threshold()
const {
4694 bool value = (_has_bits_[2] & 0x00000400u) != 0;
4697 inline bool SatParameters::has_presolve_bve_threshold()
const {
4698 return _internal_has_presolve_bve_threshold();
4700 inline void SatParameters::clear_presolve_bve_threshold() {
4701 presolve_bve_threshold_ = 500;
4702 _has_bits_[2] &= ~0x00000400u;
4705 return presolve_bve_threshold_;
4709 return _internal_presolve_bve_threshold();
4712 _has_bits_[2] |= 0x00000400u;
4713 presolve_bve_threshold_ =
value;
4716 _internal_set_presolve_bve_threshold(
value);
4721 inline bool SatParameters::_internal_has_presolve_bve_clause_weight()
const {
4722 bool value = (_has_bits_[2] & 0x00001000u) != 0;
4725 inline bool SatParameters::has_presolve_bve_clause_weight()
const {
4726 return _internal_has_presolve_bve_clause_weight();
4728 inline void SatParameters::clear_presolve_bve_clause_weight() {
4729 presolve_bve_clause_weight_ = 3;
4730 _has_bits_[2] &= ~0x00001000u;
4733 return presolve_bve_clause_weight_;
4737 return _internal_presolve_bve_clause_weight();
4740 _has_bits_[2] |= 0x00001000u;
4741 presolve_bve_clause_weight_ =
value;
4744 _internal_set_presolve_bve_clause_weight(
value);
4749 inline bool SatParameters::_internal_has_presolve_probing_deterministic_time_limit()
const {
4750 bool value = (_has_bits_[2] & 0x00000800u) != 0;
4753 inline bool SatParameters::has_presolve_probing_deterministic_time_limit()
const {
4754 return _internal_has_presolve_probing_deterministic_time_limit();
4756 inline void SatParameters::clear_presolve_probing_deterministic_time_limit() {
4757 presolve_probing_deterministic_time_limit_ = 30;
4758 _has_bits_[2] &= ~0x00000800u;
4760 inline double SatParameters::_internal_presolve_probing_deterministic_time_limit()
const {
4761 return presolve_probing_deterministic_time_limit_;
4763 inline double SatParameters::presolve_probing_deterministic_time_limit()
const {
4765 return _internal_presolve_probing_deterministic_time_limit();
4767 inline void SatParameters::_internal_set_presolve_probing_deterministic_time_limit(
double value) {
4768 _has_bits_[2] |= 0x00000800u;
4769 presolve_probing_deterministic_time_limit_ =
value;
4771 inline void SatParameters::set_presolve_probing_deterministic_time_limit(
double value) {
4772 _internal_set_presolve_probing_deterministic_time_limit(
value);
4777 inline bool SatParameters::_internal_has_presolve_blocked_clause()
const {
4778 bool value = (_has_bits_[2] & 0x02000000u) != 0;
4781 inline bool SatParameters::has_presolve_blocked_clause()
const {
4782 return _internal_has_presolve_blocked_clause();
4784 inline void SatParameters::clear_presolve_blocked_clause() {
4785 presolve_blocked_clause_ =
true;
4786 _has_bits_[2] &= ~0x02000000u;
4788 inline bool SatParameters::_internal_presolve_blocked_clause()
const {
4789 return presolve_blocked_clause_;
4791 inline bool SatParameters::presolve_blocked_clause()
const {
4793 return _internal_presolve_blocked_clause();
4795 inline void SatParameters::_internal_set_presolve_blocked_clause(
bool value) {
4796 _has_bits_[2] |= 0x02000000u;
4797 presolve_blocked_clause_ =
value;
4799 inline void SatParameters::set_presolve_blocked_clause(
bool value) {
4800 _internal_set_presolve_blocked_clause(
value);
4805 inline bool SatParameters::_internal_has_presolve_use_bva()
const {
4806 bool value = (_has_bits_[2] & 0x04000000u) != 0;
4809 inline bool SatParameters::has_presolve_use_bva()
const {
4810 return _internal_has_presolve_use_bva();
4812 inline void SatParameters::clear_presolve_use_bva() {
4813 presolve_use_bva_ =
true;
4814 _has_bits_[2] &= ~0x04000000u;
4816 inline bool SatParameters::_internal_presolve_use_bva()
const {
4817 return presolve_use_bva_;
4819 inline bool SatParameters::presolve_use_bva()
const {
4821 return _internal_presolve_use_bva();
4823 inline void SatParameters::_internal_set_presolve_use_bva(
bool value) {
4824 _has_bits_[2] |= 0x04000000u;
4825 presolve_use_bva_ =
value;
4827 inline void SatParameters::set_presolve_use_bva(
bool value) {
4828 _internal_set_presolve_use_bva(
value);
4833 inline bool SatParameters::_internal_has_presolve_bva_threshold()
const {
4834 bool value = (_has_bits_[2] & 0x00100000u) != 0;
4837 inline bool SatParameters::has_presolve_bva_threshold()
const {
4838 return _internal_has_presolve_bva_threshold();
4840 inline void SatParameters::clear_presolve_bva_threshold() {
4841 presolve_bva_threshold_ = 1;
4842 _has_bits_[2] &= ~0x00100000u;
4845 return presolve_bva_threshold_;
4849 return _internal_presolve_bva_threshold();
4852 _has_bits_[2] |= 0x00100000u;
4853 presolve_bva_threshold_ =
value;
4856 _internal_set_presolve_bva_threshold(
value);
4861 inline bool SatParameters::_internal_has_max_presolve_iterations()
const {
4862 bool value = (_has_bits_[4] & 0x00000100u) != 0;
4865 inline bool SatParameters::has_max_presolve_iterations()
const {
4866 return _internal_has_max_presolve_iterations();
4868 inline void SatParameters::clear_max_presolve_iterations() {
4869 max_presolve_iterations_ = 3;
4870 _has_bits_[4] &= ~0x00000100u;
4873 return max_presolve_iterations_;
4877 return _internal_max_presolve_iterations();
4880 _has_bits_[4] |= 0x00000100u;
4881 max_presolve_iterations_ =
value;
4884 _internal_set_max_presolve_iterations(
value);
4889 inline bool SatParameters::_internal_has_cp_model_presolve()
const {
4890 bool value = (_has_bits_[2] & 0x08000000u) != 0;
4893 inline bool SatParameters::has_cp_model_presolve()
const {
4894 return _internal_has_cp_model_presolve();
4896 inline void SatParameters::clear_cp_model_presolve() {
4897 cp_model_presolve_ =
true;
4898 _has_bits_[2] &= ~0x08000000u;
4900 inline bool SatParameters::_internal_cp_model_presolve()
const {
4901 return cp_model_presolve_;
4903 inline bool SatParameters::cp_model_presolve()
const {
4905 return _internal_cp_model_presolve();
4907 inline void SatParameters::_internal_set_cp_model_presolve(
bool value) {
4908 _has_bits_[2] |= 0x08000000u;
4909 cp_model_presolve_ =
value;
4911 inline void SatParameters::set_cp_model_presolve(
bool value) {
4912 _internal_set_cp_model_presolve(
value);
4917 inline bool SatParameters::_internal_has_cp_model_postsolve_with_full_solver()
const {
4918 bool value = (_has_bits_[0] & 0x00800000u) != 0;
4921 inline bool SatParameters::has_cp_model_postsolve_with_full_solver()
const {
4922 return _internal_has_cp_model_postsolve_with_full_solver();
4924 inline void SatParameters::clear_cp_model_postsolve_with_full_solver() {
4925 cp_model_postsolve_with_full_solver_ =
false;
4926 _has_bits_[0] &= ~0x00800000u;
4928 inline bool SatParameters::_internal_cp_model_postsolve_with_full_solver()
const {
4929 return cp_model_postsolve_with_full_solver_;
4931 inline bool SatParameters::cp_model_postsolve_with_full_solver()
const {
4933 return _internal_cp_model_postsolve_with_full_solver();
4935 inline void SatParameters::_internal_set_cp_model_postsolve_with_full_solver(
bool value) {
4936 _has_bits_[0] |= 0x00800000u;
4937 cp_model_postsolve_with_full_solver_ =
value;
4939 inline void SatParameters::set_cp_model_postsolve_with_full_solver(
bool value) {
4940 _internal_set_cp_model_postsolve_with_full_solver(
value);
4945 inline bool SatParameters::_internal_has_cp_model_max_num_presolve_operations()
const {
4946 bool value = (_has_bits_[1] & 0x00004000u) != 0;
4949 inline bool SatParameters::has_cp_model_max_num_presolve_operations()
const {
4950 return _internal_has_cp_model_max_num_presolve_operations();
4952 inline void SatParameters::clear_cp_model_max_num_presolve_operations() {
4953 cp_model_max_num_presolve_operations_ = 0;
4954 _has_bits_[1] &= ~0x00004000u;
4957 return cp_model_max_num_presolve_operations_;
4961 return _internal_cp_model_max_num_presolve_operations();
4964 _has_bits_[1] |= 0x00004000u;
4965 cp_model_max_num_presolve_operations_ =
value;
4968 _internal_set_cp_model_max_num_presolve_operations(
value);
4973 inline bool SatParameters::_internal_has_cp_model_probing_level()
const {
4974 bool value = (_has_bits_[3] & 0x00000010u) != 0;
4977 inline bool SatParameters::has_cp_model_probing_level()
const {
4978 return _internal_has_cp_model_probing_level();
4980 inline void SatParameters::clear_cp_model_probing_level() {
4981 cp_model_probing_level_ = 2;
4982 _has_bits_[3] &= ~0x00000010u;
4985 return cp_model_probing_level_;
4989 return _internal_cp_model_probing_level();
4992 _has_bits_[3] |= 0x00000010u;
4993 cp_model_probing_level_ =
value;
4996 _internal_set_cp_model_probing_level(
value);
5001 inline bool SatParameters::_internal_has_cp_model_use_sat_presolve()
const {
5002 bool value = (_has_bits_[2] & 0x10000000u) != 0;
5005 inline bool SatParameters::has_cp_model_use_sat_presolve()
const {
5006 return _internal_has_cp_model_use_sat_presolve();
5008 inline void SatParameters::clear_cp_model_use_sat_presolve() {
5009 cp_model_use_sat_presolve_ =
true;
5010 _has_bits_[2] &= ~0x10000000u;
5012 inline bool SatParameters::_internal_cp_model_use_sat_presolve()
const {
5013 return cp_model_use_sat_presolve_;
5015 inline bool SatParameters::cp_model_use_sat_presolve()
const {
5017 return _internal_cp_model_use_sat_presolve();
5019 inline void SatParameters::_internal_set_cp_model_use_sat_presolve(
bool value) {
5020 _has_bits_[2] |= 0x10000000u;
5021 cp_model_use_sat_presolve_ =
value;
5023 inline void SatParameters::set_cp_model_use_sat_presolve(
bool value) {
5024 _internal_set_cp_model_use_sat_presolve(
value);
5029 inline bool SatParameters::_internal_has_use_sat_inprocessing()
const {
5030 bool value = (_has_bits_[0] & 0x01000000u) != 0;
5033 inline bool SatParameters::has_use_sat_inprocessing()
const {
5034 return _internal_has_use_sat_inprocessing();
5036 inline void SatParameters::clear_use_sat_inprocessing() {
5037 use_sat_inprocessing_ =
false;
5038 _has_bits_[0] &= ~0x01000000u;
5040 inline bool SatParameters::_internal_use_sat_inprocessing()
const {
5041 return use_sat_inprocessing_;
5043 inline bool SatParameters::use_sat_inprocessing()
const {
5045 return _internal_use_sat_inprocessing();
5047 inline void SatParameters::_internal_set_use_sat_inprocessing(
bool value) {
5048 _has_bits_[0] |= 0x01000000u;
5049 use_sat_inprocessing_ =
value;
5051 inline void SatParameters::set_use_sat_inprocessing(
bool value) {
5052 _internal_set_use_sat_inprocessing(
value);
5057 inline bool SatParameters::_internal_has_expand_element_constraints()
const {
5058 bool value = (_has_bits_[3] & 0x00000800u) != 0;
5061 inline bool SatParameters::has_expand_element_constraints()
const {
5062 return _internal_has_expand_element_constraints();
5064 inline void SatParameters::clear_expand_element_constraints() {
5065 expand_element_constraints_ =
true;
5066 _has_bits_[3] &= ~0x00000800u;
5068 inline bool SatParameters::_internal_expand_element_constraints()
const {
5069 return expand_element_constraints_;
5071 inline bool SatParameters::expand_element_constraints()
const {
5073 return _internal_expand_element_constraints();
5075 inline void SatParameters::_internal_set_expand_element_constraints(
bool value) {
5076 _has_bits_[3] |= 0x00000800u;
5077 expand_element_constraints_ =
value;
5079 inline void SatParameters::set_expand_element_constraints(
bool value) {
5080 _internal_set_expand_element_constraints(
value);
5085 inline bool SatParameters::_internal_has_expand_automaton_constraints()
const {
5086 bool value = (_has_bits_[3] & 0x00001000u) != 0;
5089 inline bool SatParameters::has_expand_automaton_constraints()
const {
5090 return _internal_has_expand_automaton_constraints();
5092 inline void SatParameters::clear_expand_automaton_constraints() {
5093 expand_automaton_constraints_ =
true;
5094 _has_bits_[3] &= ~0x00001000u;
5096 inline bool SatParameters::_internal_expand_automaton_constraints()
const {
5097 return expand_automaton_constraints_;
5099 inline bool SatParameters::expand_automaton_constraints()
const {
5101 return _internal_expand_automaton_constraints();
5103 inline void SatParameters::_internal_set_expand_automaton_constraints(
bool value) {
5104 _has_bits_[3] |= 0x00001000u;
5105 expand_automaton_constraints_ =
value;
5107 inline void SatParameters::set_expand_automaton_constraints(
bool value) {
5108 _internal_set_expand_automaton_constraints(
value);
5113 inline bool SatParameters::_internal_has_expand_table_constraints()
const {
5114 bool value = (_has_bits_[3] & 0x00002000u) != 0;
5117 inline bool SatParameters::has_expand_table_constraints()
const {
5118 return _internal_has_expand_table_constraints();
5120 inline void SatParameters::clear_expand_table_constraints() {
5121 expand_table_constraints_ =
true;
5122 _has_bits_[3] &= ~0x00002000u;
5124 inline bool SatParameters::_internal_expand_table_constraints()
const {
5125 return expand_table_constraints_;
5127 inline bool SatParameters::expand_table_constraints()
const {
5129 return _internal_expand_table_constraints();
5131 inline void SatParameters::_internal_set_expand_table_constraints(
bool value) {
5132 _has_bits_[3] |= 0x00002000u;
5133 expand_table_constraints_ =
value;
5135 inline void SatParameters::set_expand_table_constraints(
bool value) {
5136 _internal_set_expand_table_constraints(
value);
5141 inline bool SatParameters::_internal_has_expand_alldiff_constraints()
const {
5142 bool value = (_has_bits_[0] & 0x00010000u) != 0;
5145 inline bool SatParameters::has_expand_alldiff_constraints()
const {
5146 return _internal_has_expand_alldiff_constraints();
5148 inline void SatParameters::clear_expand_alldiff_constraints() {
5149 expand_alldiff_constraints_ =
false;
5150 _has_bits_[0] &= ~0x00010000u;
5152 inline bool SatParameters::_internal_expand_alldiff_constraints()
const {
5153 return expand_alldiff_constraints_;
5155 inline bool SatParameters::expand_alldiff_constraints()
const {
5157 return _internal_expand_alldiff_constraints();
5159 inline void SatParameters::_internal_set_expand_alldiff_constraints(
bool value) {
5160 _has_bits_[0] |= 0x00010000u;
5161 expand_alldiff_constraints_ =
value;
5163 inline void SatParameters::set_expand_alldiff_constraints(
bool value) {
5164 _internal_set_expand_alldiff_constraints(
value);
5169 inline bool SatParameters::_internal_has_merge_no_overlap_work_limit()
const {
5170 bool value = (_has_bits_[4] & 0x00000400u) != 0;
5173 inline bool SatParameters::has_merge_no_overlap_work_limit()
const {
5174 return _internal_has_merge_no_overlap_work_limit();
5176 inline void SatParameters::clear_merge_no_overlap_work_limit() {
5177 merge_no_overlap_work_limit_ = 1000000000000;
5178 _has_bits_[4] &= ~0x00000400u;
5180 inline double SatParameters::_internal_merge_no_overlap_work_limit()
const {
5181 return merge_no_overlap_work_limit_;
5183 inline double SatParameters::merge_no_overlap_work_limit()
const {
5185 return _internal_merge_no_overlap_work_limit();
5187 inline void SatParameters::_internal_set_merge_no_overlap_work_limit(
double value) {
5188 _has_bits_[4] |= 0x00000400u;
5189 merge_no_overlap_work_limit_ =
value;
5191 inline void SatParameters::set_merge_no_overlap_work_limit(
double value) {
5192 _internal_set_merge_no_overlap_work_limit(
value);
5197 inline bool SatParameters::_internal_has_merge_at_most_one_work_limit()
const {
5198 bool value = (_has_bits_[4] & 0x00000800u) != 0;
5201 inline bool SatParameters::has_merge_at_most_one_work_limit()
const {
5202 return _internal_has_merge_at_most_one_work_limit();
5204 inline void SatParameters::clear_merge_at_most_one_work_limit() {
5205 merge_at_most_one_work_limit_ = 100000000;
5206 _has_bits_[4] &= ~0x00000800u;
5208 inline double SatParameters::_internal_merge_at_most_one_work_limit()
const {
5209 return merge_at_most_one_work_limit_;
5211 inline double SatParameters::merge_at_most_one_work_limit()
const {
5213 return _internal_merge_at_most_one_work_limit();
5215 inline void SatParameters::_internal_set_merge_at_most_one_work_limit(
double value) {
5216 _has_bits_[4] |= 0x00000800u;
5217 merge_at_most_one_work_limit_ =
value;
5219 inline void SatParameters::set_merge_at_most_one_work_limit(
double value) {
5220 _internal_set_merge_at_most_one_work_limit(
value);
5225 inline bool SatParameters::_internal_has_presolve_substitution_level()
const {
5226 bool value = (_has_bits_[4] & 0x00000200u) != 0;
5229 inline bool SatParameters::has_presolve_substitution_level()
const {
5230 return _internal_has_presolve_substitution_level();
5232 inline void SatParameters::clear_presolve_substitution_level() {
5233 presolve_substitution_level_ = 1;
5234 _has_bits_[4] &= ~0x00000200u;
5237 return presolve_substitution_level_;
5241 return _internal_presolve_substitution_level();
5244 _has_bits_[4] |= 0x00000200u;
5245 presolve_substitution_level_ =
value;
5248 _internal_set_presolve_substitution_level(
value);
5253 inline bool SatParameters::_internal_has_use_optimization_hints()
const {
5254 bool value = (_has_bits_[3] & 0x00004000u) != 0;
5257 inline bool SatParameters::has_use_optimization_hints()
const {
5258 return _internal_has_use_optimization_hints();
5260 inline void SatParameters::clear_use_optimization_hints() {
5261 use_optimization_hints_ =
true;
5262 _has_bits_[3] &= ~0x00004000u;
5264 inline bool SatParameters::_internal_use_optimization_hints()
const {
5265 return use_optimization_hints_;
5267 inline bool SatParameters::use_optimization_hints()
const {
5269 return _internal_use_optimization_hints();
5271 inline void SatParameters::_internal_set_use_optimization_hints(
bool value) {
5272 _has_bits_[3] |= 0x00004000u;
5273 use_optimization_hints_ =
value;
5275 inline void SatParameters::set_use_optimization_hints(
bool value) {
5276 _internal_set_use_optimization_hints(
value);
5281 inline bool SatParameters::_internal_has_minimize_core()
const {
5282 bool value = (_has_bits_[2] & 0x00200000u) != 0;
5285 inline bool SatParameters::has_minimize_core()
const {
5286 return _internal_has_minimize_core();
5288 inline void SatParameters::clear_minimize_core() {
5289 minimize_core_ =
true;
5290 _has_bits_[2] &= ~0x00200000u;
5292 inline bool SatParameters::_internal_minimize_core()
const {
5293 return minimize_core_;
5295 inline bool SatParameters::minimize_core()
const {
5297 return _internal_minimize_core();
5299 inline void SatParameters::_internal_set_minimize_core(
bool value) {
5300 _has_bits_[2] |= 0x00200000u;
5301 minimize_core_ =
value;
5303 inline void SatParameters::set_minimize_core(
bool value) {
5304 _internal_set_minimize_core(
value);
5309 inline bool SatParameters::_internal_has_find_multiple_cores()
const {
5310 bool value = (_has_bits_[2] & 0x00400000u) != 0;
5313 inline bool SatParameters::has_find_multiple_cores()
const {
5314 return _internal_has_find_multiple_cores();
5316 inline void SatParameters::clear_find_multiple_cores() {
5317 find_multiple_cores_ =
true;
5318 _has_bits_[2] &= ~0x00400000u;
5320 inline bool SatParameters::_internal_find_multiple_cores()
const {
5321 return find_multiple_cores_;
5323 inline bool SatParameters::find_multiple_cores()
const {
5325 return _internal_find_multiple_cores();
5327 inline void SatParameters::_internal_set_find_multiple_cores(
bool value) {
5328 _has_bits_[2] |= 0x00400000u;
5329 find_multiple_cores_ =
value;
5331 inline void SatParameters::set_find_multiple_cores(
bool value) {
5332 _internal_set_find_multiple_cores(
value);
5337 inline bool SatParameters::_internal_has_cover_optimization()
const {
5338 bool value = (_has_bits_[2] & 0x00800000u) != 0;
5341 inline bool SatParameters::has_cover_optimization()
const {
5342 return _internal_has_cover_optimization();
5344 inline void SatParameters::clear_cover_optimization() {
5345 cover_optimization_ =
true;
5346 _has_bits_[2] &= ~0x00800000u;
5348 inline bool SatParameters::_internal_cover_optimization()
const {
5349 return cover_optimization_;
5351 inline bool SatParameters::cover_optimization()
const {
5353 return _internal_cover_optimization();
5355 inline void SatParameters::_internal_set_cover_optimization(
bool value) {
5356 _has_bits_[2] |= 0x00800000u;
5357 cover_optimization_ =
value;
5359 inline void SatParameters::set_cover_optimization(
bool value) {
5360 _internal_set_cover_optimization(
value);
5365 inline bool SatParameters::_internal_has_max_sat_assumption_order()
const {
5366 bool value = (_has_bits_[0] & 0x00000008u) != 0;
5369 inline bool SatParameters::has_max_sat_assumption_order()
const {
5370 return _internal_has_max_sat_assumption_order();
5372 inline void SatParameters::clear_max_sat_assumption_order() {
5373 max_sat_assumption_order_ = 0;
5374 _has_bits_[0] &= ~0x00000008u;
5381 return _internal_max_sat_assumption_order();
5385 _has_bits_[0] |= 0x00000008u;
5386 max_sat_assumption_order_ =
value;
5389 _internal_set_max_sat_assumption_order(
value);
5394 inline bool SatParameters::_internal_has_max_sat_reverse_assumption_order()
const {
5395 bool value = (_has_bits_[0] & 0x00020000u) != 0;
5398 inline bool SatParameters::has_max_sat_reverse_assumption_order()
const {
5399 return _internal_has_max_sat_reverse_assumption_order();
5401 inline void SatParameters::clear_max_sat_reverse_assumption_order() {
5402 max_sat_reverse_assumption_order_ =
false;
5403 _has_bits_[0] &= ~0x00020000u;
5405 inline bool SatParameters::_internal_max_sat_reverse_assumption_order()
const {
5406 return max_sat_reverse_assumption_order_;
5408 inline bool SatParameters::max_sat_reverse_assumption_order()
const {
5410 return _internal_max_sat_reverse_assumption_order();
5412 inline void SatParameters::_internal_set_max_sat_reverse_assumption_order(
bool value) {
5413 _has_bits_[0] |= 0x00020000u;
5414 max_sat_reverse_assumption_order_ =
value;
5416 inline void SatParameters::set_max_sat_reverse_assumption_order(
bool value) {
5417 _internal_set_max_sat_reverse_assumption_order(
value);
5422 inline bool SatParameters::_internal_has_max_sat_stratification()
const {
5423 bool value = (_has_bits_[2] & 0x00000200u) != 0;
5426 inline bool SatParameters::has_max_sat_stratification()
const {
5427 return _internal_has_max_sat_stratification();
5429 inline void SatParameters::clear_max_sat_stratification() {
5430 max_sat_stratification_ = 1;
5431 _has_bits_[2] &= ~0x00000200u;
5438 return _internal_max_sat_stratification();
5442 _has_bits_[2] |= 0x00000200u;
5443 max_sat_stratification_ =
value;
5446 _internal_set_max_sat_stratification(
value);
5451 inline bool SatParameters::_internal_has_use_precedences_in_disjunctive_constraint()
const {
5452 bool value = (_has_bits_[2] & 0x01000000u) != 0;
5455 inline bool SatParameters::has_use_precedences_in_disjunctive_constraint()
const {
5456 return _internal_has_use_precedences_in_disjunctive_constraint();
5458 inline void SatParameters::clear_use_precedences_in_disjunctive_constraint() {
5459 use_precedences_in_disjunctive_constraint_ =
true;
5460 _has_bits_[2] &= ~0x01000000u;
5462 inline bool SatParameters::_internal_use_precedences_in_disjunctive_constraint()
const {
5463 return use_precedences_in_disjunctive_constraint_;
5465 inline bool SatParameters::use_precedences_in_disjunctive_constraint()
const {
5467 return _internal_use_precedences_in_disjunctive_constraint();
5469 inline void SatParameters::_internal_set_use_precedences_in_disjunctive_constraint(
bool value) {
5470 _has_bits_[2] |= 0x01000000u;
5471 use_precedences_in_disjunctive_constraint_ =
value;
5473 inline void SatParameters::set_use_precedences_in_disjunctive_constraint(
bool value) {
5474 _internal_set_use_precedences_in_disjunctive_constraint(
value);
5479 inline bool SatParameters::_internal_has_use_overload_checker_in_cumulative_constraint()
const {
5480 bool value = (_has_bits_[0] & 0x00040000u) != 0;
5483 inline bool SatParameters::has_use_overload_checker_in_cumulative_constraint()
const {
5484 return _internal_has_use_overload_checker_in_cumulative_constraint();
5486 inline void SatParameters::clear_use_overload_checker_in_cumulative_constraint() {
5487 use_overload_checker_in_cumulative_constraint_ =
false;
5488 _has_bits_[0] &= ~0x00040000u;
5490 inline bool SatParameters::_internal_use_overload_checker_in_cumulative_constraint()
const {
5491 return use_overload_checker_in_cumulative_constraint_;
5493 inline bool SatParameters::use_overload_checker_in_cumulative_constraint()
const {
5495 return _internal_use_overload_checker_in_cumulative_constraint();
5497 inline void SatParameters::_internal_set_use_overload_checker_in_cumulative_constraint(
bool value) {
5498 _has_bits_[0] |= 0x00040000u;
5499 use_overload_checker_in_cumulative_constraint_ =
value;
5501 inline void SatParameters::set_use_overload_checker_in_cumulative_constraint(
bool value) {
5502 _internal_set_use_overload_checker_in_cumulative_constraint(
value);
5507 inline bool SatParameters::_internal_has_use_timetable_edge_finding_in_cumulative_constraint()
const {
5508 bool value = (_has_bits_[0] & 0x00080000u) != 0;
5511 inline bool SatParameters::has_use_timetable_edge_finding_in_cumulative_constraint()
const {
5512 return _internal_has_use_timetable_edge_finding_in_cumulative_constraint();
5514 inline void SatParameters::clear_use_timetable_edge_finding_in_cumulative_constraint() {
5515 use_timetable_edge_finding_in_cumulative_constraint_ =
false;
5516 _has_bits_[0] &= ~0x00080000u;
5518 inline bool SatParameters::_internal_use_timetable_edge_finding_in_cumulative_constraint()
const {
5519 return use_timetable_edge_finding_in_cumulative_constraint_;
5521 inline bool SatParameters::use_timetable_edge_finding_in_cumulative_constraint()
const {
5523 return _internal_use_timetable_edge_finding_in_cumulative_constraint();
5525 inline void SatParameters::_internal_set_use_timetable_edge_finding_in_cumulative_constraint(
bool value) {
5526 _has_bits_[0] |= 0x00080000u;
5527 use_timetable_edge_finding_in_cumulative_constraint_ =
value;
5529 inline void SatParameters::set_use_timetable_edge_finding_in_cumulative_constraint(
bool value) {
5530 _internal_set_use_timetable_edge_finding_in_cumulative_constraint(
value);
5535 inline bool SatParameters::_internal_has_use_disjunctive_constraint_in_cumulative_constraint()
const {
5536 bool value = (_has_bits_[3] & 0x00010000u) != 0;
5539 inline bool SatParameters::has_use_disjunctive_constraint_in_cumulative_constraint()
const {
5540 return _internal_has_use_disjunctive_constraint_in_cumulative_constraint();
5542 inline void SatParameters::clear_use_disjunctive_constraint_in_cumulative_constraint() {
5543 use_disjunctive_constraint_in_cumulative_constraint_ =
true;
5544 _has_bits_[3] &= ~0x00010000u;
5546 inline bool SatParameters::_internal_use_disjunctive_constraint_in_cumulative_constraint()
const {
5547 return use_disjunctive_constraint_in_cumulative_constraint_;
5549 inline bool SatParameters::use_disjunctive_constraint_in_cumulative_constraint()
const {
5551 return _internal_use_disjunctive_constraint_in_cumulative_constraint();
5553 inline void SatParameters::_internal_set_use_disjunctive_constraint_in_cumulative_constraint(
bool value) {
5554 _has_bits_[3] |= 0x00010000u;
5555 use_disjunctive_constraint_in_cumulative_constraint_ =
value;
5557 inline void SatParameters::set_use_disjunctive_constraint_in_cumulative_constraint(
bool value) {
5558 _internal_set_use_disjunctive_constraint_in_cumulative_constraint(
value);
5563 inline bool SatParameters::_internal_has_linearization_level()
const {
5564 bool value = (_has_bits_[2] & 0x20000000u) != 0;
5567 inline bool SatParameters::has_linearization_level()
const {
5568 return _internal_has_linearization_level();
5570 inline void SatParameters::clear_linearization_level() {
5571 linearization_level_ = 1;
5572 _has_bits_[2] &= ~0x20000000u;
5575 return linearization_level_;
5579 return _internal_linearization_level();
5582 _has_bits_[2] |= 0x20000000u;
5583 linearization_level_ =
value;
5586 _internal_set_linearization_level(
value);
5591 inline bool SatParameters::_internal_has_boolean_encoding_level()
const {
5592 bool value = (_has_bits_[3] & 0x00000008u) != 0;
5595 inline bool SatParameters::has_boolean_encoding_level()
const {
5596 return _internal_has_boolean_encoding_level();
5598 inline void SatParameters::clear_boolean_encoding_level() {
5599 boolean_encoding_level_ = 1;
5600 _has_bits_[3] &= ~0x00000008u;
5603 return boolean_encoding_level_;
5607 return _internal_boolean_encoding_level();
5610 _has_bits_[3] |= 0x00000008u;
5611 boolean_encoding_level_ =
value;
5614 _internal_set_boolean_encoding_level(
value);
5619 inline bool SatParameters::_internal_has_max_num_cuts()
const {
5620 bool value = (_has_bits_[2] & 0x40000000u) != 0;
5623 inline bool SatParameters::has_max_num_cuts()
const {
5624 return _internal_has_max_num_cuts();
5626 inline void SatParameters::clear_max_num_cuts() {
5627 max_num_cuts_ = 10000;
5628 _has_bits_[2] &= ~0x40000000u;
5631 return max_num_cuts_;
5635 return _internal_max_num_cuts();
5638 _has_bits_[2] |= 0x40000000u;
5639 max_num_cuts_ =
value;
5642 _internal_set_max_num_cuts(
value);
5647 inline bool SatParameters::_internal_has_only_add_cuts_at_level_zero()
const {
5648 bool value = (_has_bits_[1] & 0x00000002u) != 0;
5651 inline bool SatParameters::has_only_add_cuts_at_level_zero()
const {
5652 return _internal_has_only_add_cuts_at_level_zero();
5654 inline void SatParameters::clear_only_add_cuts_at_level_zero() {
5655 only_add_cuts_at_level_zero_ =
false;
5656 _has_bits_[1] &= ~0x00000002u;
5658 inline bool SatParameters::_internal_only_add_cuts_at_level_zero()
const {
5659 return only_add_cuts_at_level_zero_;
5661 inline bool SatParameters::only_add_cuts_at_level_zero()
const {
5663 return _internal_only_add_cuts_at_level_zero();
5665 inline void SatParameters::_internal_set_only_add_cuts_at_level_zero(
bool value) {
5666 _has_bits_[1] |= 0x00000002u;
5667 only_add_cuts_at_level_zero_ =
value;
5669 inline void SatParameters::set_only_add_cuts_at_level_zero(
bool value) {
5670 _internal_set_only_add_cuts_at_level_zero(
value);
5675 inline bool SatParameters::_internal_has_add_knapsack_cuts()
const {
5676 bool value = (_has_bits_[1] & 0x00000004u) != 0;
5679 inline bool SatParameters::has_add_knapsack_cuts()
const {
5680 return _internal_has_add_knapsack_cuts();
5682 inline void SatParameters::clear_add_knapsack_cuts() {
5683 add_knapsack_cuts_ =
false;
5684 _has_bits_[1] &= ~0x00000004u;
5686 inline bool SatParameters::_internal_add_knapsack_cuts()
const {
5687 return add_knapsack_cuts_;
5689 inline bool SatParameters::add_knapsack_cuts()
const {
5691 return _internal_add_knapsack_cuts();
5693 inline void SatParameters::_internal_set_add_knapsack_cuts(
bool value) {
5694 _has_bits_[1] |= 0x00000004u;
5695 add_knapsack_cuts_ =
value;
5697 inline void SatParameters::set_add_knapsack_cuts(
bool value) {
5698 _internal_set_add_knapsack_cuts(
value);
5703 inline bool SatParameters::_internal_has_add_cg_cuts()
const {
5704 bool value = (_has_bits_[3] & 0x00020000u) != 0;
5707 inline bool SatParameters::has_add_cg_cuts()
const {
5708 return _internal_has_add_cg_cuts();
5710 inline void SatParameters::clear_add_cg_cuts() {
5711 add_cg_cuts_ =
true;
5712 _has_bits_[3] &= ~0x00020000u;
5714 inline bool SatParameters::_internal_add_cg_cuts()
const {
5715 return add_cg_cuts_;
5717 inline bool SatParameters::add_cg_cuts()
const {
5719 return _internal_add_cg_cuts();
5721 inline void SatParameters::_internal_set_add_cg_cuts(
bool value) {
5722 _has_bits_[3] |= 0x00020000u;
5723 add_cg_cuts_ =
value;
5725 inline void SatParameters::set_add_cg_cuts(
bool value) {
5726 _internal_set_add_cg_cuts(
value);
5731 inline bool SatParameters::_internal_has_add_mir_cuts()
const {
5732 bool value = (_has_bits_[3] & 0x00040000u) != 0;
5735 inline bool SatParameters::has_add_mir_cuts()
const {
5736 return _internal_has_add_mir_cuts();
5738 inline void SatParameters::clear_add_mir_cuts() {
5739 add_mir_cuts_ =
true;
5740 _has_bits_[3] &= ~0x00040000u;
5742 inline bool SatParameters::_internal_add_mir_cuts()
const {
5743 return add_mir_cuts_;
5745 inline bool SatParameters::add_mir_cuts()
const {
5747 return _internal_add_mir_cuts();
5749 inline void SatParameters::_internal_set_add_mir_cuts(
bool value) {
5750 _has_bits_[3] |= 0x00040000u;
5751 add_mir_cuts_ =
value;
5753 inline void SatParameters::set_add_mir_cuts(
bool value) {
5754 _internal_set_add_mir_cuts(
value);
5759 inline bool SatParameters::_internal_has_add_zero_half_cuts()
const {
5760 bool value = (_has_bits_[3] & 0x00080000u) != 0;
5763 inline bool SatParameters::has_add_zero_half_cuts()
const {
5764 return _internal_has_add_zero_half_cuts();
5766 inline void SatParameters::clear_add_zero_half_cuts() {
5767 add_zero_half_cuts_ =
true;
5768 _has_bits_[3] &= ~0x00080000u;
5770 inline bool SatParameters::_internal_add_zero_half_cuts()
const {
5771 return add_zero_half_cuts_;
5773 inline bool SatParameters::add_zero_half_cuts()
const {
5775 return _internal_add_zero_half_cuts();
5777 inline void SatParameters::_internal_set_add_zero_half_cuts(
bool value) {
5778 _has_bits_[3] |= 0x00080000u;
5779 add_zero_half_cuts_ =
value;
5781 inline void SatParameters::set_add_zero_half_cuts(
bool value) {
5782 _internal_set_add_zero_half_cuts(
value);
5787 inline bool SatParameters::_internal_has_add_clique_cuts()
const {
5788 bool value = (_has_bits_[4] & 0x00000008u) != 0;
5791 inline bool SatParameters::has_add_clique_cuts()
const {
5792 return _internal_has_add_clique_cuts();
5794 inline void SatParameters::clear_add_clique_cuts() {
5795 add_clique_cuts_ =
true;
5796 _has_bits_[4] &= ~0x00000008u;
5798 inline bool SatParameters::_internal_add_clique_cuts()
const {
5799 return add_clique_cuts_;
5801 inline bool SatParameters::add_clique_cuts()
const {
5803 return _internal_add_clique_cuts();
5805 inline void SatParameters::_internal_set_add_clique_cuts(
bool value) {
5806 _has_bits_[4] |= 0x00000008u;
5807 add_clique_cuts_ =
value;
5809 inline void SatParameters::set_add_clique_cuts(
bool value) {
5810 _internal_set_add_clique_cuts(
value);
5815 inline bool SatParameters::_internal_has_max_all_diff_cut_size()
const {
5816 bool value = (_has_bits_[4] & 0x00001000u) != 0;
5819 inline bool SatParameters::has_max_all_diff_cut_size()
const {
5820 return _internal_has_max_all_diff_cut_size();
5822 inline void SatParameters::clear_max_all_diff_cut_size() {
5823 max_all_diff_cut_size_ = 7;
5824 _has_bits_[4] &= ~0x00001000u;
5827 return max_all_diff_cut_size_;
5831 return _internal_max_all_diff_cut_size();
5834 _has_bits_[4] |= 0x00001000u;
5835 max_all_diff_cut_size_ =
value;
5838 _internal_set_max_all_diff_cut_size(
value);
5843 inline bool SatParameters::_internal_has_add_lin_max_cuts()
const {
5844 bool value = (_has_bits_[4] & 0x00000010u) != 0;
5847 inline bool SatParameters::has_add_lin_max_cuts()
const {
5848 return _internal_has_add_lin_max_cuts();
5850 inline void SatParameters::clear_add_lin_max_cuts() {
5851 add_lin_max_cuts_ =
true;
5852 _has_bits_[4] &= ~0x00000010u;
5854 inline bool SatParameters::_internal_add_lin_max_cuts()
const {
5855 return add_lin_max_cuts_;
5857 inline bool SatParameters::add_lin_max_cuts()
const {
5859 return _internal_add_lin_max_cuts();
5861 inline void SatParameters::_internal_set_add_lin_max_cuts(
bool value) {
5862 _has_bits_[4] |= 0x00000010u;
5863 add_lin_max_cuts_ =
value;
5865 inline void SatParameters::set_add_lin_max_cuts(
bool value) {
5866 _internal_set_add_lin_max_cuts(
value);
5871 inline bool SatParameters::_internal_has_max_integer_rounding_scaling()
const {
5872 bool value = (_has_bits_[3] & 0x00000400u) != 0;
5875 inline bool SatParameters::has_max_integer_rounding_scaling()
const {
5876 return _internal_has_max_integer_rounding_scaling();
5878 inline void SatParameters::clear_max_integer_rounding_scaling() {
5879 max_integer_rounding_scaling_ = 600;
5880 _has_bits_[3] &= ~0x00000400u;
5883 return max_integer_rounding_scaling_;
5887 return _internal_max_integer_rounding_scaling();
5890 _has_bits_[3] |= 0x00000400u;
5891 max_integer_rounding_scaling_ =
value;
5894 _internal_set_max_integer_rounding_scaling(
value);
5899 inline bool SatParameters::_internal_has_add_lp_constraints_lazily()
const {
5900 bool value = (_has_bits_[4] & 0x00000020u) != 0;
5903 inline bool SatParameters::has_add_lp_constraints_lazily()
const {
5904 return _internal_has_add_lp_constraints_lazily();
5906 inline void SatParameters::clear_add_lp_constraints_lazily() {
5907 add_lp_constraints_lazily_ =
true;
5908 _has_bits_[4] &= ~0x00000020u;
5910 inline bool SatParameters::_internal_add_lp_constraints_lazily()
const {
5911 return add_lp_constraints_lazily_;
5913 inline bool SatParameters::add_lp_constraints_lazily()
const {
5915 return _internal_add_lp_constraints_lazily();
5917 inline void SatParameters::_internal_set_add_lp_constraints_lazily(
bool value) {
5918 _has_bits_[4] |= 0x00000020u;
5919 add_lp_constraints_lazily_ =
value;
5921 inline void SatParameters::set_add_lp_constraints_lazily(
bool value) {
5922 _internal_set_add_lp_constraints_lazily(
value);
5927 inline bool SatParameters::_internal_has_min_orthogonality_for_lp_constraints()
const {
5928 bool value = (_has_bits_[3] & 0x00000200u) != 0;
5931 inline bool SatParameters::has_min_orthogonality_for_lp_constraints()
const {
5932 return _internal_has_min_orthogonality_for_lp_constraints();
5934 inline void SatParameters::clear_min_orthogonality_for_lp_constraints() {
5935 min_orthogonality_for_lp_constraints_ = 0.05;
5936 _has_bits_[3] &= ~0x00000200u;
5938 inline double SatParameters::_internal_min_orthogonality_for_lp_constraints()
const {
5939 return min_orthogonality_for_lp_constraints_;
5941 inline double SatParameters::min_orthogonality_for_lp_constraints()
const {
5943 return _internal_min_orthogonality_for_lp_constraints();
5945 inline void SatParameters::_internal_set_min_orthogonality_for_lp_constraints(
double value) {
5946 _has_bits_[3] |= 0x00000200u;
5947 min_orthogonality_for_lp_constraints_ =
value;
5949 inline void SatParameters::set_min_orthogonality_for_lp_constraints(
double value) {
5950 _internal_set_min_orthogonality_for_lp_constraints(
value);
5955 inline bool SatParameters::_internal_has_max_cut_rounds_at_level_zero()
const {
5956 bool value = (_has_bits_[4] & 0x00008000u) != 0;
5959 inline bool SatParameters::has_max_cut_rounds_at_level_zero()
const {
5960 return _internal_has_max_cut_rounds_at_level_zero();
5962 inline void SatParameters::clear_max_cut_rounds_at_level_zero() {
5963 max_cut_rounds_at_level_zero_ = 1;
5964 _has_bits_[4] &= ~0x00008000u;
5967 return max_cut_rounds_at_level_zero_;
5971 return _internal_max_cut_rounds_at_level_zero();
5974 _has_bits_[4] |= 0x00008000u;
5975 max_cut_rounds_at_level_zero_ =
value;
5978 _internal_set_max_cut_rounds_at_level_zero(
value);
5983 inline bool SatParameters::_internal_has_max_consecutive_inactive_count()
const {
5984 bool value = (_has_bits_[3] & 0x00008000u) != 0;
5987 inline bool SatParameters::has_max_consecutive_inactive_count()
const {
5988 return _internal_has_max_consecutive_inactive_count();
5990 inline void SatParameters::clear_max_consecutive_inactive_count() {
5991 max_consecutive_inactive_count_ = 100;
5992 _has_bits_[3] &= ~0x00008000u;
5995 return max_consecutive_inactive_count_;
5999 return _internal_max_consecutive_inactive_count();
6002 _has_bits_[3] |= 0x00008000u;
6003 max_consecutive_inactive_count_ =
value;
6006 _internal_set_max_consecutive_inactive_count(
value);
6011 inline bool SatParameters::_internal_has_cut_max_active_count_value()
const {
6012 bool value = (_has_bits_[4] & 0x00004000u) != 0;
6015 inline bool SatParameters::has_cut_max_active_count_value()
const {
6016 return _internal_has_cut_max_active_count_value();
6018 inline void SatParameters::clear_cut_max_active_count_value() {
6019 cut_max_active_count_value_ = 10000000000;
6020 _has_bits_[4] &= ~0x00004000u;
6022 inline double SatParameters::_internal_cut_max_active_count_value()
const {
6023 return cut_max_active_count_value_;
6025 inline double SatParameters::cut_max_active_count_value()
const {
6027 return _internal_cut_max_active_count_value();
6029 inline void SatParameters::_internal_set_cut_max_active_count_value(
double value) {
6030 _has_bits_[4] |= 0x00004000u;
6031 cut_max_active_count_value_ =
value;
6033 inline void SatParameters::set_cut_max_active_count_value(
double value) {
6034 _internal_set_cut_max_active_count_value(
value);
6039 inline bool SatParameters::_internal_has_cut_active_count_decay()
const {
6040 bool value = (_has_bits_[4] & 0x00020000u) != 0;
6043 inline bool SatParameters::has_cut_active_count_decay()
const {
6044 return _internal_has_cut_active_count_decay();
6046 inline void SatParameters::clear_cut_active_count_decay() {
6047 cut_active_count_decay_ = 0.8;
6048 _has_bits_[4] &= ~0x00020000u;
6050 inline double SatParameters::_internal_cut_active_count_decay()
const {
6051 return cut_active_count_decay_;
6053 inline double SatParameters::cut_active_count_decay()
const {
6055 return _internal_cut_active_count_decay();
6057 inline void SatParameters::_internal_set_cut_active_count_decay(
double value) {
6058 _has_bits_[4] |= 0x00020000u;
6059 cut_active_count_decay_ =
value;
6061 inline void SatParameters::set_cut_active_count_decay(
double value) {
6062 _internal_set_cut_active_count_decay(
value);
6067 inline bool SatParameters::_internal_has_cut_cleanup_target()
const {
6068 bool value = (_has_bits_[4] & 0x00010000u) != 0;
6071 inline bool SatParameters::has_cut_cleanup_target()
const {
6072 return _internal_has_cut_cleanup_target();
6074 inline void SatParameters::clear_cut_cleanup_target() {
6075 cut_cleanup_target_ = 1000;
6076 _has_bits_[4] &= ~0x00010000u;
6079 return cut_cleanup_target_;
6083 return _internal_cut_cleanup_target();
6086 _has_bits_[4] |= 0x00010000u;
6087 cut_cleanup_target_ =
value;
6090 _internal_set_cut_cleanup_target(
value);
6095 inline bool SatParameters::_internal_has_new_constraints_batch_size()
const {
6096 bool value = (_has_bits_[3] & 0x00200000u) != 0;
6099 inline bool SatParameters::has_new_constraints_batch_size()
const {
6100 return _internal_has_new_constraints_batch_size();
6102 inline void SatParameters::clear_new_constraints_batch_size() {
6103 new_constraints_batch_size_ = 50;
6104 _has_bits_[3] &= ~0x00200000u;
6107 return new_constraints_batch_size_;
6111 return _internal_new_constraints_batch_size();
6114 _has_bits_[3] |= 0x00200000u;
6115 new_constraints_batch_size_ =
value;
6118 _internal_set_new_constraints_batch_size(
value);
6123 inline bool SatParameters::_internal_has_search_branching()
const {
6124 bool value = (_has_bits_[0] & 0x00008000u) != 0;
6127 inline bool SatParameters::has_search_branching()
const {
6128 return _internal_has_search_branching();
6130 inline void SatParameters::clear_search_branching() {
6131 search_branching_ = 0;
6132 _has_bits_[0] &= ~0x00008000u;
6139 return _internal_search_branching();
6143 _has_bits_[0] |= 0x00008000u;
6144 search_branching_ =
value;
6147 _internal_set_search_branching(
value);
6152 inline bool SatParameters::_internal_has_hint_conflict_limit()
const {
6153 bool value = (_has_bits_[4] & 0x00002000u) != 0;
6156 inline bool SatParameters::has_hint_conflict_limit()
const {
6157 return _internal_has_hint_conflict_limit();
6159 inline void SatParameters::clear_hint_conflict_limit() {
6160 hint_conflict_limit_ = 10;
6161 _has_bits_[4] &= ~0x00002000u;
6164 return hint_conflict_limit_;
6168 return _internal_hint_conflict_limit();
6171 _has_bits_[4] |= 0x00002000u;
6172 hint_conflict_limit_ =
value;
6175 _internal_set_hint_conflict_limit(
value);
6180 inline bool SatParameters::_internal_has_repair_hint()
const {
6181 bool value = (_has_bits_[1] & 0x00000008u) != 0;
6184 inline bool SatParameters::has_repair_hint()
const {
6185 return _internal_has_repair_hint();
6187 inline void SatParameters::clear_repair_hint() {
6188 repair_hint_ =
false;
6189 _has_bits_[1] &= ~0x00000008u;
6191 inline bool SatParameters::_internal_repair_hint()
const {
6192 return repair_hint_;
6194 inline bool SatParameters::repair_hint()
const {
6196 return _internal_repair_hint();
6198 inline void SatParameters::_internal_set_repair_hint(
bool value) {
6199 _has_bits_[1] |= 0x00000008u;
6200 repair_hint_ =
value;
6202 inline void SatParameters::set_repair_hint(
bool value) {
6203 _internal_set_repair_hint(
value);
6208 inline bool SatParameters::_internal_has_exploit_integer_lp_solution()
const {
6209 bool value = (_has_bits_[4] & 0x00000040u) != 0;
6212 inline bool SatParameters::has_exploit_integer_lp_solution()
const {
6213 return _internal_has_exploit_integer_lp_solution();
6215 inline void SatParameters::clear_exploit_integer_lp_solution() {
6216 exploit_integer_lp_solution_ =
true;
6217 _has_bits_[4] &= ~0x00000040u;
6219 inline bool SatParameters::_internal_exploit_integer_lp_solution()
const {
6220 return exploit_integer_lp_solution_;
6222 inline bool SatParameters::exploit_integer_lp_solution()
const {
6224 return _internal_exploit_integer_lp_solution();
6226 inline void SatParameters::_internal_set_exploit_integer_lp_solution(
bool value) {
6227 _has_bits_[4] |= 0x00000040u;
6228 exploit_integer_lp_solution_ =
value;
6230 inline void SatParameters::set_exploit_integer_lp_solution(
bool value) {
6231 _internal_set_exploit_integer_lp_solution(
value);
6236 inline bool SatParameters::_internal_has_exploit_all_lp_solution()
const {
6237 bool value = (_has_bits_[3] & 0x00000020u) != 0;
6240 inline bool SatParameters::has_exploit_all_lp_solution()
const {
6241 return _internal_has_exploit_all_lp_solution();
6243 inline void SatParameters::clear_exploit_all_lp_solution() {
6244 exploit_all_lp_solution_ =
true;
6245 _has_bits_[3] &= ~0x00000020u;
6247 inline bool SatParameters::_internal_exploit_all_lp_solution()
const {
6248 return exploit_all_lp_solution_;
6250 inline bool SatParameters::exploit_all_lp_solution()
const {
6252 return _internal_exploit_all_lp_solution();
6254 inline void SatParameters::_internal_set_exploit_all_lp_solution(
bool value) {
6255 _has_bits_[3] |= 0x00000020u;
6256 exploit_all_lp_solution_ =
value;
6258 inline void SatParameters::set_exploit_all_lp_solution(
bool value) {
6259 _internal_set_exploit_all_lp_solution(
value);
6264 inline bool SatParameters::_internal_has_exploit_best_solution()
const {
6265 bool value = (_has_bits_[1] & 0x00000010u) != 0;
6268 inline bool SatParameters::has_exploit_best_solution()
const {
6269 return _internal_has_exploit_best_solution();
6271 inline void SatParameters::clear_exploit_best_solution() {
6272 exploit_best_solution_ =
false;
6273 _has_bits_[1] &= ~0x00000010u;
6275 inline bool SatParameters::_internal_exploit_best_solution()
const {
6276 return exploit_best_solution_;
6278 inline bool SatParameters::exploit_best_solution()
const {
6280 return _internal_exploit_best_solution();
6282 inline void SatParameters::_internal_set_exploit_best_solution(
bool value) {
6283 _has_bits_[1] |= 0x00000010u;
6284 exploit_best_solution_ =
value;
6286 inline void SatParameters::set_exploit_best_solution(
bool value) {
6287 _internal_set_exploit_best_solution(
value);
6292 inline bool SatParameters::_internal_has_exploit_relaxation_solution()
const {
6293 bool value = (_has_bits_[0] & 0x02000000u) != 0;
6296 inline bool SatParameters::has_exploit_relaxation_solution()
const {
6297 return _internal_has_exploit_relaxation_solution();
6299 inline void SatParameters::clear_exploit_relaxation_solution() {
6300 exploit_relaxation_solution_ =
false;
6301 _has_bits_[0] &= ~0x02000000u;
6303 inline bool SatParameters::_internal_exploit_relaxation_solution()
const {
6304 return exploit_relaxation_solution_;
6306 inline bool SatParameters::exploit_relaxation_solution()
const {
6308 return _internal_exploit_relaxation_solution();
6310 inline void SatParameters::_internal_set_exploit_relaxation_solution(
bool value) {
6311 _has_bits_[0] |= 0x02000000u;
6312 exploit_relaxation_solution_ =
value;
6314 inline void SatParameters::set_exploit_relaxation_solution(
bool value) {
6315 _internal_set_exploit_relaxation_solution(
value);
6320 inline bool SatParameters::_internal_has_exploit_objective()
const {
6321 bool value = (_has_bits_[3] & 0x00000040u) != 0;
6324 inline bool SatParameters::has_exploit_objective()
const {
6325 return _internal_has_exploit_objective();
6327 inline void SatParameters::clear_exploit_objective() {
6328 exploit_objective_ =
true;
6329 _has_bits_[3] &= ~0x00000040u;
6331 inline bool SatParameters::_internal_exploit_objective()
const {
6332 return exploit_objective_;
6334 inline bool SatParameters::exploit_objective()
const {
6336 return _internal_exploit_objective();
6338 inline void SatParameters::_internal_set_exploit_objective(
bool value) {
6339 _has_bits_[3] |= 0x00000040u;
6340 exploit_objective_ =
value;
6342 inline void SatParameters::set_exploit_objective(
bool value) {
6343 _internal_set_exploit_objective(
value);
6348 inline bool SatParameters::_internal_has_probing_period_at_root()
const {
6349 bool value = (_has_bits_[1] & 0x00002000u) != 0;
6352 inline bool SatParameters::has_probing_period_at_root()
const {
6353 return _internal_has_probing_period_at_root();
6355 inline void SatParameters::clear_probing_period_at_root() {
6356 probing_period_at_root_ = PROTOBUF_LONGLONG(0);
6357 _has_bits_[1] &= ~0x00002000u;
6360 return probing_period_at_root_;
6364 return _internal_probing_period_at_root();
6367 _has_bits_[1] |= 0x00002000u;
6368 probing_period_at_root_ =
value;
6371 _internal_set_probing_period_at_root(
value);
6376 inline bool SatParameters::_internal_has_pseudo_cost_reliability_threshold()
const {
6377 bool value = (_has_bits_[3] & 0x00100000u) != 0;
6380 inline bool SatParameters::has_pseudo_cost_reliability_threshold()
const {
6381 return _internal_has_pseudo_cost_reliability_threshold();
6383 inline void SatParameters::clear_pseudo_cost_reliability_threshold() {
6384 pseudo_cost_reliability_threshold_ = PROTOBUF_LONGLONG(100);
6385 _has_bits_[3] &= ~0x00100000u;
6388 return pseudo_cost_reliability_threshold_;
6392 return _internal_pseudo_cost_reliability_threshold();
6395 _has_bits_[3] |= 0x00100000u;
6396 pseudo_cost_reliability_threshold_ =
value;
6399 _internal_set_pseudo_cost_reliability_threshold(
value);
6404 inline bool SatParameters::_internal_has_optimize_with_core()
const {
6405 bool value = (_has_bits_[0] & 0x04000000u) != 0;
6408 inline bool SatParameters::has_optimize_with_core()
const {
6409 return _internal_has_optimize_with_core();
6411 inline void SatParameters::clear_optimize_with_core() {
6412 optimize_with_core_ =
false;
6413 _has_bits_[0] &= ~0x04000000u;
6415 inline bool SatParameters::_internal_optimize_with_core()
const {
6416 return optimize_with_core_;
6418 inline bool SatParameters::optimize_with_core()
const {
6420 return _internal_optimize_with_core();
6422 inline void SatParameters::_internal_set_optimize_with_core(
bool value) {
6423 _has_bits_[0] |= 0x04000000u;
6424 optimize_with_core_ =
value;
6426 inline void SatParameters::set_optimize_with_core(
bool value) {
6427 _internal_set_optimize_with_core(
value);
6432 inline bool SatParameters::_internal_has_binary_search_num_conflicts()
const {
6433 bool value = (_has_bits_[3] & 0x00000002u) != 0;
6436 inline bool SatParameters::has_binary_search_num_conflicts()
const {
6437 return _internal_has_binary_search_num_conflicts();
6439 inline void SatParameters::clear_binary_search_num_conflicts() {
6440 binary_search_num_conflicts_ = -1;
6441 _has_bits_[3] &= ~0x00000002u;
6444 return binary_search_num_conflicts_;
6448 return _internal_binary_search_num_conflicts();
6451 _has_bits_[3] |= 0x00000002u;
6452 binary_search_num_conflicts_ =
value;
6455 _internal_set_binary_search_num_conflicts(
value);
6460 inline bool SatParameters::_internal_has_optimize_with_max_hs()
const {
6461 bool value = (_has_bits_[0] & 0x08000000u) != 0;
6464 inline bool SatParameters::has_optimize_with_max_hs()
const {
6465 return _internal_has_optimize_with_max_hs();
6467 inline void SatParameters::clear_optimize_with_max_hs() {
6468 optimize_with_max_hs_ =
false;
6469 _has_bits_[0] &= ~0x08000000u;
6471 inline bool SatParameters::_internal_optimize_with_max_hs()
const {
6472 return optimize_with_max_hs_;
6474 inline bool SatParameters::optimize_with_max_hs()
const {
6476 return _internal_optimize_with_max_hs();
6478 inline void SatParameters::_internal_set_optimize_with_max_hs(
bool value) {
6479 _has_bits_[0] |= 0x08000000u;
6480 optimize_with_max_hs_ =
value;
6482 inline void SatParameters::set_optimize_with_max_hs(
bool value) {
6483 _internal_set_optimize_with_max_hs(
value);
6488 inline bool SatParameters::_internal_has_enumerate_all_solutions()
const {
6489 bool value = (_has_bits_[0] & 0x10000000u) != 0;
6492 inline bool SatParameters::has_enumerate_all_solutions()
const {
6493 return _internal_has_enumerate_all_solutions();
6495 inline void SatParameters::clear_enumerate_all_solutions() {
6496 enumerate_all_solutions_ =
false;
6497 _has_bits_[0] &= ~0x10000000u;
6499 inline bool SatParameters::_internal_enumerate_all_solutions()
const {
6500 return enumerate_all_solutions_;
6502 inline bool SatParameters::enumerate_all_solutions()
const {
6504 return _internal_enumerate_all_solutions();
6506 inline void SatParameters::_internal_set_enumerate_all_solutions(
bool value) {
6507 _has_bits_[0] |= 0x10000000u;
6508 enumerate_all_solutions_ =
value;
6510 inline void SatParameters::set_enumerate_all_solutions(
bool value) {
6511 _internal_set_enumerate_all_solutions(
value);
6516 inline bool SatParameters::_internal_has_fill_tightened_domains_in_response()
const {
6517 bool value = (_has_bits_[1] & 0x00000200u) != 0;
6520 inline bool SatParameters::has_fill_tightened_domains_in_response()
const {
6521 return _internal_has_fill_tightened_domains_in_response();
6523 inline void SatParameters::clear_fill_tightened_domains_in_response() {
6524 fill_tightened_domains_in_response_ =
false;
6525 _has_bits_[1] &= ~0x00000200u;
6527 inline bool SatParameters::_internal_fill_tightened_domains_in_response()
const {
6528 return fill_tightened_domains_in_response_;
6530 inline bool SatParameters::fill_tightened_domains_in_response()
const {
6532 return _internal_fill_tightened_domains_in_response();
6534 inline void SatParameters::_internal_set_fill_tightened_domains_in_response(
bool value) {
6535 _has_bits_[1] |= 0x00000200u;
6536 fill_tightened_domains_in_response_ =
value;
6538 inline void SatParameters::set_fill_tightened_domains_in_response(
bool value) {
6539 _internal_set_fill_tightened_domains_in_response(
value);
6544 inline bool SatParameters::_internal_has_instantiate_all_variables()
const {
6545 bool value = (_has_bits_[3] & 0x00000080u) != 0;
6548 inline bool SatParameters::has_instantiate_all_variables()
const {
6549 return _internal_has_instantiate_all_variables();
6551 inline void SatParameters::clear_instantiate_all_variables() {
6552 instantiate_all_variables_ =
true;
6553 _has_bits_[3] &= ~0x00000080u;
6555 inline bool SatParameters::_internal_instantiate_all_variables()
const {
6556 return instantiate_all_variables_;
6558 inline bool SatParameters::instantiate_all_variables()
const {
6560 return _internal_instantiate_all_variables();
6562 inline void SatParameters::_internal_set_instantiate_all_variables(
bool value) {
6563 _has_bits_[3] |= 0x00000080u;
6564 instantiate_all_variables_ =
value;
6566 inline void SatParameters::set_instantiate_all_variables(
bool value) {
6567 _internal_set_instantiate_all_variables(
value);
6572 inline bool SatParameters::_internal_has_auto_detect_greater_than_at_least_one_of()
const {
6573 bool value = (_has_bits_[3] & 0x00000100u) != 0;
6576 inline bool SatParameters::has_auto_detect_greater_than_at_least_one_of()
const {
6577 return _internal_has_auto_detect_greater_than_at_least_one_of();
6579 inline void SatParameters::clear_auto_detect_greater_than_at_least_one_of() {
6580 auto_detect_greater_than_at_least_one_of_ =
true;
6581 _has_bits_[3] &= ~0x00000100u;
6583 inline bool SatParameters::_internal_auto_detect_greater_than_at_least_one_of()
const {
6584 return auto_detect_greater_than_at_least_one_of_;
6586 inline bool SatParameters::auto_detect_greater_than_at_least_one_of()
const {
6588 return _internal_auto_detect_greater_than_at_least_one_of();
6590 inline void SatParameters::_internal_set_auto_detect_greater_than_at_least_one_of(
bool value) {
6591 _has_bits_[3] |= 0x00000100u;
6592 auto_detect_greater_than_at_least_one_of_ =
value;
6594 inline void SatParameters::set_auto_detect_greater_than_at_least_one_of(
bool value) {
6595 _internal_set_auto_detect_greater_than_at_least_one_of(
value);
6600 inline bool SatParameters::_internal_has_stop_after_first_solution()
const {
6601 bool value = (_has_bits_[1] & 0x00000400u) != 0;
6604 inline bool SatParameters::has_stop_after_first_solution()
const {
6605 return _internal_has_stop_after_first_solution();
6607 inline void SatParameters::clear_stop_after_first_solution() {
6608 stop_after_first_solution_ =
false;
6609 _has_bits_[1] &= ~0x00000400u;
6611 inline bool SatParameters::_internal_stop_after_first_solution()
const {
6612 return stop_after_first_solution_;
6614 inline bool SatParameters::stop_after_first_solution()
const {
6616 return _internal_stop_after_first_solution();
6618 inline void SatParameters::_internal_set_stop_after_first_solution(
bool value) {
6619 _has_bits_[1] |= 0x00000400u;
6620 stop_after_first_solution_ =
value;
6622 inline void SatParameters::set_stop_after_first_solution(
bool value) {
6623 _internal_set_stop_after_first_solution(
value);
6628 inline bool SatParameters::_internal_has_stop_after_presolve()
const {
6629 bool value = (_has_bits_[1] & 0x00000800u) != 0;
6632 inline bool SatParameters::has_stop_after_presolve()
const {
6633 return _internal_has_stop_after_presolve();
6635 inline void SatParameters::clear_stop_after_presolve() {
6636 stop_after_presolve_ =
false;
6637 _has_bits_[1] &= ~0x00000800u;
6639 inline bool SatParameters::_internal_stop_after_presolve()
const {
6640 return stop_after_presolve_;
6642 inline bool SatParameters::stop_after_presolve()
const {
6644 return _internal_stop_after_presolve();
6646 inline void SatParameters::_internal_set_stop_after_presolve(
bool value) {
6647 _has_bits_[1] |= 0x00000800u;
6648 stop_after_presolve_ =
value;
6650 inline void SatParameters::set_stop_after_presolve(
bool value) {
6651 _internal_set_stop_after_presolve(
value);
6656 inline bool SatParameters::_internal_has_num_search_workers()
const {
6657 bool value = (_has_bits_[3] & 0x00000004u) != 0;
6660 inline bool SatParameters::has_num_search_workers()
const {
6661 return _internal_has_num_search_workers();
6663 inline void SatParameters::clear_num_search_workers() {
6664 num_search_workers_ = 1;
6665 _has_bits_[3] &= ~0x00000004u;
6668 return num_search_workers_;
6672 return _internal_num_search_workers();
6675 _has_bits_[3] |= 0x00000004u;
6676 num_search_workers_ =
value;
6679 _internal_set_num_search_workers(
value);
6684 inline bool SatParameters::_internal_has_interleave_search()
const {
6685 bool value = (_has_bits_[1] & 0x00001000u) != 0;
6688 inline bool SatParameters::has_interleave_search()
const {
6689 return _internal_has_interleave_search();
6691 inline void SatParameters::clear_interleave_search() {
6692 interleave_search_ =
false;
6693 _has_bits_[1] &= ~0x00001000u;
6695 inline bool SatParameters::_internal_interleave_search()
const {
6696 return interleave_search_;
6698 inline bool SatParameters::interleave_search()
const {
6700 return _internal_interleave_search();
6702 inline void SatParameters::_internal_set_interleave_search(
bool value) {
6703 _has_bits_[1] |= 0x00001000u;
6704 interleave_search_ =
value;
6706 inline void SatParameters::set_interleave_search(
bool value) {
6707 _internal_set_interleave_search(
value);
6712 inline bool SatParameters::_internal_has_interleave_batch_size()
const {
6713 bool value = (_has_bits_[4] & 0x00000080u) != 0;
6716 inline bool SatParameters::has_interleave_batch_size()
const {
6717 return _internal_has_interleave_batch_size();
6719 inline void SatParameters::clear_interleave_batch_size() {
6720 interleave_batch_size_ = 1;
6721 _has_bits_[4] &= ~0x00000080u;
6724 return interleave_batch_size_;
6728 return _internal_interleave_batch_size();
6731 _has_bits_[4] |= 0x00000080u;
6732 interleave_batch_size_ =
value;
6735 _internal_set_interleave_batch_size(
value);
6740 inline bool SatParameters::_internal_has_reduce_memory_usage_in_interleave_mode()
const {
6741 bool value = (_has_bits_[0] & 0x20000000u) != 0;
6744 inline bool SatParameters::has_reduce_memory_usage_in_interleave_mode()
const {
6745 return _internal_has_reduce_memory_usage_in_interleave_mode();
6747 inline void SatParameters::clear_reduce_memory_usage_in_interleave_mode() {
6748 reduce_memory_usage_in_interleave_mode_ =
false;
6749 _has_bits_[0] &= ~0x20000000u;
6751 inline bool SatParameters::_internal_reduce_memory_usage_in_interleave_mode()
const {
6752 return reduce_memory_usage_in_interleave_mode_;
6754 inline bool SatParameters::reduce_memory_usage_in_interleave_mode()
const {
6756 return _internal_reduce_memory_usage_in_interleave_mode();
6758 inline void SatParameters::_internal_set_reduce_memory_usage_in_interleave_mode(
bool value) {
6759 _has_bits_[0] |= 0x20000000u;
6760 reduce_memory_usage_in_interleave_mode_ =
value;
6762 inline void SatParameters::set_reduce_memory_usage_in_interleave_mode(
bool value) {
6763 _internal_set_reduce_memory_usage_in_interleave_mode(
value);
6768 inline bool SatParameters::_internal_has_share_objective_bounds()
const {
6769 bool value = (_has_bits_[3] & 0x80000000u) != 0;
6772 inline bool SatParameters::has_share_objective_bounds()
const {
6773 return _internal_has_share_objective_bounds();
6775 inline void SatParameters::clear_share_objective_bounds() {
6776 share_objective_bounds_ =
true;
6777 _has_bits_[3] &= ~0x80000000u;
6779 inline bool SatParameters::_internal_share_objective_bounds()
const {
6780 return share_objective_bounds_;
6782 inline bool SatParameters::share_objective_bounds()
const {
6784 return _internal_share_objective_bounds();
6786 inline void SatParameters::_internal_set_share_objective_bounds(
bool value) {
6787 _has_bits_[3] |= 0x80000000u;
6788 share_objective_bounds_ =
value;
6790 inline void SatParameters::set_share_objective_bounds(
bool value) {
6791 _internal_set_share_objective_bounds(
value);
6796 inline bool SatParameters::_internal_has_share_level_zero_bounds()
const {
6797 bool value = (_has_bits_[4] & 0x00000001u) != 0;
6800 inline bool SatParameters::has_share_level_zero_bounds()
const {
6801 return _internal_has_share_level_zero_bounds();
6803 inline void SatParameters::clear_share_level_zero_bounds() {
6804 share_level_zero_bounds_ =
true;
6805 _has_bits_[4] &= ~0x00000001u;
6807 inline bool SatParameters::_internal_share_level_zero_bounds()
const {
6808 return share_level_zero_bounds_;
6810 inline bool SatParameters::share_level_zero_bounds()
const {
6812 return _internal_share_level_zero_bounds();
6814 inline void SatParameters::_internal_set_share_level_zero_bounds(
bool value) {
6815 _has_bits_[4] |= 0x00000001u;
6816 share_level_zero_bounds_ =
value;
6818 inline void SatParameters::set_share_level_zero_bounds(
bool value) {
6819 _internal_set_share_level_zero_bounds(
value);
6824 inline bool SatParameters::_internal_has_use_lns_only()
const {
6825 bool value = (_has_bits_[0] & 0x40000000u) != 0;
6828 inline bool SatParameters::has_use_lns_only()
const {
6829 return _internal_has_use_lns_only();
6831 inline void SatParameters::clear_use_lns_only() {
6832 use_lns_only_ =
false;
6833 _has_bits_[0] &= ~0x40000000u;
6835 inline bool SatParameters::_internal_use_lns_only()
const {
6836 return use_lns_only_;
6838 inline bool SatParameters::use_lns_only()
const {
6840 return _internal_use_lns_only();
6842 inline void SatParameters::_internal_set_use_lns_only(
bool value) {
6843 _has_bits_[0] |= 0x40000000u;
6844 use_lns_only_ =
value;
6846 inline void SatParameters::set_use_lns_only(
bool value) {
6847 _internal_set_use_lns_only(
value);
6852 inline bool SatParameters::_internal_has_lns_focus_on_decision_variables()
const {
6853 bool value = (_has_bits_[0] & 0x80000000u) != 0;
6856 inline bool SatParameters::has_lns_focus_on_decision_variables()
const {
6857 return _internal_has_lns_focus_on_decision_variables();
6859 inline void SatParameters::clear_lns_focus_on_decision_variables() {
6860 lns_focus_on_decision_variables_ =
false;
6861 _has_bits_[0] &= ~0x80000000u;
6863 inline bool SatParameters::_internal_lns_focus_on_decision_variables()
const {
6864 return lns_focus_on_decision_variables_;
6866 inline bool SatParameters::lns_focus_on_decision_variables()
const {
6868 return _internal_lns_focus_on_decision_variables();
6870 inline void SatParameters::_internal_set_lns_focus_on_decision_variables(
bool value) {
6871 _has_bits_[0] |= 0x80000000u;
6872 lns_focus_on_decision_variables_ =
value;
6874 inline void SatParameters::set_lns_focus_on_decision_variables(
bool value) {
6875 _internal_set_lns_focus_on_decision_variables(
value);
6880 inline bool SatParameters::_internal_has_use_rins_lns()
const {
6881 bool value = (_has_bits_[4] & 0x00000002u) != 0;
6884 inline bool SatParameters::has_use_rins_lns()
const {
6885 return _internal_has_use_rins_lns();
6887 inline void SatParameters::clear_use_rins_lns() {
6888 use_rins_lns_ =
true;
6889 _has_bits_[4] &= ~0x00000002u;
6891 inline bool SatParameters::_internal_use_rins_lns()
const {
6892 return use_rins_lns_;
6894 inline bool SatParameters::use_rins_lns()
const {
6896 return _internal_use_rins_lns();
6898 inline void SatParameters::_internal_set_use_rins_lns(
bool value) {
6899 _has_bits_[4] |= 0x00000002u;
6900 use_rins_lns_ =
value;
6902 inline void SatParameters::set_use_rins_lns(
bool value) {
6903 _internal_set_use_rins_lns(
value);
6908 inline bool SatParameters::_internal_has_use_feasibility_pump()
const {
6909 bool value = (_has_bits_[4] & 0x00000004u) != 0;
6912 inline bool SatParameters::has_use_feasibility_pump()
const {
6913 return _internal_has_use_feasibility_pump();
6915 inline void SatParameters::clear_use_feasibility_pump() {
6916 use_feasibility_pump_ =
true;
6917 _has_bits_[4] &= ~0x00000004u;
6919 inline bool SatParameters::_internal_use_feasibility_pump()
const {
6920 return use_feasibility_pump_;
6922 inline bool SatParameters::use_feasibility_pump()
const {
6924 return _internal_use_feasibility_pump();
6926 inline void SatParameters::_internal_set_use_feasibility_pump(
bool value) {
6927 _has_bits_[4] |= 0x00000004u;
6928 use_feasibility_pump_ =
value;
6930 inline void SatParameters::set_use_feasibility_pump(
bool value) {
6931 _internal_set_use_feasibility_pump(
value);
6936 inline bool SatParameters::_internal_has_fp_rounding()
const {
6937 bool value = (_has_bits_[4] & 0x00040000u) != 0;
6940 inline bool SatParameters::has_fp_rounding()
const {
6941 return _internal_has_fp_rounding();
6943 inline void SatParameters::clear_fp_rounding() {
6945 _has_bits_[4] &= ~0x00040000u;
6952 return _internal_fp_rounding();
6956 _has_bits_[4] |= 0x00040000u;
6957 fp_rounding_ =
value;
6960 _internal_set_fp_rounding(
value);
6965 inline bool SatParameters::_internal_has_use_relaxation_lns()
const {
6966 bool value = (_has_bits_[1] & 0x00000001u) != 0;
6969 inline bool SatParameters::has_use_relaxation_lns()
const {
6970 return _internal_has_use_relaxation_lns();
6972 inline void SatParameters::clear_use_relaxation_lns() {
6973 use_relaxation_lns_ =
false;
6974 _has_bits_[1] &= ~0x00000001u;
6976 inline bool SatParameters::_internal_use_relaxation_lns()
const {
6977 return use_relaxation_lns_;
6979 inline bool SatParameters::use_relaxation_lns()
const {
6981 return _internal_use_relaxation_lns();
6983 inline void SatParameters::_internal_set_use_relaxation_lns(
bool value) {
6984 _has_bits_[1] |= 0x00000001u;
6985 use_relaxation_lns_ =
value;
6987 inline void SatParameters::set_use_relaxation_lns(
bool value) {
6988 _internal_set_use_relaxation_lns(
value);
6993 inline bool SatParameters::_internal_has_diversify_lns_params()
const {
6994 bool value = (_has_bits_[1] & 0x00000020u) != 0;
6997 inline bool SatParameters::has_diversify_lns_params()
const {
6998 return _internal_has_diversify_lns_params();
7000 inline void SatParameters::clear_diversify_lns_params() {
7001 diversify_lns_params_ =
false;
7002 _has_bits_[1] &= ~0x00000020u;
7004 inline bool SatParameters::_internal_diversify_lns_params()
const {
7005 return diversify_lns_params_;
7007 inline bool SatParameters::diversify_lns_params()
const {
7009 return _internal_diversify_lns_params();
7011 inline void SatParameters::_internal_set_diversify_lns_params(
bool value) {
7012 _has_bits_[1] |= 0x00000020u;
7013 diversify_lns_params_ =
value;
7015 inline void SatParameters::set_diversify_lns_params(
bool value) {
7016 _internal_set_diversify_lns_params(
value);
7021 inline bool SatParameters::_internal_has_randomize_search()
const {
7022 bool value = (_has_bits_[1] & 0x00000040u) != 0;
7025 inline bool SatParameters::has_randomize_search()
const {
7026 return _internal_has_randomize_search();
7028 inline void SatParameters::clear_randomize_search() {
7029 randomize_search_ =
false;
7030 _has_bits_[1] &= ~0x00000040u;
7032 inline bool SatParameters::_internal_randomize_search()
const {
7033 return randomize_search_;
7035 inline bool SatParameters::randomize_search()
const {
7037 return _internal_randomize_search();
7039 inline void SatParameters::_internal_set_randomize_search(
bool value) {
7040 _has_bits_[1] |= 0x00000040u;
7041 randomize_search_ =
value;
7043 inline void SatParameters::set_randomize_search(
bool value) {
7044 _internal_set_randomize_search(
value);
7049 inline bool SatParameters::_internal_has_search_randomization_tolerance()
const {
7050 bool value = (_has_bits_[0] & 0x00100000u) != 0;
7053 inline bool SatParameters::has_search_randomization_tolerance()
const {
7054 return _internal_has_search_randomization_tolerance();
7056 inline void SatParameters::clear_search_randomization_tolerance() {
7057 search_randomization_tolerance_ = PROTOBUF_LONGLONG(0);
7058 _has_bits_[0] &= ~0x00100000u;
7061 return search_randomization_tolerance_;
7065 return _internal_search_randomization_tolerance();
7068 _has_bits_[0] |= 0x00100000u;
7069 search_randomization_tolerance_ =
value;
7072 _internal_set_search_randomization_tolerance(
value);
7077 inline bool SatParameters::_internal_has_use_optional_variables()
const {
7078 bool value = (_has_bits_[3] & 0x00400000u) != 0;
7081 inline bool SatParameters::has_use_optional_variables()
const {
7082 return _internal_has_use_optional_variables();
7084 inline void SatParameters::clear_use_optional_variables() {
7085 use_optional_variables_ =
true;
7086 _has_bits_[3] &= ~0x00400000u;
7088 inline bool SatParameters::_internal_use_optional_variables()
const {
7089 return use_optional_variables_;
7091 inline bool SatParameters::use_optional_variables()
const {
7093 return _internal_use_optional_variables();
7095 inline void SatParameters::_internal_set_use_optional_variables(
bool value) {
7096 _has_bits_[3] |= 0x00400000u;
7097 use_optional_variables_ =
value;
7099 inline void SatParameters::set_use_optional_variables(
bool value) {
7100 _internal_set_use_optional_variables(
value);
7105 inline bool SatParameters::_internal_has_use_exact_lp_reason()
const {
7106 bool value = (_has_bits_[3] & 0x00800000u) != 0;
7109 inline bool SatParameters::has_use_exact_lp_reason()
const {
7110 return _internal_has_use_exact_lp_reason();
7112 inline void SatParameters::clear_use_exact_lp_reason() {
7113 use_exact_lp_reason_ =
true;
7114 _has_bits_[3] &= ~0x00800000u;
7116 inline bool SatParameters::_internal_use_exact_lp_reason()
const {
7117 return use_exact_lp_reason_;
7119 inline bool SatParameters::use_exact_lp_reason()
const {
7121 return _internal_use_exact_lp_reason();
7123 inline void SatParameters::_internal_set_use_exact_lp_reason(
bool value) {
7124 _has_bits_[3] |= 0x00800000u;
7125 use_exact_lp_reason_ =
value;
7127 inline void SatParameters::set_use_exact_lp_reason(
bool value) {
7128 _internal_set_use_exact_lp_reason(
value);
7133 inline bool SatParameters::_internal_has_use_branching_in_lp()
const {
7134 bool value = (_has_bits_[1] & 0x00000080u) != 0;
7137 inline bool SatParameters::has_use_branching_in_lp()
const {
7138 return _internal_has_use_branching_in_lp();
7140 inline void SatParameters::clear_use_branching_in_lp() {
7141 use_branching_in_lp_ =
false;
7142 _has_bits_[1] &= ~0x00000080u;
7144 inline bool SatParameters::_internal_use_branching_in_lp()
const {
7145 return use_branching_in_lp_;
7147 inline bool SatParameters::use_branching_in_lp()
const {
7149 return _internal_use_branching_in_lp();
7151 inline void SatParameters::_internal_set_use_branching_in_lp(
bool value) {
7152 _has_bits_[1] |= 0x00000080u;
7153 use_branching_in_lp_ =
value;
7155 inline void SatParameters::set_use_branching_in_lp(
bool value) {
7156 _internal_set_use_branching_in_lp(
value);
7161 inline bool SatParameters::_internal_has_use_combined_no_overlap()
const {
7162 bool value = (_has_bits_[1] & 0x00000100u) != 0;
7165 inline bool SatParameters::has_use_combined_no_overlap()
const {
7166 return _internal_has_use_combined_no_overlap();
7168 inline void SatParameters::clear_use_combined_no_overlap() {
7169 use_combined_no_overlap_ =
false;
7170 _has_bits_[1] &= ~0x00000100u;
7172 inline bool SatParameters::_internal_use_combined_no_overlap()
const {
7173 return use_combined_no_overlap_;
7175 inline bool SatParameters::use_combined_no_overlap()
const {
7177 return _internal_use_combined_no_overlap();
7179 inline void SatParameters::_internal_set_use_combined_no_overlap(
bool value) {
7180 _has_bits_[1] |= 0x00000100u;
7181 use_combined_no_overlap_ =
value;
7183 inline void SatParameters::set_use_combined_no_overlap(
bool value) {
7184 _internal_set_use_combined_no_overlap(
value);
7189 inline bool SatParameters::_internal_has_catch_sigint_signal()
const {
7190 bool value = (_has_bits_[3] & 0x01000000u) != 0;
7193 inline bool SatParameters::has_catch_sigint_signal()
const {
7194 return _internal_has_catch_sigint_signal();
7196 inline void SatParameters::clear_catch_sigint_signal() {
7197 catch_sigint_signal_ =
true;
7198 _has_bits_[3] &= ~0x01000000u;
7200 inline bool SatParameters::_internal_catch_sigint_signal()
const {
7201 return catch_sigint_signal_;
7203 inline bool SatParameters::catch_sigint_signal()
const {
7205 return _internal_catch_sigint_signal();
7207 inline void SatParameters::_internal_set_catch_sigint_signal(
bool value) {
7208 _has_bits_[3] |= 0x01000000u;
7209 catch_sigint_signal_ =
value;
7211 inline void SatParameters::set_catch_sigint_signal(
bool value) {
7212 _internal_set_catch_sigint_signal(
value);
7217 inline bool SatParameters::_internal_has_use_implied_bounds()
const {
7218 bool value = (_has_bits_[3] & 0x02000000u) != 0;
7221 inline bool SatParameters::has_use_implied_bounds()
const {
7222 return _internal_has_use_implied_bounds();
7224 inline void SatParameters::clear_use_implied_bounds() {
7225 use_implied_bounds_ =
true;
7226 _has_bits_[3] &= ~0x02000000u;
7228 inline bool SatParameters::_internal_use_implied_bounds()
const {
7229 return use_implied_bounds_;
7231 inline bool SatParameters::use_implied_bounds()
const {
7233 return _internal_use_implied_bounds();
7235 inline void SatParameters::_internal_set_use_implied_bounds(
bool value) {
7236 _has_bits_[3] |= 0x02000000u;
7237 use_implied_bounds_ =
value;
7239 inline void SatParameters::set_use_implied_bounds(
bool value) {
7240 _internal_set_use_implied_bounds(
value);
7245 inline bool SatParameters::_internal_has_mip_max_bound()
const {
7246 bool value = (_has_bits_[3] & 0x04000000u) != 0;
7249 inline bool SatParameters::has_mip_max_bound()
const {
7250 return _internal_has_mip_max_bound();
7252 inline void SatParameters::clear_mip_max_bound() {
7253 mip_max_bound_ = 10000000;
7254 _has_bits_[3] &= ~0x04000000u;
7256 inline double SatParameters::_internal_mip_max_bound()
const {
7257 return mip_max_bound_;
7259 inline double SatParameters::mip_max_bound()
const {
7261 return _internal_mip_max_bound();
7263 inline void SatParameters::_internal_set_mip_max_bound(
double value) {
7264 _has_bits_[3] |= 0x04000000u;
7265 mip_max_bound_ =
value;
7267 inline void SatParameters::set_mip_max_bound(
double value) {
7268 _internal_set_mip_max_bound(
value);
7273 inline bool SatParameters::_internal_has_mip_var_scaling()
const {
7274 bool value = (_has_bits_[3] & 0x08000000u) != 0;
7277 inline bool SatParameters::has_mip_var_scaling()
const {
7278 return _internal_has_mip_var_scaling();
7280 inline void SatParameters::clear_mip_var_scaling() {
7281 mip_var_scaling_ = 1;
7282 _has_bits_[3] &= ~0x08000000u;
7284 inline double SatParameters::_internal_mip_var_scaling()
const {
7285 return mip_var_scaling_;
7287 inline double SatParameters::mip_var_scaling()
const {
7289 return _internal_mip_var_scaling();
7291 inline void SatParameters::_internal_set_mip_var_scaling(
double value) {
7292 _has_bits_[3] |= 0x08000000u;
7293 mip_var_scaling_ =
value;
7295 inline void SatParameters::set_mip_var_scaling(
double value) {
7296 _internal_set_mip_var_scaling(
value);
7301 inline bool SatParameters::_internal_has_mip_automatically_scale_variables()
const {
7302 bool value = (_has_bits_[4] & 0x00080000u) != 0;
7305 inline bool SatParameters::has_mip_automatically_scale_variables()
const {
7306 return _internal_has_mip_automatically_scale_variables();
7308 inline void SatParameters::clear_mip_automatically_scale_variables() {
7309 mip_automatically_scale_variables_ =
true;
7310 _has_bits_[4] &= ~0x00080000u;
7312 inline bool SatParameters::_internal_mip_automatically_scale_variables()
const {
7313 return mip_automatically_scale_variables_;
7315 inline bool SatParameters::mip_automatically_scale_variables()
const {
7317 return _internal_mip_automatically_scale_variables();
7319 inline void SatParameters::_internal_set_mip_automatically_scale_variables(
bool value) {
7320 _has_bits_[4] |= 0x00080000u;
7321 mip_automatically_scale_variables_ =
value;
7323 inline void SatParameters::set_mip_automatically_scale_variables(
bool value) {
7324 _internal_set_mip_automatically_scale_variables(
value);
7329 inline bool SatParameters::_internal_has_mip_wanted_precision()
const {
7330 bool value = (_has_bits_[3] & 0x10000000u) != 0;
7333 inline bool SatParameters::has_mip_wanted_precision()
const {
7334 return _internal_has_mip_wanted_precision();
7336 inline void SatParameters::clear_mip_wanted_precision() {
7337 mip_wanted_precision_ = 1e-06;
7338 _has_bits_[3] &= ~0x10000000u;
7340 inline double SatParameters::_internal_mip_wanted_precision()
const {
7341 return mip_wanted_precision_;
7343 inline double SatParameters::mip_wanted_precision()
const {
7345 return _internal_mip_wanted_precision();
7347 inline void SatParameters::_internal_set_mip_wanted_precision(
double value) {
7348 _has_bits_[3] |= 0x10000000u;
7349 mip_wanted_precision_ =
value;
7351 inline void SatParameters::set_mip_wanted_precision(
double value) {
7352 _internal_set_mip_wanted_precision(
value);
7357 inline bool SatParameters::_internal_has_mip_max_activity_exponent()
const {
7358 bool value = (_has_bits_[3] & 0x40000000u) != 0;
7361 inline bool SatParameters::has_mip_max_activity_exponent()
const {
7362 return _internal_has_mip_max_activity_exponent();
7364 inline void SatParameters::clear_mip_max_activity_exponent() {
7365 mip_max_activity_exponent_ = 53;
7366 _has_bits_[3] &= ~0x40000000u;
7369 return mip_max_activity_exponent_;
7373 return _internal_mip_max_activity_exponent();
7376 _has_bits_[3] |= 0x40000000u;
7377 mip_max_activity_exponent_ =
value;
7380 _internal_set_mip_max_activity_exponent(
value);
7385 inline bool SatParameters::_internal_has_mip_check_precision()
const {
7386 bool value = (_has_bits_[3] & 0x20000000u) != 0;
7389 inline bool SatParameters::has_mip_check_precision()
const {
7390 return _internal_has_mip_check_precision();
7392 inline void SatParameters::clear_mip_check_precision() {
7393 mip_check_precision_ = 0.001;
7394 _has_bits_[3] &= ~0x20000000u;
7396 inline double SatParameters::_internal_mip_check_precision()
const {
7397 return mip_check_precision_;
7399 inline double SatParameters::mip_check_precision()
const {
7401 return _internal_mip_check_precision();
7403 inline void SatParameters::_internal_set_mip_check_precision(
double value) {
7404 _has_bits_[3] |= 0x20000000u;
7405 mip_check_precision_ =
value;
7407 inline void SatParameters::set_mip_check_precision(
double value) {
7408 _internal_set_mip_check_precision(
value);
7413 #pragma GCC diagnostic pop
7421 PROTOBUF_NAMESPACE_OPEN
7425 inline const EnumDescriptor* GetEnumDescriptor< ::operations_research::sat::SatParameters_VariableOrder>() {
7430 inline const EnumDescriptor* GetEnumDescriptor< ::operations_research::sat::SatParameters_Polarity>() {
7435 inline const EnumDescriptor* GetEnumDescriptor< ::operations_research::sat::SatParameters_ConflictMinimizationAlgorithm>() {
7440 inline const EnumDescriptor* GetEnumDescriptor< ::operations_research::sat::SatParameters_BinaryMinizationAlgorithm>() {
7445 inline const EnumDescriptor* GetEnumDescriptor< ::operations_research::sat::SatParameters_ClauseProtection>() {
7450 inline const EnumDescriptor* GetEnumDescriptor< ::operations_research::sat::SatParameters_ClauseOrdering>() {
7455 inline const EnumDescriptor* GetEnumDescriptor< ::operations_research::sat::SatParameters_RestartAlgorithm>() {
7460 inline const EnumDescriptor* GetEnumDescriptor< ::operations_research::sat::SatParameters_MaxSatAssumptionOrder>() {
7465 inline const EnumDescriptor* GetEnumDescriptor< ::operations_research::sat::SatParameters_MaxSatStratificationAlgorithm>() {
7470 inline const EnumDescriptor* GetEnumDescriptor< ::operations_research::sat::SatParameters_SearchBranching>() {
7475 inline const EnumDescriptor* GetEnumDescriptor< ::operations_research::sat::SatParameters_FPRoundingMethod>() {
7479 PROTOBUF_NAMESPACE_CLOSE
7483 #include <google/protobuf/port_undef.inc>
7484 #endif // GOOGLE_PROTOBUF_INCLUDED_GOOGLE_PROTOBUF_INCLUDED_ortools_2fsat_2fsat_5fparameters_2eproto