Google OR-Tools v9.9
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
com.google.ortools.sat.SatParametersOrBuilder Member List

This is the complete list of members for com.google.ortools.sat.SatParametersOrBuilder, including all inherited members.

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