SatParametersOrBuilder.java

Go to the documentation of this file.

// Generated by the protocol buffer compiler.  DO NOT EDIT!
// source: ortools/sat/sat_parameters.proto
 
// Protobuf Java Version: 3.25.3
package com.google.ortools.sat;
 
public interface SatParametersOrBuilder extends
    // @@protoc_insertion_point(interface_extends:operations_research.sat.SatParameters)
    com.google.protobuf.MessageOrBuilder {
 
  boolean hasName();
  java.lang.String getName();
  com.google.protobuf.ByteString
      getNameBytes();
 
  boolean hasPreferredVariableOrder();
  com.google.ortools.sat.SatParameters.VariableOrder getPreferredVariableOrder();
 
  boolean hasInitialPolarity();
  com.google.ortools.sat.SatParameters.Polarity getInitialPolarity();
 
  boolean hasUsePhaseSaving();
  boolean getUsePhaseSaving();
 
  boolean hasPolarityRephaseIncrement();
  int getPolarityRephaseIncrement();
 
  boolean hasRandomPolarityRatio();
  double getRandomPolarityRatio();
 
  boolean hasRandomBranchesRatio();
  double getRandomBranchesRatio();
 
  boolean hasUseErwaHeuristic();
  boolean getUseErwaHeuristic();
 
  boolean hasInitialVariablesActivity();
  double getInitialVariablesActivity();
 
  boolean hasAlsoBumpVariablesInConflictReasons();
  boolean getAlsoBumpVariablesInConflictReasons();
 
  boolean hasMinimizationAlgorithm();
  com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm();
 
  boolean hasBinaryMinimizationAlgorithm();
  com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm();
 
  boolean hasSubsumptionDuringConflictAnalysis();
  boolean getSubsumptionDuringConflictAnalysis();
 
  boolean hasClauseCleanupPeriod();
  int getClauseCleanupPeriod();
 
  boolean hasClauseCleanupTarget();
  int getClauseCleanupTarget();
 
  boolean hasClauseCleanupRatio();
  double getClauseCleanupRatio();
 
  boolean hasClauseCleanupProtection();
  com.google.ortools.sat.SatParameters.ClauseProtection getClauseCleanupProtection();
 
  boolean hasClauseCleanupLbdBound();
  int getClauseCleanupLbdBound();
 
  boolean hasClauseCleanupOrdering();
  com.google.ortools.sat.SatParameters.ClauseOrdering getClauseCleanupOrdering();
 
  boolean hasPbCleanupIncrement();
  int getPbCleanupIncrement();
 
  boolean hasPbCleanupRatio();
  double getPbCleanupRatio();
 
  boolean hasVariableActivityDecay();
  double getVariableActivityDecay();
 
  boolean hasMaxVariableActivityValue();
  double getMaxVariableActivityValue();
 
  boolean hasGlucoseMaxDecay();
  double getGlucoseMaxDecay();
 
  boolean hasGlucoseDecayIncrement();
  double getGlucoseDecayIncrement();
 
  boolean hasGlucoseDecayIncrementPeriod();
  int getGlucoseDecayIncrementPeriod();
 
  boolean hasClauseActivityDecay();
  double getClauseActivityDecay();
 
  boolean hasMaxClauseActivityValue();
  double getMaxClauseActivityValue();
 
  java.util.List<com.google.ortools.sat.SatParameters.RestartAlgorithm> getRestartAlgorithmsList();
  int getRestartAlgorithmsCount();
  com.google.ortools.sat.SatParameters.RestartAlgorithm getRestartAlgorithms(int index);
 
  boolean hasDefaultRestartAlgorithms();
  java.lang.String getDefaultRestartAlgorithms();
  com.google.protobuf.ByteString
      getDefaultRestartAlgorithmsBytes();
 
  boolean hasRestartPeriod();
  int getRestartPeriod();
 
  boolean hasRestartRunningWindowSize();
  int getRestartRunningWindowSize();
 
  boolean hasRestartDlAverageRatio();
  double getRestartDlAverageRatio();
 
  boolean hasRestartLbdAverageRatio();
  double getRestartLbdAverageRatio();
 
  boolean hasUseBlockingRestart();
  boolean getUseBlockingRestart();
 
  boolean hasBlockingRestartWindowSize();
  int getBlockingRestartWindowSize();
 
  boolean hasBlockingRestartMultiplier();
  double getBlockingRestartMultiplier();
 
  boolean hasNumConflictsBeforeStrategyChanges();
  int getNumConflictsBeforeStrategyChanges();
 
  boolean hasStrategyChangeIncreaseRatio();
  double getStrategyChangeIncreaseRatio();
 
  boolean hasMaxTimeInSeconds();
  double getMaxTimeInSeconds();
 
  boolean hasMaxDeterministicTime();
  double getMaxDeterministicTime();
 
  boolean hasMaxNumberOfConflicts();
  long getMaxNumberOfConflicts();
 
  boolean hasMaxMemoryInMb();
  long getMaxMemoryInMb();
 
  boolean hasAbsoluteGapLimit();
  double getAbsoluteGapLimit();
 
  boolean hasRelativeGapLimit();
  double getRelativeGapLimit();
 
  boolean hasRandomSeed();
  int getRandomSeed();
 
  boolean hasPermuteVariableRandomly();
  boolean getPermuteVariableRandomly();
 
  boolean hasPermutePresolveConstraintOrder();
  boolean getPermutePresolveConstraintOrder();
 
  boolean hasUseAbslRandom();
  boolean getUseAbslRandom();
 
  boolean hasLogSearchProgress();
  boolean getLogSearchProgress();
 
  boolean hasLogSubsolverStatistics();
  boolean getLogSubsolverStatistics();
 
  boolean hasLogPrefix();
  java.lang.String getLogPrefix();
  com.google.protobuf.ByteString
      getLogPrefixBytes();
 
  boolean hasLogToStdout();
  boolean getLogToStdout();
 
  boolean hasLogToResponse();
  boolean getLogToResponse();
 
  boolean hasUsePbResolution();
  boolean getUsePbResolution();
 
  boolean hasMinimizeReductionDuringPbResolution();
  boolean getMinimizeReductionDuringPbResolution();
 
  boolean hasCountAssumptionLevelsInLbd();
  boolean getCountAssumptionLevelsInLbd();
 
  boolean hasPresolveBveThreshold();
  int getPresolveBveThreshold();
 
  boolean hasPresolveBveClauseWeight();
  int getPresolveBveClauseWeight();
 
  boolean hasProbingDeterministicTimeLimit();
  double getProbingDeterministicTimeLimit();
 
  boolean hasPresolveProbingDeterministicTimeLimit();
  double getPresolveProbingDeterministicTimeLimit();
 
  boolean hasPresolveBlockedClause();
  boolean getPresolveBlockedClause();
 
  boolean hasPresolveUseBva();
  boolean getPresolveUseBva();
 
  boolean hasPresolveBvaThreshold();
  int getPresolveBvaThreshold();
 
  boolean hasMaxPresolveIterations();
  int getMaxPresolveIterations();
 
  boolean hasCpModelPresolve();
  boolean getCpModelPresolve();
 
  boolean hasCpModelProbingLevel();
  int getCpModelProbingLevel();
 
  boolean hasCpModelUseSatPresolve();
  boolean getCpModelUseSatPresolve();
 
  boolean hasDetectTableWithCost();
  boolean getDetectTableWithCost();
 
  boolean hasTableCompressionLevel();
  int getTableCompressionLevel();
 
  boolean hasExpandAlldiffConstraints();
  boolean getExpandAlldiffConstraints();
 
  boolean hasExpandReservoirConstraints();
  boolean getExpandReservoirConstraints();
 
  boolean hasDisableConstraintExpansion();
  boolean getDisableConstraintExpansion();
 
  boolean hasEncodeComplexLinearConstraintWithInteger();
  boolean getEncodeComplexLinearConstraintWithInteger();
 
  boolean hasMergeNoOverlapWorkLimit();
  double getMergeNoOverlapWorkLimit();
 
  boolean hasMergeAtMostOneWorkLimit();
  double getMergeAtMostOneWorkLimit();
 
  boolean hasPresolveSubstitutionLevel();
  int getPresolveSubstitutionLevel();
 
  boolean hasPresolveExtractIntegerEnforcement();
  boolean getPresolveExtractIntegerEnforcement();
 
  boolean hasPresolveInclusionWorkLimit();
  long getPresolveInclusionWorkLimit();
 
  boolean hasIgnoreNames();
  boolean getIgnoreNames();
 
  boolean hasInferAllDiffs();
  boolean getInferAllDiffs();
 
  boolean hasFindBigLinearOverlap();
  boolean getFindBigLinearOverlap();
 
  boolean hasUseSatInprocessing();
  boolean getUseSatInprocessing();
 
  boolean hasInprocessingDtimeRatio();
  double getInprocessingDtimeRatio();
 
  boolean hasInprocessingProbingDtime();
  double getInprocessingProbingDtime();
 
  boolean hasInprocessingMinimizationDtime();
  double getInprocessingMinimizationDtime();
 
  boolean hasNumWorkers();
  int getNumWorkers();
 
  boolean hasNumSearchWorkers();
  int getNumSearchWorkers();
 
  boolean hasMinNumLnsWorkers();
  int getMinNumLnsWorkers();
 
  java.util.List<java.lang.String>
      getSubsolversList();
  int getSubsolversCount();
  java.lang.String getSubsolvers(int index);
  com.google.protobuf.ByteString
      getSubsolversBytes(int index);
 
  java.util.List<java.lang.String>
      getExtraSubsolversList();
  int getExtraSubsolversCount();
  java.lang.String getExtraSubsolvers(int index);
  com.google.protobuf.ByteString
      getExtraSubsolversBytes(int index);
 
  java.util.List<java.lang.String>
      getIgnoreSubsolversList();
  int getIgnoreSubsolversCount();
  java.lang.String getIgnoreSubsolvers(int index);
  com.google.protobuf.ByteString
      getIgnoreSubsolversBytes(int index);
 
  java.util.List<com.google.ortools.sat.SatParameters> 
      getSubsolverParamsList();
  com.google.ortools.sat.SatParameters getSubsolverParams(int index);
  int getSubsolverParamsCount();
  java.util.List<? extends com.google.ortools.sat.SatParametersOrBuilder> 
      getSubsolverParamsOrBuilderList();
  com.google.ortools.sat.SatParametersOrBuilder getSubsolverParamsOrBuilder(
      int index);
 
  boolean hasInterleaveSearch();
  boolean getInterleaveSearch();
 
  boolean hasInterleaveBatchSize();
  int getInterleaveBatchSize();
 
  boolean hasShareObjectiveBounds();
  boolean getShareObjectiveBounds();
 
  boolean hasShareLevelZeroBounds();
  boolean getShareLevelZeroBounds();
 
  boolean hasShareBinaryClauses();
  boolean getShareBinaryClauses();
 
  boolean hasDebugPostsolveWithFullSolver();
  boolean getDebugPostsolveWithFullSolver();
 
  boolean hasDebugMaxNumPresolveOperations();
  int getDebugMaxNumPresolveOperations();
 
  boolean hasDebugCrashOnBadHint();
  boolean getDebugCrashOnBadHint();
 
  boolean hasUseOptimizationHints();
  boolean getUseOptimizationHints();
 
  boolean hasCoreMinimizationLevel();
  int getCoreMinimizationLevel();
 
  boolean hasFindMultipleCores();
  boolean getFindMultipleCores();
 
  boolean hasCoverOptimization();
  boolean getCoverOptimization();
 
  boolean hasMaxSatAssumptionOrder();
  com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder getMaxSatAssumptionOrder();
 
  boolean hasMaxSatReverseAssumptionOrder();
  boolean getMaxSatReverseAssumptionOrder();
 
  boolean hasMaxSatStratification();
  com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification();
 
  boolean hasPropagationLoopDetectionFactor();
  double getPropagationLoopDetectionFactor();
 
  boolean hasUsePrecedencesInDisjunctiveConstraint();
  boolean getUsePrecedencesInDisjunctiveConstraint();
 
  boolean hasMaxSizeToCreatePrecedenceLiteralsInDisjunctive();
  int getMaxSizeToCreatePrecedenceLiteralsInDisjunctive();
 
  boolean hasUseStrongPropagationInDisjunctive();
  boolean getUseStrongPropagationInDisjunctive();
 
  boolean hasUseDynamicPrecedenceInDisjunctive();
  boolean getUseDynamicPrecedenceInDisjunctive();
 
  boolean hasUseDynamicPrecedenceInCumulative();
  boolean getUseDynamicPrecedenceInCumulative();
 
  boolean hasUseOverloadCheckerInCumulative();
  boolean getUseOverloadCheckerInCumulative();
 
  boolean hasUseTimetableEdgeFindingInCumulative();
  boolean getUseTimetableEdgeFindingInCumulative();
 
  boolean hasMaxNumIntervalsForTimetableEdgeFinding();
  int getMaxNumIntervalsForTimetableEdgeFinding();
 
  boolean hasUseHardPrecedencesInCumulative();
  boolean getUseHardPrecedencesInCumulative();
 
  boolean hasExploitAllPrecedences();
  boolean getExploitAllPrecedences();
 
  boolean hasUseDisjunctiveConstraintInCumulative();
  boolean getUseDisjunctiveConstraintInCumulative();
 
  boolean hasUseTimetablingInNoOverlap2D();
  boolean getUseTimetablingInNoOverlap2D();
 
  boolean hasUseEnergeticReasoningInNoOverlap2D();
  boolean getUseEnergeticReasoningInNoOverlap2D();
 
  boolean hasUseAreaEnergeticReasoningInNoOverlap2D();
  boolean getUseAreaEnergeticReasoningInNoOverlap2D();
 
  boolean hasMaxPairsPairwiseReasoningInNoOverlap2D();
  int getMaxPairsPairwiseReasoningInNoOverlap2D();
 
  boolean hasUseDualSchedulingHeuristics();
  boolean getUseDualSchedulingHeuristics();
 
  boolean hasSearchBranching();
  com.google.ortools.sat.SatParameters.SearchBranching getSearchBranching();
 
  boolean hasHintConflictLimit();
  int getHintConflictLimit();
 
  boolean hasRepairHint();
  boolean getRepairHint();
 
  boolean hasFixVariablesToTheirHintedValue();
  boolean getFixVariablesToTheirHintedValue();
 
  boolean hasUseProbingSearch();
  boolean getUseProbingSearch();
 
  boolean hasUseExtendedProbing();
  boolean getUseExtendedProbing();
 
  boolean hasProbingNumCombinationsLimit();
  int getProbingNumCombinationsLimit();
 
  boolean hasUseShavingInProbingSearch();
  boolean getUseShavingInProbingSearch();
 
  boolean hasShavingSearchDeterministicTime();
  double getShavingSearchDeterministicTime();
 
  boolean hasUseObjectiveLbSearch();
  boolean getUseObjectiveLbSearch();
 
  boolean hasUseObjectiveShavingSearch();
  boolean getUseObjectiveShavingSearch();
 
  boolean hasPseudoCostReliabilityThreshold();
  long getPseudoCostReliabilityThreshold();
 
  boolean hasOptimizeWithCore();
  boolean getOptimizeWithCore();
 
  boolean hasOptimizeWithLbTreeSearch();
  boolean getOptimizeWithLbTreeSearch();
 
  boolean hasBinarySearchNumConflicts();
  int getBinarySearchNumConflicts();
 
  boolean hasOptimizeWithMaxHs();
  boolean getOptimizeWithMaxHs();
 
  boolean hasUseFeasibilityJump();
  boolean getUseFeasibilityJump();
 
  boolean hasTestFeasibilityJump();
  boolean getTestFeasibilityJump();
 
  boolean hasFeasibilityJumpDecay();
  double getFeasibilityJumpDecay();
 
  boolean hasFeasibilityJumpLinearizationLevel();
  int getFeasibilityJumpLinearizationLevel();
 
  boolean hasFeasibilityJumpRestartFactor();
  int getFeasibilityJumpRestartFactor();
 
  boolean hasFeasibilityJumpVarRandomizationProbability();
  double getFeasibilityJumpVarRandomizationProbability();
 
  boolean hasFeasibilityJumpVarPerburbationRangeRatio();
  double getFeasibilityJumpVarPerburbationRangeRatio();
 
  boolean hasFeasibilityJumpEnableRestarts();
  boolean getFeasibilityJumpEnableRestarts();
 
  boolean hasFeasibilityJumpMaxExpandedConstraintSize();
  int getFeasibilityJumpMaxExpandedConstraintSize();
 
  boolean hasNumViolationLs();
  int getNumViolationLs();
 
  boolean hasViolationLsPerturbationPeriod();
  int getViolationLsPerturbationPeriod();
 
  boolean hasViolationLsCompoundMoveProbability();
  double getViolationLsCompoundMoveProbability();
 
  boolean hasSharedTreeNumWorkers();
  int getSharedTreeNumWorkers();
 
  boolean hasUseSharedTreeSearch();
  boolean getUseSharedTreeSearch();
 
  boolean hasSharedTreeWorkerObjectiveSplitProbability();
  double getSharedTreeWorkerObjectiveSplitProbability();
 
  boolean hasSharedTreeMaxNodesPerWorker();
  int getSharedTreeMaxNodesPerWorker();
 
  boolean hasSharedTreeSplitStrategy();
  com.google.ortools.sat.SatParameters.SharedTreeSplitStrategy getSharedTreeSplitStrategy();
 
  boolean hasEnumerateAllSolutions();
  boolean getEnumerateAllSolutions();
 
  boolean hasKeepAllFeasibleSolutionsInPresolve();
  boolean getKeepAllFeasibleSolutionsInPresolve();
 
  boolean hasFillTightenedDomainsInResponse();
  boolean getFillTightenedDomainsInResponse();
 
  boolean hasFillAdditionalSolutionsInResponse();
  boolean getFillAdditionalSolutionsInResponse();
 
  boolean hasInstantiateAllVariables();
  boolean getInstantiateAllVariables();
 
  boolean hasAutoDetectGreaterThanAtLeastOneOf();
  boolean getAutoDetectGreaterThanAtLeastOneOf();
 
  boolean hasStopAfterFirstSolution();
  boolean getStopAfterFirstSolution();
 
  boolean hasStopAfterPresolve();
  boolean getStopAfterPresolve();
 
  boolean hasStopAfterRootPropagation();
  boolean getStopAfterRootPropagation();
 
  boolean hasUseLnsOnly();
  boolean getUseLnsOnly();
 
  boolean hasSolutionPoolSize();
  int getSolutionPoolSize();
 
  boolean hasUseRinsLns();
  boolean getUseRinsLns();
 
  boolean hasUseFeasibilityPump();
  boolean getUseFeasibilityPump();
 
  boolean hasUseLbRelaxLns();
  boolean getUseLbRelaxLns();
 
  boolean hasFpRounding();
  com.google.ortools.sat.SatParameters.FPRoundingMethod getFpRounding();
 
  boolean hasDiversifyLnsParams();
  boolean getDiversifyLnsParams();
 
  boolean hasRandomizeSearch();
  boolean getRandomizeSearch();
 
  boolean hasSearchRandomVariablePoolSize();
  long getSearchRandomVariablePoolSize();
 
  boolean hasPushAllTasksTowardStart();
  boolean getPushAllTasksTowardStart();
 
  boolean hasUseOptionalVariables();
  boolean getUseOptionalVariables();
 
  boolean hasUseExactLpReason();
  boolean getUseExactLpReason();
 
  boolean hasUseCombinedNoOverlap();
  boolean getUseCombinedNoOverlap();
 
  boolean hasAtMostOneMaxExpansionSize();
  int getAtMostOneMaxExpansionSize();
 
  boolean hasCatchSigintSignal();
  boolean getCatchSigintSignal();
 
  boolean hasUseImpliedBounds();
  boolean getUseImpliedBounds();
 
  boolean hasPolishLpSolution();
  boolean getPolishLpSolution();
 
  boolean hasLpPrimalTolerance();
  double getLpPrimalTolerance();
 
  boolean hasLpDualTolerance();
  double getLpDualTolerance();
 
  boolean hasConvertIntervals();
  boolean getConvertIntervals();
 
  boolean hasSymmetryLevel();
  int getSymmetryLevel();
 
  boolean hasNewLinearPropagation();
  boolean getNewLinearPropagation();
 
  boolean hasLinearSplitSize();
  int getLinearSplitSize();
 
  boolean hasLinearizationLevel();
  int getLinearizationLevel();
 
  boolean hasBooleanEncodingLevel();
  int getBooleanEncodingLevel();
 
  boolean hasMaxDomainSizeWhenEncodingEqNeqConstraints();
  int getMaxDomainSizeWhenEncodingEqNeqConstraints();
 
  boolean hasMaxNumCuts();
  int getMaxNumCuts();
 
  boolean hasCutLevel();
  int getCutLevel();
 
  boolean hasOnlyAddCutsAtLevelZero();
  boolean getOnlyAddCutsAtLevelZero();
 
  boolean hasAddObjectiveCut();
  boolean getAddObjectiveCut();
 
  boolean hasAddCgCuts();
  boolean getAddCgCuts();
 
  boolean hasAddMirCuts();
  boolean getAddMirCuts();
 
  boolean hasAddZeroHalfCuts();
  boolean getAddZeroHalfCuts();
 
  boolean hasAddCliqueCuts();
  boolean getAddCliqueCuts();
 
  boolean hasAddRltCuts();
  boolean getAddRltCuts();
 
  boolean hasMaxAllDiffCutSize();
  int getMaxAllDiffCutSize();
 
  boolean hasAddLinMaxCuts();
  boolean getAddLinMaxCuts();
 
  boolean hasMaxIntegerRoundingScaling();
  int getMaxIntegerRoundingScaling();
 
  boolean hasAddLpConstraintsLazily();
  boolean getAddLpConstraintsLazily();
 
  boolean hasRootLpIterations();
  int getRootLpIterations();
 
  boolean hasMinOrthogonalityForLpConstraints();
  double getMinOrthogonalityForLpConstraints();
 
  boolean hasMaxCutRoundsAtLevelZero();
  int getMaxCutRoundsAtLevelZero();
 
  boolean hasMaxConsecutiveInactiveCount();
  int getMaxConsecutiveInactiveCount();
 
  boolean hasCutMaxActiveCountValue();
  double getCutMaxActiveCountValue();
 
  boolean hasCutActiveCountDecay();
  double getCutActiveCountDecay();
 
  boolean hasCutCleanupTarget();
  int getCutCleanupTarget();
 
  boolean hasNewConstraintsBatchSize();
  int getNewConstraintsBatchSize();
 
  boolean hasExploitIntegerLpSolution();
  boolean getExploitIntegerLpSolution();
 
  boolean hasExploitAllLpSolution();
  boolean getExploitAllLpSolution();
 
  boolean hasExploitBestSolution();
  boolean getExploitBestSolution();
 
  boolean hasExploitRelaxationSolution();
  boolean getExploitRelaxationSolution();
 
  boolean hasExploitObjective();
  boolean getExploitObjective();
 
  boolean hasDetectLinearizedProduct();
  boolean getDetectLinearizedProduct();
 
  boolean hasMipMaxBound();
  double getMipMaxBound();
 
  boolean hasMipVarScaling();
  double getMipVarScaling();
 
  boolean hasMipScaleLargeDomain();
  boolean getMipScaleLargeDomain();
 
  boolean hasMipAutomaticallyScaleVariables();
  boolean getMipAutomaticallyScaleVariables();
 
  boolean hasOnlySolveIp();
  boolean getOnlySolveIp();
 
  boolean hasMipWantedPrecision();
  double getMipWantedPrecision();
 
  boolean hasMipMaxActivityExponent();
  int getMipMaxActivityExponent();
 
  boolean hasMipCheckPrecision();
  double getMipCheckPrecision();
 
  boolean hasMipComputeTrueObjectiveBound();
  boolean getMipComputeTrueObjectiveBound();
 
  boolean hasMipMaxValidMagnitude();
  double getMipMaxValidMagnitude();
 
  boolean hasMipTreatHighMagnitudeBoundsAsInfinity();
  boolean getMipTreatHighMagnitudeBoundsAsInfinity();
 
  boolean hasMipDropTolerance();
  double getMipDropTolerance();
 
  boolean hasMipPresolveLevel();
  int getMipPresolveLevel();
}