313 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
317 private static readonly pb::MessageParser<SatParameters> _parser =
new pb::MessageParser<SatParameters>(() =>
new SatParameters());
318 private pb::UnknownFieldSet _unknownFields;
319 private int _hasBits0;
320 private int _hasBits1;
321 private int _hasBits2;
322 private int _hasBits3;
323 private int _hasBits4;
324 private int _hasBits5;
325 private int _hasBits6;
326 private int _hasBits7;
327 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
328 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
329 public static pb::MessageParser<SatParameters>
Parser {
get {
return _parser; } }
331 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
332 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
333 public static pbr::MessageDescriptor
Descriptor {
334 get {
return global::Google.OrTools.Sat.SatParametersReflection.Descriptor.MessageTypes[0]; }
337 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
338 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
339 pbr::MessageDescriptor pb::IMessage.Descriptor {
343 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
344 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
349 partial
void OnConstruction();
351 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
352 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
354 _hasBits0 = other._hasBits0;
355 _hasBits1 = other._hasBits1;
356 _hasBits2 = other._hasBits2;
357 _hasBits3 = other._hasBits3;
358 _hasBits4 = other._hasBits4;
359 _hasBits5 = other._hasBits5;
360 _hasBits6 = other._hasBits6;
361 _hasBits7 = other._hasBits7;
363 preferredVariableOrder_ = other.preferredVariableOrder_;
364 initialPolarity_ = other.initialPolarity_;
365 usePhaseSaving_ = other.usePhaseSaving_;
366 polarityRephaseIncrement_ = other.polarityRephaseIncrement_;
367 randomPolarityRatio_ = other.randomPolarityRatio_;
368 randomBranchesRatio_ = other.randomBranchesRatio_;
369 useErwaHeuristic_ = other.useErwaHeuristic_;
370 initialVariablesActivity_ = other.initialVariablesActivity_;
371 alsoBumpVariablesInConflictReasons_ = other.alsoBumpVariablesInConflictReasons_;
372 minimizationAlgorithm_ = other.minimizationAlgorithm_;
373 binaryMinimizationAlgorithm_ = other.binaryMinimizationAlgorithm_;
374 subsumptionDuringConflictAnalysis_ = other.subsumptionDuringConflictAnalysis_;
375 clauseCleanupPeriod_ = other.clauseCleanupPeriod_;
376 clauseCleanupTarget_ = other.clauseCleanupTarget_;
377 clauseCleanupRatio_ = other.clauseCleanupRatio_;
378 clauseCleanupProtection_ = other.clauseCleanupProtection_;
379 clauseCleanupLbdBound_ = other.clauseCleanupLbdBound_;
380 clauseCleanupOrdering_ = other.clauseCleanupOrdering_;
381 pbCleanupIncrement_ = other.pbCleanupIncrement_;
382 pbCleanupRatio_ = other.pbCleanupRatio_;
383 variableActivityDecay_ = other.variableActivityDecay_;
384 maxVariableActivityValue_ = other.maxVariableActivityValue_;
385 glucoseMaxDecay_ = other.glucoseMaxDecay_;
386 glucoseDecayIncrement_ = other.glucoseDecayIncrement_;
387 glucoseDecayIncrementPeriod_ = other.glucoseDecayIncrementPeriod_;
388 clauseActivityDecay_ = other.clauseActivityDecay_;
389 maxClauseActivityValue_ = other.maxClauseActivityValue_;
390 restartAlgorithms_ = other.restartAlgorithms_.Clone();
391 defaultRestartAlgorithms_ = other.defaultRestartAlgorithms_;
392 restartPeriod_ = other.restartPeriod_;
393 restartRunningWindowSize_ = other.restartRunningWindowSize_;
394 restartDlAverageRatio_ = other.restartDlAverageRatio_;
395 restartLbdAverageRatio_ = other.restartLbdAverageRatio_;
396 useBlockingRestart_ = other.useBlockingRestart_;
397 blockingRestartWindowSize_ = other.blockingRestartWindowSize_;
398 blockingRestartMultiplier_ = other.blockingRestartMultiplier_;
399 numConflictsBeforeStrategyChanges_ = other.numConflictsBeforeStrategyChanges_;
400 strategyChangeIncreaseRatio_ = other.strategyChangeIncreaseRatio_;
401 maxTimeInSeconds_ = other.maxTimeInSeconds_;
402 maxDeterministicTime_ = other.maxDeterministicTime_;
403 maxNumberOfConflicts_ = other.maxNumberOfConflicts_;
404 maxMemoryInMb_ = other.maxMemoryInMb_;
405 absoluteGapLimit_ = other.absoluteGapLimit_;
406 relativeGapLimit_ = other.relativeGapLimit_;
407 randomSeed_ = other.randomSeed_;
408 permuteVariableRandomly_ = other.permuteVariableRandomly_;
409 permutePresolveConstraintOrder_ = other.permutePresolveConstraintOrder_;
410 useAbslRandom_ = other.useAbslRandom_;
411 logSearchProgress_ = other.logSearchProgress_;
412 logSubsolverStatistics_ = other.logSubsolverStatistics_;
413 logPrefix_ = other.logPrefix_;
414 logToStdout_ = other.logToStdout_;
415 logToResponse_ = other.logToResponse_;
416 usePbResolution_ = other.usePbResolution_;
417 minimizeReductionDuringPbResolution_ = other.minimizeReductionDuringPbResolution_;
418 countAssumptionLevelsInLbd_ = other.countAssumptionLevelsInLbd_;
419 presolveBveThreshold_ = other.presolveBveThreshold_;
420 presolveBveClauseWeight_ = other.presolveBveClauseWeight_;
421 probingDeterministicTimeLimit_ = other.probingDeterministicTimeLimit_;
422 presolveProbingDeterministicTimeLimit_ = other.presolveProbingDeterministicTimeLimit_;
423 presolveBlockedClause_ = other.presolveBlockedClause_;
424 presolveUseBva_ = other.presolveUseBva_;
425 presolveBvaThreshold_ = other.presolveBvaThreshold_;
426 maxPresolveIterations_ = other.maxPresolveIterations_;
427 cpModelPresolve_ = other.cpModelPresolve_;
428 cpModelProbingLevel_ = other.cpModelProbingLevel_;
429 cpModelUseSatPresolve_ = other.cpModelUseSatPresolve_;
430 detectTableWithCost_ = other.detectTableWithCost_;
431 tableCompressionLevel_ = other.tableCompressionLevel_;
432 expandAlldiffConstraints_ = other.expandAlldiffConstraints_;
433 expandReservoirConstraints_ = other.expandReservoirConstraints_;
434 disableConstraintExpansion_ = other.disableConstraintExpansion_;
435 encodeComplexLinearConstraintWithInteger_ = other.encodeComplexLinearConstraintWithInteger_;
436 mergeNoOverlapWorkLimit_ = other.mergeNoOverlapWorkLimit_;
437 mergeAtMostOneWorkLimit_ = other.mergeAtMostOneWorkLimit_;
438 presolveSubstitutionLevel_ = other.presolveSubstitutionLevel_;
439 presolveExtractIntegerEnforcement_ = other.presolveExtractIntegerEnforcement_;
440 presolveInclusionWorkLimit_ = other.presolveInclusionWorkLimit_;
441 ignoreNames_ = other.ignoreNames_;
442 inferAllDiffs_ = other.inferAllDiffs_;
443 findBigLinearOverlap_ = other.findBigLinearOverlap_;
444 useSatInprocessing_ = other.useSatInprocessing_;
445 inprocessingDtimeRatio_ = other.inprocessingDtimeRatio_;
446 inprocessingProbingDtime_ = other.inprocessingProbingDtime_;
447 inprocessingMinimizationDtime_ = other.inprocessingMinimizationDtime_;
448 numWorkers_ = other.numWorkers_;
449 numSearchWorkers_ = other.numSearchWorkers_;
450 minNumLnsWorkers_ = other.minNumLnsWorkers_;
451 subsolvers_ = other.subsolvers_.Clone();
452 extraSubsolvers_ = other.extraSubsolvers_.Clone();
453 ignoreSubsolvers_ = other.ignoreSubsolvers_.Clone();
454 subsolverParams_ = other.subsolverParams_.Clone();
455 interleaveSearch_ = other.interleaveSearch_;
456 interleaveBatchSize_ = other.interleaveBatchSize_;
457 shareObjectiveBounds_ = other.shareObjectiveBounds_;
458 shareLevelZeroBounds_ = other.shareLevelZeroBounds_;
459 shareBinaryClauses_ = other.shareBinaryClauses_;
460 debugPostsolveWithFullSolver_ = other.debugPostsolveWithFullSolver_;
461 debugMaxNumPresolveOperations_ = other.debugMaxNumPresolveOperations_;
462 debugCrashOnBadHint_ = other.debugCrashOnBadHint_;
463 useOptimizationHints_ = other.useOptimizationHints_;
464 coreMinimizationLevel_ = other.coreMinimizationLevel_;
465 findMultipleCores_ = other.findMultipleCores_;
466 coverOptimization_ = other.coverOptimization_;
467 maxSatAssumptionOrder_ = other.maxSatAssumptionOrder_;
468 maxSatReverseAssumptionOrder_ = other.maxSatReverseAssumptionOrder_;
469 maxSatStratification_ = other.maxSatStratification_;
470 propagationLoopDetectionFactor_ = other.propagationLoopDetectionFactor_;
471 usePrecedencesInDisjunctiveConstraint_ = other.usePrecedencesInDisjunctiveConstraint_;
472 maxSizeToCreatePrecedenceLiteralsInDisjunctive_ = other.maxSizeToCreatePrecedenceLiteralsInDisjunctive_;
473 useStrongPropagationInDisjunctive_ = other.useStrongPropagationInDisjunctive_;
474 useDynamicPrecedenceInDisjunctive_ = other.useDynamicPrecedenceInDisjunctive_;
475 useDynamicPrecedenceInCumulative_ = other.useDynamicPrecedenceInCumulative_;
476 useOverloadCheckerInCumulative_ = other.useOverloadCheckerInCumulative_;
477 useTimetableEdgeFindingInCumulative_ = other.useTimetableEdgeFindingInCumulative_;
478 maxNumIntervalsForTimetableEdgeFinding_ = other.maxNumIntervalsForTimetableEdgeFinding_;
479 useHardPrecedencesInCumulative_ = other.useHardPrecedencesInCumulative_;
480 exploitAllPrecedences_ = other.exploitAllPrecedences_;
481 useDisjunctiveConstraintInCumulative_ = other.useDisjunctiveConstraintInCumulative_;
482 useTimetablingInNoOverlap2D_ = other.useTimetablingInNoOverlap2D_;
483 useEnergeticReasoningInNoOverlap2D_ = other.useEnergeticReasoningInNoOverlap2D_;
484 useAreaEnergeticReasoningInNoOverlap2D_ = other.useAreaEnergeticReasoningInNoOverlap2D_;
485 maxPairsPairwiseReasoningInNoOverlap2D_ = other.maxPairsPairwiseReasoningInNoOverlap2D_;
486 useDualSchedulingHeuristics_ = other.useDualSchedulingHeuristics_;
487 searchBranching_ = other.searchBranching_;
488 hintConflictLimit_ = other.hintConflictLimit_;
489 repairHint_ = other.repairHint_;
490 fixVariablesToTheirHintedValue_ = other.fixVariablesToTheirHintedValue_;
491 useProbingSearch_ = other.useProbingSearch_;
492 useExtendedProbing_ = other.useExtendedProbing_;
493 probingNumCombinationsLimit_ = other.probingNumCombinationsLimit_;
494 useShavingInProbingSearch_ = other.useShavingInProbingSearch_;
495 shavingSearchDeterministicTime_ = other.shavingSearchDeterministicTime_;
496 useObjectiveLbSearch_ = other.useObjectiveLbSearch_;
497 useObjectiveShavingSearch_ = other.useObjectiveShavingSearch_;
498 pseudoCostReliabilityThreshold_ = other.pseudoCostReliabilityThreshold_;
499 optimizeWithCore_ = other.optimizeWithCore_;
500 optimizeWithLbTreeSearch_ = other.optimizeWithLbTreeSearch_;
501 binarySearchNumConflicts_ = other.binarySearchNumConflicts_;
502 optimizeWithMaxHs_ = other.optimizeWithMaxHs_;
503 useFeasibilityJump_ = other.useFeasibilityJump_;
504 testFeasibilityJump_ = other.testFeasibilityJump_;
505 feasibilityJumpDecay_ = other.feasibilityJumpDecay_;
506 feasibilityJumpLinearizationLevel_ = other.feasibilityJumpLinearizationLevel_;
507 feasibilityJumpRestartFactor_ = other.feasibilityJumpRestartFactor_;
508 feasibilityJumpVarRandomizationProbability_ = other.feasibilityJumpVarRandomizationProbability_;
509 feasibilityJumpVarPerburbationRangeRatio_ = other.feasibilityJumpVarPerburbationRangeRatio_;
510 feasibilityJumpEnableRestarts_ = other.feasibilityJumpEnableRestarts_;
511 feasibilityJumpMaxExpandedConstraintSize_ = other.feasibilityJumpMaxExpandedConstraintSize_;
512 numViolationLs_ = other.numViolationLs_;
513 violationLsPerturbationPeriod_ = other.violationLsPerturbationPeriod_;
514 violationLsCompoundMoveProbability_ = other.violationLsCompoundMoveProbability_;
515 sharedTreeNumWorkers_ = other.sharedTreeNumWorkers_;
516 useSharedTreeSearch_ = other.useSharedTreeSearch_;
517 sharedTreeWorkerObjectiveSplitProbability_ = other.sharedTreeWorkerObjectiveSplitProbability_;
518 sharedTreeMaxNodesPerWorker_ = other.sharedTreeMaxNodesPerWorker_;
519 sharedTreeSplitStrategy_ = other.sharedTreeSplitStrategy_;
520 enumerateAllSolutions_ = other.enumerateAllSolutions_;
521 keepAllFeasibleSolutionsInPresolve_ = other.keepAllFeasibleSolutionsInPresolve_;
522 fillTightenedDomainsInResponse_ = other.fillTightenedDomainsInResponse_;
523 fillAdditionalSolutionsInResponse_ = other.fillAdditionalSolutionsInResponse_;
524 instantiateAllVariables_ = other.instantiateAllVariables_;
525 autoDetectGreaterThanAtLeastOneOf_ = other.autoDetectGreaterThanAtLeastOneOf_;
526 stopAfterFirstSolution_ = other.stopAfterFirstSolution_;
527 stopAfterPresolve_ = other.stopAfterPresolve_;
528 stopAfterRootPropagation_ = other.stopAfterRootPropagation_;
529 useLnsOnly_ = other.useLnsOnly_;
530 solutionPoolSize_ = other.solutionPoolSize_;
531 useRinsLns_ = other.useRinsLns_;
532 useFeasibilityPump_ = other.useFeasibilityPump_;
533 useLbRelaxLns_ = other.useLbRelaxLns_;
534 fpRounding_ = other.fpRounding_;
535 diversifyLnsParams_ = other.diversifyLnsParams_;
536 randomizeSearch_ = other.randomizeSearch_;
537 searchRandomVariablePoolSize_ = other.searchRandomVariablePoolSize_;
538 pushAllTasksTowardStart_ = other.pushAllTasksTowardStart_;
539 useOptionalVariables_ = other.useOptionalVariables_;
540 useExactLpReason_ = other.useExactLpReason_;
541 useCombinedNoOverlap_ = other.useCombinedNoOverlap_;
542 atMostOneMaxExpansionSize_ = other.atMostOneMaxExpansionSize_;
543 catchSigintSignal_ = other.catchSigintSignal_;
544 useImpliedBounds_ = other.useImpliedBounds_;
545 polishLpSolution_ = other.polishLpSolution_;
546 lpPrimalTolerance_ = other.lpPrimalTolerance_;
547 lpDualTolerance_ = other.lpDualTolerance_;
548 convertIntervals_ = other.convertIntervals_;
549 symmetryLevel_ = other.symmetryLevel_;
550 newLinearPropagation_ = other.newLinearPropagation_;
551 linearSplitSize_ = other.linearSplitSize_;
552 linearizationLevel_ = other.linearizationLevel_;
553 booleanEncodingLevel_ = other.booleanEncodingLevel_;
554 maxDomainSizeWhenEncodingEqNeqConstraints_ = other.maxDomainSizeWhenEncodingEqNeqConstraints_;
555 maxNumCuts_ = other.maxNumCuts_;
556 cutLevel_ = other.cutLevel_;
557 onlyAddCutsAtLevelZero_ = other.onlyAddCutsAtLevelZero_;
558 addObjectiveCut_ = other.addObjectiveCut_;
559 addCgCuts_ = other.addCgCuts_;
560 addMirCuts_ = other.addMirCuts_;
561 addZeroHalfCuts_ = other.addZeroHalfCuts_;
562 addCliqueCuts_ = other.addCliqueCuts_;
563 addRltCuts_ = other.addRltCuts_;
564 maxAllDiffCutSize_ = other.maxAllDiffCutSize_;
565 addLinMaxCuts_ = other.addLinMaxCuts_;
566 maxIntegerRoundingScaling_ = other.maxIntegerRoundingScaling_;
567 addLpConstraintsLazily_ = other.addLpConstraintsLazily_;
568 rootLpIterations_ = other.rootLpIterations_;
569 minOrthogonalityForLpConstraints_ = other.minOrthogonalityForLpConstraints_;
570 maxCutRoundsAtLevelZero_ = other.maxCutRoundsAtLevelZero_;
571 maxConsecutiveInactiveCount_ = other.maxConsecutiveInactiveCount_;
572 cutMaxActiveCountValue_ = other.cutMaxActiveCountValue_;
573 cutActiveCountDecay_ = other.cutActiveCountDecay_;
574 cutCleanupTarget_ = other.cutCleanupTarget_;
575 newConstraintsBatchSize_ = other.newConstraintsBatchSize_;
576 exploitIntegerLpSolution_ = other.exploitIntegerLpSolution_;
577 exploitAllLpSolution_ = other.exploitAllLpSolution_;
578 exploitBestSolution_ = other.exploitBestSolution_;
579 exploitRelaxationSolution_ = other.exploitRelaxationSolution_;
580 exploitObjective_ = other.exploitObjective_;
581 detectLinearizedProduct_ = other.detectLinearizedProduct_;
582 mipMaxBound_ = other.mipMaxBound_;
583 mipVarScaling_ = other.mipVarScaling_;
584 mipScaleLargeDomain_ = other.mipScaleLargeDomain_;
585 mipAutomaticallyScaleVariables_ = other.mipAutomaticallyScaleVariables_;
586 onlySolveIp_ = other.onlySolveIp_;
587 mipWantedPrecision_ = other.mipWantedPrecision_;
588 mipMaxActivityExponent_ = other.mipMaxActivityExponent_;
589 mipCheckPrecision_ = other.mipCheckPrecision_;
590 mipComputeTrueObjectiveBound_ = other.mipComputeTrueObjectiveBound_;
591 mipMaxValidMagnitude_ = other.mipMaxValidMagnitude_;
592 mipTreatHighMagnitudeBoundsAsInfinity_ = other.mipTreatHighMagnitudeBoundsAsInfinity_;
593 mipDropTolerance_ = other.mipDropTolerance_;
594 mipPresolveLevel_ = other.mipPresolveLevel_;
595 _unknownFields = pb::UnknownFieldSet.Clone(other._unknownFields);
598 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
599 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
606 private readonly
static string NameDefaultValue =
"";
608 private string name_;
613 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
614 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
616 get {
return name_ ?? NameDefaultValue; }
618 name_ = pb::ProtoPreconditions.CheckNotNull(value,
"value");
622 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
623 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
625 get {
return name_ !=
null; }
628 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
629 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
636 private readonly
static global::Google.OrTools.Sat.SatParameters.Types.VariableOrder PreferredVariableOrderDefaultValue = global::Google.OrTools.Sat.SatParameters.Types.VariableOrder.InOrder;
638 private global::Google.OrTools.Sat.SatParameters.Types.VariableOrder preferredVariableOrder_;
639 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
640 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
642 get {
if ((_hasBits0 & 1) != 0) {
return preferredVariableOrder_; }
else {
return PreferredVariableOrderDefaultValue; } }
645 preferredVariableOrder_ = value;
649 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
650 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
652 get {
return (_hasBits0 & 1) != 0; }
655 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
656 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
663 private readonly
static global::Google.OrTools.Sat.SatParameters.Types.Polarity InitialPolarityDefaultValue = global::Google.OrTools.Sat.SatParameters.Types.Polarity.False;
665 private global::Google.OrTools.Sat.SatParameters.Types.Polarity initialPolarity_;
666 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
667 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
668 public global::Google.OrTools.Sat.SatParameters.Types.Polarity
InitialPolarity {
669 get {
if ((_hasBits0 & 2) != 0) {
return initialPolarity_; }
else {
return InitialPolarityDefaultValue; } }
672 initialPolarity_ = value;
676 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
677 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
679 get {
return (_hasBits0 & 2) != 0; }
682 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
683 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
690 private readonly
static bool UsePhaseSavingDefaultValue =
true;
692 private bool usePhaseSaving_;
706 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
707 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
709 get {
if ((_hasBits0 & 4194304) != 0) {
return usePhaseSaving_; }
else {
return UsePhaseSavingDefaultValue; } }
711 _hasBits0 |= 4194304;
712 usePhaseSaving_ = value;
716 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
717 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
719 get {
return (_hasBits0 & 4194304) != 0; }
722 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
723 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
725 _hasBits0 &= ~4194304;
730 private readonly
static int PolarityRephaseIncrementDefaultValue = 1000;
732 private int polarityRephaseIncrement_;
738 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
739 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
741 get {
if ((_hasBits4 & 4) != 0) {
return polarityRephaseIncrement_; }
else {
return PolarityRephaseIncrementDefaultValue; } }
744 polarityRephaseIncrement_ = value;
748 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
749 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
751 get {
return (_hasBits4 & 4) != 0; }
754 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
755 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
762 private readonly
static double RandomPolarityRatioDefaultValue = 0D;
764 private double randomPolarityRatio_;
772 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
773 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
775 get {
if ((_hasBits0 & 8388608) != 0) {
return randomPolarityRatio_; }
else {
return RandomPolarityRatioDefaultValue; } }
777 _hasBits0 |= 8388608;
778 randomPolarityRatio_ = value;
782 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
783 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
785 get {
return (_hasBits0 & 8388608) != 0; }
788 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
789 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
791 _hasBits0 &= ~8388608;
796 private readonly
static double RandomBranchesRatioDefaultValue = 0D;
798 private double randomBranchesRatio_;
804 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
805 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
807 get {
if ((_hasBits0 & 16384) != 0) {
return randomBranchesRatio_; }
else {
return RandomBranchesRatioDefaultValue; } }
810 randomBranchesRatio_ = value;
814 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
815 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
817 get {
return (_hasBits0 & 16384) != 0; }
820 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
821 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
828 private readonly
static bool UseErwaHeuristicDefaultValue =
false;
830 private bool useErwaHeuristic_;
836 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
837 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
839 get {
if ((_hasBits1 & 524288) != 0) {
return useErwaHeuristic_; }
else {
return UseErwaHeuristicDefaultValue; } }
842 useErwaHeuristic_ = value;
846 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
847 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
849 get {
return (_hasBits1 & 524288) != 0; }
852 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
853 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
855 _hasBits1 &= ~524288;
860 private readonly
static double InitialVariablesActivityDefaultValue = 0D;
862 private double initialVariablesActivity_;
871 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
872 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
874 get {
if ((_hasBits1 & 1048576) != 0) {
return initialVariablesActivity_; }
else {
return InitialVariablesActivityDefaultValue; } }
876 _hasBits1 |= 1048576;
877 initialVariablesActivity_ = value;
881 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
882 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
884 get {
return (_hasBits1 & 1048576) != 0; }
887 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
888 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
890 _hasBits1 &= ~1048576;
895 private readonly
static bool AlsoBumpVariablesInConflictReasonsDefaultValue =
false;
897 private bool alsoBumpVariablesInConflictReasons_;
904 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
905 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
907 get {
if ((_hasBits1 & 2097152) != 0) {
return alsoBumpVariablesInConflictReasons_; }
else {
return AlsoBumpVariablesInConflictReasonsDefaultValue; } }
909 _hasBits1 |= 2097152;
910 alsoBumpVariablesInConflictReasons_ = value;
914 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
915 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
917 get {
return (_hasBits1 & 2097152) != 0; }
920 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
921 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
923 _hasBits1 &= ~2097152;
928 private readonly
static global::Google.OrTools.Sat.SatParameters.Types.ConflictMinimizationAlgorithm MinimizationAlgorithmDefaultValue = global::Google.OrTools.Sat.SatParameters.Types.ConflictMinimizationAlgorithm.Recursive;
930 private global::Google.OrTools.Sat.SatParameters.Types.ConflictMinimizationAlgorithm minimizationAlgorithm_;
931 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
932 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
933 public global::Google.OrTools.Sat.SatParameters.Types.ConflictMinimizationAlgorithm
MinimizationAlgorithm {
934 get {
if ((_hasBits0 & 4) != 0) {
return minimizationAlgorithm_; }
else {
return MinimizationAlgorithmDefaultValue; } }
937 minimizationAlgorithm_ = value;
941 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
942 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
944 get {
return (_hasBits0 & 4) != 0; }
947 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
948 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
955 private readonly
static global::Google.OrTools.Sat.SatParameters.Types.BinaryMinizationAlgorithm BinaryMinimizationAlgorithmDefaultValue = global::Google.OrTools.Sat.SatParameters.Types.BinaryMinizationAlgorithm.BinaryMinimizationFirst;
957 private global::Google.OrTools.Sat.SatParameters.Types.BinaryMinizationAlgorithm binaryMinimizationAlgorithm_;
958 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
959 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
961 get {
if ((_hasBits0 & 32768) != 0) {
return binaryMinimizationAlgorithm_; }
else {
return BinaryMinimizationAlgorithmDefaultValue; } }
964 binaryMinimizationAlgorithm_ = value;
968 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
969 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
971 get {
return (_hasBits0 & 32768) != 0; }
974 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
975 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
982 private readonly
static bool SubsumptionDuringConflictAnalysisDefaultValue =
true;
984 private bool subsumptionDuringConflictAnalysis_;
991 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
992 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
994 get {
if ((_hasBits1 & 4) != 0) {
return subsumptionDuringConflictAnalysis_; }
else {
return SubsumptionDuringConflictAnalysisDefaultValue; } }
997 subsumptionDuringConflictAnalysis_ = value;
1001 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1002 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1004 get {
return (_hasBits1 & 4) != 0; }
1007 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1008 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1015 private readonly
static int ClauseCleanupPeriodDefaultValue = 10000;
1017 private int clauseCleanupPeriod_;
1021 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1022 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1024 get {
if ((_hasBits0 & 8) != 0) {
return clauseCleanupPeriod_; }
else {
return ClauseCleanupPeriodDefaultValue; } }
1027 clauseCleanupPeriod_ = value;
1031 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1032 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1034 get {
return (_hasBits0 & 8) != 0; }
1037 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1038 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1045 private readonly
static int ClauseCleanupTargetDefaultValue = 0;
1047 private int clauseCleanupTarget_;
1052 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1053 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1055 get {
if ((_hasBits0 & 16) != 0) {
return clauseCleanupTarget_; }
else {
return ClauseCleanupTargetDefaultValue; } }
1058 clauseCleanupTarget_ = value;
1062 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1063 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1065 get {
return (_hasBits0 & 16) != 0; }
1068 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1069 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1076 private readonly
static double ClauseCleanupRatioDefaultValue = 0.5D;
1078 private double clauseCleanupRatio_;
1084 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1085 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1087 get {
if ((_hasBits4 & 2097152) != 0) {
return clauseCleanupRatio_; }
else {
return ClauseCleanupRatioDefaultValue; } }
1089 _hasBits4 |= 2097152;
1090 clauseCleanupRatio_ = value;
1094 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1095 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1097 get {
return (_hasBits4 & 2097152) != 0; }
1100 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1101 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1103 _hasBits4 &= ~2097152;
1108 private readonly
static global::Google.OrTools.Sat.SatParameters.Types.ClauseProtection ClauseCleanupProtectionDefaultValue = global::Google.OrTools.Sat.SatParameters.Types.ClauseProtection.ProtectionNone;
1110 private global::Google.OrTools.Sat.SatParameters.Types.ClauseProtection clauseCleanupProtection_;
1111 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1112 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1114 get {
if ((_hasBits1 & 16) != 0) {
return clauseCleanupProtection_; }
else {
return ClauseCleanupProtectionDefaultValue; } }
1117 clauseCleanupProtection_ = value;
1121 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1122 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1124 get {
return (_hasBits1 & 16) != 0; }
1127 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1128 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1135 private readonly
static int ClauseCleanupLbdBoundDefaultValue = 5;
1137 private int clauseCleanupLbdBound_;
1142 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1143 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1145 get {
if ((_hasBits1 & 32) != 0) {
return clauseCleanupLbdBound_; }
else {
return ClauseCleanupLbdBoundDefaultValue; } }
1148 clauseCleanupLbdBound_ = value;
1152 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1153 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1155 get {
return (_hasBits1 & 32) != 0; }
1158 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1159 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1166 private readonly
static global::Google.OrTools.Sat.SatParameters.Types.ClauseOrdering ClauseCleanupOrderingDefaultValue = global::Google.OrTools.Sat.SatParameters.Types.ClauseOrdering.ClauseActivity;
1168 private global::Google.OrTools.Sat.SatParameters.Types.ClauseOrdering clauseCleanupOrdering_;
1169 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1170 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1172 get {
if ((_hasBits1 & 64) != 0) {
return clauseCleanupOrdering_; }
else {
return ClauseCleanupOrderingDefaultValue; } }
1175 clauseCleanupOrdering_ = value;
1179 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1180 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1182 get {
return (_hasBits1 & 64) != 0; }
1185 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1186 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1193 private readonly
static int PbCleanupIncrementDefaultValue = 200;
1195 private int pbCleanupIncrement_;
1199 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1200 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1202 get {
if ((_hasBits0 & 16777216) != 0) {
return pbCleanupIncrement_; }
else {
return PbCleanupIncrementDefaultValue; } }
1204 _hasBits0 |= 16777216;
1205 pbCleanupIncrement_ = value;
1209 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1210 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1212 get {
return (_hasBits0 & 16777216) != 0; }
1215 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1216 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1218 _hasBits0 &= ~16777216;
1223 private readonly
static double PbCleanupRatioDefaultValue = 0.5D;
1225 private double pbCleanupRatio_;
1226 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1227 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1229 get {
if ((_hasBits0 & 33554432) != 0) {
return pbCleanupRatio_; }
else {
return PbCleanupRatioDefaultValue; } }
1231 _hasBits0 |= 33554432;
1232 pbCleanupRatio_ = value;
1236 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1237 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1239 get {
return (_hasBits0 & 33554432) != 0; }
1242 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1243 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1245 _hasBits0 &= ~33554432;
1250 private readonly
static double VariableActivityDecayDefaultValue = 0.8D;
1252 private double variableActivityDecay_;
1263 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1264 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1266 get {
if ((_hasBits0 & 32) != 0) {
return variableActivityDecay_; }
else {
return VariableActivityDecayDefaultValue; } }
1269 variableActivityDecay_ = value;
1273 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1274 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1276 get {
return (_hasBits0 & 32) != 0; }
1279 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1280 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1287 private readonly
static double MaxVariableActivityValueDefaultValue = 1e+100D;
1289 private double maxVariableActivityValue_;
1290 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1291 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1293 get {
if ((_hasBits0 & 64) != 0) {
return maxVariableActivityValue_; }
else {
return MaxVariableActivityValueDefaultValue; } }
1296 maxVariableActivityValue_ = value;
1300 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1301 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1303 get {
return (_hasBits0 & 64) != 0; }
1306 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1307 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1314 private readonly
static double GlucoseMaxDecayDefaultValue = 0.95D;
1316 private double glucoseMaxDecay_;
1324 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1325 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1327 get {
if ((_hasBits0 & 512) != 0) {
return glucoseMaxDecay_; }
else {
return GlucoseMaxDecayDefaultValue; } }
1330 glucoseMaxDecay_ = value;
1334 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1335 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1337 get {
return (_hasBits0 & 512) != 0; }
1340 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1341 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1348 private readonly
static double GlucoseDecayIncrementDefaultValue = 0.01D;
1350 private double glucoseDecayIncrement_;
1351 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1352 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1354 get {
if ((_hasBits0 & 1024) != 0) {
return glucoseDecayIncrement_; }
else {
return GlucoseDecayIncrementDefaultValue; } }
1357 glucoseDecayIncrement_ = value;
1361 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1362 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1364 get {
return (_hasBits0 & 1024) != 0; }
1367 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1368 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1375 private readonly
static int GlucoseDecayIncrementPeriodDefaultValue = 5000;
1377 private int glucoseDecayIncrementPeriod_;
1378 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1379 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1381 get {
if ((_hasBits0 & 2048) != 0) {
return glucoseDecayIncrementPeriod_; }
else {
return GlucoseDecayIncrementPeriodDefaultValue; } }
1384 glucoseDecayIncrementPeriod_ = value;
1388 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1389 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1391 get {
return (_hasBits0 & 2048) != 0; }
1394 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1395 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1402 private readonly
static double ClauseActivityDecayDefaultValue = 0.999D;
1404 private double clauseActivityDecay_;
1408 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1409 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1411 get {
if ((_hasBits0 & 128) != 0) {
return clauseActivityDecay_; }
else {
return ClauseActivityDecayDefaultValue; } }
1414 clauseActivityDecay_ = value;
1418 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1419 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1421 get {
return (_hasBits0 & 128) != 0; }
1424 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1425 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1432 private readonly
static double MaxClauseActivityValueDefaultValue = 1e+20D;
1434 private double maxClauseActivityValue_;
1435 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1436 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1438 get {
if ((_hasBits0 & 256) != 0) {
return maxClauseActivityValue_; }
else {
return MaxClauseActivityValueDefaultValue; } }
1441 maxClauseActivityValue_ = value;
1445 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1446 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1448 get {
return (_hasBits0 & 256) != 0; }
1451 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1452 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1459 private static readonly pb::FieldCodec<global::Google.OrTools.Sat.SatParameters.Types.RestartAlgorithm> _repeated_restartAlgorithms_codec
1460 = pb::FieldCodec.ForEnum(488, x => (
int) x, x => (global::Google.OrTools.Sat.SatParameters.Types.RestartAlgorithm) x);
1461 private readonly pbc::RepeatedField<global::Google.OrTools.Sat.SatParameters.Types.RestartAlgorithm> restartAlgorithms_ =
new pbc::RepeatedField<global::Google.OrTools.Sat.SatParameters.Types.RestartAlgorithm>();
1473 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1474 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1475 public pbc::RepeatedField<global::Google.OrTools.Sat.SatParameters.Types.RestartAlgorithm>
RestartAlgorithms {
1476 get {
return restartAlgorithms_; }
1481 private readonly
static string DefaultRestartAlgorithmsDefaultValue = global::System.Text.Encoding.UTF8.GetString(global::System.Convert.FromBase64String(
"TFVCWV9SRVNUQVJULExCRF9NT1ZJTkdfQVZFUkFHRV9SRVNUQVJULERMX01PVklOR19BVkVSQUdFX1JFU1RBUlQ="), 0, 65);
1483 private string defaultRestartAlgorithms_;
1484 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1485 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1487 get {
return defaultRestartAlgorithms_ ?? DefaultRestartAlgorithmsDefaultValue; }
1489 defaultRestartAlgorithms_ = pb::ProtoPreconditions.CheckNotNull(value,
"value");
1493 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1494 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1496 get {
return defaultRestartAlgorithms_ !=
null; }
1499 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1500 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1502 defaultRestartAlgorithms_ =
null;
1507 private readonly
static int RestartPeriodDefaultValue = 50;
1509 private int restartPeriod_;
1514 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1515 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1517 get {
if ((_hasBits0 & 4096) != 0) {
return restartPeriod_; }
else {
return RestartPeriodDefaultValue; } }
1520 restartPeriod_ = value;
1524 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1525 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1527 get {
return (_hasBits0 & 4096) != 0; }
1530 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1531 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1538 private readonly
static int RestartRunningWindowSizeDefaultValue = 50;
1540 private int restartRunningWindowSize_;
1544 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1545 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1547 get {
if ((_hasBits1 & 128) != 0) {
return restartRunningWindowSize_; }
else {
return RestartRunningWindowSizeDefaultValue; } }
1550 restartRunningWindowSize_ = value;
1554 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1555 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1557 get {
return (_hasBits1 & 128) != 0; }
1560 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1561 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1568 private readonly
static double RestartDlAverageRatioDefaultValue = 1D;
1570 private double restartDlAverageRatio_;
1575 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1576 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1578 get {
if ((_hasBits1 & 256) != 0) {
return restartDlAverageRatio_; }
else {
return RestartDlAverageRatioDefaultValue; } }
1581 restartDlAverageRatio_ = value;
1585 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1586 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1588 get {
return (_hasBits1 & 256) != 0; }
1591 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1592 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1599 private readonly
static double RestartLbdAverageRatioDefaultValue = 1D;
1601 private double restartLbdAverageRatio_;
1602 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1603 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1605 get {
if ((_hasBits1 & 32768) != 0) {
return restartLbdAverageRatio_; }
else {
return RestartLbdAverageRatioDefaultValue; } }
1608 restartLbdAverageRatio_ = value;
1612 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1613 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1615 get {
return (_hasBits1 & 32768) != 0; }
1618 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1619 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1621 _hasBits1 &= ~32768;
1626 private readonly
static bool UseBlockingRestartDefaultValue =
false;
1628 private bool useBlockingRestart_;
1634 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1635 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1637 get {
if ((_hasBits1 & 512) != 0) {
return useBlockingRestart_; }
else {
return UseBlockingRestartDefaultValue; } }
1640 useBlockingRestart_ = value;
1644 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1645 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1647 get {
return (_hasBits1 & 512) != 0; }
1650 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1651 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1658 private readonly
static int BlockingRestartWindowSizeDefaultValue = 5000;
1660 private int blockingRestartWindowSize_;
1661 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1662 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1664 get {
if ((_hasBits1 & 1024) != 0) {
return blockingRestartWindowSize_; }
else {
return BlockingRestartWindowSizeDefaultValue; } }
1667 blockingRestartWindowSize_ = value;
1671 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1672 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1674 get {
return (_hasBits1 & 1024) != 0; }
1677 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1678 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1685 private readonly
static double BlockingRestartMultiplierDefaultValue = 1.4D;
1687 private double blockingRestartMultiplier_;
1688 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1689 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1691 get {
if ((_hasBits1 & 2048) != 0) {
return blockingRestartMultiplier_; }
else {
return BlockingRestartMultiplierDefaultValue; } }
1694 blockingRestartMultiplier_ = value;
1698 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1699 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1701 get {
return (_hasBits1 & 2048) != 0; }
1704 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1705 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1712 private readonly
static int NumConflictsBeforeStrategyChangesDefaultValue = 0;
1714 private int numConflictsBeforeStrategyChanges_;
1720 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1721 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1723 get {
if ((_hasBits1 & 8192) != 0) {
return numConflictsBeforeStrategyChanges_; }
else {
return NumConflictsBeforeStrategyChangesDefaultValue; } }
1726 numConflictsBeforeStrategyChanges_ = value;
1730 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1731 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1733 get {
return (_hasBits1 & 8192) != 0; }
1736 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1737 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1744 private readonly
static double StrategyChangeIncreaseRatioDefaultValue = 0D;
1746 private double strategyChangeIncreaseRatio_;
1751 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1752 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1754 get {
if ((_hasBits1 & 16384) != 0) {
return strategyChangeIncreaseRatio_; }
else {
return StrategyChangeIncreaseRatioDefaultValue; } }
1757 strategyChangeIncreaseRatio_ = value;
1761 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1762 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1764 get {
return (_hasBits1 & 16384) != 0; }
1767 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1768 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1770 _hasBits1 &= ~16384;
1775 private readonly
static double MaxTimeInSecondsDefaultValue =
double.PositiveInfinity;
1777 private double maxTimeInSeconds_;
1782 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1783 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1785 get {
if ((_hasBits0 & 131072) != 0) {
return maxTimeInSeconds_; }
else {
return MaxTimeInSecondsDefaultValue; } }
1787 _hasBits0 |= 131072;
1788 maxTimeInSeconds_ = value;
1792 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1793 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1795 get {
return (_hasBits0 & 131072) != 0; }
1798 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1799 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1801 _hasBits0 &= ~131072;
1806 private readonly
static double MaxDeterministicTimeDefaultValue =
double.PositiveInfinity;
1808 private double maxDeterministicTime_;
1814 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1815 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1817 get {
if ((_hasBits1 & 4096) != 0) {
return maxDeterministicTime_; }
else {
return MaxDeterministicTimeDefaultValue; } }
1820 maxDeterministicTime_ = value;
1824 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1825 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1827 get {
return (_hasBits1 & 4096) != 0; }
1830 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1831 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1838 private readonly
static long MaxNumberOfConflictsDefaultValue = 9223372036854775807L;
1840 private long maxNumberOfConflicts_;
1850 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1851 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1853 get {
if ((_hasBits0 & 262144) != 0) {
return maxNumberOfConflicts_; }
else {
return MaxNumberOfConflictsDefaultValue; } }
1855 _hasBits0 |= 262144;
1856 maxNumberOfConflicts_ = value;
1860 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1861 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1863 get {
return (_hasBits0 & 262144) != 0; }
1866 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1867 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1869 _hasBits0 &= ~262144;
1874 private readonly
static long MaxMemoryInMbDefaultValue = 10000L;
1876 private long maxMemoryInMb_;
1885 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1886 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1888 get {
if ((_hasBits0 & 524288) != 0) {
return maxMemoryInMb_; }
else {
return MaxMemoryInMbDefaultValue; } }
1890 _hasBits0 |= 524288;
1891 maxMemoryInMb_ = value;
1895 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1896 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1898 get {
return (_hasBits0 & 524288) != 0; }
1901 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1902 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1904 _hasBits0 &= ~524288;
1909 private readonly
static double AbsoluteGapLimitDefaultValue = 0.0001D;
1911 private double absoluteGapLimit_;
1932 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1933 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1935 get {
if ((_hasBits3 & 33554432) != 0) {
return absoluteGapLimit_; }
else {
return AbsoluteGapLimitDefaultValue; } }
1937 _hasBits3 |= 33554432;
1938 absoluteGapLimit_ = value;
1942 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1943 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1945 get {
return (_hasBits3 & 33554432) != 0; }
1948 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1949 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1951 _hasBits3 &= ~33554432;
1956 private readonly
static double RelativeGapLimitDefaultValue = 0D;
1958 private double relativeGapLimit_;
1959 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1960 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1962 get {
if ((_hasBits3 & 67108864) != 0) {
return relativeGapLimit_; }
else {
return RelativeGapLimitDefaultValue; } }
1964 _hasBits3 |= 67108864;
1965 relativeGapLimit_ = value;
1969 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1970 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1972 get {
return (_hasBits3 & 67108864) != 0; }
1975 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1976 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1978 _hasBits3 &= ~67108864;
1983 private readonly
static int RandomSeedDefaultValue = 1;
1985 private int randomSeed_;
1995 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
1996 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
1998 get {
if ((_hasBits0 & 8192) != 0) {
return randomSeed_; }
else {
return RandomSeedDefaultValue; } }
2001 randomSeed_ = value;
2005 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2006 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2008 get {
return (_hasBits0 & 8192) != 0; }
2011 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2012 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2019 private readonly
static bool PermuteVariableRandomlyDefaultValue =
false;
2021 private bool permuteVariableRandomly_;
2028 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2029 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2031 get {
if ((_hasBits4 & 2048) != 0) {
return permuteVariableRandomly_; }
else {
return PermuteVariableRandomlyDefaultValue; } }
2034 permuteVariableRandomly_ = value;
2038 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2039 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2041 get {
return (_hasBits4 & 2048) != 0; }
2044 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2045 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2052 private readonly
static bool PermutePresolveConstraintOrderDefaultValue =
false;
2054 private bool permutePresolveConstraintOrder_;
2055 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2056 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2058 get {
if ((_hasBits4 & 4096) != 0) {
return permutePresolveConstraintOrder_; }
else {
return PermutePresolveConstraintOrderDefaultValue; } }
2061 permutePresolveConstraintOrder_ = value;
2065 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2066 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2068 get {
return (_hasBits4 & 4096) != 0; }
2071 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2072 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2079 private readonly
static bool UseAbslRandomDefaultValue =
false;
2081 private bool useAbslRandom_;
2082 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2083 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2085 get {
if ((_hasBits4 & 8192) != 0) {
return useAbslRandom_; }
else {
return UseAbslRandomDefaultValue; } }
2088 useAbslRandom_ = value;
2092 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2093 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2095 get {
return (_hasBits4 & 8192) != 0; }
2098 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2099 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2106 private readonly
static bool LogSearchProgressDefaultValue =
false;
2108 private bool logSearchProgress_;
2114 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2115 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2117 get {
if ((_hasBits0 & 1048576) != 0) {
return logSearchProgress_; }
else {
return LogSearchProgressDefaultValue; } }
2119 _hasBits0 |= 1048576;
2120 logSearchProgress_ = value;
2124 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2125 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2127 get {
return (_hasBits0 & 1048576) != 0; }
2130 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2131 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2133 _hasBits0 &= ~1048576;
2138 private readonly
static bool LogSubsolverStatisticsDefaultValue =
false;
2140 private bool logSubsolverStatistics_;
2147 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2148 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2150 get {
if ((_hasBits4 & 1048576) != 0) {
return logSubsolverStatistics_; }
else {
return LogSubsolverStatisticsDefaultValue; } }
2152 _hasBits4 |= 1048576;
2153 logSubsolverStatistics_ = value;
2157 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2158 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2160 get {
return (_hasBits4 & 1048576) != 0; }
2163 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2164 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2166 _hasBits4 &= ~1048576;
2171 private readonly
static string LogPrefixDefaultValue =
"";
2173 private string logPrefix_;
2177 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2178 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2180 get {
return logPrefix_ ?? LogPrefixDefaultValue; }
2182 logPrefix_ = pb::ProtoPreconditions.CheckNotNull(value,
"value");
2186 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2187 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2189 get {
return logPrefix_ !=
null; }
2192 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2193 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2200 private readonly
static bool LogToStdoutDefaultValue =
true;
2202 private bool logToStdout_;
2206 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2207 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2209 get {
if ((_hasBits4 & 131072) != 0) {
return logToStdout_; }
else {
return LogToStdoutDefaultValue; } }
2211 _hasBits4 |= 131072;
2212 logToStdout_ = value;
2216 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2217 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2219 get {
return (_hasBits4 & 131072) != 0; }
2222 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2223 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2225 _hasBits4 &= ~131072;
2230 private readonly
static bool LogToResponseDefaultValue =
false;
2232 private bool logToResponse_;
2236 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2237 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2239 get {
if ((_hasBits4 & 262144) != 0) {
return logToResponse_; }
else {
return LogToResponseDefaultValue; } }
2241 _hasBits4 |= 262144;
2242 logToResponse_ = value;
2246 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2247 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2249 get {
return (_hasBits4 & 262144) != 0; }
2252 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2253 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2255 _hasBits4 &= ~262144;
2260 private readonly
static bool UsePbResolutionDefaultValue =
false;
2262 private bool usePbResolution_;
2269 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2270 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2272 get {
if ((_hasBits0 & 2097152) != 0) {
return usePbResolution_; }
else {
return UsePbResolutionDefaultValue; } }
2274 _hasBits0 |= 2097152;
2275 usePbResolution_ = value;
2279 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2280 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2282 get {
return (_hasBits0 & 2097152) != 0; }
2285 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2286 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2288 _hasBits0 &= ~2097152;
2293 private readonly
static bool MinimizeReductionDuringPbResolutionDefaultValue =
false;
2295 private bool minimizeReductionDuringPbResolution_;
2302 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2303 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2305 get {
if ((_hasBits0 & 67108864) != 0) {
return minimizeReductionDuringPbResolution_; }
else {
return MinimizeReductionDuringPbResolutionDefaultValue; } }
2307 _hasBits0 |= 67108864;
2308 minimizeReductionDuringPbResolution_ = value;
2312 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2313 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2315 get {
return (_hasBits0 & 67108864) != 0; }
2318 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2319 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2321 _hasBits0 &= ~67108864;
2326 private readonly
static bool CountAssumptionLevelsInLbdDefaultValue =
true;
2328 private bool countAssumptionLevelsInLbd_;
2340 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2341 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2343 get {
if ((_hasBits0 & 134217728) != 0) {
return countAssumptionLevelsInLbd_; }
else {
return CountAssumptionLevelsInLbdDefaultValue; } }
2345 _hasBits0 |= 134217728;
2346 countAssumptionLevelsInLbd_ = value;
2350 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2351 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2353 get {
return (_hasBits0 & 134217728) != 0; }
2356 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2357 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2359 _hasBits0 &= ~134217728;
2364 private readonly
static int PresolveBveThresholdDefaultValue = 500;
2366 private int presolveBveThreshold_;
2372 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2373 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2375 get {
if ((_hasBits1 & 1) != 0) {
return presolveBveThreshold_; }
else {
return PresolveBveThresholdDefaultValue; } }
2378 presolveBveThreshold_ = value;
2382 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2383 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2385 get {
return (_hasBits1 & 1) != 0; }
2388 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2389 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2396 private readonly
static int PresolveBveClauseWeightDefaultValue = 3;
2398 private int presolveBveClauseWeight_;
2403 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2404 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2406 get {
if ((_hasBits1 & 2) != 0) {
return presolveBveClauseWeight_; }
else {
return PresolveBveClauseWeightDefaultValue; } }
2409 presolveBveClauseWeight_ = value;
2413 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2414 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2416 get {
return (_hasBits1 & 2) != 0; }
2419 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2420 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2427 private readonly
static double ProbingDeterministicTimeLimitDefaultValue = 1D;
2429 private double probingDeterministicTimeLimit_;
2437 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2438 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2440 get {
if ((_hasBits5 & 262144) != 0) {
return probingDeterministicTimeLimit_; }
else {
return ProbingDeterministicTimeLimitDefaultValue; } }
2442 _hasBits5 |= 262144;
2443 probingDeterministicTimeLimit_ = value;
2447 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2448 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2450 get {
return (_hasBits5 & 262144) != 0; }
2453 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2454 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2456 _hasBits5 &= ~262144;
2461 private readonly
static double PresolveProbingDeterministicTimeLimitDefaultValue = 30D;
2463 private double presolveProbingDeterministicTimeLimit_;
2464 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2465 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2467 get {
if ((_hasBits1 & 8) != 0) {
return presolveProbingDeterministicTimeLimit_; }
else {
return PresolveProbingDeterministicTimeLimitDefaultValue; } }
2470 presolveProbingDeterministicTimeLimit_ = value;
2474 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2475 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2477 get {
return (_hasBits1 & 8) != 0; }
2480 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2481 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2488 private readonly
static bool PresolveBlockedClauseDefaultValue =
true;
2490 private bool presolveBlockedClause_;
2495 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2496 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2498 get {
if ((_hasBits1 & -2147483648) != 0) {
return presolveBlockedClause_; }
else {
return PresolveBlockedClauseDefaultValue; } }
2500 _hasBits1 |= -2147483648;
2501 presolveBlockedClause_ = value;
2505 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2506 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2508 get {
return (_hasBits1 & -2147483648) != 0; }
2511 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2512 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2514 _hasBits1 &= ~-2147483648;
2519 private readonly
static bool PresolveUseBvaDefaultValue =
true;
2521 private bool presolveUseBva_;
2525 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2526 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2528 get {
if ((_hasBits1 & 65536) != 0) {
return presolveUseBva_; }
else {
return PresolveUseBvaDefaultValue; } }
2531 presolveUseBva_ = value;
2535 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2536 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2538 get {
return (_hasBits1 & 65536) != 0; }
2541 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2542 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2544 _hasBits1 &= ~65536;
2549 private readonly
static int PresolveBvaThresholdDefaultValue = 1;
2551 private int presolveBvaThreshold_;
2558 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2559 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2561 get {
if ((_hasBits1 & 131072) != 0) {
return presolveBvaThreshold_; }
else {
return PresolveBvaThresholdDefaultValue; } }
2563 _hasBits1 |= 131072;
2564 presolveBvaThreshold_ = value;
2568 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2569 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2571 get {
return (_hasBits1 & 131072) != 0; }
2574 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2575 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2577 _hasBits1 &= ~131072;
2582 private readonly
static int MaxPresolveIterationsDefaultValue = 3;
2584 private int maxPresolveIterations_;
2590 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2591 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2593 get {
if ((_hasBits3 & 2048) != 0) {
return maxPresolveIterations_; }
else {
return MaxPresolveIterationsDefaultValue; } }
2596 maxPresolveIterations_ = value;
2600 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2601 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2603 get {
return (_hasBits3 & 2048) != 0; }
2606 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2607 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2614 private readonly
static bool CpModelPresolveDefaultValue =
true;
2616 private bool cpModelPresolve_;
2620 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2621 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2623 get {
if ((_hasBits1 & 536870912) != 0) {
return cpModelPresolve_; }
else {
return CpModelPresolveDefaultValue; } }
2625 _hasBits1 |= 536870912;
2626 cpModelPresolve_ = value;
2630 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2631 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2633 get {
return (_hasBits1 & 536870912) != 0; }
2636 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2637 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2639 _hasBits1 &= ~536870912;
2644 private readonly
static int CpModelProbingLevelDefaultValue = 2;
2646 private int cpModelProbingLevel_;
2650 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2651 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2653 get {
if ((_hasBits2 & 131072) != 0) {
return cpModelProbingLevel_; }
else {
return CpModelProbingLevelDefaultValue; } }
2655 _hasBits2 |= 131072;
2656 cpModelProbingLevel_ = value;
2660 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2661 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2663 get {
return (_hasBits2 & 131072) != 0; }
2666 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2667 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2669 _hasBits2 &= ~131072;
2674 private readonly
static bool CpModelUseSatPresolveDefaultValue =
true;
2676 private bool cpModelUseSatPresolve_;
2680 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2681 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2683 get {
if ((_hasBits2 & 16) != 0) {
return cpModelUseSatPresolve_; }
else {
return CpModelUseSatPresolveDefaultValue; } }
2686 cpModelUseSatPresolve_ = value;
2690 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2691 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2693 get {
return (_hasBits2 & 16) != 0; }
2696 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2697 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2704 private readonly
static bool DetectTableWithCostDefaultValue =
false;
2706 private bool detectTableWithCost_;
2715 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2716 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2718 get {
if ((_hasBits5 & 1024) != 0) {
return detectTableWithCost_; }
else {
return DetectTableWithCostDefaultValue; } }
2721 detectTableWithCost_ = value;
2725 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2726 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2728 get {
return (_hasBits5 & 1024) != 0; }
2731 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2732 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2739 private readonly
static int TableCompressionLevelDefaultValue = 2;
2741 private int tableCompressionLevel_;
2748 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2749 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2751 get {
if ((_hasBits5 & 2048) != 0) {
return tableCompressionLevel_; }
else {
return TableCompressionLevelDefaultValue; } }
2754 tableCompressionLevel_ = value;
2758 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2759 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2761 get {
return (_hasBits5 & 2048) != 0; }
2764 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2765 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2772 private readonly
static bool ExpandAlldiffConstraintsDefaultValue =
false;
2774 private bool expandAlldiffConstraints_;
2779 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2780 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2782 get {
if ((_hasBits4 & 16) != 0) {
return expandAlldiffConstraints_; }
else {
return ExpandAlldiffConstraintsDefaultValue; } }
2785 expandAlldiffConstraints_ = value;
2789 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2790 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2792 get {
return (_hasBits4 & 16) != 0; }
2795 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2796 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2803 private readonly
static bool ExpandReservoirConstraintsDefaultValue =
true;
2805 private bool expandReservoirConstraints_;
2810 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2811 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2813 get {
if ((_hasBits4 & 32768) != 0) {
return expandReservoirConstraints_; }
else {
return ExpandReservoirConstraintsDefaultValue; } }
2816 expandReservoirConstraints_ = value;
2820 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2821 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2823 get {
return (_hasBits4 & 32768) != 0; }
2826 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2827 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2829 _hasBits4 &= ~32768;
2834 private readonly
static bool DisableConstraintExpansionDefaultValue =
false;
2836 private bool disableConstraintExpansion_;
2841 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2842 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2844 get {
if ((_hasBits4 & 16384) != 0) {
return disableConstraintExpansion_; }
else {
return DisableConstraintExpansionDefaultValue; } }
2847 disableConstraintExpansion_ = value;
2851 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2852 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2854 get {
return (_hasBits4 & 16384) != 0; }
2857 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2858 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2860 _hasBits4 &= ~16384;
2865 private readonly
static bool EncodeComplexLinearConstraintWithIntegerDefaultValue =
false;
2867 private bool encodeComplexLinearConstraintWithInteger_;
2872 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2873 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2875 get {
if ((_hasBits5 & 32768) != 0) {
return encodeComplexLinearConstraintWithInteger_; }
else {
return EncodeComplexLinearConstraintWithIntegerDefaultValue; } }
2878 encodeComplexLinearConstraintWithInteger_ = value;
2882 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2883 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2885 get {
return (_hasBits5 & 32768) != 0; }
2888 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2889 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2891 _hasBits5 &= ~32768;
2896 private readonly
static double MergeNoOverlapWorkLimitDefaultValue = 1e+12D;
2898 private double mergeNoOverlapWorkLimit_;
2906 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2907 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2909 get {
if ((_hasBits3 & 8192) != 0) {
return mergeNoOverlapWorkLimit_; }
else {
return MergeNoOverlapWorkLimitDefaultValue; } }
2912 mergeNoOverlapWorkLimit_ = value;
2916 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2917 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2919 get {
return (_hasBits3 & 8192) != 0; }
2922 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2923 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2930 private readonly
static double MergeAtMostOneWorkLimitDefaultValue = 1e+08D;
2932 private double mergeAtMostOneWorkLimit_;
2933 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2934 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2936 get {
if ((_hasBits3 & 16384) != 0) {
return mergeAtMostOneWorkLimit_; }
else {
return MergeAtMostOneWorkLimitDefaultValue; } }
2939 mergeAtMostOneWorkLimit_ = value;
2943 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2944 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2946 get {
return (_hasBits3 & 16384) != 0; }
2949 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2950 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2952 _hasBits3 &= ~16384;
2957 private readonly
static int PresolveSubstitutionLevelDefaultValue = 1;
2959 private int presolveSubstitutionLevel_;
2966 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2967 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2969 get {
if ((_hasBits3 & 32768) != 0) {
return presolveSubstitutionLevel_; }
else {
return PresolveSubstitutionLevelDefaultValue; } }
2972 presolveSubstitutionLevel_ = value;
2976 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2977 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2979 get {
return (_hasBits3 & 32768) != 0; }
2982 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
2983 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
2985 _hasBits3 &= ~32768;
2990 private readonly
static bool PresolveExtractIntegerEnforcementDefaultValue =
false;
2992 private bool presolveExtractIntegerEnforcement_;
3001 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3002 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3004 get {
if ((_hasBits4 & 128) != 0) {
return presolveExtractIntegerEnforcement_; }
else {
return PresolveExtractIntegerEnforcementDefaultValue; } }
3007 presolveExtractIntegerEnforcement_ = value;
3011 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3012 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3014 get {
return (_hasBits4 & 128) != 0; }
3017 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3018 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3025 private readonly
static long PresolveInclusionWorkLimitDefaultValue = 100000000L;
3027 private long presolveInclusionWorkLimit_;
3037 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3038 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3040 get {
if ((_hasBits5 & 1) != 0) {
return presolveInclusionWorkLimit_; }
else {
return PresolveInclusionWorkLimitDefaultValue; } }
3043 presolveInclusionWorkLimit_ = value;
3047 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3048 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3050 get {
return (_hasBits5 & 1) != 0; }
3053 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3054 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3061 private readonly
static bool IgnoreNamesDefaultValue =
true;
3063 private bool ignoreNames_;
3067 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3068 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3070 get {
if ((_hasBits5 & 2) != 0) {
return ignoreNames_; }
else {
return IgnoreNamesDefaultValue; } }
3073 ignoreNames_ = value;
3077 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3078 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3080 get {
return (_hasBits5 & 2) != 0; }
3083 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3084 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3091 private readonly
static bool InferAllDiffsDefaultValue =
true;
3093 private bool inferAllDiffs_;
3101 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3102 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3104 get {
if ((_hasBits5 & 16777216) != 0) {
return inferAllDiffs_; }
else {
return InferAllDiffsDefaultValue; } }
3106 _hasBits5 |= 16777216;
3107 inferAllDiffs_ = value;
3111 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3112 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3114 get {
return (_hasBits5 & 16777216) != 0; }
3117 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3118 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3120 _hasBits5 &= ~16777216;
3125 private readonly
static bool FindBigLinearOverlapDefaultValue =
true;
3127 private bool findBigLinearOverlap_;
3134 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3135 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3137 get {
if ((_hasBits5 & 33554432) != 0) {
return findBigLinearOverlap_; }
else {
return FindBigLinearOverlapDefaultValue; } }
3139 _hasBits5 |= 33554432;
3140 findBigLinearOverlap_ = value;
3144 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3145 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3147 get {
return (_hasBits5 & 33554432) != 0; }
3150 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3151 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3153 _hasBits5 &= ~33554432;
3158 private readonly
static bool UseSatInprocessingDefaultValue =
true;
3160 private bool useSatInprocessing_;
3165 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3166 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3168 get {
if ((_hasBits3 & 536870912) != 0) {
return useSatInprocessing_; }
else {
return UseSatInprocessingDefaultValue; } }
3170 _hasBits3 |= 536870912;
3171 useSatInprocessing_ = value;
3175 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3176 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3178 get {
return (_hasBits3 & 536870912) != 0; }
3181 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3182 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3184 _hasBits3 &= ~536870912;
3189 private readonly
static double InprocessingDtimeRatioDefaultValue = 0.2D;
3191 private double inprocessingDtimeRatio_;
3197 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3198 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3200 get {
if ((_hasBits6 & 67108864) != 0) {
return inprocessingDtimeRatio_; }
else {
return InprocessingDtimeRatioDefaultValue; } }
3202 _hasBits6 |= 67108864;
3203 inprocessingDtimeRatio_ = value;
3207 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3208 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3210 get {
return (_hasBits6 & 67108864) != 0; }
3213 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3214 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3216 _hasBits6 &= ~67108864;
3221 private readonly
static double InprocessingProbingDtimeDefaultValue = 1D;
3223 private double inprocessingProbingDtime_;
3227 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3228 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3230 get {
if ((_hasBits6 & 134217728) != 0) {
return inprocessingProbingDtime_; }
else {
return InprocessingProbingDtimeDefaultValue; } }
3232 _hasBits6 |= 134217728;
3233 inprocessingProbingDtime_ = value;
3237 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3238 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3240 get {
return (_hasBits6 & 134217728) != 0; }
3243 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3244 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3246 _hasBits6 &= ~134217728;
3251 private readonly
static double InprocessingMinimizationDtimeDefaultValue = 1D;
3253 private double inprocessingMinimizationDtime_;
3266 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3267 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3269 get {
if ((_hasBits6 & 268435456) != 0) {
return inprocessingMinimizationDtime_; }
else {
return InprocessingMinimizationDtimeDefaultValue; } }
3271 _hasBits6 |= 268435456;
3272 inprocessingMinimizationDtime_ = value;
3276 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3277 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3279 get {
return (_hasBits6 & 268435456) != 0; }
3282 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3283 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3285 _hasBits6 &= ~268435456;
3290 private readonly
static int NumWorkersDefaultValue = 0;
3292 private int numWorkers_;
3309 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3310 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3312 get {
if ((_hasBits5 & 32) != 0) {
return numWorkers_; }
else {
return NumWorkersDefaultValue; } }
3315 numWorkers_ = value;
3319 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3320 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3322 get {
return (_hasBits5 & 32) != 0; }
3325 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3326 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3333 private readonly
static int NumSearchWorkersDefaultValue = 0;
3335 private int numSearchWorkers_;
3336 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3337 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3339 get {
if ((_hasBits2 & 512) != 0) {
return numSearchWorkers_; }
else {
return NumSearchWorkersDefaultValue; } }
3342 numSearchWorkers_ = value;
3346 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3347 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3349 get {
return (_hasBits2 & 512) != 0; }
3352 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3353 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3360 private readonly
static int MinNumLnsWorkersDefaultValue = 2;
3362 private int minNumLnsWorkers_;
3366 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3367 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3369 get {
if ((_hasBits5 & 64) != 0) {
return minNumLnsWorkers_; }
else {
return MinNumLnsWorkersDefaultValue; } }
3372 minNumLnsWorkers_ = value;
3376 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3377 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3379 get {
return (_hasBits5 & 64) != 0; }
3382 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3383 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3390 private static readonly pb::FieldCodec<string> _repeated_subsolvers_codec
3391 = pb::FieldCodec.ForString(1658);
3392 private readonly pbc::RepeatedField<string> subsolvers_ =
new pbc::RepeatedField<string>();
3422 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3423 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3424 public pbc::RepeatedField<string>
Subsolvers {
3425 get {
return subsolvers_; }
3430 private static readonly pb::FieldCodec<string> _repeated_extraSubsolvers_codec
3431 = pb::FieldCodec.ForString(1754);
3432 private readonly pbc::RepeatedField<string> extraSubsolvers_ =
new pbc::RepeatedField<string>();
3437 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3438 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3440 get {
return extraSubsolvers_; }
3445 private static readonly pb::FieldCodec<string> _repeated_ignoreSubsolvers_codec
3446 = pb::FieldCodec.ForString(1674);
3447 private readonly pbc::RepeatedField<string> ignoreSubsolvers_ =
new pbc::RepeatedField<string>();
3452 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3453 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3455 get {
return ignoreSubsolvers_; }
3460 private static readonly pb::FieldCodec<global::Google.OrTools.Sat.SatParameters> _repeated_subsolverParams_codec
3461 = pb::FieldCodec.ForMessage(1682, global::Google.OrTools.Sat.SatParameters.Parser);
3462 private readonly pbc::RepeatedField<global::Google.OrTools.Sat.SatParameters> subsolverParams_ =
new pbc::RepeatedField<global::Google.OrTools.Sat.SatParameters>();
3470 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3471 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3472 public pbc::RepeatedField<global::Google.OrTools.Sat.SatParameters>
SubsolverParams {
3473 get {
return subsolverParams_; }
3478 private readonly
static bool InterleaveSearchDefaultValue =
false;
3480 private bool interleaveSearch_;
3489 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3490 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3492 get {
if ((_hasBits3 & 512) != 0) {
return interleaveSearch_; }
else {
return InterleaveSearchDefaultValue; } }
3495 interleaveSearch_ = value;
3499 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3500 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3502 get {
return (_hasBits3 & 512) != 0; }
3505 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3506 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3513 private readonly
static int InterleaveBatchSizeDefaultValue = 0;
3515 private int interleaveBatchSize_;
3516 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3517 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3519 get {
if ((_hasBits3 & 128) != 0) {
return interleaveBatchSize_; }
else {
return InterleaveBatchSizeDefaultValue; } }
3522 interleaveBatchSize_ = value;
3526 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3527 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3529 get {
return (_hasBits3 & 128) != 0; }
3532 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3533 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3540 private readonly
static bool ShareObjectiveBoundsDefaultValue =
true;
3542 private bool shareObjectiveBounds_;
3546 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3547 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3549 get {
if ((_hasBits2 & 524288) != 0) {
return shareObjectiveBounds_; }
else {
return ShareObjectiveBoundsDefaultValue; } }
3551 _hasBits2 |= 524288;
3552 shareObjectiveBounds_ = value;
3556 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3557 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3559 get {
return (_hasBits2 & 524288) != 0; }
3562 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3563 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3565 _hasBits2 &= ~524288;
3570 private readonly
static bool ShareLevelZeroBoundsDefaultValue =
true;
3572 private bool shareLevelZeroBounds_;
3576 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3577 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3579 get {
if ((_hasBits2 & 1048576) != 0) {
return shareLevelZeroBounds_; }
else {
return ShareLevelZeroBoundsDefaultValue; } }
3581 _hasBits2 |= 1048576;
3582 shareLevelZeroBounds_ = value;
3586 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3587 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3589 get {
return (_hasBits2 & 1048576) != 0; }
3592 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3593 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3595 _hasBits2 &= ~1048576;
3600 private readonly
static bool ShareBinaryClausesDefaultValue =
true;
3602 private bool shareBinaryClauses_;
3606 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3607 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3609 get {
if ((_hasBits5 & 4) != 0) {
return shareBinaryClauses_; }
else {
return ShareBinaryClausesDefaultValue; } }
3612 shareBinaryClauses_ = value;
3616 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3617 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3619 get {
return (_hasBits5 & 4) != 0; }
3622 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3623 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3630 private readonly
static bool DebugPostsolveWithFullSolverDefaultValue =
false;
3632 private bool debugPostsolveWithFullSolver_;
3638 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3639 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3641 get {
if ((_hasBits3 & 268435456) != 0) {
return debugPostsolveWithFullSolver_; }
else {
return DebugPostsolveWithFullSolverDefaultValue; } }
3643 _hasBits3 |= 268435456;
3644 debugPostsolveWithFullSolver_ = value;
3648 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3649 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3651 get {
return (_hasBits3 & 268435456) != 0; }
3654 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3655 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3657 _hasBits3 &= ~268435456;
3662 private readonly
static int DebugMaxNumPresolveOperationsDefaultValue = 0;
3664 private int debugMaxNumPresolveOperations_;
3669 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3670 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3672 get {
if ((_hasBits3 & 262144) != 0) {
return debugMaxNumPresolveOperations_; }
else {
return DebugMaxNumPresolveOperationsDefaultValue; } }
3674 _hasBits3 |= 262144;
3675 debugMaxNumPresolveOperations_ = value;
3679 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3680 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3682 get {
return (_hasBits3 & 262144) != 0; }
3685 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3686 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3688 _hasBits3 &= ~262144;
3693 private readonly
static bool DebugCrashOnBadHintDefaultValue =
false;
3695 private bool debugCrashOnBadHint_;
3699 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3700 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3702 get {
if ((_hasBits4 & 67108864) != 0) {
return debugCrashOnBadHint_; }
else {
return DebugCrashOnBadHintDefaultValue; } }
3704 _hasBits4 |= 67108864;
3705 debugCrashOnBadHint_ = value;
3709 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3710 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3712 get {
return (_hasBits4 & 67108864) != 0; }
3715 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3716 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3718 _hasBits4 &= ~67108864;
3723 private readonly
static bool UseOptimizationHintsDefaultValue =
true;
3725 private bool useOptimizationHints_;
3732 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3733 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3735 get {
if ((_hasBits0 & 65536) != 0) {
return useOptimizationHints_; }
else {
return UseOptimizationHintsDefaultValue; } }
3738 useOptimizationHints_ = value;
3742 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3743 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3745 get {
return (_hasBits0 & 65536) != 0; }
3748 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3749 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3751 _hasBits0 &= ~65536;
3756 private readonly
static int CoreMinimizationLevelDefaultValue = 2;
3758 private int coreMinimizationLevel_;
3765 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3766 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3768 get {
if ((_hasBits0 & 268435456) != 0) {
return coreMinimizationLevel_; }
else {
return CoreMinimizationLevelDefaultValue; } }
3770 _hasBits0 |= 268435456;
3771 coreMinimizationLevel_ = value;
3775 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3776 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3778 get {
return (_hasBits0 & 268435456) != 0; }
3781 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3782 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3784 _hasBits0 &= ~268435456;
3789 private readonly
static bool FindMultipleCoresDefaultValue =
true;
3791 private bool findMultipleCores_;
3796 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3797 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3799 get {
if ((_hasBits1 & 134217728) != 0) {
return findMultipleCores_; }
else {
return FindMultipleCoresDefaultValue; } }
3801 _hasBits1 |= 134217728;
3802 findMultipleCores_ = value;
3806 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3807 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3809 get {
return (_hasBits1 & 134217728) != 0; }
3812 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3813 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3815 _hasBits1 &= ~134217728;
3820 private readonly
static bool CoverOptimizationDefaultValue =
true;
3822 private bool coverOptimization_;
3828 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3829 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3831 get {
if ((_hasBits2 & 1) != 0) {
return coverOptimization_; }
else {
return CoverOptimizationDefaultValue; } }
3834 coverOptimization_ = value;
3838 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3839 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3841 get {
return (_hasBits2 & 1) != 0; }
3844 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3845 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3852 private readonly
static global::Google.OrTools.Sat.SatParameters.Types.MaxSatAssumptionOrder MaxSatAssumptionOrderDefaultValue = global::Google.OrTools.Sat.SatParameters.Types.MaxSatAssumptionOrder.DefaultAssumptionOrder;
3854 private global::Google.OrTools.Sat.SatParameters.Types.MaxSatAssumptionOrder maxSatAssumptionOrder_;
3855 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3856 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3858 get {
if ((_hasBits0 & 536870912) != 0) {
return maxSatAssumptionOrder_; }
else {
return MaxSatAssumptionOrderDefaultValue; } }
3860 _hasBits0 |= 536870912;
3861 maxSatAssumptionOrder_ = value;
3865 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3866 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3868 get {
return (_hasBits0 & 536870912) != 0; }
3871 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3872 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3874 _hasBits0 &= ~536870912;
3879 private readonly
static bool MaxSatReverseAssumptionOrderDefaultValue =
false;
3881 private bool maxSatReverseAssumptionOrder_;
3886 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3887 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3889 get {
if ((_hasBits0 & 1073741824) != 0) {
return maxSatReverseAssumptionOrder_; }
else {
return MaxSatReverseAssumptionOrderDefaultValue; } }
3891 _hasBits0 |= 1073741824;
3892 maxSatReverseAssumptionOrder_ = value;
3896 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3897 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3899 get {
return (_hasBits0 & 1073741824) != 0; }
3902 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3903 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3905 _hasBits0 &= ~1073741824;
3910 private readonly
static global::Google.OrTools.Sat.SatParameters.Types.MaxSatStratificationAlgorithm MaxSatStratificationDefaultValue = global::Google.OrTools.Sat.SatParameters.Types.MaxSatStratificationAlgorithm.StratificationDescent;
3912 private global::Google.OrTools.Sat.SatParameters.Types.MaxSatStratificationAlgorithm maxSatStratification_;
3913 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3914 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3915 public global::Google.OrTools.Sat.SatParameters.Types.MaxSatStratificationAlgorithm
MaxSatStratification {
3916 get {
if ((_hasBits0 & -2147483648) != 0) {
return maxSatStratification_; }
else {
return MaxSatStratificationDefaultValue; } }
3918 _hasBits0 |= -2147483648;
3919 maxSatStratification_ = value;
3923 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3924 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3926 get {
return (_hasBits0 & -2147483648) != 0; }
3929 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3930 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3932 _hasBits0 &= ~-2147483648;
3937 private readonly
static double PropagationLoopDetectionFactorDefaultValue = 10D;
3939 private double propagationLoopDetectionFactor_;
3951 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3952 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3954 get {
if ((_hasBits5 & 8192) != 0) {
return propagationLoopDetectionFactor_; }
else {
return PropagationLoopDetectionFactorDefaultValue; } }
3957 propagationLoopDetectionFactor_ = value;
3961 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3962 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3964 get {
return (_hasBits5 & 8192) != 0; }
3967 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3968 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3975 private readonly
static bool UsePrecedencesInDisjunctiveConstraintDefaultValue =
true;
3977 private bool usePrecedencesInDisjunctiveConstraint_;
3989 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
3990 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
3992 get {
if ((_hasBits1 & 262144) != 0) {
return usePrecedencesInDisjunctiveConstraint_; }
else {
return UsePrecedencesInDisjunctiveConstraintDefaultValue; } }
3994 _hasBits1 |= 262144;
3995 usePrecedencesInDisjunctiveConstraint_ = value;
3999 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4000 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4002 get {
return (_hasBits1 & 262144) != 0; }
4005 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4006 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4008 _hasBits1 &= ~262144;
4013 private readonly
static int MaxSizeToCreatePrecedenceLiteralsInDisjunctiveDefaultValue = 60;
4015 private int maxSizeToCreatePrecedenceLiteralsInDisjunctive_;
4023 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4024 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4026 get {
if ((_hasBits5 & 2097152) != 0) {
return maxSizeToCreatePrecedenceLiteralsInDisjunctive_; }
else {
return MaxSizeToCreatePrecedenceLiteralsInDisjunctiveDefaultValue; } }
4028 _hasBits5 |= 2097152;
4029 maxSizeToCreatePrecedenceLiteralsInDisjunctive_ = value;
4033 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4034 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4036 get {
return (_hasBits5 & 2097152) != 0; }
4039 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4040 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4042 _hasBits5 &= ~2097152;
4047 private readonly
static bool UseStrongPropagationInDisjunctiveDefaultValue =
false;
4049 private bool useStrongPropagationInDisjunctive_;
4053 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4054 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4056 get {
if ((_hasBits5 & 4194304) != 0) {
return useStrongPropagationInDisjunctive_; }
else {
return UseStrongPropagationInDisjunctiveDefaultValue; } }
4058 _hasBits5 |= 4194304;
4059 useStrongPropagationInDisjunctive_ = value;
4063 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4064 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4066 get {
return (_hasBits5 & 4194304) != 0; }
4069 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4070 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4072 _hasBits5 &= ~4194304;
4077 private readonly
static bool UseDynamicPrecedenceInDisjunctiveDefaultValue =
false;
4079 private bool useDynamicPrecedenceInDisjunctive_;
4088 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4089 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4091 get {
if ((_hasBits6 & 65536) != 0) {
return useDynamicPrecedenceInDisjunctive_; }
else {
return UseDynamicPrecedenceInDisjunctiveDefaultValue; } }
4094 useDynamicPrecedenceInDisjunctive_ = value;
4098 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4099 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4101 get {
return (_hasBits6 & 65536) != 0; }
4104 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4105 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4107 _hasBits6 &= ~65536;
4112 private readonly
static bool UseDynamicPrecedenceInCumulativeDefaultValue =
false;
4114 private bool useDynamicPrecedenceInCumulative_;
4115 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4116 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4118 get {
if ((_hasBits6 & 2097152) != 0) {
return useDynamicPrecedenceInCumulative_; }
else {
return UseDynamicPrecedenceInCumulativeDefaultValue; } }
4120 _hasBits6 |= 2097152;
4121 useDynamicPrecedenceInCumulative_ = value;
4125 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4126 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4128 get {
return (_hasBits6 & 2097152) != 0; }
4131 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4132 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4134 _hasBits6 &= ~2097152;
4139 private readonly
static bool UseOverloadCheckerInCumulativeDefaultValue =
false;
4141 private bool useOverloadCheckerInCumulative_;
4151 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4152 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4154 get {
if ((_hasBits1 & 4194304) != 0) {
return useOverloadCheckerInCumulative_; }
else {
return UseOverloadCheckerInCumulativeDefaultValue; } }
4156 _hasBits1 |= 4194304;
4157 useOverloadCheckerInCumulative_ = value;
4161 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4162 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4164 get {
return (_hasBits1 & 4194304) != 0; }
4167 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4168 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4170 _hasBits1 &= ~4194304;
4175 private readonly
static bool UseTimetableEdgeFindingInCumulativeDefaultValue =
false;
4177 private bool useTimetableEdgeFindingInCumulative_;
4187 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4188 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4190 get {
if ((_hasBits1 & 8388608) != 0) {
return useTimetableEdgeFindingInCumulative_; }
else {
return UseTimetableEdgeFindingInCumulativeDefaultValue; } }
4192 _hasBits1 |= 8388608;
4193 useTimetableEdgeFindingInCumulative_ = value;
4197 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4198 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4200 get {
return (_hasBits1 & 8388608) != 0; }
4203 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4204 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4206 _hasBits1 &= ~8388608;
4211 private readonly
static int MaxNumIntervalsForTimetableEdgeFindingDefaultValue = 100;
4213 private int maxNumIntervalsForTimetableEdgeFinding_;
4218 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4219 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4221 get {
if ((_hasBits6 & 8192) != 0) {
return maxNumIntervalsForTimetableEdgeFinding_; }
else {
return MaxNumIntervalsForTimetableEdgeFindingDefaultValue; } }
4224 maxNumIntervalsForTimetableEdgeFinding_ = value;
4228 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4229 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4231 get {
return (_hasBits6 & 8192) != 0; }
4234 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4235 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4242 private readonly
static bool UseHardPrecedencesInCumulativeDefaultValue =
false;
4244 private bool useHardPrecedencesInCumulative_;
4253 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4254 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4256 get {
if ((_hasBits5 & 512) != 0) {
return useHardPrecedencesInCumulative_; }
else {
return UseHardPrecedencesInCumulativeDefaultValue; } }
4259 useHardPrecedencesInCumulative_ = value;
4263 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4264 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4266 get {
return (_hasBits5 & 512) != 0; }
4269 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4270 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4277 private readonly
static bool ExploitAllPrecedencesDefaultValue =
false;
4279 private bool exploitAllPrecedences_;
4280 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4281 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4283 get {
if ((_hasBits5 & 4096) != 0) {
return exploitAllPrecedences_; }
else {
return ExploitAllPrecedencesDefaultValue; } }
4286 exploitAllPrecedences_ = value;
4290 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4291 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4293 get {
return (_hasBits5 & 4096) != 0; }
4296 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4297 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4304 private readonly
static bool UseDisjunctiveConstraintInCumulativeDefaultValue =
true;
4306 private bool useDisjunctiveConstraintInCumulative_;
4319 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4320 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4322 get {
if ((_hasBits1 & 16777216) != 0) {
return useDisjunctiveConstraintInCumulative_; }
else {
return UseDisjunctiveConstraintInCumulativeDefaultValue; } }
4324 _hasBits1 |= 16777216;
4325 useDisjunctiveConstraintInCumulative_ = value;
4329 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4330 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4332 get {
return (_hasBits1 & 16777216) != 0; }
4335 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4336 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4338 _hasBits1 &= ~16777216;
4343 private readonly
static bool UseTimetablingInNoOverlap2DDefaultValue =
false;
4345 private bool useTimetablingInNoOverlap2D_;
4353 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4354 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4356 get {
if ((_hasBits4 & -2147483648) != 0) {
return useTimetablingInNoOverlap2D_; }
else {
return UseTimetablingInNoOverlap2DDefaultValue; } }
4358 _hasBits4 |= -2147483648;
4359 useTimetablingInNoOverlap2D_ = value;
4363 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4364 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4366 get {
return (_hasBits4 & -2147483648) != 0; }
4369 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4370 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4372 _hasBits4 &= ~-2147483648;
4377 private readonly
static bool UseEnergeticReasoningInNoOverlap2DDefaultValue =
false;
4379 private bool useEnergeticReasoningInNoOverlap2D_;
4385 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4386 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4388 get {
if ((_hasBits5 & 128) != 0) {
return useEnergeticReasoningInNoOverlap2D_; }
else {
return UseEnergeticReasoningInNoOverlap2DDefaultValue; } }
4391 useEnergeticReasoningInNoOverlap2D_ = value;
4395 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4396 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4398 get {
return (_hasBits5 & 128) != 0; }
4401 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4402 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4409 private readonly
static bool UseAreaEnergeticReasoningInNoOverlap2DDefaultValue =
false;
4411 private bool useAreaEnergeticReasoningInNoOverlap2D_;
4417 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4418 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4420 get {
if ((_hasBits6 & 16777216) != 0) {
return useAreaEnergeticReasoningInNoOverlap2D_; }
else {
return UseAreaEnergeticReasoningInNoOverlap2DDefaultValue; } }
4422 _hasBits6 |= 16777216;
4423 useAreaEnergeticReasoningInNoOverlap2D_ = value;
4427 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4428 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4430 get {
return (_hasBits6 & 16777216) != 0; }
4433 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4434 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4436 _hasBits6 &= ~16777216;
4441 private readonly
static int MaxPairsPairwiseReasoningInNoOverlap2DDefaultValue = 1250;
4443 private int maxPairsPairwiseReasoningInNoOverlap2D_;
4449 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4450 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4452 get {
if ((_hasBits6 & 536870912) != 0) {
return maxPairsPairwiseReasoningInNoOverlap2D_; }
else {
return MaxPairsPairwiseReasoningInNoOverlap2DDefaultValue; } }
4454 _hasBits6 |= 536870912;
4455 maxPairsPairwiseReasoningInNoOverlap2D_ = value;
4459 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4460 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4462 get {
return (_hasBits6 & 536870912) != 0; }
4465 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4466 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4468 _hasBits6 &= ~536870912;
4473 private readonly
static bool UseDualSchedulingHeuristicsDefaultValue =
true;
4475 private bool useDualSchedulingHeuristics_;
4481 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4482 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4484 get {
if ((_hasBits5 & 256) != 0) {
return useDualSchedulingHeuristics_; }
else {
return UseDualSchedulingHeuristicsDefaultValue; } }
4487 useDualSchedulingHeuristics_ = value;
4491 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4492 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4494 get {
return (_hasBits5 & 256) != 0; }
4497 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4498 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4505 private readonly
static global::Google.OrTools.Sat.SatParameters.Types.SearchBranching SearchBranchingDefaultValue = global::Google.OrTools.Sat.SatParameters.Types.SearchBranching.AutomaticSearch;
4507 private global::Google.OrTools.Sat.SatParameters.Types.SearchBranching searchBranching_;
4508 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4509 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4510 public global::Google.OrTools.Sat.SatParameters.Types.SearchBranching
SearchBranching {
4511 get {
if ((_hasBits1 & 33554432) != 0) {
return searchBranching_; }
else {
return SearchBranchingDefaultValue; } }
4513 _hasBits1 |= 33554432;
4514 searchBranching_ = value;
4518 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4519 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4521 get {
return (_hasBits1 & 33554432) != 0; }
4524 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4525 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4527 _hasBits1 &= ~33554432;
4532 private readonly
static int HintConflictLimitDefaultValue = 10;
4534 private int hintConflictLimit_;
4538 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4539 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4541 get {
if ((_hasBits3 & 1048576) != 0) {
return hintConflictLimit_; }
else {
return HintConflictLimitDefaultValue; } }
4543 _hasBits3 |= 1048576;
4544 hintConflictLimit_ = value;
4548 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4549 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4551 get {
return (_hasBits3 & 1048576) != 0; }
4554 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4555 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4557 _hasBits3 &= ~1048576;
4562 private readonly
static bool RepairHintDefaultValue =
false;
4564 private bool repairHint_;
4571 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4572 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4574 get {
if ((_hasBits4 & 2) != 0) {
return repairHint_; }
else {
return RepairHintDefaultValue; } }
4577 repairHint_ = value;
4581 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4582 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4584 get {
return (_hasBits4 & 2) != 0; }
4587 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4588 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4595 private readonly
static bool FixVariablesToTheirHintedValueDefaultValue =
false;
4597 private bool fixVariablesToTheirHintedValue_;
4602 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4603 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4605 get {
if ((_hasBits4 & 8388608) != 0) {
return fixVariablesToTheirHintedValue_; }
else {
return FixVariablesToTheirHintedValueDefaultValue; } }
4607 _hasBits4 |= 8388608;
4608 fixVariablesToTheirHintedValue_ = value;
4612 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4613 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4615 get {
return (_hasBits4 & 8388608) != 0; }
4618 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4619 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4621 _hasBits4 &= ~8388608;
4626 private readonly
static bool UseProbingSearchDefaultValue =
false;
4628 private bool useProbingSearch_;
4634 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4635 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4637 get {
if ((_hasBits4 & 512) != 0) {
return useProbingSearch_; }
else {
return UseProbingSearchDefaultValue; } }
4640 useProbingSearch_ = value;
4644 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4645 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4647 get {
return (_hasBits4 & 512) != 0; }
4650 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4651 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4658 private readonly
static bool UseExtendedProbingDefaultValue =
true;
4660 private bool useExtendedProbing_;
4664 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4665 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4667 get {
if ((_hasBits6 & 4194304) != 0) {
return useExtendedProbing_; }
else {
return UseExtendedProbingDefaultValue; } }
4669 _hasBits6 |= 4194304;
4670 useExtendedProbing_ = value;
4674 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4675 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4677 get {
return (_hasBits6 & 4194304) != 0; }
4680 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4681 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4683 _hasBits6 &= ~4194304;
4688 private readonly
static int ProbingNumCombinationsLimitDefaultValue = 20000;
4690 private int probingNumCombinationsLimit_;
4694 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4695 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4697 get {
if ((_hasBits6 & 33554432) != 0) {
return probingNumCombinationsLimit_; }
else {
return ProbingNumCombinationsLimitDefaultValue; } }
4699 _hasBits6 |= 33554432;
4700 probingNumCombinationsLimit_ = value;
4704 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4705 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4707 get {
return (_hasBits6 & 33554432) != 0; }
4710 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4711 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4713 _hasBits6 &= ~33554432;
4718 private readonly
static bool UseShavingInProbingSearchDefaultValue =
true;
4720 private bool useShavingInProbingSearch_;
4725 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4726 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4728 get {
if ((_hasBits5 & 8) != 0) {
return useShavingInProbingSearch_; }
else {
return UseShavingInProbingSearchDefaultValue; } }
4731 useShavingInProbingSearch_ = value;
4735 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4736 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4738 get {
return (_hasBits5 & 8) != 0; }
4741 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4742 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4749 private readonly
static double ShavingSearchDeterministicTimeDefaultValue = 0.001D;
4751 private double shavingSearchDeterministicTime_;
4756 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4757 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4759 get {
if ((_hasBits5 & 16) != 0) {
return shavingSearchDeterministicTime_; }
else {
return ShavingSearchDeterministicTimeDefaultValue; } }
4762 shavingSearchDeterministicTime_ = value;
4766 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4767 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4769 get {
return (_hasBits5 & 16) != 0; }
4772 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4773 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4780 private readonly
static bool UseObjectiveLbSearchDefaultValue =
false;
4782 private bool useObjectiveLbSearch_;
4787 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4788 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4790 get {
if ((_hasBits5 & 1048576) != 0) {
return useObjectiveLbSearch_; }
else {
return UseObjectiveLbSearchDefaultValue; } }
4792 _hasBits5 |= 1048576;
4793 useObjectiveLbSearch_ = value;
4797 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4798 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4800 get {
return (_hasBits5 & 1048576) != 0; }
4803 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4804 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4806 _hasBits5 &= ~1048576;
4811 private readonly
static bool UseObjectiveShavingSearchDefaultValue =
false;
4813 private bool useObjectiveShavingSearch_;
4819 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4820 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4822 get {
if ((_hasBits6 & 128) != 0) {
return useObjectiveShavingSearch_; }
else {
return UseObjectiveShavingSearchDefaultValue; } }
4825 useObjectiveShavingSearch_ = value;
4829 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4830 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4832 get {
return (_hasBits6 & 128) != 0; }
4835 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4836 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4843 private readonly
static long PseudoCostReliabilityThresholdDefaultValue = 100L;
4845 private long pseudoCostReliabilityThreshold_;
4850 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4851 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4853 get {
if ((_hasBits2 & 268435456) != 0) {
return pseudoCostReliabilityThreshold_; }
else {
return PseudoCostReliabilityThresholdDefaultValue; } }
4855 _hasBits2 |= 268435456;
4856 pseudoCostReliabilityThreshold_ = value;
4860 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4861 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4863 get {
return (_hasBits2 & 268435456) != 0; }
4866 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4867 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4869 _hasBits2 &= ~268435456;
4874 private readonly
static bool OptimizeWithCoreDefaultValue =
false;
4876 private bool optimizeWithCore_;
4883 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4884 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4886 get {
if ((_hasBits1 & 67108864) != 0) {
return optimizeWithCore_; }
else {
return OptimizeWithCoreDefaultValue; } }
4888 _hasBits1 |= 67108864;
4889 optimizeWithCore_ = value;
4893 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4894 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4896 get {
return (_hasBits1 & 67108864) != 0; }
4899 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4900 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4902 _hasBits1 &= ~67108864;
4907 private readonly
static bool OptimizeWithLbTreeSearchDefaultValue =
false;
4909 private bool optimizeWithLbTreeSearch_;
4917 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4918 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4920 get {
if ((_hasBits4 & 524288) != 0) {
return optimizeWithLbTreeSearch_; }
else {
return OptimizeWithLbTreeSearchDefaultValue; } }
4922 _hasBits4 |= 524288;
4923 optimizeWithLbTreeSearch_ = value;
4927 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4928 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4930 get {
return (_hasBits4 & 524288) != 0; }
4933 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4934 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4936 _hasBits4 &= ~524288;
4941 private readonly
static int BinarySearchNumConflictsDefaultValue = -1;
4943 private int binarySearchNumConflicts_;
4950 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4951 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4953 get {
if ((_hasBits2 & 256) != 0) {
return binarySearchNumConflicts_; }
else {
return BinarySearchNumConflictsDefaultValue; } }
4956 binarySearchNumConflicts_ = value;
4960 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4961 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4963 get {
return (_hasBits2 & 256) != 0; }
4966 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4967 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4974 private readonly
static bool OptimizeWithMaxHsDefaultValue =
false;
4976 private bool optimizeWithMaxHs_;
4985 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4986 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4988 get {
if ((_hasBits1 & 268435456) != 0) {
return optimizeWithMaxHs_; }
else {
return OptimizeWithMaxHsDefaultValue; } }
4990 _hasBits1 |= 268435456;
4991 optimizeWithMaxHs_ = value;
4995 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
4996 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
4998 get {
return (_hasBits1 & 268435456) != 0; }
5001 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5002 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5004 _hasBits1 &= ~268435456;
5009 private readonly
static bool UseFeasibilityJumpDefaultValue =
true;
5011 private bool useFeasibilityJump_;
5017 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5018 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5020 get {
if ((_hasBits6 & 262144) != 0) {
return useFeasibilityJump_; }
else {
return UseFeasibilityJumpDefaultValue; } }
5022 _hasBits6 |= 262144;
5023 useFeasibilityJump_ = value;
5027 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5028 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5030 get {
return (_hasBits6 & 262144) != 0; }
5033 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5034 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5036 _hasBits6 &= ~262144;
5041 private readonly
static bool TestFeasibilityJumpDefaultValue =
false;
5043 private bool testFeasibilityJump_;
5048 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5049 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5051 get {
if ((_hasBits5 & -2147483648) != 0) {
return testFeasibilityJump_; }
else {
return TestFeasibilityJumpDefaultValue; } }
5053 _hasBits5 |= -2147483648;
5054 testFeasibilityJump_ = value;
5058 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5059 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5061 get {
return (_hasBits5 & -2147483648) != 0; }
5064 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5065 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5067 _hasBits5 &= ~-2147483648;
5072 private readonly
static double FeasibilityJumpDecayDefaultValue = 0.95D;
5074 private double feasibilityJumpDecay_;
5079 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5080 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5082 get {
if ((_hasBits6 & 1) != 0) {
return feasibilityJumpDecay_; }
else {
return FeasibilityJumpDecayDefaultValue; } }
5085 feasibilityJumpDecay_ = value;
5089 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5090 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5092 get {
return (_hasBits6 & 1) != 0; }
5095 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5096 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5103 private readonly
static int FeasibilityJumpLinearizationLevelDefaultValue = 2;
5105 private int feasibilityJumpLinearizationLevel_;
5109 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5110 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5112 get {
if ((_hasBits6 & 1024) != 0) {
return feasibilityJumpLinearizationLevel_; }
else {
return FeasibilityJumpLinearizationLevelDefaultValue; } }
5115 feasibilityJumpLinearizationLevel_ = value;
5119 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5120 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5122 get {
return (_hasBits6 & 1024) != 0; }
5125 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5126 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5133 private readonly
static int FeasibilityJumpRestartFactorDefaultValue = 1;
5135 private int feasibilityJumpRestartFactor_;
5141 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5142 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5144 get {
if ((_hasBits6 & 2048) != 0) {
return feasibilityJumpRestartFactor_; }
else {
return FeasibilityJumpRestartFactorDefaultValue; } }
5147 feasibilityJumpRestartFactor_ = value;
5151 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5152 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5154 get {
return (_hasBits6 & 2048) != 0; }
5157 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5158 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5165 private readonly
static double FeasibilityJumpVarRandomizationProbabilityDefaultValue = 0D;
5167 private double feasibilityJumpVarRandomizationProbability_;
5172 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5173 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5175 get {
if ((_hasBits6 & 4) != 0) {
return feasibilityJumpVarRandomizationProbability_; }
else {
return FeasibilityJumpVarRandomizationProbabilityDefaultValue; } }
5178 feasibilityJumpVarRandomizationProbability_ = value;
5182 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5183 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5185 get {
return (_hasBits6 & 4) != 0; }
5188 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5189 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5196 private readonly
static double FeasibilityJumpVarPerburbationRangeRatioDefaultValue = 0.2D;
5198 private double feasibilityJumpVarPerburbationRangeRatio_;
5203 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5204 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5206 get {
if ((_hasBits6 & 8) != 0) {
return feasibilityJumpVarPerburbationRangeRatio_; }
else {
return FeasibilityJumpVarPerburbationRangeRatioDefaultValue; } }
5209 feasibilityJumpVarPerburbationRangeRatio_ = value;
5213 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5214 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5216 get {
return (_hasBits6 & 8) != 0; }
5219 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5220 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5227 private readonly
static bool FeasibilityJumpEnableRestartsDefaultValue =
true;
5229 private bool feasibilityJumpEnableRestarts_;
5235 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5236 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5238 get {
if ((_hasBits6 & 32) != 0) {
return feasibilityJumpEnableRestarts_; }
else {
return FeasibilityJumpEnableRestartsDefaultValue; } }
5241 feasibilityJumpEnableRestarts_ = value;
5245 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5246 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5248 get {
return (_hasBits6 & 32) != 0; }
5251 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5252 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5259 private readonly
static int FeasibilityJumpMaxExpandedConstraintSizeDefaultValue = 100;
5261 private int feasibilityJumpMaxExpandedConstraintSize_;
5266 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5267 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5269 get {
if ((_hasBits6 & 131072) != 0) {
return feasibilityJumpMaxExpandedConstraintSize_; }
else {
return FeasibilityJumpMaxExpandedConstraintSizeDefaultValue; } }
5271 _hasBits6 |= 131072;
5272 feasibilityJumpMaxExpandedConstraintSize_ = value;
5276 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5277 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5279 get {
return (_hasBits6 & 131072) != 0; }
5282 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5283 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5285 _hasBits6 &= ~131072;
5290 private readonly
static int NumViolationLsDefaultValue = 0;
5292 private int numViolationLs_;
5298 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5299 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5301 get {
if ((_hasBits6 & 2) != 0) {
return numViolationLs_; }
else {
return NumViolationLsDefaultValue; } }
5304 numViolationLs_ = value;
5308 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5309 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5311 get {
return (_hasBits6 & 2) != 0; }
5314 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5315 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5322 private readonly
static int ViolationLsPerturbationPeriodDefaultValue = 100;
5324 private int violationLsPerturbationPeriod_;
5328 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5329 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5331 get {
if ((_hasBits6 & 16) != 0) {
return violationLsPerturbationPeriod_; }
else {
return ViolationLsPerturbationPeriodDefaultValue; } }
5334 violationLsPerturbationPeriod_ = value;
5338 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5339 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5341 get {
return (_hasBits6 & 16) != 0; }
5344 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5345 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5352 private readonly
static double ViolationLsCompoundMoveProbabilityDefaultValue = 0.5D;
5354 private double violationLsCompoundMoveProbability_;
5359 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5360 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5362 get {
if ((_hasBits6 & 4096) != 0) {
return violationLsCompoundMoveProbability_; }
else {
return ViolationLsCompoundMoveProbabilityDefaultValue; } }
5365 violationLsCompoundMoveProbability_ = value;
5369 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5370 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5372 get {
return (_hasBits6 & 4096) != 0; }
5375 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5376 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5383 private readonly
static int SharedTreeNumWorkersDefaultValue = 0;
5385 private int sharedTreeNumWorkers_;
5393 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5394 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5396 get {
if ((_hasBits5 & 67108864) != 0) {
return sharedTreeNumWorkers_; }
else {
return SharedTreeNumWorkersDefaultValue; } }
5398 _hasBits5 |= 67108864;
5399 sharedTreeNumWorkers_ = value;
5403 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5404 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5406 get {
return (_hasBits5 & 67108864) != 0; }
5409 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5410 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5412 _hasBits5 &= ~67108864;
5417 private readonly
static bool UseSharedTreeSearchDefaultValue =
false;
5419 private bool useSharedTreeSearch_;
5423 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5424 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5426 get {
if ((_hasBits5 & 134217728) != 0) {
return useSharedTreeSearch_; }
else {
return UseSharedTreeSearchDefaultValue; } }
5428 _hasBits5 |= 134217728;
5429 useSharedTreeSearch_ = value;
5433 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5434 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5436 get {
return (_hasBits5 & 134217728) != 0; }
5439 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5440 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5442 _hasBits5 &= ~134217728;
5447 private readonly
static double SharedTreeWorkerObjectiveSplitProbabilityDefaultValue = 0.5D;
5449 private double sharedTreeWorkerObjectiveSplitProbability_;
5455 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5456 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5458 get {
if ((_hasBits5 & 268435456) != 0) {
return sharedTreeWorkerObjectiveSplitProbability_; }
else {
return SharedTreeWorkerObjectiveSplitProbabilityDefaultValue; } }
5460 _hasBits5 |= 268435456;
5461 sharedTreeWorkerObjectiveSplitProbability_ = value;
5465 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5466 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5468 get {
return (_hasBits5 & 268435456) != 0; }
5471 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5472 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5474 _hasBits5 &= ~268435456;
5479 private readonly
static int SharedTreeMaxNodesPerWorkerDefaultValue = 128;
5481 private int sharedTreeMaxNodesPerWorker_;
5488 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5489 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5491 get {
if ((_hasBits5 & 536870912) != 0) {
return sharedTreeMaxNodesPerWorker_; }
else {
return SharedTreeMaxNodesPerWorkerDefaultValue; } }
5493 _hasBits5 |= 536870912;
5494 sharedTreeMaxNodesPerWorker_ = value;
5498 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5499 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5501 get {
return (_hasBits5 & 536870912) != 0; }
5504 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5505 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5507 _hasBits5 &= ~536870912;
5512 private readonly
static global::Google.OrTools.Sat.SatParameters.Types.SharedTreeSplitStrategy SharedTreeSplitStrategyDefaultValue = global::Google.OrTools.Sat.SatParameters.Types.SharedTreeSplitStrategy.SplitStrategyAuto;
5514 private global::Google.OrTools.Sat.SatParameters.Types.SharedTreeSplitStrategy sharedTreeSplitStrategy_;
5515 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5516 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5518 get {
if ((_hasBits5 & 1073741824) != 0) {
return sharedTreeSplitStrategy_; }
else {
return SharedTreeSplitStrategyDefaultValue; } }
5520 _hasBits5 |= 1073741824;
5521 sharedTreeSplitStrategy_ = value;
5525 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5526 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5528 get {
return (_hasBits5 & 1073741824) != 0; }
5531 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5532 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5534 _hasBits5 &= ~1073741824;
5539 private readonly
static bool EnumerateAllSolutionsDefaultValue =
false;
5541 private bool enumerateAllSolutions_;
5551 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5552 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5554 get {
if ((_hasBits1 & 1073741824) != 0) {
return enumerateAllSolutions_; }
else {
return EnumerateAllSolutionsDefaultValue; } }
5556 _hasBits1 |= 1073741824;
5557 enumerateAllSolutions_ = value;
5561 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5562 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5564 get {
return (_hasBits1 & 1073741824) != 0; }
5567 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5568 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5570 _hasBits1 &= ~1073741824;
5575 private readonly
static bool KeepAllFeasibleSolutionsInPresolveDefaultValue =
false;
5577 private bool keepAllFeasibleSolutionsInPresolve_;
5588 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5589 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5591 get {
if ((_hasBits4 & 64) != 0) {
return keepAllFeasibleSolutionsInPresolve_; }
else {
return KeepAllFeasibleSolutionsInPresolveDefaultValue; } }
5594 keepAllFeasibleSolutionsInPresolve_ = value;
5598 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5599 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5601 get {
return (_hasBits4 & 64) != 0; }
5604 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5605 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5612 private readonly
static bool FillTightenedDomainsInResponseDefaultValue =
false;
5614 private bool fillTightenedDomainsInResponse_;
5622 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5623 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5625 get {
if ((_hasBits3 & 32) != 0) {
return fillTightenedDomainsInResponse_; }
else {
return FillTightenedDomainsInResponseDefaultValue; } }
5628 fillTightenedDomainsInResponse_ = value;
5632 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5633 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5635 get {
return (_hasBits3 & 32) != 0; }
5638 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5639 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5646 private readonly
static bool FillAdditionalSolutionsInResponseDefaultValue =
false;
5648 private bool fillAdditionalSolutionsInResponse_;
5661 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5662 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5664 get {
if ((_hasBits4 & 33554432) != 0) {
return fillAdditionalSolutionsInResponse_; }
else {
return FillAdditionalSolutionsInResponseDefaultValue; } }
5666 _hasBits4 |= 33554432;
5667 fillAdditionalSolutionsInResponse_ = value;
5671 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5672 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5674 get {
return (_hasBits4 & 33554432) != 0; }
5677 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5678 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5680 _hasBits4 &= ~33554432;
5685 private readonly
static bool InstantiateAllVariablesDefaultValue =
true;
5687 private bool instantiateAllVariables_;
5694 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5695 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5697 get {
if ((_hasBits2 & 8192) != 0) {
return instantiateAllVariables_; }
else {
return InstantiateAllVariablesDefaultValue; } }
5700 instantiateAllVariables_ = value;
5704 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5705 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5707 get {
return (_hasBits2 & 8192) != 0; }
5710 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5711 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5718 private readonly
static bool AutoDetectGreaterThanAtLeastOneOfDefaultValue =
true;
5720 private bool autoDetectGreaterThanAtLeastOneOf_;
5727 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5728 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5730 get {
if ((_hasBits2 & 64) != 0) {
return autoDetectGreaterThanAtLeastOneOf_; }
else {
return AutoDetectGreaterThanAtLeastOneOfDefaultValue; } }
5733 autoDetectGreaterThanAtLeastOneOf_ = value;
5737 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5738 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5740 get {
return (_hasBits2 & 64) != 0; }
5743 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5744 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5751 private readonly
static bool StopAfterFirstSolutionDefaultValue =
false;
5753 private bool stopAfterFirstSolution_;
5757 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5758 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5760 get {
if ((_hasBits2 & 128) != 0) {
return stopAfterFirstSolution_; }
else {
return StopAfterFirstSolutionDefaultValue; } }
5763 stopAfterFirstSolution_ = value;
5767 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5768 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5770 get {
return (_hasBits2 & 128) != 0; }
5773 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5774 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5781 private readonly
static bool StopAfterPresolveDefaultValue =
false;
5783 private bool stopAfterPresolve_;
5788 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5789 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5791 get {
if ((_hasBits3 & 131072) != 0) {
return stopAfterPresolve_; }
else {
return StopAfterPresolveDefaultValue; } }
5793 _hasBits3 |= 131072;
5794 stopAfterPresolve_ = value;
5798 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5799 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5801 get {
return (_hasBits3 & 131072) != 0; }
5804 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5805 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5807 _hasBits3 &= ~131072;
5812 private readonly
static bool StopAfterRootPropagationDefaultValue =
false;
5814 private bool stopAfterRootPropagation_;
5815 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5816 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5818 get {
if ((_hasBits6 & 64) != 0) {
return stopAfterRootPropagation_; }
else {
return StopAfterRootPropagationDefaultValue; } }
5821 stopAfterRootPropagation_ = value;
5825 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5826 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5828 get {
return (_hasBits6 & 64) != 0; }
5831 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5832 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5839 private readonly
static bool UseLnsOnlyDefaultValue =
false;
5841 private bool useLnsOnly_;
5845 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5846 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5848 get {
if ((_hasBits2 & 1024) != 0) {
return useLnsOnly_; }
else {
return UseLnsOnlyDefaultValue; } }
5851 useLnsOnly_ = value;
5855 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5856 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5858 get {
return (_hasBits2 & 1024) != 0; }
5861 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5862 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5869 private readonly
static int SolutionPoolSizeDefaultValue = 3;
5871 private int solutionPoolSize_;
5877 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5878 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5880 get {
if ((_hasBits4 & 16777216) != 0) {
return solutionPoolSize_; }
else {
return SolutionPoolSizeDefaultValue; } }
5882 _hasBits4 |= 16777216;
5883 solutionPoolSize_ = value;
5887 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5888 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5890 get {
return (_hasBits4 & 16777216) != 0; }
5893 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5894 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5896 _hasBits4 &= ~16777216;
5901 private readonly
static bool UseRinsLnsDefaultValue =
true;
5903 private bool useRinsLns_;
5907 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5908 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5910 get {
if ((_hasBits3 & 4) != 0) {
return useRinsLns_; }
else {
return UseRinsLnsDefaultValue; } }
5913 useRinsLns_ = value;
5917 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5918 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5920 get {
return (_hasBits3 & 4) != 0; }
5923 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5924 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5931 private readonly
static bool UseFeasibilityPumpDefaultValue =
true;
5933 private bool useFeasibilityPump_;
5937 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5938 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5940 get {
if ((_hasBits3 & 1073741824) != 0) {
return useFeasibilityPump_; }
else {
return UseFeasibilityPumpDefaultValue; } }
5942 _hasBits3 |= 1073741824;
5943 useFeasibilityPump_ = value;
5947 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5948 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5950 get {
return (_hasBits3 & 1073741824) != 0; }
5953 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5954 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5956 _hasBits3 &= ~1073741824;
5961 private readonly
static bool UseLbRelaxLnsDefaultValue =
false;
5963 private bool useLbRelaxLns_;
5969 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5970 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5972 get {
if ((_hasBits6 & 256) != 0) {
return useLbRelaxLns_; }
else {
return UseLbRelaxLnsDefaultValue; } }
5975 useLbRelaxLns_ = value;
5979 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5980 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5982 get {
return (_hasBits6 & 256) != 0; }
5985 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5986 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5993 private readonly
static global::Google.OrTools.Sat.SatParameters.Types.FPRoundingMethod FpRoundingDefaultValue = global::Google.OrTools.Sat.SatParameters.Types.FPRoundingMethod.PropagationAssisted;
5995 private global::Google.OrTools.Sat.SatParameters.Types.FPRoundingMethod fpRounding_;
5996 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
5997 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
5998 public global::Google.OrTools.Sat.SatParameters.Types.FPRoundingMethod
FpRounding {
5999 get {
if ((_hasBits3 & -2147483648) != 0) {
return fpRounding_; }
else {
return FpRoundingDefaultValue; } }
6001 _hasBits3 |= -2147483648;
6002 fpRounding_ = value;
6006 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6007 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6009 get {
return (_hasBits3 & -2147483648) != 0; }
6012 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6013 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6015 _hasBits3 &= ~-2147483648;
6020 private readonly
static bool DiversifyLnsParamsDefaultValue =
false;
6022 private bool diversifyLnsParams_;
6026 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6027 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6029 get {
if ((_hasBits3 & 1024) != 0) {
return diversifyLnsParams_; }
else {
return DiversifyLnsParamsDefaultValue; } }
6032 diversifyLnsParams_ = value;
6036 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6037 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6039 get {
return (_hasBits3 & 1024) != 0; }
6042 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6043 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6050 private readonly
static bool RandomizeSearchDefaultValue =
false;
6052 private bool randomizeSearch_;
6056 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6057 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6059 get {
if ((_hasBits2 & 2048) != 0) {
return randomizeSearch_; }
else {
return RandomizeSearchDefaultValue; } }
6062 randomizeSearch_ = value;
6066 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6067 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6069 get {
return (_hasBits2 & 2048) != 0; }
6072 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6073 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6080 private readonly
static long SearchRandomVariablePoolSizeDefaultValue = 0L;
6082 private long searchRandomVariablePoolSize_;
6088 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6089 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6091 get {
if ((_hasBits2 & 4096) != 0) {
return searchRandomVariablePoolSize_; }
else {
return SearchRandomVariablePoolSizeDefaultValue; } }
6094 searchRandomVariablePoolSize_ = value;
6098 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6099 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6101 get {
return (_hasBits2 & 4096) != 0; }
6104 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6105 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6112 private readonly
static bool PushAllTasksTowardStartDefaultValue =
false;
6114 private bool pushAllTasksTowardStart_;
6119 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6120 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6122 get {
if ((_hasBits6 & 32768) != 0) {
return pushAllTasksTowardStart_; }
else {
return PushAllTasksTowardStartDefaultValue; } }
6125 pushAllTasksTowardStart_ = value;
6129 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6130 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6132 get {
return (_hasBits6 & 32768) != 0; }
6135 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6136 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6138 _hasBits6 &= ~32768;
6143 private readonly
static bool UseOptionalVariablesDefaultValue =
false;
6145 private bool useOptionalVariables_;
6154 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6155 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6157 get {
if ((_hasBits2 & 32768) != 0) {
return useOptionalVariables_; }
else {
return UseOptionalVariablesDefaultValue; } }
6160 useOptionalVariables_ = value;
6164 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6165 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6167 get {
return (_hasBits2 & 32768) != 0; }
6170 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6171 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6173 _hasBits2 &= ~32768;
6178 private readonly
static bool UseExactLpReasonDefaultValue =
true;
6180 private bool useExactLpReason_;
6187 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6188 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6190 get {
if ((_hasBits2 & 65536) != 0) {
return useExactLpReason_; }
else {
return UseExactLpReasonDefaultValue; } }
6193 useExactLpReason_ = value;
6197 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6198 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6200 get {
return (_hasBits2 & 65536) != 0; }
6203 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6204 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6206 _hasBits2 &= ~65536;
6211 private readonly
static bool UseCombinedNoOverlapDefaultValue =
false;
6213 private bool useCombinedNoOverlap_;
6219 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6220 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6222 get {
if ((_hasBits3 & 64) != 0) {
return useCombinedNoOverlap_; }
else {
return UseCombinedNoOverlapDefaultValue; } }
6225 useCombinedNoOverlap_ = value;
6229 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6230 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6232 get {
return (_hasBits3 & 64) != 0; }
6235 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6236 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6243 private readonly
static int AtMostOneMaxExpansionSizeDefaultValue = 3;
6245 private int atMostOneMaxExpansionSize_;
6250 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6251 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6253 get {
if ((_hasBits6 & 8388608) != 0) {
return atMostOneMaxExpansionSize_; }
else {
return AtMostOneMaxExpansionSizeDefaultValue; } }
6255 _hasBits6 |= 8388608;
6256 atMostOneMaxExpansionSize_ = value;
6260 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6261 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6263 get {
return (_hasBits6 & 8388608) != 0; }
6266 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6267 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6269 _hasBits6 &= ~8388608;
6274 private readonly
static bool CatchSigintSignalDefaultValue =
true;
6276 private bool catchSigintSignal_;
6282 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6283 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6285 get {
if ((_hasBits3 & 256) != 0) {
return catchSigintSignal_; }
else {
return CatchSigintSignalDefaultValue; } }
6288 catchSigintSignal_ = value;
6292 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6293 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6295 get {
return (_hasBits3 & 256) != 0; }
6298 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6299 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6306 private readonly
static bool UseImpliedBoundsDefaultValue =
true;
6308 private bool useImpliedBounds_;
6314 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6315 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6317 get {
if ((_hasBits3 & 4096) != 0) {
return useImpliedBounds_; }
else {
return UseImpliedBoundsDefaultValue; } }
6320 useImpliedBounds_ = value;
6324 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6325 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6327 get {
return (_hasBits3 & 4096) != 0; }
6330 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6331 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6338 private readonly
static bool PolishLpSolutionDefaultValue =
false;
6340 private bool polishLpSolution_;
6347 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6348 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6350 get {
if ((_hasBits4 & 256) != 0) {
return polishLpSolution_; }
else {
return PolishLpSolutionDefaultValue; } }
6353 polishLpSolution_ = value;
6357 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6358 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6360 get {
return (_hasBits4 & 256) != 0; }
6363 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6364 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6371 private readonly
static double LpPrimalToleranceDefaultValue = 1e-07D;
6373 private double lpPrimalTolerance_;
6381 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6382 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6384 get {
if ((_hasBits6 & 524288) != 0) {
return lpPrimalTolerance_; }
else {
return LpPrimalToleranceDefaultValue; } }
6386 _hasBits6 |= 524288;
6387 lpPrimalTolerance_ = value;
6391 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6392 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6394 get {
return (_hasBits6 & 524288) != 0; }
6397 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6398 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6400 _hasBits6 &= ~524288;
6405 private readonly
static double LpDualToleranceDefaultValue = 1e-07D;
6407 private double lpDualTolerance_;
6408 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6409 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6411 get {
if ((_hasBits6 & 1048576) != 0) {
return lpDualTolerance_; }
else {
return LpDualToleranceDefaultValue; } }
6413 _hasBits6 |= 1048576;
6414 lpDualTolerance_ = value;
6418 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6419 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6421 get {
return (_hasBits6 & 1048576) != 0; }
6424 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6425 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6427 _hasBits6 &= ~1048576;
6432 private readonly
static bool ConvertIntervalsDefaultValue =
true;
6434 private bool convertIntervals_;
6440 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6441 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6443 get {
if ((_hasBits4 & 1024) != 0) {
return convertIntervals_; }
else {
return ConvertIntervalsDefaultValue; } }
6446 convertIntervals_ = value;
6450 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6451 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6453 get {
return (_hasBits4 & 1024) != 0; }
6456 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6457 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6464 private readonly
static int SymmetryLevelDefaultValue = 2;
6466 private int symmetryLevel_;
6473 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6474 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6476 get {
if ((_hasBits4 & 65536) != 0) {
return symmetryLevel_; }
else {
return SymmetryLevelDefaultValue; } }
6479 symmetryLevel_ = value;
6483 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6484 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6486 get {
return (_hasBits4 & 65536) != 0; }
6489 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6490 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6492 _hasBits4 &= ~65536;
6497 private readonly
static bool NewLinearPropagationDefaultValue =
false;
6499 private bool newLinearPropagation_;
6503 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6504 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6506 get {
if ((_hasBits5 & 65536) != 0) {
return newLinearPropagation_; }
else {
return NewLinearPropagationDefaultValue; } }
6509 newLinearPropagation_ = value;
6513 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6514 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6516 get {
return (_hasBits5 & 65536) != 0; }
6519 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6520 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6522 _hasBits5 &= ~65536;
6527 private readonly
static int LinearSplitSizeDefaultValue = 100;
6529 private int linearSplitSize_;
6535 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6536 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6538 get {
if ((_hasBits6 & 512) != 0) {
return linearSplitSize_; }
else {
return LinearSplitSizeDefaultValue; } }
6541 linearSplitSize_ = value;
6545 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6546 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6548 get {
return (_hasBits6 & 512) != 0; }
6551 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6552 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6559 private readonly
static int LinearizationLevelDefaultValue = 1;
6561 private int linearizationLevel_;
6568 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6569 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6571 get {
if ((_hasBits2 & 2) != 0) {
return linearizationLevel_; }
else {
return LinearizationLevelDefaultValue; } }
6574 linearizationLevel_ = value;
6578 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6579 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6581 get {
return (_hasBits2 & 2) != 0; }
6584 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6585 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6592 private readonly
static int BooleanEncodingLevelDefaultValue = 1;
6594 private int booleanEncodingLevel_;
6599 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6600 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6602 get {
if ((_hasBits2 & 16384) != 0) {
return booleanEncodingLevel_; }
else {
return BooleanEncodingLevelDefaultValue; } }
6605 booleanEncodingLevel_ = value;
6609 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6610 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6612 get {
return (_hasBits2 & 16384) != 0; }
6615 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6616 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6618 _hasBits2 &= ~16384;
6623 private readonly
static int MaxDomainSizeWhenEncodingEqNeqConstraintsDefaultValue = 16;
6625 private int maxDomainSizeWhenEncodingEqNeqConstraints_;
6632 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6633 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6635 get {
if ((_hasBits4 & 4194304) != 0) {
return maxDomainSizeWhenEncodingEqNeqConstraints_; }
else {
return MaxDomainSizeWhenEncodingEqNeqConstraintsDefaultValue; } }
6637 _hasBits4 |= 4194304;
6638 maxDomainSizeWhenEncodingEqNeqConstraints_ = value;
6642 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6643 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6645 get {
return (_hasBits4 & 4194304) != 0; }
6648 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6649 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6651 _hasBits4 &= ~4194304;
6656 private readonly
static int MaxNumCutsDefaultValue = 10000;
6658 private int maxNumCuts_;
6666 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6667 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6669 get {
if ((_hasBits2 & 4) != 0) {
return maxNumCuts_; }
else {
return MaxNumCutsDefaultValue; } }
6672 maxNumCuts_ = value;
6676 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6677 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6679 get {
return (_hasBits2 & 4) != 0; }
6682 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6683 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6690 private readonly
static int CutLevelDefaultValue = 1;
6692 private int cutLevel_;
6698 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6699 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6701 get {
if ((_hasBits4 & 134217728) != 0) {
return cutLevel_; }
else {
return CutLevelDefaultValue; } }
6703 _hasBits4 |= 134217728;
6708 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6709 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6711 get {
return (_hasBits4 & 134217728) != 0; }
6714 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6715 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6717 _hasBits4 &= ~134217728;
6722 private readonly
static bool OnlyAddCutsAtLevelZeroDefaultValue =
false;
6724 private bool onlyAddCutsAtLevelZero_;
6729 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6730 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6732 get {
if ((_hasBits2 & 8) != 0) {
return onlyAddCutsAtLevelZero_; }
else {
return OnlyAddCutsAtLevelZeroDefaultValue; } }
6735 onlyAddCutsAtLevelZero_ = value;
6739 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6740 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6742 get {
return (_hasBits2 & 8) != 0; }
6745 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6746 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6753 private readonly
static bool AddObjectiveCutDefaultValue =
false;
6755 private bool addObjectiveCut_;
6763 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6764 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6766 get {
if ((_hasBits4 & 268435456) != 0) {
return addObjectiveCut_; }
else {
return AddObjectiveCutDefaultValue; } }
6768 _hasBits4 |= 268435456;
6769 addObjectiveCut_ = value;
6773 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6774 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6776 get {
return (_hasBits4 & 268435456) != 0; }
6779 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6780 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6782 _hasBits4 &= ~268435456;
6787 private readonly
static bool AddCgCutsDefaultValue =
true;
6789 private bool addCgCuts_;
6794 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6795 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6797 get {
if ((_hasBits2 & 8388608) != 0) {
return addCgCuts_; }
else {
return AddCgCutsDefaultValue; } }
6799 _hasBits2 |= 8388608;
6804 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6805 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6807 get {
return (_hasBits2 & 8388608) != 0; }
6810 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6811 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6813 _hasBits2 &= ~8388608;
6818 private readonly
static bool AddMirCutsDefaultValue =
true;
6820 private bool addMirCuts_;
6825 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6826 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6828 get {
if ((_hasBits2 & 33554432) != 0) {
return addMirCuts_; }
else {
return AddMirCutsDefaultValue; } }
6830 _hasBits2 |= 33554432;
6831 addMirCuts_ = value;
6835 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6836 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6838 get {
return (_hasBits2 & 33554432) != 0; }
6841 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6842 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6844 _hasBits2 &= ~33554432;
6849 private readonly
static bool AddZeroHalfCutsDefaultValue =
true;
6851 private bool addZeroHalfCuts_;
6856 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6857 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6859 get {
if ((_hasBits4 & 8) != 0) {
return addZeroHalfCuts_; }
else {
return AddZeroHalfCutsDefaultValue; } }
6862 addZeroHalfCuts_ = value;
6866 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6867 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6869 get {
return (_hasBits4 & 8) != 0; }
6872 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6873 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6880 private readonly
static bool AddCliqueCutsDefaultValue =
true;
6882 private bool addCliqueCuts_;
6888 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6889 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6891 get {
if ((_hasBits4 & 32) != 0) {
return addCliqueCuts_; }
else {
return AddCliqueCutsDefaultValue; } }
6894 addCliqueCuts_ = value;
6898 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6899 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6901 get {
return (_hasBits4 & 32) != 0; }
6904 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6905 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6912 private readonly
static bool AddRltCutsDefaultValue =
true;
6914 private bool addRltCuts_;
6919 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6920 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6922 get {
if ((_hasBits7 & 1) != 0) {
return addRltCuts_; }
else {
return AddRltCutsDefaultValue; } }
6925 addRltCuts_ = value;
6929 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6930 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6932 get {
return (_hasBits7 & 1) != 0; }
6935 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6936 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6943 private readonly
static int MaxAllDiffCutSizeDefaultValue = 64;
6945 private int maxAllDiffCutSize_;
6951 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6952 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6954 get {
if ((_hasBits3 & 65536) != 0) {
return maxAllDiffCutSize_; }
else {
return MaxAllDiffCutSizeDefaultValue; } }
6957 maxAllDiffCutSize_ = value;
6961 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6962 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6964 get {
return (_hasBits3 & 65536) != 0; }
6967 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6968 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6970 _hasBits3 &= ~65536;
6975 private readonly
static bool AddLinMaxCutsDefaultValue =
true;
6977 private bool addLinMaxCuts_;
6983 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6984 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6986 get {
if ((_hasBits3 & 524288) != 0) {
return addLinMaxCuts_; }
else {
return AddLinMaxCutsDefaultValue; } }
6988 _hasBits3 |= 524288;
6989 addLinMaxCuts_ = value;
6993 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
6994 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
6996 get {
return (_hasBits3 & 524288) != 0; }
6999 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7000 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7002 _hasBits3 &= ~524288;
7007 private readonly
static int MaxIntegerRoundingScalingDefaultValue = 600;
7009 private int maxIntegerRoundingScaling_;
7020 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7021 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7023 get {
if ((_hasBits2 & 16777216) != 0) {
return maxIntegerRoundingScaling_; }
else {
return MaxIntegerRoundingScalingDefaultValue; } }
7025 _hasBits2 |= 16777216;
7026 maxIntegerRoundingScaling_ = value;
7030 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7031 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7033 get {
return (_hasBits2 & 16777216) != 0; }
7036 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7037 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7039 _hasBits2 &= ~16777216;
7044 private readonly
static bool AddLpConstraintsLazilyDefaultValue =
true;
7046 private bool addLpConstraintsLazily_;
7053 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7054 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7056 get {
if ((_hasBits2 & 262144) != 0) {
return addLpConstraintsLazily_; }
else {
return AddLpConstraintsLazilyDefaultValue; } }
7058 _hasBits2 |= 262144;
7059 addLpConstraintsLazily_ = value;
7063 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7064 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7066 get {
return (_hasBits2 & 262144) != 0; }
7069 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7070 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7072 _hasBits2 &= ~262144;
7077 private readonly
static int RootLpIterationsDefaultValue = 2000;
7079 private int rootLpIterations_;
7086 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7087 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7089 get {
if ((_hasBits5 & 524288) != 0) {
return rootLpIterations_; }
else {
return RootLpIterationsDefaultValue; } }
7091 _hasBits5 |= 524288;
7092 rootLpIterations_ = value;
7096 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7097 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7099 get {
return (_hasBits5 & 524288) != 0; }
7102 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7103 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7105 _hasBits5 &= ~524288;
7110 private readonly
static double MinOrthogonalityForLpConstraintsDefaultValue = 0.05D;
7112 private double minOrthogonalityForLpConstraints_;
7120 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7121 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7123 get {
if ((_hasBits2 & 2097152) != 0) {
return minOrthogonalityForLpConstraints_; }
else {
return MinOrthogonalityForLpConstraintsDefaultValue; } }
7125 _hasBits2 |= 2097152;
7126 minOrthogonalityForLpConstraints_ = value;
7130 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7131 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7133 get {
return (_hasBits2 & 2097152) != 0; }
7136 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7137 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7139 _hasBits2 &= ~2097152;
7144 private readonly
static int MaxCutRoundsAtLevelZeroDefaultValue = 1;
7146 private int maxCutRoundsAtLevelZero_;
7150 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7151 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7153 get {
if ((_hasBits3 & 2097152) != 0) {
return maxCutRoundsAtLevelZero_; }
else {
return MaxCutRoundsAtLevelZeroDefaultValue; } }
7155 _hasBits3 |= 2097152;
7156 maxCutRoundsAtLevelZero_ = value;
7160 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7161 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7163 get {
return (_hasBits3 & 2097152) != 0; }
7166 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7167 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7169 _hasBits3 &= ~2097152;
7174 private readonly
static int MaxConsecutiveInactiveCountDefaultValue = 100;
7176 private int maxConsecutiveInactiveCount_;
7182 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7183 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7185 get {
if ((_hasBits2 & 67108864) != 0) {
return maxConsecutiveInactiveCount_; }
else {
return MaxConsecutiveInactiveCountDefaultValue; } }
7187 _hasBits2 |= 67108864;
7188 maxConsecutiveInactiveCount_ = value;
7192 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7193 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7195 get {
return (_hasBits2 & 67108864) != 0; }
7198 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7199 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7201 _hasBits2 &= ~67108864;
7206 private readonly
static double CutMaxActiveCountValueDefaultValue = 1e+10D;
7208 private double cutMaxActiveCountValue_;
7214 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7215 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7217 get {
if ((_hasBits3 & 4194304) != 0) {
return cutMaxActiveCountValue_; }
else {
return CutMaxActiveCountValueDefaultValue; } }
7219 _hasBits3 |= 4194304;
7220 cutMaxActiveCountValue_ = value;
7224 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7225 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7227 get {
return (_hasBits3 & 4194304) != 0; }
7230 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7231 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7233 _hasBits3 &= ~4194304;
7238 private readonly
static double CutActiveCountDecayDefaultValue = 0.8D;
7240 private double cutActiveCountDecay_;
7241 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7242 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7244 get {
if ((_hasBits3 & 8388608) != 0) {
return cutActiveCountDecay_; }
else {
return CutActiveCountDecayDefaultValue; } }
7246 _hasBits3 |= 8388608;
7247 cutActiveCountDecay_ = value;
7251 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7252 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7254 get {
return (_hasBits3 & 8388608) != 0; }
7257 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7258 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7260 _hasBits3 &= ~8388608;
7265 private readonly
static int CutCleanupTargetDefaultValue = 1000;
7267 private int cutCleanupTarget_;
7271 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7272 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7274 get {
if ((_hasBits3 & 16777216) != 0) {
return cutCleanupTarget_; }
else {
return CutCleanupTargetDefaultValue; } }
7276 _hasBits3 |= 16777216;
7277 cutCleanupTarget_ = value;
7281 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7282 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7284 get {
return (_hasBits3 & 16777216) != 0; }
7287 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7288 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7290 _hasBits3 &= ~16777216;
7295 private readonly
static int NewConstraintsBatchSizeDefaultValue = 50;
7297 private int newConstraintsBatchSize_;
7302 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7303 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7305 get {
if ((_hasBits2 & 134217728) != 0) {
return newConstraintsBatchSize_; }
else {
return NewConstraintsBatchSizeDefaultValue; } }
7307 _hasBits2 |= 134217728;
7308 newConstraintsBatchSize_ = value;
7312 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7313 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7315 get {
return (_hasBits2 & 134217728) != 0; }
7318 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7319 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7321 _hasBits2 &= ~134217728;
7326 private readonly
static bool ExploitIntegerLpSolutionDefaultValue =
true;
7328 private bool exploitIntegerLpSolution_;
7335 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7336 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7338 get {
if ((_hasBits2 & 32) != 0) {
return exploitIntegerLpSolution_; }
else {
return ExploitIntegerLpSolutionDefaultValue; } }
7341 exploitIntegerLpSolution_ = value;
7345 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7346 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7348 get {
return (_hasBits2 & 32) != 0; }
7351 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7352 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7359 private readonly
static bool ExploitAllLpSolutionDefaultValue =
true;
7361 private bool exploitAllLpSolution_;
7367 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7368 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7370 get {
if ((_hasBits2 & 4194304) != 0) {
return exploitAllLpSolution_; }
else {
return ExploitAllLpSolutionDefaultValue; } }
7372 _hasBits2 |= 4194304;
7373 exploitAllLpSolution_ = value;
7377 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7378 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7380 get {
return (_hasBits2 & 4194304) != 0; }
7383 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7384 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7386 _hasBits2 &= ~4194304;
7391 private readonly
static bool ExploitBestSolutionDefaultValue =
false;
7393 private bool exploitBestSolution_;
7397 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7398 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7400 get {
if ((_hasBits3 & 8) != 0) {
return exploitBestSolution_; }
else {
return ExploitBestSolutionDefaultValue; } }
7403 exploitBestSolution_ = value;
7407 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7408 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7410 get {
return (_hasBits3 & 8) != 0; }
7413 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7414 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7421 private readonly
static bool ExploitRelaxationSolutionDefaultValue =
false;
7423 private bool exploitRelaxationSolution_;
7429 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7430 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7432 get {
if ((_hasBits3 & 134217728) != 0) {
return exploitRelaxationSolution_; }
else {
return ExploitRelaxationSolutionDefaultValue; } }
7434 _hasBits3 |= 134217728;
7435 exploitRelaxationSolution_ = value;
7439 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7440 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7442 get {
return (_hasBits3 & 134217728) != 0; }
7445 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7446 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7448 _hasBits3 &= ~134217728;
7453 private readonly
static bool ExploitObjectiveDefaultValue =
true;
7455 private bool exploitObjective_;
7460 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7461 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7463 get {
if ((_hasBits3 & 16) != 0) {
return exploitObjective_; }
else {
return ExploitObjectiveDefaultValue; } }
7466 exploitObjective_ = value;
7470 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7471 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7473 get {
return (_hasBits3 & 16) != 0; }
7476 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7477 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7484 private readonly
static bool DetectLinearizedProductDefaultValue =
false;
7486 private bool detectLinearizedProduct_;
7492 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7493 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7495 get {
if ((_hasBits6 & 1073741824) != 0) {
return detectLinearizedProduct_; }
else {
return DetectLinearizedProductDefaultValue; } }
7497 _hasBits6 |= 1073741824;
7498 detectLinearizedProduct_ = value;
7502 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7503 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7505 get {
return (_hasBits6 & 1073741824) != 0; }
7508 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7509 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7511 _hasBits6 &= ~1073741824;
7516 private readonly
static double MipMaxBoundDefaultValue = 1e+07D;
7518 private double mipMaxBound_;
7524 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7525 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7527 get {
if ((_hasBits2 & 536870912) != 0) {
return mipMaxBound_; }
else {
return MipMaxBoundDefaultValue; } }
7529 _hasBits2 |= 536870912;
7530 mipMaxBound_ = value;
7534 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7535 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7537 get {
return (_hasBits2 & 536870912) != 0; }
7540 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7541 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7543 _hasBits2 &= ~536870912;
7548 private readonly
static double MipVarScalingDefaultValue = 1D;
7550 private double mipVarScaling_;
7556 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7557 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7559 get {
if ((_hasBits2 & 1073741824) != 0) {
return mipVarScaling_; }
else {
return MipVarScalingDefaultValue; } }
7561 _hasBits2 |= 1073741824;
7562 mipVarScaling_ = value;
7566 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7567 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7569 get {
return (_hasBits2 & 1073741824) != 0; }
7572 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7573 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7575 _hasBits2 &= ~1073741824;
7580 private readonly
static bool MipScaleLargeDomainDefaultValue =
false;
7582 private bool mipScaleLargeDomain_;
7588 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7589 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7591 get {
if ((_hasBits5 & 131072) != 0) {
return mipScaleLargeDomain_; }
else {
return MipScaleLargeDomainDefaultValue; } }
7593 _hasBits5 |= 131072;
7594 mipScaleLargeDomain_ = value;
7598 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7599 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7601 get {
return (_hasBits5 & 131072) != 0; }
7604 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7605 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7607 _hasBits5 &= ~131072;
7612 private readonly
static bool MipAutomaticallyScaleVariablesDefaultValue =
true;
7614 private bool mipAutomaticallyScaleVariables_;
7622 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7623 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7625 get {
if ((_hasBits4 & 1) != 0) {
return mipAutomaticallyScaleVariables_; }
else {
return MipAutomaticallyScaleVariablesDefaultValue; } }
7628 mipAutomaticallyScaleVariables_ = value;
7632 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7633 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7635 get {
return (_hasBits4 & 1) != 0; }
7638 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7639 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7646 private readonly
static bool OnlySolveIpDefaultValue =
false;
7648 private bool onlySolveIp_;
7663 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7664 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7666 get {
if ((_hasBits5 & 16384) != 0) {
return onlySolveIp_; }
else {
return OnlySolveIpDefaultValue; } }
7669 onlySolveIp_ = value;
7673 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7674 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7676 get {
return (_hasBits5 & 16384) != 0; }
7679 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7680 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7682 _hasBits5 &= ~16384;
7687 private readonly
static double MipWantedPrecisionDefaultValue = 1e-06D;
7689 private double mipWantedPrecision_;
7709 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7710 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7712 get {
if ((_hasBits2 & -2147483648) != 0) {
return mipWantedPrecision_; }
else {
return MipWantedPrecisionDefaultValue; } }
7714 _hasBits2 |= -2147483648;
7715 mipWantedPrecision_ = value;
7719 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7720 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7722 get {
return (_hasBits2 & -2147483648) != 0; }
7725 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7726 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7728 _hasBits2 &= ~-2147483648;
7733 private readonly
static int MipMaxActivityExponentDefaultValue = 53;
7735 private int mipMaxActivityExponent_;
7746 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7747 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7749 get {
if ((_hasBits3 & 1) != 0) {
return mipMaxActivityExponent_; }
else {
return MipMaxActivityExponentDefaultValue; } }
7752 mipMaxActivityExponent_ = value;
7756 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7757 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7759 get {
return (_hasBits3 & 1) != 0; }
7762 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7763 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7770 private readonly
static double MipCheckPrecisionDefaultValue = 0.0001D;
7772 private double mipCheckPrecision_;
7778 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7779 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7781 get {
if ((_hasBits3 & 2) != 0) {
return mipCheckPrecision_; }
else {
return MipCheckPrecisionDefaultValue; } }
7784 mipCheckPrecision_ = value;
7788 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7789 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7791 get {
return (_hasBits3 & 2) != 0; }
7794 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7795 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7802 private readonly
static bool MipComputeTrueObjectiveBoundDefaultValue =
true;
7804 private bool mipComputeTrueObjectiveBound_;
7812 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7813 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7815 get {
if ((_hasBits4 & 536870912) != 0) {
return mipComputeTrueObjectiveBound_; }
else {
return MipComputeTrueObjectiveBoundDefaultValue; } }
7817 _hasBits4 |= 536870912;
7818 mipComputeTrueObjectiveBound_ = value;
7822 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7823 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7825 get {
return (_hasBits4 & 536870912) != 0; }
7828 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7829 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7831 _hasBits4 &= ~536870912;
7836 private readonly
static double MipMaxValidMagnitudeDefaultValue = 1e+20D;
7838 private double mipMaxValidMagnitude_;
7846 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7847 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7849 get {
if ((_hasBits4 & 1073741824) != 0) {
return mipMaxValidMagnitude_; }
else {
return MipMaxValidMagnitudeDefaultValue; } }
7851 _hasBits4 |= 1073741824;
7852 mipMaxValidMagnitude_ = value;
7856 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7857 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7859 get {
return (_hasBits4 & 1073741824) != 0; }
7862 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7863 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7865 _hasBits4 &= ~1073741824;
7870 private readonly
static bool MipTreatHighMagnitudeBoundsAsInfinityDefaultValue =
false;
7872 private bool mipTreatHighMagnitudeBoundsAsInfinity_;
7881 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7882 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7884 get {
if ((_hasBits6 & -2147483648) != 0) {
return mipTreatHighMagnitudeBoundsAsInfinity_; }
else {
return MipTreatHighMagnitudeBoundsAsInfinityDefaultValue; } }
7886 _hasBits6 |= -2147483648;
7887 mipTreatHighMagnitudeBoundsAsInfinity_ = value;
7891 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7892 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7894 get {
return (_hasBits6 & -2147483648) != 0; }
7897 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7898 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7900 _hasBits6 &= ~-2147483648;
7905 private readonly
static double MipDropToleranceDefaultValue = 1e-16D;
7907 private double mipDropTolerance_;
7912 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7913 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7915 get {
if ((_hasBits5 & 8388608) != 0) {
return mipDropTolerance_; }
else {
return MipDropToleranceDefaultValue; } }
7917 _hasBits5 |= 8388608;
7918 mipDropTolerance_ = value;
7922 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7923 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7925 get {
return (_hasBits5 & 8388608) != 0; }
7928 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7929 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7931 _hasBits5 &= ~8388608;
7936 private readonly
static int MipPresolveLevelDefaultValue = 2;
7938 private int mipPresolveLevel_;
7945 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7946 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7948 get {
if ((_hasBits6 & 16384) != 0) {
return mipPresolveLevel_; }
else {
return MipPresolveLevelDefaultValue; } }
7951 mipPresolveLevel_ = value;
7955 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7956 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7958 get {
return (_hasBits6 & 16384) != 0; }
7961 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7962 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7964 _hasBits6 &= ~16384;
7967 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7968 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7969 public override bool Equals(
object other) {
7973 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
7974 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
7976 if (ReferenceEquals(other,
null)) {
7979 if (ReferenceEquals(other,
this)) {
8010 if(!restartAlgorithms_.Equals(other.restartAlgorithms_))
return false;
8071 if(!subsolvers_.Equals(other.subsolvers_))
return false;
8072 if(!extraSubsolvers_.Equals(other.extraSubsolvers_))
return false;
8073 if(!ignoreSubsolvers_.Equals(other.ignoreSubsolvers_))
return false;
8074 if(!subsolverParams_.Equals(other.subsolverParams_))
return false;
8202 if (!pbc::ProtobufEqualityComparers.BitwiseDoubleEqualityComparer.Equals(
MipMaxBound, other.
MipMaxBound))
return false;
8215 return Equals(_unknownFields, other._unknownFields);
8218 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
8219 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
8250 hash ^= restartAlgorithms_.GetHashCode();
8311 hash ^= subsolvers_.GetHashCode();
8312 hash ^= extraSubsolvers_.GetHashCode();
8313 hash ^= ignoreSubsolvers_.GetHashCode();
8314 hash ^= subsolverParams_.GetHashCode();
8455 if (_unknownFields !=
null) {
8456 hash ^= _unknownFields.GetHashCode();
8461 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
8462 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
8463 public override string ToString() {
8464 return pb::JsonFormatter.ToDiagnosticString(
this);
8467 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
8468 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
8469 public void WriteTo(pb::CodedOutputStream output) {
8470 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
8471 output.WriteRawMessage(
this);
8474 output.WriteRawTag(8);
8478 output.WriteRawTag(16);
8482 output.WriteRawTag(32);
8486 output.WriteRawTag(88);
8490 output.WriteRawTag(104);
8494 output.WriteRawTag(121);
8498 output.WriteRawTag(129, 1);
8502 output.WriteRawTag(137, 1);
8506 output.WriteRawTag(145, 1);
8510 output.WriteRawTag(177, 1);
8514 output.WriteRawTag(185, 1);
8518 output.WriteRawTag(192, 1);
8522 output.WriteRawTag(240, 1);
8526 output.WriteRawTag(248, 1);
8530 output.WriteRawTag(129, 2);
8534 output.WriteRawTag(144, 2);
8538 output.WriteRawTag(152, 2);
8542 output.WriteRawTag(161, 2);
8546 output.WriteRawTag(168, 2);
8550 output.WriteRawTag(192, 2);
8554 output.WriteRawTag(200, 2);
8558 output.WriteRawTag(216, 2);
8562 output.WriteRawTag(224, 2);
8566 output.WriteRawTag(233, 2);
8570 output.WriteRawTag(240, 2);
8574 output.WriteRawTag(249, 2);
8578 output.WriteRawTag(128, 3);
8582 output.WriteRawTag(136, 3);
8586 output.WriteRawTag(144, 3);
8590 output.WriteRawTag(152, 3);
8594 output.WriteRawTag(160, 3);
8598 output.WriteRawTag(168, 3);
8602 output.WriteRawTag(176, 3);
8606 output.WriteRawTag(184, 3);
8610 output.WriteRawTag(192, 3);
8614 output.WriteRawTag(201, 3);
8618 output.WriteRawTag(208, 3);
8622 output.WriteRawTag(216, 3);
8626 output.WriteRawTag(224, 3);
8629 restartAlgorithms_.WriteTo(output, _repeated_restartAlgorithms_codec);
8631 output.WriteRawTag(240, 3);
8635 output.WriteRawTag(249, 3);
8639 output.WriteRawTag(128, 4);
8643 output.WriteRawTag(136, 4);
8647 output.WriteRawTag(145, 4);
8651 output.WriteRawTag(153, 4);
8655 output.WriteRawTag(160, 4);
8659 output.WriteRawTag(169, 4);
8663 output.WriteRawTag(178, 4);
8667 output.WriteRawTag(185, 4);
8671 output.WriteRawTag(192, 4);
8675 output.WriteRawTag(200, 4);
8679 output.WriteRawTag(208, 4);
8683 output.WriteRawTag(216, 4);
8687 output.WriteRawTag(225, 4);
8691 output.WriteRawTag(232, 4);
8695 output.WriteRawTag(240, 4);
8699 output.WriteRawTag(248, 4);
8703 output.WriteRawTag(128, 5);
8707 output.WriteRawTag(144, 5);
8711 output.WriteRawTag(152, 5);
8715 output.WriteRawTag(160, 5);
8719 output.WriteRawTag(168, 5);
8723 output.WriteRawTag(176, 5);
8727 output.WriteRawTag(184, 5);
8731 output.WriteRawTag(192, 5);
8735 output.WriteRawTag(200, 5);
8739 output.WriteRawTag(208, 5);
8743 output.WriteRawTag(216, 5);
8747 output.WriteRawTag(224, 5);
8751 output.WriteRawTag(232, 5);
8755 output.WriteRawTag(240, 5);
8759 output.WriteRawTag(248, 5);
8763 output.WriteRawTag(144, 6);
8767 output.WriteRawTag(152, 6);
8771 output.WriteRawTag(160, 6);
8775 output.WriteRawTag(168, 6);
8779 output.WriteRawTag(184, 6);
8783 output.WriteRawTag(192, 6);
8787 output.WriteRawTag(208, 6);
8791 output.WriteRawTag(216, 6);
8795 output.WriteRawTag(224, 6);
8799 output.WriteRawTag(232, 6);
8803 output.WriteRawTag(240, 6);
8807 output.WriteRawTag(128, 7);
8811 output.WriteRawTag(136, 7);
8815 output.WriteRawTag(144, 7);
8819 output.WriteRawTag(153, 7);
8823 output.WriteRawTag(160, 7);
8827 output.WriteRawTag(168, 7);
8831 output.WriteRawTag(184, 7);
8835 output.WriteRawTag(192, 7);
8839 output.WriteRawTag(200, 7);
8843 output.WriteRawTag(208, 7);
8847 output.WriteRawTag(216, 7);
8851 output.WriteRawTag(225, 7);
8855 output.WriteRawTag(233, 7);
8859 output.WriteRawTag(241, 7);
8863 output.WriteRawTag(248, 7);
8867 output.WriteRawTag(129, 8);
8871 output.WriteRawTag(136, 8);
8875 output.WriteRawTag(144, 8);
8879 output.WriteRawTag(152, 8);
8883 output.WriteRawTag(160, 8);
8887 output.WriteRawTag(168, 8);
8891 output.WriteRawTag(176, 8);
8895 output.WriteRawTag(184, 8);
8899 output.WriteRawTag(192, 8);
8903 output.WriteRawTag(200, 8);
8907 output.WriteRawTag(208, 8);
8911 output.WriteRawTag(128, 9);
8915 output.WriteRawTag(137, 9);
8919 output.WriteRawTag(145, 9);
8923 output.WriteRawTag(152, 9);
8927 output.WriteRawTag(160, 9);
8931 output.WriteRawTag(168, 9);
8935 output.WriteRawTag(184, 9);
8939 output.WriteRawTag(192, 9);
8943 output.WriteRawTag(200, 9);
8947 output.WriteRawTag(208, 9);
8951 output.WriteRawTag(217, 9);
8955 output.WriteRawTag(225, 9);
8959 output.WriteRawTag(232, 9);
8963 output.WriteRawTag(249, 9);
8967 output.WriteRawTag(129, 10);
8971 output.WriteRawTag(136, 10);
8975 output.WriteRawTag(144, 10);
8979 output.WriteRawTag(152, 10);
8983 output.WriteRawTag(160, 10);
8987 output.WriteRawTag(168, 10);
8991 output.WriteRawTag(176, 10);
8995 output.WriteRawTag(184, 10);
8999 output.WriteRawTag(192, 10);
9003 output.WriteRawTag(200, 10);
9007 output.WriteRawTag(208, 10);
9011 output.WriteRawTag(218, 10);
9012 output.WriteString(
Name);
9015 output.WriteRawTag(224, 10);
9019 output.WriteRawTag(232, 10);
9023 output.WriteRawTag(240, 10);
9027 output.WriteRawTag(248, 10);
9031 output.WriteRawTag(128, 11);
9035 output.WriteRawTag(136, 11);
9039 output.WriteRawTag(144, 11);
9043 output.WriteRawTag(152, 11);
9047 output.WriteRawTag(160, 11);
9051 output.WriteRawTag(168, 11);
9055 output.WriteRawTag(176, 11);
9059 output.WriteRawTag(184, 11);
9063 output.WriteRawTag(202, 11);
9067 output.WriteRawTag(208, 11);
9071 output.WriteRawTag(216, 11);
9075 output.WriteRawTag(224, 11);
9079 output.WriteRawTag(232, 11);
9083 output.WriteRawTag(241, 11);
9087 output.WriteRawTag(248, 11);
9091 output.WriteRawTag(128, 12);
9095 output.WriteRawTag(136, 12);
9099 output.WriteRawTag(144, 12);
9103 output.WriteRawTag(152, 12);
9107 output.WriteRawTag(160, 12);
9111 output.WriteRawTag(168, 12);
9115 output.WriteRawTag(176, 12);
9119 output.WriteRawTag(185, 12);
9123 output.WriteRawTag(192, 12);
9127 output.WriteRawTag(200, 12);
9131 output.WriteRawTag(208, 12);
9135 output.WriteRawTag(216, 12);
9139 output.WriteRawTag(224, 12);
9143 output.WriteRawTag(233, 12);
9147 output.WriteRawTag(240, 12);
9150 subsolvers_.WriteTo(output, _repeated_subsolvers_codec);
9151 ignoreSubsolvers_.WriteTo(output, _repeated_ignoreSubsolvers_codec);
9152 subsolverParams_.WriteTo(output, _repeated_subsolverParams_codec);
9154 output.WriteRawTag(152, 13);
9158 output.WriteRawTag(168, 13);
9162 output.WriteRawTag(176, 13);
9166 output.WriteRawTag(184, 13);
9170 output.WriteRawTag(192, 13);
9174 output.WriteRawTag(200, 13);
9177 extraSubsolvers_.WriteTo(output, _repeated_extraSubsolvers_codec);
9179 output.WriteRawTag(224, 13);
9183 output.WriteRawTag(233, 13);
9187 output.WriteRawTag(240, 13);
9191 output.WriteRawTag(248, 13);
9195 output.WriteRawTag(128, 14);
9199 output.WriteRawTag(136, 14);
9203 output.WriteRawTag(145, 14);
9207 output.WriteRawTag(152, 14);
9211 output.WriteRawTag(160, 14);
9215 output.WriteRawTag(168, 14);
9219 output.WriteRawTag(176, 14);
9223 output.WriteRawTag(193, 14);
9227 output.WriteRawTag(200, 14);
9231 output.WriteRawTag(208, 14);
9235 output.WriteRawTag(216, 14);
9239 output.WriteRawTag(224, 14);
9243 output.WriteRawTag(233, 14);
9247 output.WriteRawTag(240, 14);
9251 output.WriteRawTag(248, 14);
9255 output.WriteRawTag(128, 15);
9259 output.WriteRawTag(145, 15);
9263 output.WriteRawTag(160, 15);
9267 output.WriteRawTag(185, 15);
9271 output.WriteRawTag(193, 15);
9275 output.WriteRawTag(200, 15);
9279 output.WriteRawTag(208, 15);
9283 output.WriteRawTag(224, 15);
9287 output.WriteRawTag(232, 15);
9291 output.WriteRawTag(248, 15);
9295 output.WriteRawTag(128, 16);
9299 output.WriteRawTag(136, 16);
9303 output.WriteRawTag(144, 16);
9307 output.WriteRawTag(153, 16);
9311 output.WriteRawTag(160, 16);
9315 output.WriteRawTag(168, 16);
9319 output.WriteRawTag(176, 16);
9323 output.WriteRawTag(184, 16);
9327 output.WriteRawTag(192, 16);
9331 output.WriteRawTag(200, 16);
9335 output.WriteRawTag(209, 16);
9339 output.WriteRawTag(217, 16);
9343 output.WriteRawTag(224, 16);
9347 output.WriteRawTag(232, 16);
9351 output.WriteRawTag(240, 16);
9355 output.WriteRawTag(248, 16);
9359 output.WriteRawTag(128, 17);
9363 output.WriteRawTag(137, 17);
9367 output.WriteRawTag(145, 17);
9371 output.WriteRawTag(153, 17);
9375 output.WriteRawTag(160, 17);
9379 output.WriteRawTag(168, 17);
9383 output.WriteRawTag(176, 17);
9387 output.WriteRawTag(184, 17);
9390 if (_unknownFields !=
null) {
9391 _unknownFields.WriteTo(output);
9396 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
9397 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
9398 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
9399 void pb::IBufferMessage.InternalWriteTo(ref pb::WriteContext output) {
9401 output.WriteRawTag(8);
9405 output.WriteRawTag(16);
9409 output.WriteRawTag(32);
9413 output.WriteRawTag(88);
9417 output.WriteRawTag(104);
9421 output.WriteRawTag(121);
9425 output.WriteRawTag(129, 1);
9429 output.WriteRawTag(137, 1);
9433 output.WriteRawTag(145, 1);
9437 output.WriteRawTag(177, 1);
9441 output.WriteRawTag(185, 1);
9445 output.WriteRawTag(192, 1);
9449 output.WriteRawTag(240, 1);
9453 output.WriteRawTag(248, 1);
9457 output.WriteRawTag(129, 2);
9461 output.WriteRawTag(144, 2);
9465 output.WriteRawTag(152, 2);
9469 output.WriteRawTag(161, 2);
9473 output.WriteRawTag(168, 2);
9477 output.WriteRawTag(192, 2);
9481 output.WriteRawTag(200, 2);
9485 output.WriteRawTag(216, 2);
9489 output.WriteRawTag(224, 2);
9493 output.WriteRawTag(233, 2);
9497 output.WriteRawTag(240, 2);
9501 output.WriteRawTag(249, 2);
9505 output.WriteRawTag(128, 3);
9509 output.WriteRawTag(136, 3);
9513 output.WriteRawTag(144, 3);
9517 output.WriteRawTag(152, 3);
9521 output.WriteRawTag(160, 3);
9525 output.WriteRawTag(168, 3);
9529 output.WriteRawTag(176, 3);
9533 output.WriteRawTag(184, 3);
9537 output.WriteRawTag(192, 3);
9541 output.WriteRawTag(201, 3);
9545 output.WriteRawTag(208, 3);
9549 output.WriteRawTag(216, 3);
9553 output.WriteRawTag(224, 3);
9556 restartAlgorithms_.WriteTo(ref output, _repeated_restartAlgorithms_codec);
9558 output.WriteRawTag(240, 3);
9562 output.WriteRawTag(249, 3);
9566 output.WriteRawTag(128, 4);
9570 output.WriteRawTag(136, 4);
9574 output.WriteRawTag(145, 4);
9578 output.WriteRawTag(153, 4);
9582 output.WriteRawTag(160, 4);
9586 output.WriteRawTag(169, 4);
9590 output.WriteRawTag(178, 4);
9594 output.WriteRawTag(185, 4);
9598 output.WriteRawTag(192, 4);
9602 output.WriteRawTag(200, 4);
9606 output.WriteRawTag(208, 4);
9610 output.WriteRawTag(216, 4);
9614 output.WriteRawTag(225, 4);
9618 output.WriteRawTag(232, 4);
9622 output.WriteRawTag(240, 4);
9626 output.WriteRawTag(248, 4);
9630 output.WriteRawTag(128, 5);
9634 output.WriteRawTag(144, 5);
9638 output.WriteRawTag(152, 5);
9642 output.WriteRawTag(160, 5);
9646 output.WriteRawTag(168, 5);
9650 output.WriteRawTag(176, 5);
9654 output.WriteRawTag(184, 5);
9658 output.WriteRawTag(192, 5);
9662 output.WriteRawTag(200, 5);
9666 output.WriteRawTag(208, 5);
9670 output.WriteRawTag(216, 5);
9674 output.WriteRawTag(224, 5);
9678 output.WriteRawTag(232, 5);
9682 output.WriteRawTag(240, 5);
9686 output.WriteRawTag(248, 5);
9690 output.WriteRawTag(144, 6);
9694 output.WriteRawTag(152, 6);
9698 output.WriteRawTag(160, 6);
9702 output.WriteRawTag(168, 6);
9706 output.WriteRawTag(184, 6);
9710 output.WriteRawTag(192, 6);
9714 output.WriteRawTag(208, 6);
9718 output.WriteRawTag(216, 6);
9722 output.WriteRawTag(224, 6);
9726 output.WriteRawTag(232, 6);
9730 output.WriteRawTag(240, 6);
9734 output.WriteRawTag(128, 7);
9738 output.WriteRawTag(136, 7);
9742 output.WriteRawTag(144, 7);
9746 output.WriteRawTag(153, 7);
9750 output.WriteRawTag(160, 7);
9754 output.WriteRawTag(168, 7);
9758 output.WriteRawTag(184, 7);
9762 output.WriteRawTag(192, 7);
9766 output.WriteRawTag(200, 7);
9770 output.WriteRawTag(208, 7);
9774 output.WriteRawTag(216, 7);
9778 output.WriteRawTag(225, 7);
9782 output.WriteRawTag(233, 7);
9786 output.WriteRawTag(241, 7);
9790 output.WriteRawTag(248, 7);
9794 output.WriteRawTag(129, 8);
9798 output.WriteRawTag(136, 8);
9802 output.WriteRawTag(144, 8);
9806 output.WriteRawTag(152, 8);
9810 output.WriteRawTag(160, 8);
9814 output.WriteRawTag(168, 8);
9818 output.WriteRawTag(176, 8);
9822 output.WriteRawTag(184, 8);
9826 output.WriteRawTag(192, 8);
9830 output.WriteRawTag(200, 8);
9834 output.WriteRawTag(208, 8);
9838 output.WriteRawTag(128, 9);
9842 output.WriteRawTag(137, 9);
9846 output.WriteRawTag(145, 9);
9850 output.WriteRawTag(152, 9);
9854 output.WriteRawTag(160, 9);
9858 output.WriteRawTag(168, 9);
9862 output.WriteRawTag(184, 9);
9866 output.WriteRawTag(192, 9);
9870 output.WriteRawTag(200, 9);
9874 output.WriteRawTag(208, 9);
9878 output.WriteRawTag(217, 9);
9882 output.WriteRawTag(225, 9);
9886 output.WriteRawTag(232, 9);
9890 output.WriteRawTag(249, 9);
9894 output.WriteRawTag(129, 10);
9898 output.WriteRawTag(136, 10);
9902 output.WriteRawTag(144, 10);
9906 output.WriteRawTag(152, 10);
9910 output.WriteRawTag(160, 10);
9914 output.WriteRawTag(168, 10);
9918 output.WriteRawTag(176, 10);
9922 output.WriteRawTag(184, 10);
9926 output.WriteRawTag(192, 10);
9930 output.WriteRawTag(200, 10);
9934 output.WriteRawTag(208, 10);
9938 output.WriteRawTag(218, 10);
9939 output.WriteString(
Name);
9942 output.WriteRawTag(224, 10);
9946 output.WriteRawTag(232, 10);
9950 output.WriteRawTag(240, 10);
9954 output.WriteRawTag(248, 10);
9958 output.WriteRawTag(128, 11);
9962 output.WriteRawTag(136, 11);
9966 output.WriteRawTag(144, 11);
9970 output.WriteRawTag(152, 11);
9974 output.WriteRawTag(160, 11);
9978 output.WriteRawTag(168, 11);
9982 output.WriteRawTag(176, 11);
9986 output.WriteRawTag(184, 11);
9990 output.WriteRawTag(202, 11);
9994 output.WriteRawTag(208, 11);
9998 output.WriteRawTag(216, 11);
10002 output.WriteRawTag(224, 11);
10006 output.WriteRawTag(232, 11);
10010 output.WriteRawTag(241, 11);
10014 output.WriteRawTag(248, 11);
10018 output.WriteRawTag(128, 12);
10022 output.WriteRawTag(136, 12);
10026 output.WriteRawTag(144, 12);
10030 output.WriteRawTag(152, 12);
10034 output.WriteRawTag(160, 12);
10038 output.WriteRawTag(168, 12);
10042 output.WriteRawTag(176, 12);
10046 output.WriteRawTag(185, 12);
10050 output.WriteRawTag(192, 12);
10054 output.WriteRawTag(200, 12);
10058 output.WriteRawTag(208, 12);
10062 output.WriteRawTag(216, 12);
10066 output.WriteRawTag(224, 12);
10070 output.WriteRawTag(233, 12);
10074 output.WriteRawTag(240, 12);
10077 subsolvers_.WriteTo(ref output, _repeated_subsolvers_codec);
10078 ignoreSubsolvers_.WriteTo(ref output, _repeated_ignoreSubsolvers_codec);
10079 subsolverParams_.WriteTo(ref output, _repeated_subsolverParams_codec);
10081 output.WriteRawTag(152, 13);
10085 output.WriteRawTag(168, 13);
10089 output.WriteRawTag(176, 13);
10093 output.WriteRawTag(184, 13);
10097 output.WriteRawTag(192, 13);
10101 output.WriteRawTag(200, 13);
10104 extraSubsolvers_.WriteTo(ref output, _repeated_extraSubsolvers_codec);
10106 output.WriteRawTag(224, 13);
10110 output.WriteRawTag(233, 13);
10114 output.WriteRawTag(240, 13);
10118 output.WriteRawTag(248, 13);
10122 output.WriteRawTag(128, 14);
10126 output.WriteRawTag(136, 14);
10130 output.WriteRawTag(145, 14);
10134 output.WriteRawTag(152, 14);
10138 output.WriteRawTag(160, 14);
10142 output.WriteRawTag(168, 14);
10146 output.WriteRawTag(176, 14);
10150 output.WriteRawTag(193, 14);
10154 output.WriteRawTag(200, 14);
10158 output.WriteRawTag(208, 14);
10162 output.WriteRawTag(216, 14);
10166 output.WriteRawTag(224, 14);
10170 output.WriteRawTag(233, 14);
10174 output.WriteRawTag(240, 14);
10178 output.WriteRawTag(248, 14);
10182 output.WriteRawTag(128, 15);
10186 output.WriteRawTag(145, 15);
10190 output.WriteRawTag(160, 15);
10194 output.WriteRawTag(185, 15);
10198 output.WriteRawTag(193, 15);
10202 output.WriteRawTag(200, 15);
10206 output.WriteRawTag(208, 15);
10210 output.WriteRawTag(224, 15);
10214 output.WriteRawTag(232, 15);
10218 output.WriteRawTag(248, 15);
10222 output.WriteRawTag(128, 16);
10226 output.WriteRawTag(136, 16);
10230 output.WriteRawTag(144, 16);
10234 output.WriteRawTag(153, 16);
10238 output.WriteRawTag(160, 16);
10242 output.WriteRawTag(168, 16);
10246 output.WriteRawTag(176, 16);
10250 output.WriteRawTag(184, 16);
10254 output.WriteRawTag(192, 16);
10258 output.WriteRawTag(200, 16);
10262 output.WriteRawTag(209, 16);
10266 output.WriteRawTag(217, 16);
10270 output.WriteRawTag(224, 16);
10274 output.WriteRawTag(232, 16);
10278 output.WriteRawTag(240, 16);
10282 output.WriteRawTag(248, 16);
10286 output.WriteRawTag(128, 17);
10290 output.WriteRawTag(137, 17);
10294 output.WriteRawTag(145, 17);
10298 output.WriteRawTag(153, 17);
10302 output.WriteRawTag(160, 17);
10306 output.WriteRawTag(168, 17);
10310 output.WriteRawTag(176, 17);
10314 output.WriteRawTag(184, 17);
10317 if (_unknownFields !=
null) {
10318 _unknownFields.WriteTo(ref output);
10323 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
10324 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
10328 size += 2 + pb::CodedOutputStream.ComputeStringSize(
Name);
10334 size += 1 + pb::CodedOutputStream.ComputeEnumSize((
int)
InitialPolarity);
10411 size += restartAlgorithms_.CalculateSize(_repeated_restartAlgorithms_codec);
10416 size += 2 + pb::CodedOutputStream.ComputeInt32Size(
RestartPeriod);
10452 size += 2 + pb::CodedOutputStream.ComputeInt64Size(
MaxMemoryInMb);
10461 size += 2 + pb::CodedOutputStream.ComputeInt32Size(
RandomSeed);
10479 size += 2 + pb::CodedOutputStream.ComputeStringSize(
LogPrefix);
10584 size += 2 + pb::CodedOutputStream.ComputeInt32Size(
NumWorkers);
10592 size += subsolvers_.CalculateSize(_repeated_subsolvers_codec);
10593 size += extraSubsolvers_.CalculateSize(_repeated_extraSubsolvers_codec);
10594 size += ignoreSubsolvers_.CalculateSize(_repeated_ignoreSubsolvers_codec);
10595 size += subsolverParams_.CalculateSize(_repeated_subsolverParams_codec);
10693 size += 2 + pb::CodedOutputStream.ComputeEnumSize((
int)
SearchBranching);
10768 size += 2 + pb::CodedOutputStream.ComputeInt32Size(
NumViolationLs);
10834 size += 2 + pb::CodedOutputStream.ComputeEnumSize((
int)
FpRounding);
10879 size += 2 + pb::CodedOutputStream.ComputeInt32Size(
SymmetryLevel);
10897 size += 2 + pb::CodedOutputStream.ComputeInt32Size(
MaxNumCuts);
10900 size += 2 + pb::CodedOutputStream.ComputeInt32Size(
CutLevel);
11016 if (_unknownFields !=
null) {
11017 size += _unknownFields.CalculateSize();
11022 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
11023 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
11025 if (other ==
null) {
11028 if (other.HasName) {
11031 if (other.HasPreferredVariableOrder) {
11034 if (other.HasInitialPolarity) {
11037 if (other.HasUsePhaseSaving) {
11040 if (other.HasPolarityRephaseIncrement) {
11043 if (other.HasRandomPolarityRatio) {
11046 if (other.HasRandomBranchesRatio) {
11049 if (other.HasUseErwaHeuristic) {
11052 if (other.HasInitialVariablesActivity) {
11055 if (other.HasAlsoBumpVariablesInConflictReasons) {
11058 if (other.HasMinimizationAlgorithm) {
11061 if (other.HasBinaryMinimizationAlgorithm) {
11064 if (other.HasSubsumptionDuringConflictAnalysis) {
11067 if (other.HasClauseCleanupPeriod) {
11070 if (other.HasClauseCleanupTarget) {
11073 if (other.HasClauseCleanupRatio) {
11076 if (other.HasClauseCleanupProtection) {
11079 if (other.HasClauseCleanupLbdBound) {
11082 if (other.HasClauseCleanupOrdering) {
11085 if (other.HasPbCleanupIncrement) {
11088 if (other.HasPbCleanupRatio) {
11091 if (other.HasVariableActivityDecay) {
11094 if (other.HasMaxVariableActivityValue) {
11097 if (other.HasGlucoseMaxDecay) {
11100 if (other.HasGlucoseDecayIncrement) {
11103 if (other.HasGlucoseDecayIncrementPeriod) {
11106 if (other.HasClauseActivityDecay) {
11109 if (other.HasMaxClauseActivityValue) {
11112 restartAlgorithms_.Add(other.restartAlgorithms_);
11113 if (other.HasDefaultRestartAlgorithms) {
11116 if (other.HasRestartPeriod) {
11119 if (other.HasRestartRunningWindowSize) {
11122 if (other.HasRestartDlAverageRatio) {
11125 if (other.HasRestartLbdAverageRatio) {
11128 if (other.HasUseBlockingRestart) {
11131 if (other.HasBlockingRestartWindowSize) {
11134 if (other.HasBlockingRestartMultiplier) {
11137 if (other.HasNumConflictsBeforeStrategyChanges) {
11140 if (other.HasStrategyChangeIncreaseRatio) {
11143 if (other.HasMaxTimeInSeconds) {
11146 if (other.HasMaxDeterministicTime) {
11149 if (other.HasMaxNumberOfConflicts) {
11152 if (other.HasMaxMemoryInMb) {
11155 if (other.HasAbsoluteGapLimit) {
11158 if (other.HasRelativeGapLimit) {
11161 if (other.HasRandomSeed) {
11164 if (other.HasPermuteVariableRandomly) {
11167 if (other.HasPermutePresolveConstraintOrder) {
11170 if (other.HasUseAbslRandom) {
11173 if (other.HasLogSearchProgress) {
11176 if (other.HasLogSubsolverStatistics) {
11179 if (other.HasLogPrefix) {
11182 if (other.HasLogToStdout) {
11185 if (other.HasLogToResponse) {
11188 if (other.HasUsePbResolution) {
11191 if (other.HasMinimizeReductionDuringPbResolution) {
11194 if (other.HasCountAssumptionLevelsInLbd) {
11197 if (other.HasPresolveBveThreshold) {
11200 if (other.HasPresolveBveClauseWeight) {
11203 if (other.HasProbingDeterministicTimeLimit) {
11206 if (other.HasPresolveProbingDeterministicTimeLimit) {
11209 if (other.HasPresolveBlockedClause) {
11212 if (other.HasPresolveUseBva) {
11215 if (other.HasPresolveBvaThreshold) {
11218 if (other.HasMaxPresolveIterations) {
11221 if (other.HasCpModelPresolve) {
11224 if (other.HasCpModelProbingLevel) {
11227 if (other.HasCpModelUseSatPresolve) {
11230 if (other.HasDetectTableWithCost) {
11233 if (other.HasTableCompressionLevel) {
11236 if (other.HasExpandAlldiffConstraints) {
11239 if (other.HasExpandReservoirConstraints) {
11242 if (other.HasDisableConstraintExpansion) {
11245 if (other.HasEncodeComplexLinearConstraintWithInteger) {
11248 if (other.HasMergeNoOverlapWorkLimit) {
11251 if (other.HasMergeAtMostOneWorkLimit) {
11254 if (other.HasPresolveSubstitutionLevel) {
11257 if (other.HasPresolveExtractIntegerEnforcement) {
11260 if (other.HasPresolveInclusionWorkLimit) {
11263 if (other.HasIgnoreNames) {
11266 if (other.HasInferAllDiffs) {
11269 if (other.HasFindBigLinearOverlap) {
11272 if (other.HasUseSatInprocessing) {
11275 if (other.HasInprocessingDtimeRatio) {
11278 if (other.HasInprocessingProbingDtime) {
11281 if (other.HasInprocessingMinimizationDtime) {
11284 if (other.HasNumWorkers) {
11287 if (other.HasNumSearchWorkers) {
11290 if (other.HasMinNumLnsWorkers) {
11293 subsolvers_.Add(other.subsolvers_);
11294 extraSubsolvers_.Add(other.extraSubsolvers_);
11295 ignoreSubsolvers_.Add(other.ignoreSubsolvers_);
11296 subsolverParams_.Add(other.subsolverParams_);
11297 if (other.HasInterleaveSearch) {
11300 if (other.HasInterleaveBatchSize) {
11303 if (other.HasShareObjectiveBounds) {
11306 if (other.HasShareLevelZeroBounds) {
11309 if (other.HasShareBinaryClauses) {
11312 if (other.HasDebugPostsolveWithFullSolver) {
11315 if (other.HasDebugMaxNumPresolveOperations) {
11318 if (other.HasDebugCrashOnBadHint) {
11321 if (other.HasUseOptimizationHints) {
11324 if (other.HasCoreMinimizationLevel) {
11327 if (other.HasFindMultipleCores) {
11330 if (other.HasCoverOptimization) {
11333 if (other.HasMaxSatAssumptionOrder) {
11336 if (other.HasMaxSatReverseAssumptionOrder) {
11339 if (other.HasMaxSatStratification) {
11342 if (other.HasPropagationLoopDetectionFactor) {
11345 if (other.HasUsePrecedencesInDisjunctiveConstraint) {
11348 if (other.HasMaxSizeToCreatePrecedenceLiteralsInDisjunctive) {
11351 if (other.HasUseStrongPropagationInDisjunctive) {
11354 if (other.HasUseDynamicPrecedenceInDisjunctive) {
11357 if (other.HasUseDynamicPrecedenceInCumulative) {
11360 if (other.HasUseOverloadCheckerInCumulative) {
11363 if (other.HasUseTimetableEdgeFindingInCumulative) {
11366 if (other.HasMaxNumIntervalsForTimetableEdgeFinding) {
11369 if (other.HasUseHardPrecedencesInCumulative) {
11372 if (other.HasExploitAllPrecedences) {
11375 if (other.HasUseDisjunctiveConstraintInCumulative) {
11378 if (other.HasUseTimetablingInNoOverlap2D) {
11381 if (other.HasUseEnergeticReasoningInNoOverlap2D) {
11384 if (other.HasUseAreaEnergeticReasoningInNoOverlap2D) {
11387 if (other.HasMaxPairsPairwiseReasoningInNoOverlap2D) {
11390 if (other.HasUseDualSchedulingHeuristics) {
11393 if (other.HasSearchBranching) {
11396 if (other.HasHintConflictLimit) {
11399 if (other.HasRepairHint) {
11402 if (other.HasFixVariablesToTheirHintedValue) {
11405 if (other.HasUseProbingSearch) {
11408 if (other.HasUseExtendedProbing) {
11411 if (other.HasProbingNumCombinationsLimit) {
11414 if (other.HasUseShavingInProbingSearch) {
11417 if (other.HasShavingSearchDeterministicTime) {
11420 if (other.HasUseObjectiveLbSearch) {
11423 if (other.HasUseObjectiveShavingSearch) {
11426 if (other.HasPseudoCostReliabilityThreshold) {
11429 if (other.HasOptimizeWithCore) {
11432 if (other.HasOptimizeWithLbTreeSearch) {
11435 if (other.HasBinarySearchNumConflicts) {
11438 if (other.HasOptimizeWithMaxHs) {
11441 if (other.HasUseFeasibilityJump) {
11444 if (other.HasTestFeasibilityJump) {
11447 if (other.HasFeasibilityJumpDecay) {
11450 if (other.HasFeasibilityJumpLinearizationLevel) {
11453 if (other.HasFeasibilityJumpRestartFactor) {
11456 if (other.HasFeasibilityJumpVarRandomizationProbability) {
11459 if (other.HasFeasibilityJumpVarPerburbationRangeRatio) {
11462 if (other.HasFeasibilityJumpEnableRestarts) {
11465 if (other.HasFeasibilityJumpMaxExpandedConstraintSize) {
11468 if (other.HasNumViolationLs) {
11471 if (other.HasViolationLsPerturbationPeriod) {
11474 if (other.HasViolationLsCompoundMoveProbability) {
11477 if (other.HasSharedTreeNumWorkers) {
11480 if (other.HasUseSharedTreeSearch) {
11483 if (other.HasSharedTreeWorkerObjectiveSplitProbability) {
11486 if (other.HasSharedTreeMaxNodesPerWorker) {
11489 if (other.HasSharedTreeSplitStrategy) {
11492 if (other.HasEnumerateAllSolutions) {
11495 if (other.HasKeepAllFeasibleSolutionsInPresolve) {
11498 if (other.HasFillTightenedDomainsInResponse) {
11501 if (other.HasFillAdditionalSolutionsInResponse) {
11504 if (other.HasInstantiateAllVariables) {
11507 if (other.HasAutoDetectGreaterThanAtLeastOneOf) {
11510 if (other.HasStopAfterFirstSolution) {
11513 if (other.HasStopAfterPresolve) {
11516 if (other.HasStopAfterRootPropagation) {
11519 if (other.HasUseLnsOnly) {
11522 if (other.HasSolutionPoolSize) {
11525 if (other.HasUseRinsLns) {
11528 if (other.HasUseFeasibilityPump) {
11531 if (other.HasUseLbRelaxLns) {
11534 if (other.HasFpRounding) {
11537 if (other.HasDiversifyLnsParams) {
11540 if (other.HasRandomizeSearch) {
11543 if (other.HasSearchRandomVariablePoolSize) {
11546 if (other.HasPushAllTasksTowardStart) {
11549 if (other.HasUseOptionalVariables) {
11552 if (other.HasUseExactLpReason) {
11555 if (other.HasUseCombinedNoOverlap) {
11558 if (other.HasAtMostOneMaxExpansionSize) {
11561 if (other.HasCatchSigintSignal) {
11564 if (other.HasUseImpliedBounds) {
11567 if (other.HasPolishLpSolution) {
11570 if (other.HasLpPrimalTolerance) {
11573 if (other.HasLpDualTolerance) {
11576 if (other.HasConvertIntervals) {
11579 if (other.HasSymmetryLevel) {
11582 if (other.HasNewLinearPropagation) {
11585 if (other.HasLinearSplitSize) {
11588 if (other.HasLinearizationLevel) {
11591 if (other.HasBooleanEncodingLevel) {
11594 if (other.HasMaxDomainSizeWhenEncodingEqNeqConstraints) {
11597 if (other.HasMaxNumCuts) {
11600 if (other.HasCutLevel) {
11603 if (other.HasOnlyAddCutsAtLevelZero) {
11606 if (other.HasAddObjectiveCut) {
11609 if (other.HasAddCgCuts) {
11612 if (other.HasAddMirCuts) {
11615 if (other.HasAddZeroHalfCuts) {
11618 if (other.HasAddCliqueCuts) {
11621 if (other.HasAddRltCuts) {
11624 if (other.HasMaxAllDiffCutSize) {
11627 if (other.HasAddLinMaxCuts) {
11630 if (other.HasMaxIntegerRoundingScaling) {
11633 if (other.HasAddLpConstraintsLazily) {
11636 if (other.HasRootLpIterations) {
11639 if (other.HasMinOrthogonalityForLpConstraints) {
11642 if (other.HasMaxCutRoundsAtLevelZero) {
11645 if (other.HasMaxConsecutiveInactiveCount) {
11648 if (other.HasCutMaxActiveCountValue) {
11651 if (other.HasCutActiveCountDecay) {
11654 if (other.HasCutCleanupTarget) {
11657 if (other.HasNewConstraintsBatchSize) {
11660 if (other.HasExploitIntegerLpSolution) {
11663 if (other.HasExploitAllLpSolution) {
11666 if (other.HasExploitBestSolution) {
11669 if (other.HasExploitRelaxationSolution) {
11672 if (other.HasExploitObjective) {
11675 if (other.HasDetectLinearizedProduct) {
11678 if (other.HasMipMaxBound) {
11681 if (other.HasMipVarScaling) {
11684 if (other.HasMipScaleLargeDomain) {
11687 if (other.HasMipAutomaticallyScaleVariables) {
11690 if (other.HasOnlySolveIp) {
11693 if (other.HasMipWantedPrecision) {
11696 if (other.HasMipMaxActivityExponent) {
11699 if (other.HasMipCheckPrecision) {
11702 if (other.HasMipComputeTrueObjectiveBound) {
11705 if (other.HasMipMaxValidMagnitude) {
11708 if (other.HasMipTreatHighMagnitudeBoundsAsInfinity) {
11711 if (other.HasMipDropTolerance) {
11714 if (other.HasMipPresolveLevel) {
11717 _unknownFields = pb::UnknownFieldSet.MergeFrom(_unknownFields, other._unknownFields);
11720 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
11721 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
11722 public void MergeFrom(pb::CodedInputStream input) {
11723 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
11724 input.ReadRawMessage(
this);
11727 while ((tag = input.ReadTag()) != 0) {
11730 _unknownFields = pb::UnknownFieldSet.MergeFieldFrom(_unknownFields, input);
11733 PreferredVariableOrder = (global::Google.OrTools.Sat.SatParameters.Types.VariableOrder) input.ReadEnum();
11737 InitialPolarity = (global::Google.OrTools.Sat.SatParameters.Types.Polarity) input.ReadEnum();
11741 MinimizationAlgorithm = (global::Google.OrTools.Sat.SatParameters.Types.ConflictMinimizationAlgorithm) input.ReadEnum();
11849 MaxSatAssumptionOrder = (global::Google.OrTools.Sat.SatParameters.Types.MaxSatAssumptionOrder) input.ReadEnum();
11857 MaxSatStratification = (global::Google.OrTools.Sat.SatParameters.Types.MaxSatStratificationAlgorithm) input.ReadEnum();
11877 ClauseCleanupProtection = (global::Google.OrTools.Sat.SatParameters.Types.ClauseProtection) input.ReadEnum();
11885 ClauseCleanupOrdering = (global::Google.OrTools.Sat.SatParameters.Types.ClauseOrdering) input.ReadEnum();
11890 restartAlgorithms_.AddEntriesFrom(input, _repeated_restartAlgorithms_codec);
11970 SearchBranching = (global::Google.OrTools.Sat.SatParameters.Types.SearchBranching) input.ReadEnum();
12250 FpRounding = (global::Google.OrTools.Sat.SatParameters.Types.FPRoundingMethod) input.ReadEnum();
12274 Name = input.ReadString();
12414 subsolvers_.AddEntriesFrom(input, _repeated_subsolvers_codec);
12418 ignoreSubsolvers_.AddEntriesFrom(input, _repeated_ignoreSubsolvers_codec);
12422 subsolverParams_.AddEntriesFrom(input, _repeated_subsolverParams_codec);
12450 extraSubsolvers_.AddEntriesFrom(input, _repeated_extraSubsolvers_codec);
12526 SharedTreeSplitStrategy = (global::Google.OrTools.Sat.SatParameters.Types.SharedTreeSplitStrategy) input.ReadEnum();
12670 #if !GOOGLE_PROTOBUF_REFSTRUCT_COMPATIBILITY_MODE
12671 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
12672 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
12673 void pb::IBufferMessage.InternalMergeFrom(ref pb::ParseContext input) {
12675 while ((tag = input.ReadTag()) != 0) {
12678 _unknownFields = pb::UnknownFieldSet.MergeFieldFrom(_unknownFields, ref input);
12681 PreferredVariableOrder = (global::Google.OrTools.Sat.SatParameters.Types.VariableOrder) input.ReadEnum();
12685 InitialPolarity = (global::Google.OrTools.Sat.SatParameters.Types.Polarity) input.ReadEnum();
12689 MinimizationAlgorithm = (global::Google.OrTools.Sat.SatParameters.Types.ConflictMinimizationAlgorithm) input.ReadEnum();
12797 MaxSatAssumptionOrder = (global::Google.OrTools.Sat.SatParameters.Types.MaxSatAssumptionOrder) input.ReadEnum();
12805 MaxSatStratification = (global::Google.OrTools.Sat.SatParameters.Types.MaxSatStratificationAlgorithm) input.ReadEnum();
12825 ClauseCleanupProtection = (global::Google.OrTools.Sat.SatParameters.Types.ClauseProtection) input.ReadEnum();
12833 ClauseCleanupOrdering = (global::Google.OrTools.Sat.SatParameters.Types.ClauseOrdering) input.ReadEnum();
12838 restartAlgorithms_.AddEntriesFrom(ref input, _repeated_restartAlgorithms_codec);
12918 SearchBranching = (global::Google.OrTools.Sat.SatParameters.Types.SearchBranching) input.ReadEnum();
13198 FpRounding = (global::Google.OrTools.Sat.SatParameters.Types.FPRoundingMethod) input.ReadEnum();
13222 Name = input.ReadString();
13362 subsolvers_.AddEntriesFrom(ref input, _repeated_subsolvers_codec);
13366 ignoreSubsolvers_.AddEntriesFrom(ref input, _repeated_ignoreSubsolvers_codec);
13370 subsolverParams_.AddEntriesFrom(ref input, _repeated_subsolverParams_codec);
13398 extraSubsolvers_.AddEntriesFrom(ref input, _repeated_extraSubsolvers_codec);
13474 SharedTreeSplitStrategy = (global::Google.OrTools.Sat.SatParameters.Types.SharedTreeSplitStrategy) input.ReadEnum();
13618 #region Nested types
13620 [global::System.Diagnostics.DebuggerNonUserCodeAttribute]
13621 [global::System.CodeDom.Compiler.GeneratedCode(
"protoc",
null)]
13622 public static partial class Types {
13631 [pbr::OriginalName(
"IN_ORDER")]
InOrder = 0,
13645 [pbr::OriginalName(
"POLARITY_TRUE")]
True = 0,
13646 [pbr::OriginalName(
"POLARITY_FALSE")]
False = 1,
13647 [pbr::OriginalName(
"POLARITY_RANDOM")]
Random = 2,
13654 [pbr::OriginalName(
"NONE")]
None = 0,
13655 [pbr::OriginalName(
"SIMPLE")]
Simple = 1,
13656 [pbr::OriginalName(
"RECURSIVE")]
Recursive = 2,
13703 [pbr::OriginalName(
"CLAUSE_LBD")]
ClauseLbd = 1,
13715 [pbr::OriginalName(
"NO_RESTART")]
NoRestart = 0,
13719 [pbr::OriginalName(
"LUBY_RESTART")]
LubyRestart = 1,
13731 [pbr::OriginalName(
"FIXED_RESTART")]
FixedRestart = 4,
13781 [pbr::OriginalName(
"FIXED_SEARCH")]
FixedSearch = 1,
13790 [pbr::OriginalName(
"LP_SEARCH")]
LpSearch = 3,
13808 [pbr::OriginalName(
"HINT_SEARCH")]
HintSearch = 6,
13864 [pbr::OriginalName(
"LOCK_BASED")]
LockBased = 1,
13890#endregion Designer generated code