Java Reference

Java Reference

SatParameters.Builder Member List

This is the complete list of members for SatParameters.Builder, including all inherited members.

addAllRestartAlgorithms(java.lang.Iterable<? extends com.google.ortools.sat.SatParameters.RestartAlgorithm > values)SatParameters.Builderinline
addRepeatedField(com.google.protobuf.Descriptors.FieldDescriptor field, java.lang.Object value)SatParameters.Builderinline
addRestartAlgorithms(com.google.ortools.sat.SatParameters.RestartAlgorithm value)SatParameters.Builderinline
build()SatParameters.Builderinline
buildPartial()SatParameters.Builderinline
clear()SatParameters.Builderinline
clearAbsoluteGapLimit()SatParameters.Builderinline
clearAddCgCuts()SatParameters.Builderinline
clearAddKnapsackCuts()SatParameters.Builderinline
clearAddLinMaxCuts()SatParameters.Builderinline
clearAddLpConstraintsLazily()SatParameters.Builderinline
clearAddMirCuts()SatParameters.Builderinline
clearAlsoBumpVariablesInConflictReasons()SatParameters.Builderinline
clearAutoDetectGreaterThanAtLeastOneOf()SatParameters.Builderinline
clearBinaryMinimizationAlgorithm()SatParameters.Builderinline
clearBinarySearchNumConflicts()SatParameters.Builderinline
clearBlockingRestartMultiplier()SatParameters.Builderinline
clearBlockingRestartWindowSize()SatParameters.Builderinline
clearBooleanEncodingLevel()SatParameters.Builderinline
clearCatchSigintSignal()SatParameters.Builderinline
clearClauseActivityDecay()SatParameters.Builderinline
clearClauseCleanupLbdBound()SatParameters.Builderinline
clearClauseCleanupOrdering()SatParameters.Builderinline
clearClauseCleanupPeriod()SatParameters.Builderinline
clearClauseCleanupProtection()SatParameters.Builderinline
clearClauseCleanupTarget()SatParameters.Builderinline
clearCountAssumptionLevelsInLbd()SatParameters.Builderinline
clearCoverOptimization()SatParameters.Builderinline
clearCpModelMaxNumPresolveOperations()SatParameters.Builderinline
clearCpModelPostsolveWithFullSolver()SatParameters.Builderinline
clearCpModelPresolve()SatParameters.Builderinline
clearCpModelProbingLevel()SatParameters.Builderinline
clearCpModelUseSatPresolve()SatParameters.Builderinline
clearCutActiveCountDecay()SatParameters.Builderinline
clearCutCleanupTarget()SatParameters.Builderinline
clearCutMaxActiveCountValue()SatParameters.Builderinline
clearDefaultRestartAlgorithms()SatParameters.Builderinline
clearDiversifyLnsParams()SatParameters.Builderinline
clearEnumerateAllSolutions()SatParameters.Builderinline
clearExpandAutomatonConstraints()SatParameters.Builderinline
clearExpandElementConstraints()SatParameters.Builderinline
clearExpandTableConstraints()SatParameters.Builderinline
clearExploitAllLpSolution()SatParameters.Builderinline
clearExploitBestSolution()SatParameters.Builderinline
clearExploitIntegerLpSolution()SatParameters.Builderinline
clearExploitObjective()SatParameters.Builderinline
clearExploitRelaxationSolution()SatParameters.Builderinline
clearField(com.google.protobuf.Descriptors.FieldDescriptor field)SatParameters.Builderinline
clearFillTightenedDomainsInResponse()SatParameters.Builderinline
clearFindMultipleCores()SatParameters.Builderinline
clearGlucoseDecayIncrement()SatParameters.Builderinline
clearGlucoseDecayIncrementPeriod()SatParameters.Builderinline
clearGlucoseMaxDecay()SatParameters.Builderinline
clearHintConflictLimit()SatParameters.Builderinline
clearInitialPolarity()SatParameters.Builderinline
clearInitialVariablesActivity()SatParameters.Builderinline
clearInstantiateAllVariables()SatParameters.Builderinline
clearInterleaveBatchSize()SatParameters.Builderinline
clearInterleaveSearch()SatParameters.Builderinline
clearLinearizationLevel()SatParameters.Builderinline
clearLnsFocusOnDecisionVariables()SatParameters.Builderinline
clearLogSearchProgress()SatParameters.Builderinline
clearMaxAllDiffCutSize()SatParameters.Builderinline
clearMaxClauseActivityValue()SatParameters.Builderinline
clearMaxConsecutiveInactiveCount()SatParameters.Builderinline
clearMaxCutRoundsAtLevelZero()SatParameters.Builderinline
clearMaxDeterministicTime()SatParameters.Builderinline
clearMaxIntegerRoundingScaling()SatParameters.Builderinline
clearMaxMemoryInMb()SatParameters.Builderinline
clearMaxNumberOfConflicts()SatParameters.Builderinline
clearMaxNumCuts()SatParameters.Builderinline
clearMaxPresolveIterations()SatParameters.Builderinline
clearMaxSatAssumptionOrder()SatParameters.Builderinline
clearMaxSatReverseAssumptionOrder()SatParameters.Builderinline
clearMaxSatStratification()SatParameters.Builderinline
clearMaxTimeInSeconds()SatParameters.Builderinline
clearMaxVariableActivityValue()SatParameters.Builderinline
clearMergeAtMostOneWorkLimit()SatParameters.Builderinline
clearMergeNoOverlapWorkLimit()SatParameters.Builderinline
clearMinimizationAlgorithm()SatParameters.Builderinline
clearMinimizeCore()SatParameters.Builderinline
clearMinimizeReductionDuringPbResolution()SatParameters.Builderinline
clearMinimizeWithPropagationNumDecisions()SatParameters.Builderinline
clearMinimizeWithPropagationRestartPeriod()SatParameters.Builderinline
clearMinOrthogonalityForLpConstraints()SatParameters.Builderinline
clearMipCheckPrecision()SatParameters.Builderinline
clearMipMaxActivityExponent()SatParameters.Builderinline
clearMipMaxBound()SatParameters.Builderinline
clearMipVarScaling()SatParameters.Builderinline
clearMipWantedPrecision()SatParameters.Builderinline
clearNewConstraintsBatchSize()SatParameters.Builderinline
clearNumConflictsBeforeStrategyChanges()SatParameters.Builderinline
clearNumSearchWorkers()SatParameters.Builderinline
clearOneof(com.google.protobuf.Descriptors.OneofDescriptor oneof)SatParameters.Builderinline
clearOnlyAddCutsAtLevelZero()SatParameters.Builderinline
clearOptimizeWithCore()SatParameters.Builderinline
clearOptimizeWithMaxHs()SatParameters.Builderinline
clearPbCleanupIncrement()SatParameters.Builderinline
clearPbCleanupRatio()SatParameters.Builderinline
clearPreferredVariableOrder()SatParameters.Builderinline
clearPresolveBlockedClause()SatParameters.Builderinline
clearPresolveBvaThreshold()SatParameters.Builderinline
clearPresolveBveClauseWeight()SatParameters.Builderinline
clearPresolveBveThreshold()SatParameters.Builderinline
clearPresolveProbingDeterministicTimeLimit()SatParameters.Builderinline
clearPresolveSubstitutionLevel()SatParameters.Builderinline
clearPresolveUseBva()SatParameters.Builderinline
clearProbingPeriodAtRoot()SatParameters.Builderinline
clearPseudoCostReliabilityThreshold()SatParameters.Builderinline
clearRandomBranchesRatio()SatParameters.Builderinline
clearRandomizeSearch()SatParameters.Builderinline
clearRandomPolarityRatio()SatParameters.Builderinline
clearRandomSeed()SatParameters.Builderinline
clearReduceMemoryUsageInInterleaveMode()SatParameters.Builderinline
clearRelativeGapLimit()SatParameters.Builderinline
clearRestartAlgorithms()SatParameters.Builderinline
clearRestartDlAverageRatio()SatParameters.Builderinline
clearRestartLbdAverageRatio()SatParameters.Builderinline
clearRestartPeriod()SatParameters.Builderinline
clearRestartRunningWindowSize()SatParameters.Builderinline
clearSearchBranching()SatParameters.Builderinline
clearSearchRandomizationTolerance()SatParameters.Builderinline
clearShareLevelZeroBounds()SatParameters.Builderinline
clearShareObjectiveBounds()SatParameters.Builderinline
clearStopAfterFirstSolution()SatParameters.Builderinline
clearStopAfterPresolve()SatParameters.Builderinline
clearStrategyChangeIncreaseRatio()SatParameters.Builderinline
clearSubsumptionDuringConflictAnalysis()SatParameters.Builderinline
clearTreatBinaryClausesSeparately()SatParameters.Builderinline
clearUseBlockingRestart()SatParameters.Builderinline
clearUseBranchingInLp()SatParameters.Builderinline
clearUseCombinedNoOverlap()SatParameters.Builderinline
clearUseDisjunctiveConstraintInCumulativeConstraint()SatParameters.Builderinline
clearUseErwaHeuristic()SatParameters.Builderinline
clearUseExactLpReason()SatParameters.Builderinline
clearUseFeasibilityPump()SatParameters.Builderinline
clearUseImpliedBounds()SatParameters.Builderinline
clearUseLnsOnly()SatParameters.Builderinline
clearUseOptimizationHints()SatParameters.Builderinline
clearUseOptionalVariables()SatParameters.Builderinline
clearUseOverloadCheckerInCumulativeConstraint()SatParameters.Builderinline
clearUsePbResolution()SatParameters.Builderinline
clearUsePhaseSaving()SatParameters.Builderinline
clearUsePrecedencesInDisjunctiveConstraint()SatParameters.Builderinline
clearUseRelaxationLns()SatParameters.Builderinline
clearUseRinsLns()SatParameters.Builderinline
clearUseSatInprocessing()SatParameters.Builderinline
clearUseTimetableEdgeFindingInCumulativeConstraint()SatParameters.Builderinline
clearVariableActivityDecay()SatParameters.Builderinline
clone()SatParameters.Builderinline
getAbsoluteGapLimit()SatParameters.Builderinline
getAddCgCuts()SatParameters.Builderinline
getAddKnapsackCuts()SatParameters.Builderinline
getAddLinMaxCuts()SatParameters.Builderinline
getAddLpConstraintsLazily()SatParameters.Builderinline
getAddMirCuts()SatParameters.Builderinline
getAlsoBumpVariablesInConflictReasons()SatParameters.Builderinline
getAutoDetectGreaterThanAtLeastOneOf()SatParameters.Builderinline
getBinaryMinimizationAlgorithm()SatParameters.Builderinline
getBinarySearchNumConflicts()SatParameters.Builderinline
getBlockingRestartMultiplier()SatParameters.Builderinline
getBlockingRestartWindowSize()SatParameters.Builderinline
getBooleanEncodingLevel()SatParameters.Builderinline
getCatchSigintSignal()SatParameters.Builderinline
getClauseActivityDecay()SatParameters.Builderinline
getClauseCleanupLbdBound()SatParameters.Builderinline
getClauseCleanupOrdering()SatParameters.Builderinline
getClauseCleanupPeriod()SatParameters.Builderinline
getClauseCleanupProtection()SatParameters.Builderinline
getClauseCleanupTarget()SatParameters.Builderinline
getCountAssumptionLevelsInLbd()SatParameters.Builderinline
getCoverOptimization()SatParameters.Builderinline
getCpModelMaxNumPresolveOperations()SatParameters.Builderinline
getCpModelPostsolveWithFullSolver()SatParameters.Builderinline
getCpModelPresolve()SatParameters.Builderinline
getCpModelProbingLevel()SatParameters.Builderinline
getCpModelUseSatPresolve()SatParameters.Builderinline
getCutActiveCountDecay()SatParameters.Builderinline
getCutCleanupTarget()SatParameters.Builderinline
getCutMaxActiveCountValue()SatParameters.Builderinline
getDefaultInstanceForType()SatParameters.Builderinline
getDefaultRestartAlgorithms()SatParameters.Builderinline
getDefaultRestartAlgorithmsBytes()SatParameters.Builderinline
getDescriptor()SatParameters.Builderinlinestatic
getDescriptorForType()SatParameters.Builderinline
getDiversifyLnsParams()SatParameters.Builderinline
getEnumerateAllSolutions()SatParameters.Builderinline
getExpandAutomatonConstraints()SatParameters.Builderinline
getExpandElementConstraints()SatParameters.Builderinline
getExpandTableConstraints()SatParameters.Builderinline
getExploitAllLpSolution()SatParameters.Builderinline
getExploitBestSolution()SatParameters.Builderinline
getExploitIntegerLpSolution()SatParameters.Builderinline
getExploitObjective()SatParameters.Builderinline
getExploitRelaxationSolution()SatParameters.Builderinline
getFillTightenedDomainsInResponse()SatParameters.Builderinline
getFindMultipleCores()SatParameters.Builderinline
getGlucoseDecayIncrement()SatParameters.Builderinline
getGlucoseDecayIncrementPeriod()SatParameters.Builderinline
getGlucoseMaxDecay()SatParameters.Builderinline
getHintConflictLimit()SatParameters.Builderinline
getInitialPolarity()SatParameters.Builderinline
getInitialVariablesActivity()SatParameters.Builderinline
getInstantiateAllVariables()SatParameters.Builderinline
getInterleaveBatchSize()SatParameters.Builderinline
getInterleaveSearch()SatParameters.Builderinline
getLinearizationLevel()SatParameters.Builderinline
getLnsFocusOnDecisionVariables()SatParameters.Builderinline
getLogSearchProgress()SatParameters.Builderinline
getMaxAllDiffCutSize()SatParameters.Builderinline
getMaxClauseActivityValue()SatParameters.Builderinline
getMaxConsecutiveInactiveCount()SatParameters.Builderinline
getMaxCutRoundsAtLevelZero()SatParameters.Builderinline
getMaxDeterministicTime()SatParameters.Builderinline
getMaxIntegerRoundingScaling()SatParameters.Builderinline
getMaxMemoryInMb()SatParameters.Builderinline
getMaxNumberOfConflicts()SatParameters.Builderinline
getMaxNumCuts()SatParameters.Builderinline
getMaxPresolveIterations()SatParameters.Builderinline
getMaxSatAssumptionOrder()SatParameters.Builderinline
getMaxSatReverseAssumptionOrder()SatParameters.Builderinline
getMaxSatStratification()SatParameters.Builderinline
getMaxTimeInSeconds()SatParameters.Builderinline
getMaxVariableActivityValue()SatParameters.Builderinline
getMergeAtMostOneWorkLimit()SatParameters.Builderinline
getMergeNoOverlapWorkLimit()SatParameters.Builderinline
getMinimizationAlgorithm()SatParameters.Builderinline
getMinimizeCore()SatParameters.Builderinline
getMinimizeReductionDuringPbResolution()SatParameters.Builderinline
getMinimizeWithPropagationNumDecisions()SatParameters.Builderinline
getMinimizeWithPropagationRestartPeriod()SatParameters.Builderinline
getMinOrthogonalityForLpConstraints()SatParameters.Builderinline
getMipCheckPrecision()SatParameters.Builderinline
getMipMaxActivityExponent()SatParameters.Builderinline
getMipMaxBound()SatParameters.Builderinline
getMipVarScaling()SatParameters.Builderinline
getMipWantedPrecision()SatParameters.Builderinline
getNewConstraintsBatchSize()SatParameters.Builderinline
getNumConflictsBeforeStrategyChanges()SatParameters.Builderinline
getNumSearchWorkers()SatParameters.Builderinline
getOnlyAddCutsAtLevelZero()SatParameters.Builderinline
getOptimizeWithCore()SatParameters.Builderinline
getOptimizeWithMaxHs()SatParameters.Builderinline
getPbCleanupIncrement()SatParameters.Builderinline
getPbCleanupRatio()SatParameters.Builderinline
getPreferredVariableOrder()SatParameters.Builderinline
getPresolveBlockedClause()SatParameters.Builderinline
getPresolveBvaThreshold()SatParameters.Builderinline
getPresolveBveClauseWeight()SatParameters.Builderinline
getPresolveBveThreshold()SatParameters.Builderinline
getPresolveProbingDeterministicTimeLimit()SatParameters.Builderinline
getPresolveSubstitutionLevel()SatParameters.Builderinline
getPresolveUseBva()SatParameters.Builderinline
getProbingPeriodAtRoot()SatParameters.Builderinline
getPseudoCostReliabilityThreshold()SatParameters.Builderinline
getRandomBranchesRatio()SatParameters.Builderinline
getRandomizeSearch()SatParameters.Builderinline
getRandomPolarityRatio()SatParameters.Builderinline
getRandomSeed()SatParameters.Builderinline
getReduceMemoryUsageInInterleaveMode()SatParameters.Builderinline
getRelativeGapLimit()SatParameters.Builderinline
getRestartAlgorithms(int index)SatParameters.Builderinline
getRestartAlgorithmsCount()SatParameters.Builderinline
getRestartAlgorithmsList()SatParameters.Builderinline
getRestartDlAverageRatio()SatParameters.Builderinline
getRestartLbdAverageRatio()SatParameters.Builderinline
getRestartPeriod()SatParameters.Builderinline
getRestartRunningWindowSize()SatParameters.Builderinline
getSearchBranching()SatParameters.Builderinline
getSearchRandomizationTolerance()SatParameters.Builderinline
getShareLevelZeroBounds()SatParameters.Builderinline
getShareObjectiveBounds()SatParameters.Builderinline
getStopAfterFirstSolution()SatParameters.Builderinline
getStopAfterPresolve()SatParameters.Builderinline
getStrategyChangeIncreaseRatio()SatParameters.Builderinline
getSubsumptionDuringConflictAnalysis()SatParameters.Builderinline
getTreatBinaryClausesSeparately()SatParameters.Builderinline
getUseBlockingRestart()SatParameters.Builderinline
getUseBranchingInLp()SatParameters.Builderinline
getUseCombinedNoOverlap()SatParameters.Builderinline
getUseDisjunctiveConstraintInCumulativeConstraint()SatParameters.Builderinline
getUseErwaHeuristic()SatParameters.Builderinline
getUseExactLpReason()SatParameters.Builderinline
getUseFeasibilityPump()SatParameters.Builderinline
getUseImpliedBounds()SatParameters.Builderinline
getUseLnsOnly()SatParameters.Builderinline
getUseOptimizationHints()SatParameters.Builderinline
getUseOptionalVariables()SatParameters.Builderinline
getUseOverloadCheckerInCumulativeConstraint()SatParameters.Builderinline
getUsePbResolution()SatParameters.Builderinline
getUsePhaseSaving()SatParameters.Builderinline
getUsePrecedencesInDisjunctiveConstraint()SatParameters.Builderinline
getUseRelaxationLns()SatParameters.Builderinline
getUseRinsLns()SatParameters.Builderinline
getUseSatInprocessing()SatParameters.Builderinline
getUseTimetableEdgeFindingInCumulativeConstraint()SatParameters.Builderinline
getVariableActivityDecay()SatParameters.Builderinline
hasAbsoluteGapLimit()SatParameters.Builderinline
hasAddCgCuts()SatParameters.Builderinline
hasAddKnapsackCuts()SatParameters.Builderinline
hasAddLinMaxCuts()SatParameters.Builderinline
hasAddLpConstraintsLazily()SatParameters.Builderinline
hasAddMirCuts()SatParameters.Builderinline
hasAlsoBumpVariablesInConflictReasons()SatParameters.Builderinline
hasAutoDetectGreaterThanAtLeastOneOf()SatParameters.Builderinline
hasBinaryMinimizationAlgorithm()SatParameters.Builderinline
hasBinarySearchNumConflicts()SatParameters.Builderinline
hasBlockingRestartMultiplier()SatParameters.Builderinline
hasBlockingRestartWindowSize()SatParameters.Builderinline
hasBooleanEncodingLevel()SatParameters.Builderinline
hasCatchSigintSignal()SatParameters.Builderinline
hasClauseActivityDecay()SatParameters.Builderinline
hasClauseCleanupLbdBound()SatParameters.Builderinline
hasClauseCleanupOrdering()SatParameters.Builderinline
hasClauseCleanupPeriod()SatParameters.Builderinline
hasClauseCleanupProtection()SatParameters.Builderinline
hasClauseCleanupTarget()SatParameters.Builderinline
hasCountAssumptionLevelsInLbd()SatParameters.Builderinline
hasCoverOptimization()SatParameters.Builderinline
hasCpModelMaxNumPresolveOperations()SatParameters.Builderinline
hasCpModelPostsolveWithFullSolver()SatParameters.Builderinline
hasCpModelPresolve()SatParameters.Builderinline
hasCpModelProbingLevel()SatParameters.Builderinline
hasCpModelUseSatPresolve()SatParameters.Builderinline
hasCutActiveCountDecay()SatParameters.Builderinline
hasCutCleanupTarget()SatParameters.Builderinline
hasCutMaxActiveCountValue()SatParameters.Builderinline
hasDefaultRestartAlgorithms()SatParameters.Builderinline
hasDiversifyLnsParams()SatParameters.Builderinline
hasEnumerateAllSolutions()SatParameters.Builderinline
hasExpandAutomatonConstraints()SatParameters.Builderinline
hasExpandElementConstraints()SatParameters.Builderinline
hasExpandTableConstraints()SatParameters.Builderinline
hasExploitAllLpSolution()SatParameters.Builderinline
hasExploitBestSolution()SatParameters.Builderinline
hasExploitIntegerLpSolution()SatParameters.Builderinline
hasExploitObjective()SatParameters.Builderinline
hasExploitRelaxationSolution()SatParameters.Builderinline
hasFillTightenedDomainsInResponse()SatParameters.Builderinline
hasFindMultipleCores()SatParameters.Builderinline
hasGlucoseDecayIncrement()SatParameters.Builderinline
hasGlucoseDecayIncrementPeriod()SatParameters.Builderinline
hasGlucoseMaxDecay()SatParameters.Builderinline
hasHintConflictLimit()SatParameters.Builderinline
hasInitialPolarity()SatParameters.Builderinline
hasInitialVariablesActivity()SatParameters.Builderinline
hasInstantiateAllVariables()SatParameters.Builderinline
hasInterleaveBatchSize()SatParameters.Builderinline
hasInterleaveSearch()SatParameters.Builderinline
hasLinearizationLevel()SatParameters.Builderinline
hasLnsFocusOnDecisionVariables()SatParameters.Builderinline
hasLogSearchProgress()SatParameters.Builderinline
hasMaxAllDiffCutSize()SatParameters.Builderinline
hasMaxClauseActivityValue()SatParameters.Builderinline
hasMaxConsecutiveInactiveCount()SatParameters.Builderinline
hasMaxCutRoundsAtLevelZero()SatParameters.Builderinline
hasMaxDeterministicTime()SatParameters.Builderinline
hasMaxIntegerRoundingScaling()SatParameters.Builderinline
hasMaxMemoryInMb()SatParameters.Builderinline
hasMaxNumberOfConflicts()SatParameters.Builderinline
hasMaxNumCuts()SatParameters.Builderinline
hasMaxPresolveIterations()SatParameters.Builderinline
hasMaxSatAssumptionOrder()SatParameters.Builderinline
hasMaxSatReverseAssumptionOrder()SatParameters.Builderinline
hasMaxSatStratification()SatParameters.Builderinline
hasMaxTimeInSeconds()SatParameters.Builderinline
hasMaxVariableActivityValue()SatParameters.Builderinline
hasMergeAtMostOneWorkLimit()SatParameters.Builderinline
hasMergeNoOverlapWorkLimit()SatParameters.Builderinline
hasMinimizationAlgorithm()SatParameters.Builderinline
hasMinimizeCore()SatParameters.Builderinline
hasMinimizeReductionDuringPbResolution()SatParameters.Builderinline
hasMinimizeWithPropagationNumDecisions()SatParameters.Builderinline
hasMinimizeWithPropagationRestartPeriod()SatParameters.Builderinline
hasMinOrthogonalityForLpConstraints()SatParameters.Builderinline
hasMipCheckPrecision()SatParameters.Builderinline
hasMipMaxActivityExponent()SatParameters.Builderinline
hasMipMaxBound()SatParameters.Builderinline
hasMipVarScaling()SatParameters.Builderinline
hasMipWantedPrecision()SatParameters.Builderinline
hasNewConstraintsBatchSize()SatParameters.Builderinline
hasNumConflictsBeforeStrategyChanges()SatParameters.Builderinline
hasNumSearchWorkers()SatParameters.Builderinline
hasOnlyAddCutsAtLevelZero()SatParameters.Builderinline
hasOptimizeWithCore()SatParameters.Builderinline
hasOptimizeWithMaxHs()SatParameters.Builderinline
hasPbCleanupIncrement()SatParameters.Builderinline
hasPbCleanupRatio()SatParameters.Builderinline
hasPreferredVariableOrder()SatParameters.Builderinline
hasPresolveBlockedClause()SatParameters.Builderinline
hasPresolveBvaThreshold()SatParameters.Builderinline
hasPresolveBveClauseWeight()SatParameters.Builderinline
hasPresolveBveThreshold()SatParameters.Builderinline
hasPresolveProbingDeterministicTimeLimit()SatParameters.Builderinline
hasPresolveSubstitutionLevel()SatParameters.Builderinline
hasPresolveUseBva()SatParameters.Builderinline
hasProbingPeriodAtRoot()SatParameters.Builderinline
hasPseudoCostReliabilityThreshold()SatParameters.Builderinline
hasRandomBranchesRatio()SatParameters.Builderinline
hasRandomizeSearch()SatParameters.Builderinline
hasRandomPolarityRatio()SatParameters.Builderinline
hasRandomSeed()SatParameters.Builderinline
hasReduceMemoryUsageInInterleaveMode()SatParameters.Builderinline
hasRelativeGapLimit()SatParameters.Builderinline
hasRestartDlAverageRatio()SatParameters.Builderinline
hasRestartLbdAverageRatio()SatParameters.Builderinline
hasRestartPeriod()SatParameters.Builderinline
hasRestartRunningWindowSize()SatParameters.Builderinline
hasSearchBranching()SatParameters.Builderinline
hasSearchRandomizationTolerance()SatParameters.Builderinline
hasShareLevelZeroBounds()SatParameters.Builderinline
hasShareObjectiveBounds()SatParameters.Builderinline
hasStopAfterFirstSolution()SatParameters.Builderinline
hasStopAfterPresolve()SatParameters.Builderinline
hasStrategyChangeIncreaseRatio()SatParameters.Builderinline
hasSubsumptionDuringConflictAnalysis()SatParameters.Builderinline
hasTreatBinaryClausesSeparately()SatParameters.Builderinline
hasUseBlockingRestart()SatParameters.Builderinline
hasUseBranchingInLp()SatParameters.Builderinline
hasUseCombinedNoOverlap()SatParameters.Builderinline
hasUseDisjunctiveConstraintInCumulativeConstraint()SatParameters.Builderinline
hasUseErwaHeuristic()SatParameters.Builderinline
hasUseExactLpReason()SatParameters.Builderinline
hasUseFeasibilityPump()SatParameters.Builderinline
hasUseImpliedBounds()SatParameters.Builderinline
hasUseLnsOnly()SatParameters.Builderinline
hasUseOptimizationHints()SatParameters.Builderinline
hasUseOptionalVariables()SatParameters.Builderinline
hasUseOverloadCheckerInCumulativeConstraint()SatParameters.Builderinline
hasUsePbResolution()SatParameters.Builderinline
hasUsePhaseSaving()SatParameters.Builderinline
hasUsePrecedencesInDisjunctiveConstraint()SatParameters.Builderinline
hasUseRelaxationLns()SatParameters.Builderinline
hasUseRinsLns()SatParameters.Builderinline
hasUseSatInprocessing()SatParameters.Builderinline
hasUseTimetableEdgeFindingInCumulativeConstraint()SatParameters.Builderinline
hasVariableActivityDecay()SatParameters.Builderinline
internalGetFieldAccessorTable()SatParameters.Builderinlineprotected
isInitialized()SatParameters.Builderinline
mergeFrom(com.google.protobuf.Message other)SatParameters.Builderinline
mergeFrom(com.google.ortools.sat.SatParameters other)SatParameters.Builderinline
mergeFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)SatParameters.Builderinline
mergeUnknownFields(final com.google.protobuf.UnknownFieldSet unknownFields)SatParameters.Builderinline
setAbsoluteGapLimit(double value)SatParameters.Builderinline
setAddCgCuts(boolean value)SatParameters.Builderinline
setAddKnapsackCuts(boolean value)SatParameters.Builderinline
setAddLinMaxCuts(boolean value)SatParameters.Builderinline
setAddLpConstraintsLazily(boolean value)SatParameters.Builderinline
setAddMirCuts(boolean value)SatParameters.Builderinline
setAlsoBumpVariablesInConflictReasons(boolean value)SatParameters.Builderinline
setAutoDetectGreaterThanAtLeastOneOf(boolean value)SatParameters.Builderinline
setBinaryMinimizationAlgorithm(com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm value)SatParameters.Builderinline
setBinarySearchNumConflicts(int value)SatParameters.Builderinline
setBlockingRestartMultiplier(double value)SatParameters.Builderinline
setBlockingRestartWindowSize(int value)SatParameters.Builderinline
setBooleanEncodingLevel(int value)SatParameters.Builderinline
setCatchSigintSignal(boolean value)SatParameters.Builderinline
setClauseActivityDecay(double value)SatParameters.Builderinline
setClauseCleanupLbdBound(int value)SatParameters.Builderinline
setClauseCleanupOrdering(com.google.ortools.sat.SatParameters.ClauseOrdering value)SatParameters.Builderinline
setClauseCleanupPeriod(int value)SatParameters.Builderinline
setClauseCleanupProtection(com.google.ortools.sat.SatParameters.ClauseProtection value)SatParameters.Builderinline
setClauseCleanupTarget(int value)SatParameters.Builderinline
setCountAssumptionLevelsInLbd(boolean value)SatParameters.Builderinline
setCoverOptimization(boolean value)SatParameters.Builderinline
setCpModelMaxNumPresolveOperations(int value)SatParameters.Builderinline
setCpModelPostsolveWithFullSolver(boolean value)SatParameters.Builderinline
setCpModelPresolve(boolean value)SatParameters.Builderinline
setCpModelProbingLevel(int value)SatParameters.Builderinline
setCpModelUseSatPresolve(boolean value)SatParameters.Builderinline
setCutActiveCountDecay(double value)SatParameters.Builderinline
setCutCleanupTarget(int value)SatParameters.Builderinline
setCutMaxActiveCountValue(double value)SatParameters.Builderinline
setDefaultRestartAlgorithms(java.lang.String value)SatParameters.Builderinline
setDefaultRestartAlgorithmsBytes(com.google.protobuf.ByteString value)SatParameters.Builderinline
setDiversifyLnsParams(boolean value)SatParameters.Builderinline
setEnumerateAllSolutions(boolean value)SatParameters.Builderinline
setExpandAutomatonConstraints(boolean value)SatParameters.Builderinline
setExpandElementConstraints(boolean value)SatParameters.Builderinline
setExpandTableConstraints(boolean value)SatParameters.Builderinline
setExploitAllLpSolution(boolean value)SatParameters.Builderinline
setExploitBestSolution(boolean value)SatParameters.Builderinline
setExploitIntegerLpSolution(boolean value)SatParameters.Builderinline
setExploitObjective(boolean value)SatParameters.Builderinline
setExploitRelaxationSolution(boolean value)SatParameters.Builderinline
setField(com.google.protobuf.Descriptors.FieldDescriptor field, java.lang.Object value)SatParameters.Builderinline
setFillTightenedDomainsInResponse(boolean value)SatParameters.Builderinline
setFindMultipleCores(boolean value)SatParameters.Builderinline
setGlucoseDecayIncrement(double value)SatParameters.Builderinline
setGlucoseDecayIncrementPeriod(int value)SatParameters.Builderinline
setGlucoseMaxDecay(double value)SatParameters.Builderinline
setHintConflictLimit(int value)SatParameters.Builderinline
setInitialPolarity(com.google.ortools.sat.SatParameters.Polarity value)SatParameters.Builderinline
setInitialVariablesActivity(double value)SatParameters.Builderinline
setInstantiateAllVariables(boolean value)SatParameters.Builderinline
setInterleaveBatchSize(int value)SatParameters.Builderinline
setInterleaveSearch(boolean value)SatParameters.Builderinline
setLinearizationLevel(int value)SatParameters.Builderinline
setLnsFocusOnDecisionVariables(boolean value)SatParameters.Builderinline
setLogSearchProgress(boolean value)SatParameters.Builderinline
setMaxAllDiffCutSize(int value)SatParameters.Builderinline
setMaxClauseActivityValue(double value)SatParameters.Builderinline
setMaxConsecutiveInactiveCount(int value)SatParameters.Builderinline
setMaxCutRoundsAtLevelZero(int value)SatParameters.Builderinline
setMaxDeterministicTime(double value)SatParameters.Builderinline
setMaxIntegerRoundingScaling(int value)SatParameters.Builderinline
setMaxMemoryInMb(long value)SatParameters.Builderinline
setMaxNumberOfConflicts(long value)SatParameters.Builderinline
setMaxNumCuts(int value)SatParameters.Builderinline
setMaxPresolveIterations(int value)SatParameters.Builderinline
setMaxSatAssumptionOrder(com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder value)SatParameters.Builderinline
setMaxSatReverseAssumptionOrder(boolean value)SatParameters.Builderinline
setMaxSatStratification(com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm value)SatParameters.Builderinline
setMaxTimeInSeconds(double value)SatParameters.Builderinline
setMaxVariableActivityValue(double value)SatParameters.Builderinline
setMergeAtMostOneWorkLimit(double value)SatParameters.Builderinline
setMergeNoOverlapWorkLimit(double value)SatParameters.Builderinline
setMinimizationAlgorithm(com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm value)SatParameters.Builderinline
setMinimizeCore(boolean value)SatParameters.Builderinline
setMinimizeReductionDuringPbResolution(boolean value)SatParameters.Builderinline
setMinimizeWithPropagationNumDecisions(int value)SatParameters.Builderinline
setMinimizeWithPropagationRestartPeriod(int value)SatParameters.Builderinline
setMinOrthogonalityForLpConstraints(double value)SatParameters.Builderinline
setMipCheckPrecision(double value)SatParameters.Builderinline
setMipMaxActivityExponent(int value)SatParameters.Builderinline
setMipMaxBound(double value)SatParameters.Builderinline
setMipVarScaling(double value)SatParameters.Builderinline
setMipWantedPrecision(double value)SatParameters.Builderinline
setNewConstraintsBatchSize(int value)SatParameters.Builderinline
setNumConflictsBeforeStrategyChanges(int value)SatParameters.Builderinline
setNumSearchWorkers(int value)SatParameters.Builderinline
setOnlyAddCutsAtLevelZero(boolean value)SatParameters.Builderinline
setOptimizeWithCore(boolean value)SatParameters.Builderinline
setOptimizeWithMaxHs(boolean value)SatParameters.Builderinline
setPbCleanupIncrement(int value)SatParameters.Builderinline
setPbCleanupRatio(double value)SatParameters.Builderinline
setPreferredVariableOrder(com.google.ortools.sat.SatParameters.VariableOrder value)SatParameters.Builderinline
setPresolveBlockedClause(boolean value)SatParameters.Builderinline
setPresolveBvaThreshold(int value)SatParameters.Builderinline
setPresolveBveClauseWeight(int value)SatParameters.Builderinline
setPresolveBveThreshold(int value)SatParameters.Builderinline
setPresolveProbingDeterministicTimeLimit(double value)SatParameters.Builderinline
setPresolveSubstitutionLevel(int value)SatParameters.Builderinline
setPresolveUseBva(boolean value)SatParameters.Builderinline
setProbingPeriodAtRoot(long value)SatParameters.Builderinline
setPseudoCostReliabilityThreshold(long value)SatParameters.Builderinline
setRandomBranchesRatio(double value)SatParameters.Builderinline
setRandomizeSearch(boolean value)SatParameters.Builderinline
setRandomPolarityRatio(double value)SatParameters.Builderinline
setRandomSeed(int value)SatParameters.Builderinline
setReduceMemoryUsageInInterleaveMode(boolean value)SatParameters.Builderinline
setRelativeGapLimit(double value)SatParameters.Builderinline
setRepeatedField(com.google.protobuf.Descriptors.FieldDescriptor field, int index, java.lang.Object value)SatParameters.Builderinline
setRestartAlgorithms(int index, com.google.ortools.sat.SatParameters.RestartAlgorithm value)SatParameters.Builderinline
setRestartDlAverageRatio(double value)SatParameters.Builderinline
setRestartLbdAverageRatio(double value)SatParameters.Builderinline
setRestartPeriod(int value)SatParameters.Builderinline
setRestartRunningWindowSize(int value)SatParameters.Builderinline
setSearchBranching(com.google.ortools.sat.SatParameters.SearchBranching value)SatParameters.Builderinline
setSearchRandomizationTolerance(long value)SatParameters.Builderinline
setShareLevelZeroBounds(boolean value)SatParameters.Builderinline
setShareObjectiveBounds(boolean value)SatParameters.Builderinline
setStopAfterFirstSolution(boolean value)SatParameters.Builderinline
setStopAfterPresolve(boolean value)SatParameters.Builderinline
setStrategyChangeIncreaseRatio(double value)SatParameters.Builderinline
setSubsumptionDuringConflictAnalysis(boolean value)SatParameters.Builderinline
setTreatBinaryClausesSeparately(boolean value)SatParameters.Builderinline
setUnknownFields(final com.google.protobuf.UnknownFieldSet unknownFields)SatParameters.Builderinline
setUseBlockingRestart(boolean value)SatParameters.Builderinline
setUseBranchingInLp(boolean value)SatParameters.Builderinline
setUseCombinedNoOverlap(boolean value)SatParameters.Builderinline
setUseDisjunctiveConstraintInCumulativeConstraint(boolean value)SatParameters.Builderinline
setUseErwaHeuristic(boolean value)SatParameters.Builderinline
setUseExactLpReason(boolean value)SatParameters.Builderinline
setUseFeasibilityPump(boolean value)SatParameters.Builderinline
setUseImpliedBounds(boolean value)SatParameters.Builderinline
setUseLnsOnly(boolean value)SatParameters.Builderinline
setUseOptimizationHints(boolean value)SatParameters.Builderinline
setUseOptionalVariables(boolean value)SatParameters.Builderinline
setUseOverloadCheckerInCumulativeConstraint(boolean value)SatParameters.Builderinline
setUsePbResolution(boolean value)SatParameters.Builderinline
setUsePhaseSaving(boolean value)SatParameters.Builderinline
setUsePrecedencesInDisjunctiveConstraint(boolean value)SatParameters.Builderinline
setUseRelaxationLns(boolean value)SatParameters.Builderinline
setUseRinsLns(boolean value)SatParameters.Builderinline
setUseSatInprocessing(boolean value)SatParameters.Builderinline
setUseTimetableEdgeFindingInCumulativeConstraint(boolean value)SatParameters.Builderinline
setVariableActivityDecay(double value)SatParameters.Builderinline