Java Reference

Java Reference

SatParametersOrBuilder Member List

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

getAbsoluteGapLimit()SatParametersOrBuilder
getAddCgCuts()SatParametersOrBuilder
getAddCliqueCuts()SatParametersOrBuilder
getAddKnapsackCuts()SatParametersOrBuilder
getAddLinMaxCuts()SatParametersOrBuilder
getAddLpConstraintsLazily()SatParametersOrBuilder
getAddMirCuts()SatParametersOrBuilder
getAddZeroHalfCuts()SatParametersOrBuilder
getAlsoBumpVariablesInConflictReasons()SatParametersOrBuilder
getAutoDetectGreaterThanAtLeastOneOf()SatParametersOrBuilder
getBinaryMinimizationAlgorithm()SatParametersOrBuilder
getBinarySearchNumConflicts()SatParametersOrBuilder
getBlockingRestartMultiplier()SatParametersOrBuilder
getBlockingRestartWindowSize()SatParametersOrBuilder
getBooleanEncodingLevel()SatParametersOrBuilder
getCatchSigintSignal()SatParametersOrBuilder
getClauseActivityDecay()SatParametersOrBuilder
getClauseCleanupLbdBound()SatParametersOrBuilder
getClauseCleanupOrdering()SatParametersOrBuilder
getClauseCleanupPeriod()SatParametersOrBuilder
getClauseCleanupProtection()SatParametersOrBuilder
getClauseCleanupTarget()SatParametersOrBuilder
getConvertIntervals()SatParametersOrBuilder
getCountAssumptionLevelsInLbd()SatParametersOrBuilder
getCoverOptimization()SatParametersOrBuilder
getCpModelMaxNumPresolveOperations()SatParametersOrBuilder
getCpModelPostsolveWithFullSolver()SatParametersOrBuilder
getCpModelPresolve()SatParametersOrBuilder
getCpModelProbingLevel()SatParametersOrBuilder
getCpModelUseSatPresolve()SatParametersOrBuilder
getCutActiveCountDecay()SatParametersOrBuilder
getCutCleanupTarget()SatParametersOrBuilder
getCutMaxActiveCountValue()SatParametersOrBuilder
getDefaultRestartAlgorithms()SatParametersOrBuilder
getDefaultRestartAlgorithmsBytes()SatParametersOrBuilder
getDisableConstraintExpansion()SatParametersOrBuilder
getDiversifyLnsParams()SatParametersOrBuilder
getEnumerateAllSolutions()SatParametersOrBuilder
getExpandAlldiffConstraints()SatParametersOrBuilder
getExpandAutomatonConstraints()SatParametersOrBuilder
getExpandElementConstraints()SatParametersOrBuilder
getExpandReservoirConstraints()SatParametersOrBuilder
getExpandTableConstraints()SatParametersOrBuilder
getExploitAllLpSolution()SatParametersOrBuilder
getExploitBestSolution()SatParametersOrBuilder
getExploitIntegerLpSolution()SatParametersOrBuilder
getExploitObjective()SatParametersOrBuilder
getExploitRelaxationSolution()SatParametersOrBuilder
getFillTightenedDomainsInResponse()SatParametersOrBuilder
getFindMultipleCores()SatParametersOrBuilder
getFpRounding()SatParametersOrBuilder
getGlucoseDecayIncrement()SatParametersOrBuilder
getGlucoseDecayIncrementPeriod()SatParametersOrBuilder
getGlucoseMaxDecay()SatParametersOrBuilder
getHintConflictLimit()SatParametersOrBuilder
getInitialPolarity()SatParametersOrBuilder
getInitialVariablesActivity()SatParametersOrBuilder
getInstantiateAllVariables()SatParametersOrBuilder
getInterleaveBatchSize()SatParametersOrBuilder
getInterleaveSearch()SatParametersOrBuilder
getKeepAllFeasibleSolutionsInPresolve()SatParametersOrBuilder
getLinearizationLevel()SatParametersOrBuilder
getLnsExpandIntervalsInConstraintGraph()SatParametersOrBuilder
getLnsFocusOnDecisionVariables()SatParametersOrBuilder
getLogPrefix()SatParametersOrBuilder
getLogPrefixBytes()SatParametersOrBuilder
getLogSearchProgress()SatParametersOrBuilder
getLogToResponse()SatParametersOrBuilder
getLogToStdout()SatParametersOrBuilder
getMaxAllDiffCutSize()SatParametersOrBuilder
getMaxClauseActivityValue()SatParametersOrBuilder
getMaxConsecutiveInactiveCount()SatParametersOrBuilder
getMaxCutRoundsAtLevelZero()SatParametersOrBuilder
getMaxDeterministicTime()SatParametersOrBuilder
getMaxIntegerRoundingScaling()SatParametersOrBuilder
getMaxMemoryInMb()SatParametersOrBuilder
getMaxNumberOfConflicts()SatParametersOrBuilder
getMaxNumCuts()SatParametersOrBuilder
getMaxPresolveIterations()SatParametersOrBuilder
getMaxSatAssumptionOrder()SatParametersOrBuilder
getMaxSatReverseAssumptionOrder()SatParametersOrBuilder
getMaxSatStratification()SatParametersOrBuilder
getMaxTimeInSeconds()SatParametersOrBuilder
getMaxVariableActivityValue()SatParametersOrBuilder
getMergeAtMostOneWorkLimit()SatParametersOrBuilder
getMergeNoOverlapWorkLimit()SatParametersOrBuilder
getMinimizationAlgorithm()SatParametersOrBuilder
getMinimizeCore()SatParametersOrBuilder
getMinimizeReductionDuringPbResolution()SatParametersOrBuilder
getMinimizeWithPropagationNumDecisions()SatParametersOrBuilder
getMinimizeWithPropagationRestartPeriod()SatParametersOrBuilder
getMinOrthogonalityForLpConstraints()SatParametersOrBuilder
getMipAutomaticallyScaleVariables()SatParametersOrBuilder
getMipCheckPrecision()SatParametersOrBuilder
getMipMaxActivityExponent()SatParametersOrBuilder
getMipMaxBound()SatParametersOrBuilder
getMipVarScaling()SatParametersOrBuilder
getMipWantedPrecision()SatParametersOrBuilder
getName()SatParametersOrBuilder
getNameBytes()SatParametersOrBuilder
getNewConstraintsBatchSize()SatParametersOrBuilder
getNumConflictsBeforeStrategyChanges()SatParametersOrBuilder
getNumSearchWorkers()SatParametersOrBuilder
getOnlyAddCutsAtLevelZero()SatParametersOrBuilder
getOptimizeWithCore()SatParametersOrBuilder
getOptimizeWithMaxHs()SatParametersOrBuilder
getPbCleanupIncrement()SatParametersOrBuilder
getPbCleanupRatio()SatParametersOrBuilder
getPermutePresolveConstraintOrder()SatParametersOrBuilder
getPermuteVariableRandomly()SatParametersOrBuilder
getPolarityRephaseIncrement()SatParametersOrBuilder
getPolishLpSolution()SatParametersOrBuilder
getPreferredVariableOrder()SatParametersOrBuilder
getPresolveBlockedClause()SatParametersOrBuilder
getPresolveBvaThreshold()SatParametersOrBuilder
getPresolveBveClauseWeight()SatParametersOrBuilder
getPresolveBveThreshold()SatParametersOrBuilder
getPresolveExtractIntegerEnforcement()SatParametersOrBuilder
getPresolveProbingDeterministicTimeLimit()SatParametersOrBuilder
getPresolveSubstitutionLevel()SatParametersOrBuilder
getPresolveUseBva()SatParametersOrBuilder
getProbingPeriodAtRoot()SatParametersOrBuilder
getPseudoCostReliabilityThreshold()SatParametersOrBuilder
getRandomBranchesRatio()SatParametersOrBuilder
getRandomizeSearch()SatParametersOrBuilder
getRandomPolarityRatio()SatParametersOrBuilder
getRandomSeed()SatParametersOrBuilder
getReduceMemoryUsageInInterleaveMode()SatParametersOrBuilder
getRelativeGapLimit()SatParametersOrBuilder
getRepairHint()SatParametersOrBuilder
getRestartAlgorithms(int index)SatParametersOrBuilder
getRestartAlgorithmsCount()SatParametersOrBuilder
getRestartAlgorithmsList()SatParametersOrBuilder
getRestartDlAverageRatio()SatParametersOrBuilder
getRestartLbdAverageRatio()SatParametersOrBuilder
getRestartPeriod()SatParametersOrBuilder
getRestartRunningWindowSize()SatParametersOrBuilder
getSearchBranching()SatParametersOrBuilder
getSearchRandomizationTolerance()SatParametersOrBuilder
getShareLevelZeroBounds()SatParametersOrBuilder
getShareObjectiveBounds()SatParametersOrBuilder
getStopAfterFirstSolution()SatParametersOrBuilder
getStopAfterPresolve()SatParametersOrBuilder
getStrategyChangeIncreaseRatio()SatParametersOrBuilder
getSubsumptionDuringConflictAnalysis()SatParametersOrBuilder
getSymmetryLevel()SatParametersOrBuilder
getTreatBinaryClausesSeparately()SatParametersOrBuilder
getUseAbslRandom()SatParametersOrBuilder
getUseBlockingRestart()SatParametersOrBuilder
getUseBranchingInLp()SatParametersOrBuilder
getUseCombinedNoOverlap()SatParametersOrBuilder
getUseDisjunctiveConstraintInCumulativeConstraint()SatParametersOrBuilder
getUseErwaHeuristic()SatParametersOrBuilder
getUseExactLpReason()SatParametersOrBuilder
getUseFeasibilityPump()SatParametersOrBuilder
getUseImpliedBounds()SatParametersOrBuilder
getUseLnsOnly()SatParametersOrBuilder
getUseOptimizationHints()SatParametersOrBuilder
getUseOptionalVariables()SatParametersOrBuilder
getUseOverloadCheckerInCumulativeConstraint()SatParametersOrBuilder
getUsePbResolution()SatParametersOrBuilder
getUsePhaseSaving()SatParametersOrBuilder
getUsePrecedencesInDisjunctiveConstraint()SatParametersOrBuilder
getUseProbingSearch()SatParametersOrBuilder
getUseRelaxationLns()SatParametersOrBuilder
getUseRinsLns()SatParametersOrBuilder
getUseSatInprocessing()SatParametersOrBuilder
getUseTimetableEdgeFindingInCumulativeConstraint()SatParametersOrBuilder
getVariableActivityDecay()SatParametersOrBuilder
hasAbsoluteGapLimit()SatParametersOrBuilder
hasAddCgCuts()SatParametersOrBuilder
hasAddCliqueCuts()SatParametersOrBuilder
hasAddKnapsackCuts()SatParametersOrBuilder
hasAddLinMaxCuts()SatParametersOrBuilder
hasAddLpConstraintsLazily()SatParametersOrBuilder
hasAddMirCuts()SatParametersOrBuilder
hasAddZeroHalfCuts()SatParametersOrBuilder
hasAlsoBumpVariablesInConflictReasons()SatParametersOrBuilder
hasAutoDetectGreaterThanAtLeastOneOf()SatParametersOrBuilder
hasBinaryMinimizationAlgorithm()SatParametersOrBuilder
hasBinarySearchNumConflicts()SatParametersOrBuilder
hasBlockingRestartMultiplier()SatParametersOrBuilder
hasBlockingRestartWindowSize()SatParametersOrBuilder
hasBooleanEncodingLevel()SatParametersOrBuilder
hasCatchSigintSignal()SatParametersOrBuilder
hasClauseActivityDecay()SatParametersOrBuilder
hasClauseCleanupLbdBound()SatParametersOrBuilder
hasClauseCleanupOrdering()SatParametersOrBuilder
hasClauseCleanupPeriod()SatParametersOrBuilder
hasClauseCleanupProtection()SatParametersOrBuilder
hasClauseCleanupTarget()SatParametersOrBuilder
hasConvertIntervals()SatParametersOrBuilder
hasCountAssumptionLevelsInLbd()SatParametersOrBuilder
hasCoverOptimization()SatParametersOrBuilder
hasCpModelMaxNumPresolveOperations()SatParametersOrBuilder
hasCpModelPostsolveWithFullSolver()SatParametersOrBuilder
hasCpModelPresolve()SatParametersOrBuilder
hasCpModelProbingLevel()SatParametersOrBuilder
hasCpModelUseSatPresolve()SatParametersOrBuilder
hasCutActiveCountDecay()SatParametersOrBuilder
hasCutCleanupTarget()SatParametersOrBuilder
hasCutMaxActiveCountValue()SatParametersOrBuilder
hasDefaultRestartAlgorithms()SatParametersOrBuilder
hasDisableConstraintExpansion()SatParametersOrBuilder
hasDiversifyLnsParams()SatParametersOrBuilder
hasEnumerateAllSolutions()SatParametersOrBuilder
hasExpandAlldiffConstraints()SatParametersOrBuilder
hasExpandAutomatonConstraints()SatParametersOrBuilder
hasExpandElementConstraints()SatParametersOrBuilder
hasExpandReservoirConstraints()SatParametersOrBuilder
hasExpandTableConstraints()SatParametersOrBuilder
hasExploitAllLpSolution()SatParametersOrBuilder
hasExploitBestSolution()SatParametersOrBuilder
hasExploitIntegerLpSolution()SatParametersOrBuilder
hasExploitObjective()SatParametersOrBuilder
hasExploitRelaxationSolution()SatParametersOrBuilder
hasFillTightenedDomainsInResponse()SatParametersOrBuilder
hasFindMultipleCores()SatParametersOrBuilder
hasFpRounding()SatParametersOrBuilder
hasGlucoseDecayIncrement()SatParametersOrBuilder
hasGlucoseDecayIncrementPeriod()SatParametersOrBuilder
hasGlucoseMaxDecay()SatParametersOrBuilder
hasHintConflictLimit()SatParametersOrBuilder
hasInitialPolarity()SatParametersOrBuilder
hasInitialVariablesActivity()SatParametersOrBuilder
hasInstantiateAllVariables()SatParametersOrBuilder
hasInterleaveBatchSize()SatParametersOrBuilder
hasInterleaveSearch()SatParametersOrBuilder
hasKeepAllFeasibleSolutionsInPresolve()SatParametersOrBuilder
hasLinearizationLevel()SatParametersOrBuilder
hasLnsExpandIntervalsInConstraintGraph()SatParametersOrBuilder
hasLnsFocusOnDecisionVariables()SatParametersOrBuilder
hasLogPrefix()SatParametersOrBuilder
hasLogSearchProgress()SatParametersOrBuilder
hasLogToResponse()SatParametersOrBuilder
hasLogToStdout()SatParametersOrBuilder
hasMaxAllDiffCutSize()SatParametersOrBuilder
hasMaxClauseActivityValue()SatParametersOrBuilder
hasMaxConsecutiveInactiveCount()SatParametersOrBuilder
hasMaxCutRoundsAtLevelZero()SatParametersOrBuilder
hasMaxDeterministicTime()SatParametersOrBuilder
hasMaxIntegerRoundingScaling()SatParametersOrBuilder
hasMaxMemoryInMb()SatParametersOrBuilder
hasMaxNumberOfConflicts()SatParametersOrBuilder
hasMaxNumCuts()SatParametersOrBuilder
hasMaxPresolveIterations()SatParametersOrBuilder
hasMaxSatAssumptionOrder()SatParametersOrBuilder
hasMaxSatReverseAssumptionOrder()SatParametersOrBuilder
hasMaxSatStratification()SatParametersOrBuilder
hasMaxTimeInSeconds()SatParametersOrBuilder
hasMaxVariableActivityValue()SatParametersOrBuilder
hasMergeAtMostOneWorkLimit()SatParametersOrBuilder
hasMergeNoOverlapWorkLimit()SatParametersOrBuilder
hasMinimizationAlgorithm()SatParametersOrBuilder
hasMinimizeCore()SatParametersOrBuilder
hasMinimizeReductionDuringPbResolution()SatParametersOrBuilder
hasMinimizeWithPropagationNumDecisions()SatParametersOrBuilder
hasMinimizeWithPropagationRestartPeriod()SatParametersOrBuilder
hasMinOrthogonalityForLpConstraints()SatParametersOrBuilder
hasMipAutomaticallyScaleVariables()SatParametersOrBuilder
hasMipCheckPrecision()SatParametersOrBuilder
hasMipMaxActivityExponent()SatParametersOrBuilder
hasMipMaxBound()SatParametersOrBuilder
hasMipVarScaling()SatParametersOrBuilder
hasMipWantedPrecision()SatParametersOrBuilder
hasName()SatParametersOrBuilder
hasNewConstraintsBatchSize()SatParametersOrBuilder
hasNumConflictsBeforeStrategyChanges()SatParametersOrBuilder
hasNumSearchWorkers()SatParametersOrBuilder
hasOnlyAddCutsAtLevelZero()SatParametersOrBuilder
hasOptimizeWithCore()SatParametersOrBuilder
hasOptimizeWithMaxHs()SatParametersOrBuilder
hasPbCleanupIncrement()SatParametersOrBuilder
hasPbCleanupRatio()SatParametersOrBuilder
hasPermutePresolveConstraintOrder()SatParametersOrBuilder
hasPermuteVariableRandomly()SatParametersOrBuilder
hasPolarityRephaseIncrement()SatParametersOrBuilder
hasPolishLpSolution()SatParametersOrBuilder
hasPreferredVariableOrder()SatParametersOrBuilder
hasPresolveBlockedClause()SatParametersOrBuilder
hasPresolveBvaThreshold()SatParametersOrBuilder
hasPresolveBveClauseWeight()SatParametersOrBuilder
hasPresolveBveThreshold()SatParametersOrBuilder
hasPresolveExtractIntegerEnforcement()SatParametersOrBuilder
hasPresolveProbingDeterministicTimeLimit()SatParametersOrBuilder
hasPresolveSubstitutionLevel()SatParametersOrBuilder
hasPresolveUseBva()SatParametersOrBuilder
hasProbingPeriodAtRoot()SatParametersOrBuilder
hasPseudoCostReliabilityThreshold()SatParametersOrBuilder
hasRandomBranchesRatio()SatParametersOrBuilder
hasRandomizeSearch()SatParametersOrBuilder
hasRandomPolarityRatio()SatParametersOrBuilder
hasRandomSeed()SatParametersOrBuilder
hasReduceMemoryUsageInInterleaveMode()SatParametersOrBuilder
hasRelativeGapLimit()SatParametersOrBuilder
hasRepairHint()SatParametersOrBuilder
hasRestartDlAverageRatio()SatParametersOrBuilder
hasRestartLbdAverageRatio()SatParametersOrBuilder
hasRestartPeriod()SatParametersOrBuilder
hasRestartRunningWindowSize()SatParametersOrBuilder
hasSearchBranching()SatParametersOrBuilder
hasSearchRandomizationTolerance()SatParametersOrBuilder
hasShareLevelZeroBounds()SatParametersOrBuilder
hasShareObjectiveBounds()SatParametersOrBuilder
hasStopAfterFirstSolution()SatParametersOrBuilder
hasStopAfterPresolve()SatParametersOrBuilder
hasStrategyChangeIncreaseRatio()SatParametersOrBuilder
hasSubsumptionDuringConflictAnalysis()SatParametersOrBuilder
hasSymmetryLevel()SatParametersOrBuilder
hasTreatBinaryClausesSeparately()SatParametersOrBuilder
hasUseAbslRandom()SatParametersOrBuilder
hasUseBlockingRestart()SatParametersOrBuilder
hasUseBranchingInLp()SatParametersOrBuilder
hasUseCombinedNoOverlap()SatParametersOrBuilder
hasUseDisjunctiveConstraintInCumulativeConstraint()SatParametersOrBuilder
hasUseErwaHeuristic()SatParametersOrBuilder
hasUseExactLpReason()SatParametersOrBuilder
hasUseFeasibilityPump()SatParametersOrBuilder
hasUseImpliedBounds()SatParametersOrBuilder
hasUseLnsOnly()SatParametersOrBuilder
hasUseOptimizationHints()SatParametersOrBuilder
hasUseOptionalVariables()SatParametersOrBuilder
hasUseOverloadCheckerInCumulativeConstraint()SatParametersOrBuilder
hasUsePbResolution()SatParametersOrBuilder
hasUsePhaseSaving()SatParametersOrBuilder
hasUsePrecedencesInDisjunctiveConstraint()SatParametersOrBuilder
hasUseProbingSearch()SatParametersOrBuilder
hasUseRelaxationLns()SatParametersOrBuilder
hasUseRinsLns()SatParametersOrBuilder
hasUseSatInprocessing()SatParametersOrBuilder
hasUseTimetableEdgeFindingInCumulativeConstraint()SatParametersOrBuilder
hasVariableActivityDecay()SatParametersOrBuilder