| addAllExtraSubsolvers(java.lang.Iterable< java.lang.String > values) | com.google.ortools.sat.SatParameters.Builder | |
| addAllFilterSubsolvers(java.lang.Iterable< java.lang.String > values) | com.google.ortools.sat.SatParameters.Builder | |
| addAllIgnoreSubsolvers(java.lang.Iterable< java.lang.String > values) | com.google.ortools.sat.SatParameters.Builder | |
| addAllRestartAlgorithms(java.lang.Iterable<? extends com.google.ortools.sat.SatParameters.RestartAlgorithm > values) | com.google.ortools.sat.SatParameters.Builder | |
| addAllSubsolverParams(java.lang.Iterable<? extends com.google.ortools.sat.SatParameters > values) | com.google.ortools.sat.SatParameters.Builder | |
| addAllSubsolvers(java.lang.Iterable< java.lang.String > values) | com.google.ortools.sat.SatParameters.Builder | |
| addExtraSubsolvers(java.lang.String value) | com.google.ortools.sat.SatParameters.Builder | |
| addExtraSubsolversBytes(com.google.protobuf.ByteString value) | com.google.ortools.sat.SatParameters.Builder | |
| addFilterSubsolvers(java.lang.String value) | com.google.ortools.sat.SatParameters.Builder | |
| addFilterSubsolversBytes(com.google.protobuf.ByteString value) | com.google.ortools.sat.SatParameters.Builder | |
| addIgnoreSubsolvers(java.lang.String value) | com.google.ortools.sat.SatParameters.Builder | |
| addIgnoreSubsolversBytes(com.google.protobuf.ByteString value) | com.google.ortools.sat.SatParameters.Builder | |
| addRestartAlgorithms(com.google.ortools.sat.SatParameters.RestartAlgorithm value) | com.google.ortools.sat.SatParameters.Builder | |
| addSubsolverParams(com.google.ortools.sat.SatParameters value) | com.google.ortools.sat.SatParameters.Builder | |
| addSubsolverParams(int index, com.google.ortools.sat.SatParameters value) | com.google.ortools.sat.SatParameters.Builder | |
| addSubsolverParams(com.google.ortools.sat.SatParameters.Builder builderForValue) | com.google.ortools.sat.SatParameters.Builder | |
| addSubsolverParams(int index, com.google.ortools.sat.SatParameters.Builder builderForValue) | com.google.ortools.sat.SatParameters.Builder | |
| addSubsolverParamsBuilder() | com.google.ortools.sat.SatParameters.Builder | |
| addSubsolverParamsBuilder(int index) | com.google.ortools.sat.SatParameters.Builder | |
| addSubsolvers(java.lang.String value) | com.google.ortools.sat.SatParameters.Builder | |
| addSubsolversBytes(com.google.protobuf.ByteString value) | com.google.ortools.sat.SatParameters.Builder | |
| build() | com.google.ortools.sat.SatParameters.Builder | |
| buildPartial() | com.google.ortools.sat.SatParameters.Builder | |
| clear() | com.google.ortools.sat.SatParameters.Builder | |
| clearAbsoluteGapLimit() | com.google.ortools.sat.SatParameters.Builder | |
| clearAddCgCuts() | com.google.ortools.sat.SatParameters.Builder | |
| clearAddCliqueCuts() | com.google.ortools.sat.SatParameters.Builder | |
| clearAddLinMaxCuts() | com.google.ortools.sat.SatParameters.Builder | |
| clearAddLpConstraintsLazily() | com.google.ortools.sat.SatParameters.Builder | |
| clearAddMirCuts() | com.google.ortools.sat.SatParameters.Builder | |
| clearAddObjectiveCut() | com.google.ortools.sat.SatParameters.Builder | |
| clearAddRltCuts() | com.google.ortools.sat.SatParameters.Builder | |
| clearAddZeroHalfCuts() | com.google.ortools.sat.SatParameters.Builder | |
| clearAlsoBumpVariablesInConflictReasons() | com.google.ortools.sat.SatParameters.Builder | |
| clearAtMostOneMaxExpansionSize() | com.google.ortools.sat.SatParameters.Builder | |
| clearAutoDetectGreaterThanAtLeastOneOf() | com.google.ortools.sat.SatParameters.Builder | |
| clearBinaryMinimizationAlgorithm() | com.google.ortools.sat.SatParameters.Builder | |
| clearBinarySearchNumConflicts() | com.google.ortools.sat.SatParameters.Builder | |
| clearBlockingRestartMultiplier() | com.google.ortools.sat.SatParameters.Builder | |
| clearBlockingRestartWindowSize() | com.google.ortools.sat.SatParameters.Builder | |
| clearBooleanEncodingLevel() | com.google.ortools.sat.SatParameters.Builder | |
| clearCatchSigintSignal() | com.google.ortools.sat.SatParameters.Builder | |
| clearClauseActivityDecay() | com.google.ortools.sat.SatParameters.Builder | |
| clearClauseCleanupLbdBound() | com.google.ortools.sat.SatParameters.Builder | |
| clearClauseCleanupOrdering() | com.google.ortools.sat.SatParameters.Builder | |
| clearClauseCleanupPeriod() | com.google.ortools.sat.SatParameters.Builder | |
| clearClauseCleanupProtection() | com.google.ortools.sat.SatParameters.Builder | |
| clearClauseCleanupRatio() | com.google.ortools.sat.SatParameters.Builder | |
| clearClauseCleanupTarget() | com.google.ortools.sat.SatParameters.Builder | |
| clearConvertIntervals() | com.google.ortools.sat.SatParameters.Builder | |
| clearCoreMinimizationLevel() | com.google.ortools.sat.SatParameters.Builder | |
| clearCountAssumptionLevelsInLbd() | com.google.ortools.sat.SatParameters.Builder | |
| clearCoverOptimization() | com.google.ortools.sat.SatParameters.Builder | |
| clearCpModelPresolve() | com.google.ortools.sat.SatParameters.Builder | |
| clearCpModelProbingLevel() | com.google.ortools.sat.SatParameters.Builder | |
| clearCpModelUseSatPresolve() | com.google.ortools.sat.SatParameters.Builder | |
| clearCutActiveCountDecay() | com.google.ortools.sat.SatParameters.Builder | |
| clearCutCleanupTarget() | com.google.ortools.sat.SatParameters.Builder | |
| clearCutLevel() | com.google.ortools.sat.SatParameters.Builder | |
| clearCutMaxActiveCountValue() | com.google.ortools.sat.SatParameters.Builder | |
| clearDebugCrashIfPresolveBreaksHint() | com.google.ortools.sat.SatParameters.Builder | |
| clearDebugCrashOnBadHint() | com.google.ortools.sat.SatParameters.Builder | |
| clearDebugMaxNumPresolveOperations() | com.google.ortools.sat.SatParameters.Builder | |
| clearDebugPostsolveWithFullSolver() | com.google.ortools.sat.SatParameters.Builder | |
| clearDefaultRestartAlgorithms() | com.google.ortools.sat.SatParameters.Builder | |
| clearDetectLinearizedProduct() | com.google.ortools.sat.SatParameters.Builder | |
| clearDetectTableWithCost() | com.google.ortools.sat.SatParameters.Builder | |
| clearDisableConstraintExpansion() | com.google.ortools.sat.SatParameters.Builder | |
| clearDiversifyLnsParams() | com.google.ortools.sat.SatParameters.Builder | |
| clearEncodeComplexLinearConstraintWithInteger() | com.google.ortools.sat.SatParameters.Builder | |
| clearEncodeCumulativeAsReservoir() | com.google.ortools.sat.SatParameters.Builder | |
| clearEnumerateAllSolutions() | com.google.ortools.sat.SatParameters.Builder | |
| clearExpandAlldiffConstraints() | com.google.ortools.sat.SatParameters.Builder | |
| clearExpandReservoirConstraints() | com.google.ortools.sat.SatParameters.Builder | |
| clearExpandReservoirUsingCircuit() | com.google.ortools.sat.SatParameters.Builder | |
| clearExploitAllLpSolution() | com.google.ortools.sat.SatParameters.Builder | |
| clearExploitAllPrecedences() | com.google.ortools.sat.SatParameters.Builder | |
| clearExploitBestSolution() | com.google.ortools.sat.SatParameters.Builder | |
| clearExploitIntegerLpSolution() | com.google.ortools.sat.SatParameters.Builder | |
| clearExploitObjective() | com.google.ortools.sat.SatParameters.Builder | |
| clearExploitRelaxationSolution() | com.google.ortools.sat.SatParameters.Builder | |
| clearExtraSubsolvers() | com.google.ortools.sat.SatParameters.Builder | |
| clearFeasibilityJumpBatchDtime() | com.google.ortools.sat.SatParameters.Builder | |
| clearFeasibilityJumpDecay() | com.google.ortools.sat.SatParameters.Builder | |
| clearFeasibilityJumpEnableRestarts() | com.google.ortools.sat.SatParameters.Builder | |
| clearFeasibilityJumpLinearizationLevel() | com.google.ortools.sat.SatParameters.Builder | |
| clearFeasibilityJumpMaxExpandedConstraintSize() | com.google.ortools.sat.SatParameters.Builder | |
| clearFeasibilityJumpRestartFactor() | com.google.ortools.sat.SatParameters.Builder | |
| clearFeasibilityJumpVarPerburbationRangeRatio() | com.google.ortools.sat.SatParameters.Builder | |
| clearFeasibilityJumpVarRandomizationProbability() | com.google.ortools.sat.SatParameters.Builder | |
| clearFillAdditionalSolutionsInResponse() | com.google.ortools.sat.SatParameters.Builder | |
| clearFillTightenedDomainsInResponse() | com.google.ortools.sat.SatParameters.Builder | |
| clearFilterSatPostsolveClauses() | com.google.ortools.sat.SatParameters.Builder | |
| clearFilterSubsolvers() | com.google.ortools.sat.SatParameters.Builder | |
| clearFindBigLinearOverlap() | com.google.ortools.sat.SatParameters.Builder | |
| clearFindMultipleCores() | com.google.ortools.sat.SatParameters.Builder | |
| clearFixVariablesToTheirHintedValue() | com.google.ortools.sat.SatParameters.Builder | |
| clearFpRounding() | com.google.ortools.sat.SatParameters.Builder | |
| clearGlucoseDecayIncrement() | com.google.ortools.sat.SatParameters.Builder | |
| clearGlucoseDecayIncrementPeriod() | com.google.ortools.sat.SatParameters.Builder | |
| clearGlucoseMaxDecay() | com.google.ortools.sat.SatParameters.Builder | |
| clearHintConflictLimit() | com.google.ortools.sat.SatParameters.Builder | |
| clearIgnoreNames() | com.google.ortools.sat.SatParameters.Builder | |
| clearIgnoreSubsolvers() | com.google.ortools.sat.SatParameters.Builder | |
| clearInferAllDiffs() | com.google.ortools.sat.SatParameters.Builder | |
| clearInitialPolarity() | com.google.ortools.sat.SatParameters.Builder | |
| clearInitialVariablesActivity() | com.google.ortools.sat.SatParameters.Builder | |
| clearInprocessingDtimeRatio() | com.google.ortools.sat.SatParameters.Builder | |
| clearInprocessingMinimizationDtime() | com.google.ortools.sat.SatParameters.Builder | |
| clearInprocessingMinimizationUseAllOrderings() | com.google.ortools.sat.SatParameters.Builder | |
| clearInprocessingMinimizationUseConflictAnalysis() | com.google.ortools.sat.SatParameters.Builder | |
| clearInprocessingProbingDtime() | com.google.ortools.sat.SatParameters.Builder | |
| clearInstantiateAllVariables() | com.google.ortools.sat.SatParameters.Builder | |
| clearInterleaveBatchSize() | com.google.ortools.sat.SatParameters.Builder | |
| clearInterleaveSearch() | com.google.ortools.sat.SatParameters.Builder | |
| clearKeepAllFeasibleSolutionsInPresolve() | com.google.ortools.sat.SatParameters.Builder | |
| clearKeepSymmetryInPresolve() | com.google.ortools.sat.SatParameters.Builder | |
| clearLbRelaxNumWorkersThreshold() | com.google.ortools.sat.SatParameters.Builder | |
| clearLinearizationLevel() | com.google.ortools.sat.SatParameters.Builder | |
| clearLinearSplitSize() | com.google.ortools.sat.SatParameters.Builder | |
| clearLnsInitialDeterministicLimit() | com.google.ortools.sat.SatParameters.Builder | |
| clearLnsInitialDifficulty() | com.google.ortools.sat.SatParameters.Builder | |
| clearLogPrefix() | com.google.ortools.sat.SatParameters.Builder | |
| clearLogSearchProgress() | com.google.ortools.sat.SatParameters.Builder | |
| clearLogSubsolverStatistics() | com.google.ortools.sat.SatParameters.Builder | |
| clearLogToResponse() | com.google.ortools.sat.SatParameters.Builder | |
| clearLogToStdout() | com.google.ortools.sat.SatParameters.Builder | |
| clearLpDualTolerance() | com.google.ortools.sat.SatParameters.Builder | |
| clearLpPrimalTolerance() | com.google.ortools.sat.SatParameters.Builder | |
| clearMaxAllDiffCutSize() | com.google.ortools.sat.SatParameters.Builder | |
| clearMaxAlldiffDomainSize() | com.google.ortools.sat.SatParameters.Builder | |
| clearMaxClauseActivityValue() | com.google.ortools.sat.SatParameters.Builder | |
| clearMaxConsecutiveInactiveCount() | com.google.ortools.sat.SatParameters.Builder | |
| clearMaxCutRoundsAtLevelZero() | com.google.ortools.sat.SatParameters.Builder | |
| clearMaxDeterministicTime() | com.google.ortools.sat.SatParameters.Builder | |
| clearMaxDomainSizeWhenEncodingEqNeqConstraints() | com.google.ortools.sat.SatParameters.Builder | |
| clearMaximumRegionsToSplitInDisconnectedNoOverlap2D() | com.google.ortools.sat.SatParameters.Builder | |
| clearMaxIntegerRoundingScaling() | com.google.ortools.sat.SatParameters.Builder | |
| clearMaxLinMaxSizeForExpansion() | com.google.ortools.sat.SatParameters.Builder | |
| clearMaxMemoryInMb() | com.google.ortools.sat.SatParameters.Builder | |
| clearMaxNumberOfConflicts() | com.google.ortools.sat.SatParameters.Builder | |
| clearMaxNumCuts() | com.google.ortools.sat.SatParameters.Builder | |
| clearMaxNumDeterministicBatches() | com.google.ortools.sat.SatParameters.Builder | |
| clearMaxNumIntervalsForTimetableEdgeFinding() | com.google.ortools.sat.SatParameters.Builder | |
| clearMaxPairsPairwiseReasoningInNoOverlap2D() | com.google.ortools.sat.SatParameters.Builder | |
| clearMaxPresolveIterations() | com.google.ortools.sat.SatParameters.Builder | |
| clearMaxSatAssumptionOrder() | com.google.ortools.sat.SatParameters.Builder | |
| clearMaxSatReverseAssumptionOrder() | com.google.ortools.sat.SatParameters.Builder | |
| clearMaxSatStratification() | com.google.ortools.sat.SatParameters.Builder | |
| clearMaxSizeToCreatePrecedenceLiteralsInDisjunctive() | com.google.ortools.sat.SatParameters.Builder | |
| clearMaxTimeInSeconds() | com.google.ortools.sat.SatParameters.Builder | |
| clearMaxVariableActivityValue() | com.google.ortools.sat.SatParameters.Builder | |
| clearMergeAtMostOneWorkLimit() | com.google.ortools.sat.SatParameters.Builder | |
| clearMergeNoOverlapWorkLimit() | com.google.ortools.sat.SatParameters.Builder | |
| clearMinimizationAlgorithm() | com.google.ortools.sat.SatParameters.Builder | |
| clearMinimizeReductionDuringPbResolution() | com.google.ortools.sat.SatParameters.Builder | |
| clearMinimizeSharedClauses() | com.google.ortools.sat.SatParameters.Builder | |
| clearMinOrthogonalityForLpConstraints() | com.google.ortools.sat.SatParameters.Builder | |
| clearMipAutomaticallyScaleVariables() | com.google.ortools.sat.SatParameters.Builder | |
| clearMipCheckPrecision() | com.google.ortools.sat.SatParameters.Builder | |
| clearMipComputeTrueObjectiveBound() | com.google.ortools.sat.SatParameters.Builder | |
| clearMipDropTolerance() | com.google.ortools.sat.SatParameters.Builder | |
| clearMipMaxActivityExponent() | com.google.ortools.sat.SatParameters.Builder | |
| clearMipMaxBound() | com.google.ortools.sat.SatParameters.Builder | |
| clearMipMaxValidMagnitude() | com.google.ortools.sat.SatParameters.Builder | |
| clearMipPresolveLevel() | com.google.ortools.sat.SatParameters.Builder | |
| clearMipScaleLargeDomain() | com.google.ortools.sat.SatParameters.Builder | |
| clearMipTreatHighMagnitudeBoundsAsInfinity() | com.google.ortools.sat.SatParameters.Builder | |
| clearMipVarScaling() | com.google.ortools.sat.SatParameters.Builder | |
| clearMipWantedPrecision() | com.google.ortools.sat.SatParameters.Builder | |
| clearName() | com.google.ortools.sat.SatParameters.Builder | |
| clearNewConstraintsBatchSize() | com.google.ortools.sat.SatParameters.Builder | |
| clearNewLinearPropagation() | com.google.ortools.sat.SatParameters.Builder | |
| clearNoOverlap2DBooleanRelationsLimit() | com.google.ortools.sat.SatParameters.Builder | |
| clearNumConflictsBeforeStrategyChanges() | com.google.ortools.sat.SatParameters.Builder | |
| clearNumFullSubsolvers() | com.google.ortools.sat.SatParameters.Builder | |
| clearNumSearchWorkers() | com.google.ortools.sat.SatParameters.Builder | |
| clearNumViolationLs() | com.google.ortools.sat.SatParameters.Builder | |
| clearNumWorkers() | com.google.ortools.sat.SatParameters.Builder | |
| clearOnlyAddCutsAtLevelZero() | com.google.ortools.sat.SatParameters.Builder | |
| clearOnlySolveIp() | com.google.ortools.sat.SatParameters.Builder | |
| clearOptimizeWithCore() | com.google.ortools.sat.SatParameters.Builder | |
| clearOptimizeWithLbTreeSearch() | com.google.ortools.sat.SatParameters.Builder | |
| clearOptimizeWithMaxHs() | com.google.ortools.sat.SatParameters.Builder | |
| clearPbCleanupIncrement() | com.google.ortools.sat.SatParameters.Builder | |
| clearPbCleanupRatio() | com.google.ortools.sat.SatParameters.Builder | |
| clearPermutePresolveConstraintOrder() | com.google.ortools.sat.SatParameters.Builder | |
| clearPermuteVariableRandomly() | com.google.ortools.sat.SatParameters.Builder | |
| clearPolarityExploitLsHints() | com.google.ortools.sat.SatParameters.Builder | |
| clearPolarityRephaseIncrement() | com.google.ortools.sat.SatParameters.Builder | |
| clearPolishLpSolution() | com.google.ortools.sat.SatParameters.Builder | |
| clearPreferredVariableOrder() | com.google.ortools.sat.SatParameters.Builder | |
| clearPresolveBlockedClause() | com.google.ortools.sat.SatParameters.Builder | |
| clearPresolveBvaThreshold() | com.google.ortools.sat.SatParameters.Builder | |
| clearPresolveBveClauseWeight() | com.google.ortools.sat.SatParameters.Builder | |
| clearPresolveBveThreshold() | com.google.ortools.sat.SatParameters.Builder | |
| clearPresolveExtractIntegerEnforcement() | com.google.ortools.sat.SatParameters.Builder | |
| clearPresolveInclusionWorkLimit() | com.google.ortools.sat.SatParameters.Builder | |
| clearPresolveProbingDeterministicTimeLimit() | com.google.ortools.sat.SatParameters.Builder | |
| clearPresolveSubstitutionLevel() | com.google.ortools.sat.SatParameters.Builder | |
| clearPresolveUseBva() | com.google.ortools.sat.SatParameters.Builder | |
| clearProbingDeterministicTimeLimit() | com.google.ortools.sat.SatParameters.Builder | |
| clearProbingNumCombinationsLimit() | com.google.ortools.sat.SatParameters.Builder | |
| clearPropagationLoopDetectionFactor() | com.google.ortools.sat.SatParameters.Builder | |
| clearPseudoCostReliabilityThreshold() | com.google.ortools.sat.SatParameters.Builder | |
| clearPushAllTasksTowardStart() | com.google.ortools.sat.SatParameters.Builder | |
| clearRandomBranchesRatio() | com.google.ortools.sat.SatParameters.Builder | |
| clearRandomizeSearch() | com.google.ortools.sat.SatParameters.Builder | |
| clearRandomPolarityRatio() | com.google.ortools.sat.SatParameters.Builder | |
| clearRandomSeed() | com.google.ortools.sat.SatParameters.Builder | |
| clearRelativeGapLimit() | com.google.ortools.sat.SatParameters.Builder | |
| clearRemoveFixedVariablesEarly() | com.google.ortools.sat.SatParameters.Builder | |
| clearRepairHint() | com.google.ortools.sat.SatParameters.Builder | |
| clearRestartAlgorithms() | com.google.ortools.sat.SatParameters.Builder | |
| clearRestartDlAverageRatio() | com.google.ortools.sat.SatParameters.Builder | |
| clearRestartLbdAverageRatio() | com.google.ortools.sat.SatParameters.Builder | |
| clearRestartPeriod() | com.google.ortools.sat.SatParameters.Builder | |
| clearRestartRunningWindowSize() | com.google.ortools.sat.SatParameters.Builder | |
| clearRootLpIterations() | com.google.ortools.sat.SatParameters.Builder | |
| clearRoutingCutDpEffort() | com.google.ortools.sat.SatParameters.Builder | |
| clearRoutingCutMaxInfeasiblePathLength() | com.google.ortools.sat.SatParameters.Builder | |
| clearRoutingCutSubsetSizeForBinaryRelationBound() | com.google.ortools.sat.SatParameters.Builder | |
| clearRoutingCutSubsetSizeForExactBinaryRelationBound() | com.google.ortools.sat.SatParameters.Builder | |
| clearRoutingCutSubsetSizeForShortestPathsBound() | com.google.ortools.sat.SatParameters.Builder | |
| clearRoutingCutSubsetSizeForTightBinaryRelationBound() | com.google.ortools.sat.SatParameters.Builder | |
| clearSaveLpBasisInLbTreeSearch() | com.google.ortools.sat.SatParameters.Builder | |
| clearSearchBranching() | com.google.ortools.sat.SatParameters.Builder | |
| clearSearchRandomVariablePoolSize() | com.google.ortools.sat.SatParameters.Builder | |
| clearShareBinaryClauses() | com.google.ortools.sat.SatParameters.Builder | |
| clearSharedTreeBalanceTolerance() | com.google.ortools.sat.SatParameters.Builder | |
| clearSharedTreeMaxNodesPerWorker() | com.google.ortools.sat.SatParameters.Builder | |
| clearSharedTreeNumWorkers() | com.google.ortools.sat.SatParameters.Builder | |
| clearSharedTreeOpenLeavesPerWorker() | com.google.ortools.sat.SatParameters.Builder | |
| clearSharedTreeSplitStrategy() | com.google.ortools.sat.SatParameters.Builder | |
| clearSharedTreeWorkerEnablePhaseSharing() | com.google.ortools.sat.SatParameters.Builder | |
| clearSharedTreeWorkerEnableTrailSharing() | com.google.ortools.sat.SatParameters.Builder | |
| clearSharedTreeWorkerMinRestartsPerSubtree() | com.google.ortools.sat.SatParameters.Builder | |
| clearShareGlueClauses() | com.google.ortools.sat.SatParameters.Builder | |
| clearShareGlueClausesDtime() | com.google.ortools.sat.SatParameters.Builder | |
| clearShareLevelZeroBounds() | com.google.ortools.sat.SatParameters.Builder | |
| clearShareObjectiveBounds() | com.google.ortools.sat.SatParameters.Builder | |
| clearShavingDeterministicTimeInProbingSearch() | com.google.ortools.sat.SatParameters.Builder | |
| clearShavingSearchDeterministicTime() | com.google.ortools.sat.SatParameters.Builder | |
| clearShavingSearchThreshold() | com.google.ortools.sat.SatParameters.Builder | |
| clearSolutionPoolSize() | com.google.ortools.sat.SatParameters.Builder | |
| clearStopAfterFirstSolution() | com.google.ortools.sat.SatParameters.Builder | |
| clearStopAfterPresolve() | com.google.ortools.sat.SatParameters.Builder | |
| clearStopAfterRootPropagation() | com.google.ortools.sat.SatParameters.Builder | |
| clearStrategyChangeIncreaseRatio() | com.google.ortools.sat.SatParameters.Builder | |
| clearSubsolverParams() | com.google.ortools.sat.SatParameters.Builder | |
| clearSubsolvers() | com.google.ortools.sat.SatParameters.Builder | |
| clearSubsumptionDuringConflictAnalysis() | com.google.ortools.sat.SatParameters.Builder | |
| clearSymmetryDetectionDeterministicTimeLimit() | com.google.ortools.sat.SatParameters.Builder | |
| clearSymmetryLevel() | com.google.ortools.sat.SatParameters.Builder | |
| clearTableCompressionLevel() | com.google.ortools.sat.SatParameters.Builder | |
| clearUseAbslRandom() | com.google.ortools.sat.SatParameters.Builder | |
| clearUseAllDifferentForCircuit() | com.google.ortools.sat.SatParameters.Builder | |
| clearUseAreaEnergeticReasoningInNoOverlap2D() | com.google.ortools.sat.SatParameters.Builder | |
| clearUseBlockingRestart() | com.google.ortools.sat.SatParameters.Builder | |
| clearUseCombinedNoOverlap() | com.google.ortools.sat.SatParameters.Builder | |
| clearUseConservativeScaleOverloadChecker() | com.google.ortools.sat.SatParameters.Builder | |
| clearUseDisjunctiveConstraintInCumulative() | com.google.ortools.sat.SatParameters.Builder | |
| clearUseDualSchedulingHeuristics() | com.google.ortools.sat.SatParameters.Builder | |
| clearUseDynamicPrecedenceInCumulative() | com.google.ortools.sat.SatParameters.Builder | |
| clearUseDynamicPrecedenceInDisjunctive() | com.google.ortools.sat.SatParameters.Builder | |
| clearUseEnergeticReasoningInNoOverlap2D() | com.google.ortools.sat.SatParameters.Builder | |
| clearUseErwaHeuristic() | com.google.ortools.sat.SatParameters.Builder | |
| clearUseExactLpReason() | com.google.ortools.sat.SatParameters.Builder | |
| clearUseExtendedProbing() | com.google.ortools.sat.SatParameters.Builder | |
| clearUseFeasibilityJump() | com.google.ortools.sat.SatParameters.Builder | |
| clearUseFeasibilityPump() | com.google.ortools.sat.SatParameters.Builder | |
| clearUseHardPrecedencesInCumulative() | com.google.ortools.sat.SatParameters.Builder | |
| clearUseImpliedBounds() | com.google.ortools.sat.SatParameters.Builder | |
| clearUseLbRelaxLns() | com.google.ortools.sat.SatParameters.Builder | |
| clearUseLinear3ForNoOverlap2DPrecedences() | com.google.ortools.sat.SatParameters.Builder | |
| clearUseLns() | com.google.ortools.sat.SatParameters.Builder | |
| clearUseLnsOnly() | com.google.ortools.sat.SatParameters.Builder | |
| clearUseLsOnly() | com.google.ortools.sat.SatParameters.Builder | |
| clearUseObjectiveLbSearch() | com.google.ortools.sat.SatParameters.Builder | |
| clearUseObjectiveShavingSearch() | com.google.ortools.sat.SatParameters.Builder | |
| clearUseOptimizationHints() | com.google.ortools.sat.SatParameters.Builder | |
| clearUseOptionalVariables() | com.google.ortools.sat.SatParameters.Builder | |
| clearUseOverloadCheckerInCumulative() | com.google.ortools.sat.SatParameters.Builder | |
| clearUsePbResolution() | com.google.ortools.sat.SatParameters.Builder | |
| clearUsePhaseSaving() | com.google.ortools.sat.SatParameters.Builder | |
| clearUsePrecedencesInDisjunctiveConstraint() | com.google.ortools.sat.SatParameters.Builder | |
| clearUseProbingSearch() | com.google.ortools.sat.SatParameters.Builder | |
| clearUseRinsLns() | com.google.ortools.sat.SatParameters.Builder | |
| clearUseSatInprocessing() | com.google.ortools.sat.SatParameters.Builder | |
| clearUseSharedTreeSearch() | com.google.ortools.sat.SatParameters.Builder | |
| clearUseStrongPropagationInDisjunctive() | com.google.ortools.sat.SatParameters.Builder | |
| clearUseSymmetryInLp() | com.google.ortools.sat.SatParameters.Builder | |
| clearUseTimetableEdgeFindingInCumulative() | com.google.ortools.sat.SatParameters.Builder | |
| clearUseTimetablingInNoOverlap2D() | com.google.ortools.sat.SatParameters.Builder | |
| clearUseTryEdgeReasoningInNoOverlap2D() | com.google.ortools.sat.SatParameters.Builder | |
| clearVariableActivityDecay() | com.google.ortools.sat.SatParameters.Builder | |
| clearVariablesShavingLevel() | com.google.ortools.sat.SatParameters.Builder | |
| clearViolationLsCompoundMoveProbability() | com.google.ortools.sat.SatParameters.Builder | |
| clearViolationLsPerturbationPeriod() | com.google.ortools.sat.SatParameters.Builder | |
| getAbsoluteGapLimit() | com.google.ortools.sat.SatParameters.Builder | |
| getAddCgCuts() | com.google.ortools.sat.SatParameters.Builder | |
| getAddCliqueCuts() | com.google.ortools.sat.SatParameters.Builder | |
| getAddLinMaxCuts() | com.google.ortools.sat.SatParameters.Builder | |
| getAddLpConstraintsLazily() | com.google.ortools.sat.SatParameters.Builder | |
| getAddMirCuts() | com.google.ortools.sat.SatParameters.Builder | |
| getAddObjectiveCut() | com.google.ortools.sat.SatParameters.Builder | |
| getAddRltCuts() | com.google.ortools.sat.SatParameters.Builder | |
| getAddZeroHalfCuts() | com.google.ortools.sat.SatParameters.Builder | |
| getAlsoBumpVariablesInConflictReasons() | com.google.ortools.sat.SatParameters.Builder | |
| getAtMostOneMaxExpansionSize() | com.google.ortools.sat.SatParameters.Builder | |
| getAutoDetectGreaterThanAtLeastOneOf() | com.google.ortools.sat.SatParameters.Builder | |
| getBinaryMinimizationAlgorithm() | com.google.ortools.sat.SatParameters.Builder | |
| getBinarySearchNumConflicts() | com.google.ortools.sat.SatParameters.Builder | |
| getBlockingRestartMultiplier() | com.google.ortools.sat.SatParameters.Builder | |
| getBlockingRestartWindowSize() | com.google.ortools.sat.SatParameters.Builder | |
| getBooleanEncodingLevel() | com.google.ortools.sat.SatParameters.Builder | |
| getCatchSigintSignal() | com.google.ortools.sat.SatParameters.Builder | |
| getClauseActivityDecay() | com.google.ortools.sat.SatParameters.Builder | |
| getClauseCleanupLbdBound() | com.google.ortools.sat.SatParameters.Builder | |
| getClauseCleanupOrdering() | com.google.ortools.sat.SatParameters.Builder | |
| getClauseCleanupPeriod() | com.google.ortools.sat.SatParameters.Builder | |
| getClauseCleanupProtection() | com.google.ortools.sat.SatParameters.Builder | |
| getClauseCleanupRatio() | com.google.ortools.sat.SatParameters.Builder | |
| getClauseCleanupTarget() | com.google.ortools.sat.SatParameters.Builder | |
| getConvertIntervals() | com.google.ortools.sat.SatParameters.Builder | |
| getCoreMinimizationLevel() | com.google.ortools.sat.SatParameters.Builder | |
| getCountAssumptionLevelsInLbd() | com.google.ortools.sat.SatParameters.Builder | |
| getCoverOptimization() | com.google.ortools.sat.SatParameters.Builder | |
| getCpModelPresolve() | com.google.ortools.sat.SatParameters.Builder | |
| getCpModelProbingLevel() | com.google.ortools.sat.SatParameters.Builder | |
| getCpModelUseSatPresolve() | com.google.ortools.sat.SatParameters.Builder | |
| getCutActiveCountDecay() | com.google.ortools.sat.SatParameters.Builder | |
| getCutCleanupTarget() | com.google.ortools.sat.SatParameters.Builder | |
| getCutLevel() | com.google.ortools.sat.SatParameters.Builder | |
| getCutMaxActiveCountValue() | com.google.ortools.sat.SatParameters.Builder | |
| getDebugCrashIfPresolveBreaksHint() | com.google.ortools.sat.SatParameters.Builder | |
| getDebugCrashOnBadHint() | com.google.ortools.sat.SatParameters.Builder | |
| getDebugMaxNumPresolveOperations() | com.google.ortools.sat.SatParameters.Builder | |
| getDebugPostsolveWithFullSolver() | com.google.ortools.sat.SatParameters.Builder | |
| getDefaultInstanceForType() | com.google.ortools.sat.SatParameters.Builder | |
| getDefaultRestartAlgorithms() | com.google.ortools.sat.SatParameters.Builder | |
| getDefaultRestartAlgorithmsBytes() | com.google.ortools.sat.SatParameters.Builder | |
| getDescriptor() | com.google.ortools.sat.SatParameters.Builder | static |
| getDescriptorForType() | com.google.ortools.sat.SatParameters.Builder | |
| getDetectLinearizedProduct() | com.google.ortools.sat.SatParameters.Builder | |
| getDetectTableWithCost() | com.google.ortools.sat.SatParameters.Builder | |
| getDisableConstraintExpansion() | com.google.ortools.sat.SatParameters.Builder | |
| getDiversifyLnsParams() | com.google.ortools.sat.SatParameters.Builder | |
| getEncodeComplexLinearConstraintWithInteger() | com.google.ortools.sat.SatParameters.Builder | |
| getEncodeCumulativeAsReservoir() | com.google.ortools.sat.SatParameters.Builder | |
| getEnumerateAllSolutions() | com.google.ortools.sat.SatParameters.Builder | |
| getExpandAlldiffConstraints() | com.google.ortools.sat.SatParameters.Builder | |
| getExpandReservoirConstraints() | com.google.ortools.sat.SatParameters.Builder | |
| getExpandReservoirUsingCircuit() | com.google.ortools.sat.SatParameters.Builder | |
| getExploitAllLpSolution() | com.google.ortools.sat.SatParameters.Builder | |
| getExploitAllPrecedences() | com.google.ortools.sat.SatParameters.Builder | |
| getExploitBestSolution() | com.google.ortools.sat.SatParameters.Builder | |
| getExploitIntegerLpSolution() | com.google.ortools.sat.SatParameters.Builder | |
| getExploitObjective() | com.google.ortools.sat.SatParameters.Builder | |
| getExploitRelaxationSolution() | com.google.ortools.sat.SatParameters.Builder | |
| getExtraSubsolvers(int index) | com.google.ortools.sat.SatParameters.Builder | |
| getExtraSubsolversBytes(int index) | com.google.ortools.sat.SatParameters.Builder | |
| getExtraSubsolversCount() | com.google.ortools.sat.SatParameters.Builder | |
| getExtraSubsolversList() | com.google.ortools.sat.SatParameters.Builder | |
| getFeasibilityJumpBatchDtime() | com.google.ortools.sat.SatParameters.Builder | |
| getFeasibilityJumpDecay() | com.google.ortools.sat.SatParameters.Builder | |
| getFeasibilityJumpEnableRestarts() | com.google.ortools.sat.SatParameters.Builder | |
| getFeasibilityJumpLinearizationLevel() | com.google.ortools.sat.SatParameters.Builder | |
| getFeasibilityJumpMaxExpandedConstraintSize() | com.google.ortools.sat.SatParameters.Builder | |
| getFeasibilityJumpRestartFactor() | com.google.ortools.sat.SatParameters.Builder | |
| getFeasibilityJumpVarPerburbationRangeRatio() | com.google.ortools.sat.SatParameters.Builder | |
| getFeasibilityJumpVarRandomizationProbability() | com.google.ortools.sat.SatParameters.Builder | |
| getFillAdditionalSolutionsInResponse() | com.google.ortools.sat.SatParameters.Builder | |
| getFillTightenedDomainsInResponse() | com.google.ortools.sat.SatParameters.Builder | |
| getFilterSatPostsolveClauses() | com.google.ortools.sat.SatParameters.Builder | |
| getFilterSubsolvers(int index) | com.google.ortools.sat.SatParameters.Builder | |
| getFilterSubsolversBytes(int index) | com.google.ortools.sat.SatParameters.Builder | |
| getFilterSubsolversCount() | com.google.ortools.sat.SatParameters.Builder | |
| getFilterSubsolversList() | com.google.ortools.sat.SatParameters.Builder | |
| getFindBigLinearOverlap() | com.google.ortools.sat.SatParameters.Builder | |
| getFindMultipleCores() | com.google.ortools.sat.SatParameters.Builder | |
| getFixVariablesToTheirHintedValue() | com.google.ortools.sat.SatParameters.Builder | |
| getFpRounding() | com.google.ortools.sat.SatParameters.Builder | |
| getGlucoseDecayIncrement() | com.google.ortools.sat.SatParameters.Builder | |
| getGlucoseDecayIncrementPeriod() | com.google.ortools.sat.SatParameters.Builder | |
| getGlucoseMaxDecay() | com.google.ortools.sat.SatParameters.Builder | |
| getHintConflictLimit() | com.google.ortools.sat.SatParameters.Builder | |
| getIgnoreNames() | com.google.ortools.sat.SatParameters.Builder | |
| getIgnoreSubsolvers(int index) | com.google.ortools.sat.SatParameters.Builder | |
| getIgnoreSubsolversBytes(int index) | com.google.ortools.sat.SatParameters.Builder | |
| getIgnoreSubsolversCount() | com.google.ortools.sat.SatParameters.Builder | |
| getIgnoreSubsolversList() | com.google.ortools.sat.SatParameters.Builder | |
| getInferAllDiffs() | com.google.ortools.sat.SatParameters.Builder | |
| getInitialPolarity() | com.google.ortools.sat.SatParameters.Builder | |
| getInitialVariablesActivity() | com.google.ortools.sat.SatParameters.Builder | |
| getInprocessingDtimeRatio() | com.google.ortools.sat.SatParameters.Builder | |
| getInprocessingMinimizationDtime() | com.google.ortools.sat.SatParameters.Builder | |
| getInprocessingMinimizationUseAllOrderings() | com.google.ortools.sat.SatParameters.Builder | |
| getInprocessingMinimizationUseConflictAnalysis() | com.google.ortools.sat.SatParameters.Builder | |
| getInprocessingProbingDtime() | com.google.ortools.sat.SatParameters.Builder | |
| getInstantiateAllVariables() | com.google.ortools.sat.SatParameters.Builder | |
| getInterleaveBatchSize() | com.google.ortools.sat.SatParameters.Builder | |
| getInterleaveSearch() | com.google.ortools.sat.SatParameters.Builder | |
| getKeepAllFeasibleSolutionsInPresolve() | com.google.ortools.sat.SatParameters.Builder | |
| getKeepSymmetryInPresolve() | com.google.ortools.sat.SatParameters.Builder | |
| getLbRelaxNumWorkersThreshold() | com.google.ortools.sat.SatParameters.Builder | |
| getLinearizationLevel() | com.google.ortools.sat.SatParameters.Builder | |
| getLinearSplitSize() | com.google.ortools.sat.SatParameters.Builder | |
| getLnsInitialDeterministicLimit() | com.google.ortools.sat.SatParameters.Builder | |
| getLnsInitialDifficulty() | com.google.ortools.sat.SatParameters.Builder | |
| getLogPrefix() | com.google.ortools.sat.SatParameters.Builder | |
| getLogPrefixBytes() | com.google.ortools.sat.SatParameters.Builder | |
| getLogSearchProgress() | com.google.ortools.sat.SatParameters.Builder | |
| getLogSubsolverStatistics() | com.google.ortools.sat.SatParameters.Builder | |
| getLogToResponse() | com.google.ortools.sat.SatParameters.Builder | |
| getLogToStdout() | com.google.ortools.sat.SatParameters.Builder | |
| getLpDualTolerance() | com.google.ortools.sat.SatParameters.Builder | |
| getLpPrimalTolerance() | com.google.ortools.sat.SatParameters.Builder | |
| getMaxAllDiffCutSize() | com.google.ortools.sat.SatParameters.Builder | |
| getMaxAlldiffDomainSize() | com.google.ortools.sat.SatParameters.Builder | |
| getMaxClauseActivityValue() | com.google.ortools.sat.SatParameters.Builder | |
| getMaxConsecutiveInactiveCount() | com.google.ortools.sat.SatParameters.Builder | |
| getMaxCutRoundsAtLevelZero() | com.google.ortools.sat.SatParameters.Builder | |
| getMaxDeterministicTime() | com.google.ortools.sat.SatParameters.Builder | |
| getMaxDomainSizeWhenEncodingEqNeqConstraints() | com.google.ortools.sat.SatParameters.Builder | |
| getMaximumRegionsToSplitInDisconnectedNoOverlap2D() | com.google.ortools.sat.SatParameters.Builder | |
| getMaxIntegerRoundingScaling() | com.google.ortools.sat.SatParameters.Builder | |
| getMaxLinMaxSizeForExpansion() | com.google.ortools.sat.SatParameters.Builder | |
| getMaxMemoryInMb() | com.google.ortools.sat.SatParameters.Builder | |
| getMaxNumberOfConflicts() | com.google.ortools.sat.SatParameters.Builder | |
| getMaxNumCuts() | com.google.ortools.sat.SatParameters.Builder | |
| getMaxNumDeterministicBatches() | com.google.ortools.sat.SatParameters.Builder | |
| getMaxNumIntervalsForTimetableEdgeFinding() | com.google.ortools.sat.SatParameters.Builder | |
| getMaxPairsPairwiseReasoningInNoOverlap2D() | com.google.ortools.sat.SatParameters.Builder | |
| getMaxPresolveIterations() | com.google.ortools.sat.SatParameters.Builder | |
| getMaxSatAssumptionOrder() | com.google.ortools.sat.SatParameters.Builder | |
| getMaxSatReverseAssumptionOrder() | com.google.ortools.sat.SatParameters.Builder | |
| getMaxSatStratification() | com.google.ortools.sat.SatParameters.Builder | |
| getMaxSizeToCreatePrecedenceLiteralsInDisjunctive() | com.google.ortools.sat.SatParameters.Builder | |
| getMaxTimeInSeconds() | com.google.ortools.sat.SatParameters.Builder | |
| getMaxVariableActivityValue() | com.google.ortools.sat.SatParameters.Builder | |
| getMergeAtMostOneWorkLimit() | com.google.ortools.sat.SatParameters.Builder | |
| getMergeNoOverlapWorkLimit() | com.google.ortools.sat.SatParameters.Builder | |
| getMinimizationAlgorithm() | com.google.ortools.sat.SatParameters.Builder | |
| getMinimizeReductionDuringPbResolution() | com.google.ortools.sat.SatParameters.Builder | |
| getMinimizeSharedClauses() | com.google.ortools.sat.SatParameters.Builder | |
| getMinOrthogonalityForLpConstraints() | com.google.ortools.sat.SatParameters.Builder | |
| getMipAutomaticallyScaleVariables() | com.google.ortools.sat.SatParameters.Builder | |
| getMipCheckPrecision() | com.google.ortools.sat.SatParameters.Builder | |
| getMipComputeTrueObjectiveBound() | com.google.ortools.sat.SatParameters.Builder | |
| getMipDropTolerance() | com.google.ortools.sat.SatParameters.Builder | |
| getMipMaxActivityExponent() | com.google.ortools.sat.SatParameters.Builder | |
| getMipMaxBound() | com.google.ortools.sat.SatParameters.Builder | |
| getMipMaxValidMagnitude() | com.google.ortools.sat.SatParameters.Builder | |
| getMipPresolveLevel() | com.google.ortools.sat.SatParameters.Builder | |
| getMipScaleLargeDomain() | com.google.ortools.sat.SatParameters.Builder | |
| getMipTreatHighMagnitudeBoundsAsInfinity() | com.google.ortools.sat.SatParameters.Builder | |
| getMipVarScaling() | com.google.ortools.sat.SatParameters.Builder | |
| getMipWantedPrecision() | com.google.ortools.sat.SatParameters.Builder | |
| getName() | com.google.ortools.sat.SatParameters.Builder | |
| getNameBytes() | com.google.ortools.sat.SatParameters.Builder | |
| getNewConstraintsBatchSize() | com.google.ortools.sat.SatParameters.Builder | |
| getNewLinearPropagation() | com.google.ortools.sat.SatParameters.Builder | |
| getNoOverlap2DBooleanRelationsLimit() | com.google.ortools.sat.SatParameters.Builder | |
| getNumConflictsBeforeStrategyChanges() | com.google.ortools.sat.SatParameters.Builder | |
| getNumFullSubsolvers() | com.google.ortools.sat.SatParameters.Builder | |
| getNumSearchWorkers() | com.google.ortools.sat.SatParameters.Builder | |
| getNumViolationLs() | com.google.ortools.sat.SatParameters.Builder | |
| getNumWorkers() | com.google.ortools.sat.SatParameters.Builder | |
| getOnlyAddCutsAtLevelZero() | com.google.ortools.sat.SatParameters.Builder | |
| getOnlySolveIp() | com.google.ortools.sat.SatParameters.Builder | |
| getOptimizeWithCore() | com.google.ortools.sat.SatParameters.Builder | |
| getOptimizeWithLbTreeSearch() | com.google.ortools.sat.SatParameters.Builder | |
| getOptimizeWithMaxHs() | com.google.ortools.sat.SatParameters.Builder | |
| getPbCleanupIncrement() | com.google.ortools.sat.SatParameters.Builder | |
| getPbCleanupRatio() | com.google.ortools.sat.SatParameters.Builder | |
| getPermutePresolveConstraintOrder() | com.google.ortools.sat.SatParameters.Builder | |
| getPermuteVariableRandomly() | com.google.ortools.sat.SatParameters.Builder | |
| getPolarityExploitLsHints() | com.google.ortools.sat.SatParameters.Builder | |
| getPolarityRephaseIncrement() | com.google.ortools.sat.SatParameters.Builder | |
| getPolishLpSolution() | com.google.ortools.sat.SatParameters.Builder | |
| getPreferredVariableOrder() | com.google.ortools.sat.SatParameters.Builder | |
| getPresolveBlockedClause() | com.google.ortools.sat.SatParameters.Builder | |
| getPresolveBvaThreshold() | com.google.ortools.sat.SatParameters.Builder | |
| getPresolveBveClauseWeight() | com.google.ortools.sat.SatParameters.Builder | |
| getPresolveBveThreshold() | com.google.ortools.sat.SatParameters.Builder | |
| getPresolveExtractIntegerEnforcement() | com.google.ortools.sat.SatParameters.Builder | |
| getPresolveInclusionWorkLimit() | com.google.ortools.sat.SatParameters.Builder | |
| getPresolveProbingDeterministicTimeLimit() | com.google.ortools.sat.SatParameters.Builder | |
| getPresolveSubstitutionLevel() | com.google.ortools.sat.SatParameters.Builder | |
| getPresolveUseBva() | com.google.ortools.sat.SatParameters.Builder | |
| getProbingDeterministicTimeLimit() | com.google.ortools.sat.SatParameters.Builder | |
| getProbingNumCombinationsLimit() | com.google.ortools.sat.SatParameters.Builder | |
| getPropagationLoopDetectionFactor() | com.google.ortools.sat.SatParameters.Builder | |
| getPseudoCostReliabilityThreshold() | com.google.ortools.sat.SatParameters.Builder | |
| getPushAllTasksTowardStart() | com.google.ortools.sat.SatParameters.Builder | |
| getRandomBranchesRatio() | com.google.ortools.sat.SatParameters.Builder | |
| getRandomizeSearch() | com.google.ortools.sat.SatParameters.Builder | |
| getRandomPolarityRatio() | com.google.ortools.sat.SatParameters.Builder | |
| getRandomSeed() | com.google.ortools.sat.SatParameters.Builder | |
| getRelativeGapLimit() | com.google.ortools.sat.SatParameters.Builder | |
| getRemoveFixedVariablesEarly() | com.google.ortools.sat.SatParameters.Builder | |
| getRepairHint() | com.google.ortools.sat.SatParameters.Builder | |
| getRestartAlgorithms(int index) | com.google.ortools.sat.SatParameters.Builder | |
| getRestartAlgorithmsCount() | com.google.ortools.sat.SatParameters.Builder | |
| getRestartAlgorithmsList() | com.google.ortools.sat.SatParameters.Builder | |
| getRestartDlAverageRatio() | com.google.ortools.sat.SatParameters.Builder | |
| getRestartLbdAverageRatio() | com.google.ortools.sat.SatParameters.Builder | |
| getRestartPeriod() | com.google.ortools.sat.SatParameters.Builder | |
| getRestartRunningWindowSize() | com.google.ortools.sat.SatParameters.Builder | |
| getRootLpIterations() | com.google.ortools.sat.SatParameters.Builder | |
| getRoutingCutDpEffort() | com.google.ortools.sat.SatParameters.Builder | |
| getRoutingCutMaxInfeasiblePathLength() | com.google.ortools.sat.SatParameters.Builder | |
| getRoutingCutSubsetSizeForBinaryRelationBound() | com.google.ortools.sat.SatParameters.Builder | |
| getRoutingCutSubsetSizeForExactBinaryRelationBound() | com.google.ortools.sat.SatParameters.Builder | |
| getRoutingCutSubsetSizeForShortestPathsBound() | com.google.ortools.sat.SatParameters.Builder | |
| getRoutingCutSubsetSizeForTightBinaryRelationBound() | com.google.ortools.sat.SatParameters.Builder | |
| getSaveLpBasisInLbTreeSearch() | com.google.ortools.sat.SatParameters.Builder | |
| getSearchBranching() | com.google.ortools.sat.SatParameters.Builder | |
| getSearchRandomVariablePoolSize() | com.google.ortools.sat.SatParameters.Builder | |
| getShareBinaryClauses() | com.google.ortools.sat.SatParameters.Builder | |
| getSharedTreeBalanceTolerance() | com.google.ortools.sat.SatParameters.Builder | |
| getSharedTreeMaxNodesPerWorker() | com.google.ortools.sat.SatParameters.Builder | |
| getSharedTreeNumWorkers() | com.google.ortools.sat.SatParameters.Builder | |
| getSharedTreeOpenLeavesPerWorker() | com.google.ortools.sat.SatParameters.Builder | |
| getSharedTreeSplitStrategy() | com.google.ortools.sat.SatParameters.Builder | |
| getSharedTreeWorkerEnablePhaseSharing() | com.google.ortools.sat.SatParameters.Builder | |
| getSharedTreeWorkerEnableTrailSharing() | com.google.ortools.sat.SatParameters.Builder | |
| getSharedTreeWorkerMinRestartsPerSubtree() | com.google.ortools.sat.SatParameters.Builder | |
| getShareGlueClauses() | com.google.ortools.sat.SatParameters.Builder | |
| getShareGlueClausesDtime() | com.google.ortools.sat.SatParameters.Builder | |
| getShareLevelZeroBounds() | com.google.ortools.sat.SatParameters.Builder | |
| getShareObjectiveBounds() | com.google.ortools.sat.SatParameters.Builder | |
| getShavingDeterministicTimeInProbingSearch() | com.google.ortools.sat.SatParameters.Builder | |
| getShavingSearchDeterministicTime() | com.google.ortools.sat.SatParameters.Builder | |
| getShavingSearchThreshold() | com.google.ortools.sat.SatParameters.Builder | |
| getSolutionPoolSize() | com.google.ortools.sat.SatParameters.Builder | |
| getStopAfterFirstSolution() | com.google.ortools.sat.SatParameters.Builder | |
| getStopAfterPresolve() | com.google.ortools.sat.SatParameters.Builder | |
| getStopAfterRootPropagation() | com.google.ortools.sat.SatParameters.Builder | |
| getStrategyChangeIncreaseRatio() | com.google.ortools.sat.SatParameters.Builder | |
| getSubsolverParams(int index) | com.google.ortools.sat.SatParameters.Builder | |
| getSubsolverParamsBuilder(int index) | com.google.ortools.sat.SatParameters.Builder | |
| getSubsolverParamsBuilderList() | com.google.ortools.sat.SatParameters.Builder | |
| getSubsolverParamsCount() | com.google.ortools.sat.SatParameters.Builder | |
| getSubsolverParamsList() | com.google.ortools.sat.SatParameters.Builder | |
| getSubsolverParamsOrBuilder(int index) | com.google.ortools.sat.SatParameters.Builder | |
| getSubsolverParamsOrBuilderList() | com.google.ortools.sat.SatParameters.Builder | |
| getSubsolvers(int index) | com.google.ortools.sat.SatParameters.Builder | |
| getSubsolversBytes(int index) | com.google.ortools.sat.SatParameters.Builder | |
| getSubsolversCount() | com.google.ortools.sat.SatParameters.Builder | |
| getSubsolversList() | com.google.ortools.sat.SatParameters.Builder | |
| getSubsumptionDuringConflictAnalysis() | com.google.ortools.sat.SatParameters.Builder | |
| getSymmetryDetectionDeterministicTimeLimit() | com.google.ortools.sat.SatParameters.Builder | |
| getSymmetryLevel() | com.google.ortools.sat.SatParameters.Builder | |
| getTableCompressionLevel() | com.google.ortools.sat.SatParameters.Builder | |
| getUseAbslRandom() | com.google.ortools.sat.SatParameters.Builder | |
| getUseAllDifferentForCircuit() | com.google.ortools.sat.SatParameters.Builder | |
| getUseAreaEnergeticReasoningInNoOverlap2D() | com.google.ortools.sat.SatParameters.Builder | |
| getUseBlockingRestart() | com.google.ortools.sat.SatParameters.Builder | |
| getUseCombinedNoOverlap() | com.google.ortools.sat.SatParameters.Builder | |
| getUseConservativeScaleOverloadChecker() | com.google.ortools.sat.SatParameters.Builder | |
| getUseDisjunctiveConstraintInCumulative() | com.google.ortools.sat.SatParameters.Builder | |
| getUseDualSchedulingHeuristics() | com.google.ortools.sat.SatParameters.Builder | |
| getUseDynamicPrecedenceInCumulative() | com.google.ortools.sat.SatParameters.Builder | |
| getUseDynamicPrecedenceInDisjunctive() | com.google.ortools.sat.SatParameters.Builder | |
| getUseEnergeticReasoningInNoOverlap2D() | com.google.ortools.sat.SatParameters.Builder | |
| getUseErwaHeuristic() | com.google.ortools.sat.SatParameters.Builder | |
| getUseExactLpReason() | com.google.ortools.sat.SatParameters.Builder | |
| getUseExtendedProbing() | com.google.ortools.sat.SatParameters.Builder | |
| getUseFeasibilityJump() | com.google.ortools.sat.SatParameters.Builder | |
| getUseFeasibilityPump() | com.google.ortools.sat.SatParameters.Builder | |
| getUseHardPrecedencesInCumulative() | com.google.ortools.sat.SatParameters.Builder | |
| getUseImpliedBounds() | com.google.ortools.sat.SatParameters.Builder | |
| getUseLbRelaxLns() | com.google.ortools.sat.SatParameters.Builder | |
| getUseLinear3ForNoOverlap2DPrecedences() | com.google.ortools.sat.SatParameters.Builder | |
| getUseLns() | com.google.ortools.sat.SatParameters.Builder | |
| getUseLnsOnly() | com.google.ortools.sat.SatParameters.Builder | |
| getUseLsOnly() | com.google.ortools.sat.SatParameters.Builder | |
| getUseObjectiveLbSearch() | com.google.ortools.sat.SatParameters.Builder | |
| getUseObjectiveShavingSearch() | com.google.ortools.sat.SatParameters.Builder | |
| getUseOptimizationHints() | com.google.ortools.sat.SatParameters.Builder | |
| getUseOptionalVariables() | com.google.ortools.sat.SatParameters.Builder | |
| getUseOverloadCheckerInCumulative() | com.google.ortools.sat.SatParameters.Builder | |
| getUsePbResolution() | com.google.ortools.sat.SatParameters.Builder | |
| getUsePhaseSaving() | com.google.ortools.sat.SatParameters.Builder | |
| getUsePrecedencesInDisjunctiveConstraint() | com.google.ortools.sat.SatParameters.Builder | |
| getUseProbingSearch() | com.google.ortools.sat.SatParameters.Builder | |
| getUseRinsLns() | com.google.ortools.sat.SatParameters.Builder | |
| getUseSatInprocessing() | com.google.ortools.sat.SatParameters.Builder | |
| getUseSharedTreeSearch() | com.google.ortools.sat.SatParameters.Builder | |
| getUseStrongPropagationInDisjunctive() | com.google.ortools.sat.SatParameters.Builder | |
| getUseSymmetryInLp() | com.google.ortools.sat.SatParameters.Builder | |
| getUseTimetableEdgeFindingInCumulative() | com.google.ortools.sat.SatParameters.Builder | |
| getUseTimetablingInNoOverlap2D() | com.google.ortools.sat.SatParameters.Builder | |
| getUseTryEdgeReasoningInNoOverlap2D() | com.google.ortools.sat.SatParameters.Builder | |
| getVariableActivityDecay() | com.google.ortools.sat.SatParameters.Builder | |
| getVariablesShavingLevel() | com.google.ortools.sat.SatParameters.Builder | |
| getViolationLsCompoundMoveProbability() | com.google.ortools.sat.SatParameters.Builder | |
| getViolationLsPerturbationPeriod() | com.google.ortools.sat.SatParameters.Builder | |
| hasAbsoluteGapLimit() | com.google.ortools.sat.SatParameters.Builder | |
| hasAddCgCuts() | com.google.ortools.sat.SatParameters.Builder | |
| hasAddCliqueCuts() | com.google.ortools.sat.SatParameters.Builder | |
| hasAddLinMaxCuts() | com.google.ortools.sat.SatParameters.Builder | |
| hasAddLpConstraintsLazily() | com.google.ortools.sat.SatParameters.Builder | |
| hasAddMirCuts() | com.google.ortools.sat.SatParameters.Builder | |
| hasAddObjectiveCut() | com.google.ortools.sat.SatParameters.Builder | |
| hasAddRltCuts() | com.google.ortools.sat.SatParameters.Builder | |
| hasAddZeroHalfCuts() | com.google.ortools.sat.SatParameters.Builder | |
| hasAlsoBumpVariablesInConflictReasons() | com.google.ortools.sat.SatParameters.Builder | |
| hasAtMostOneMaxExpansionSize() | com.google.ortools.sat.SatParameters.Builder | |
| hasAutoDetectGreaterThanAtLeastOneOf() | com.google.ortools.sat.SatParameters.Builder | |
| hasBinaryMinimizationAlgorithm() | com.google.ortools.sat.SatParameters.Builder | |
| hasBinarySearchNumConflicts() | com.google.ortools.sat.SatParameters.Builder | |
| hasBlockingRestartMultiplier() | com.google.ortools.sat.SatParameters.Builder | |
| hasBlockingRestartWindowSize() | com.google.ortools.sat.SatParameters.Builder | |
| hasBooleanEncodingLevel() | com.google.ortools.sat.SatParameters.Builder | |
| hasCatchSigintSignal() | com.google.ortools.sat.SatParameters.Builder | |
| hasClauseActivityDecay() | com.google.ortools.sat.SatParameters.Builder | |
| hasClauseCleanupLbdBound() | com.google.ortools.sat.SatParameters.Builder | |
| hasClauseCleanupOrdering() | com.google.ortools.sat.SatParameters.Builder | |
| hasClauseCleanupPeriod() | com.google.ortools.sat.SatParameters.Builder | |
| hasClauseCleanupProtection() | com.google.ortools.sat.SatParameters.Builder | |
| hasClauseCleanupRatio() | com.google.ortools.sat.SatParameters.Builder | |
| hasClauseCleanupTarget() | com.google.ortools.sat.SatParameters.Builder | |
| hasConvertIntervals() | com.google.ortools.sat.SatParameters.Builder | |
| hasCoreMinimizationLevel() | com.google.ortools.sat.SatParameters.Builder | |
| hasCountAssumptionLevelsInLbd() | com.google.ortools.sat.SatParameters.Builder | |
| hasCoverOptimization() | com.google.ortools.sat.SatParameters.Builder | |
| hasCpModelPresolve() | com.google.ortools.sat.SatParameters.Builder | |
| hasCpModelProbingLevel() | com.google.ortools.sat.SatParameters.Builder | |
| hasCpModelUseSatPresolve() | com.google.ortools.sat.SatParameters.Builder | |
| hasCutActiveCountDecay() | com.google.ortools.sat.SatParameters.Builder | |
| hasCutCleanupTarget() | com.google.ortools.sat.SatParameters.Builder | |
| hasCutLevel() | com.google.ortools.sat.SatParameters.Builder | |
| hasCutMaxActiveCountValue() | com.google.ortools.sat.SatParameters.Builder | |
| hasDebugCrashIfPresolveBreaksHint() | com.google.ortools.sat.SatParameters.Builder | |
| hasDebugCrashOnBadHint() | com.google.ortools.sat.SatParameters.Builder | |
| hasDebugMaxNumPresolveOperations() | com.google.ortools.sat.SatParameters.Builder | |
| hasDebugPostsolveWithFullSolver() | com.google.ortools.sat.SatParameters.Builder | |
| hasDefaultRestartAlgorithms() | com.google.ortools.sat.SatParameters.Builder | |
| hasDetectLinearizedProduct() | com.google.ortools.sat.SatParameters.Builder | |
| hasDetectTableWithCost() | com.google.ortools.sat.SatParameters.Builder | |
| hasDisableConstraintExpansion() | com.google.ortools.sat.SatParameters.Builder | |
| hasDiversifyLnsParams() | com.google.ortools.sat.SatParameters.Builder | |
| hasEncodeComplexLinearConstraintWithInteger() | com.google.ortools.sat.SatParameters.Builder | |
| hasEncodeCumulativeAsReservoir() | com.google.ortools.sat.SatParameters.Builder | |
| hasEnumerateAllSolutions() | com.google.ortools.sat.SatParameters.Builder | |
| hasExpandAlldiffConstraints() | com.google.ortools.sat.SatParameters.Builder | |
| hasExpandReservoirConstraints() | com.google.ortools.sat.SatParameters.Builder | |
| hasExpandReservoirUsingCircuit() | com.google.ortools.sat.SatParameters.Builder | |
| hasExploitAllLpSolution() | com.google.ortools.sat.SatParameters.Builder | |
| hasExploitAllPrecedences() | com.google.ortools.sat.SatParameters.Builder | |
| hasExploitBestSolution() | com.google.ortools.sat.SatParameters.Builder | |
| hasExploitIntegerLpSolution() | com.google.ortools.sat.SatParameters.Builder | |
| hasExploitObjective() | com.google.ortools.sat.SatParameters.Builder | |
| hasExploitRelaxationSolution() | com.google.ortools.sat.SatParameters.Builder | |
| hasFeasibilityJumpBatchDtime() | com.google.ortools.sat.SatParameters.Builder | |
| hasFeasibilityJumpDecay() | com.google.ortools.sat.SatParameters.Builder | |
| hasFeasibilityJumpEnableRestarts() | com.google.ortools.sat.SatParameters.Builder | |
| hasFeasibilityJumpLinearizationLevel() | com.google.ortools.sat.SatParameters.Builder | |
| hasFeasibilityJumpMaxExpandedConstraintSize() | com.google.ortools.sat.SatParameters.Builder | |
| hasFeasibilityJumpRestartFactor() | com.google.ortools.sat.SatParameters.Builder | |
| hasFeasibilityJumpVarPerburbationRangeRatio() | com.google.ortools.sat.SatParameters.Builder | |
| hasFeasibilityJumpVarRandomizationProbability() | com.google.ortools.sat.SatParameters.Builder | |
| hasFillAdditionalSolutionsInResponse() | com.google.ortools.sat.SatParameters.Builder | |
| hasFillTightenedDomainsInResponse() | com.google.ortools.sat.SatParameters.Builder | |
| hasFilterSatPostsolveClauses() | com.google.ortools.sat.SatParameters.Builder | |
| hasFindBigLinearOverlap() | com.google.ortools.sat.SatParameters.Builder | |
| hasFindMultipleCores() | com.google.ortools.sat.SatParameters.Builder | |
| hasFixVariablesToTheirHintedValue() | com.google.ortools.sat.SatParameters.Builder | |
| hasFpRounding() | com.google.ortools.sat.SatParameters.Builder | |
| hasGlucoseDecayIncrement() | com.google.ortools.sat.SatParameters.Builder | |
| hasGlucoseDecayIncrementPeriod() | com.google.ortools.sat.SatParameters.Builder | |
| hasGlucoseMaxDecay() | com.google.ortools.sat.SatParameters.Builder | |
| hasHintConflictLimit() | com.google.ortools.sat.SatParameters.Builder | |
| hasIgnoreNames() | com.google.ortools.sat.SatParameters.Builder | |
| hasInferAllDiffs() | com.google.ortools.sat.SatParameters.Builder | |
| hasInitialPolarity() | com.google.ortools.sat.SatParameters.Builder | |
| hasInitialVariablesActivity() | com.google.ortools.sat.SatParameters.Builder | |
| hasInprocessingDtimeRatio() | com.google.ortools.sat.SatParameters.Builder | |
| hasInprocessingMinimizationDtime() | com.google.ortools.sat.SatParameters.Builder | |
| hasInprocessingMinimizationUseAllOrderings() | com.google.ortools.sat.SatParameters.Builder | |
| hasInprocessingMinimizationUseConflictAnalysis() | com.google.ortools.sat.SatParameters.Builder | |
| hasInprocessingProbingDtime() | com.google.ortools.sat.SatParameters.Builder | |
| hasInstantiateAllVariables() | com.google.ortools.sat.SatParameters.Builder | |
| hasInterleaveBatchSize() | com.google.ortools.sat.SatParameters.Builder | |
| hasInterleaveSearch() | com.google.ortools.sat.SatParameters.Builder | |
| hasKeepAllFeasibleSolutionsInPresolve() | com.google.ortools.sat.SatParameters.Builder | |
| hasKeepSymmetryInPresolve() | com.google.ortools.sat.SatParameters.Builder | |
| hasLbRelaxNumWorkersThreshold() | com.google.ortools.sat.SatParameters.Builder | |
| hasLinearizationLevel() | com.google.ortools.sat.SatParameters.Builder | |
| hasLinearSplitSize() | com.google.ortools.sat.SatParameters.Builder | |
| hasLnsInitialDeterministicLimit() | com.google.ortools.sat.SatParameters.Builder | |
| hasLnsInitialDifficulty() | com.google.ortools.sat.SatParameters.Builder | |
| hasLogPrefix() | com.google.ortools.sat.SatParameters.Builder | |
| hasLogSearchProgress() | com.google.ortools.sat.SatParameters.Builder | |
| hasLogSubsolverStatistics() | com.google.ortools.sat.SatParameters.Builder | |
| hasLogToResponse() | com.google.ortools.sat.SatParameters.Builder | |
| hasLogToStdout() | com.google.ortools.sat.SatParameters.Builder | |
| hasLpDualTolerance() | com.google.ortools.sat.SatParameters.Builder | |
| hasLpPrimalTolerance() | com.google.ortools.sat.SatParameters.Builder | |
| hasMaxAllDiffCutSize() | com.google.ortools.sat.SatParameters.Builder | |
| hasMaxAlldiffDomainSize() | com.google.ortools.sat.SatParameters.Builder | |
| hasMaxClauseActivityValue() | com.google.ortools.sat.SatParameters.Builder | |
| hasMaxConsecutiveInactiveCount() | com.google.ortools.sat.SatParameters.Builder | |
| hasMaxCutRoundsAtLevelZero() | com.google.ortools.sat.SatParameters.Builder | |
| hasMaxDeterministicTime() | com.google.ortools.sat.SatParameters.Builder | |
| hasMaxDomainSizeWhenEncodingEqNeqConstraints() | com.google.ortools.sat.SatParameters.Builder | |
| hasMaximumRegionsToSplitInDisconnectedNoOverlap2D() | com.google.ortools.sat.SatParameters.Builder | |
| hasMaxIntegerRoundingScaling() | com.google.ortools.sat.SatParameters.Builder | |
| hasMaxLinMaxSizeForExpansion() | com.google.ortools.sat.SatParameters.Builder | |
| hasMaxMemoryInMb() | com.google.ortools.sat.SatParameters.Builder | |
| hasMaxNumberOfConflicts() | com.google.ortools.sat.SatParameters.Builder | |
| hasMaxNumCuts() | com.google.ortools.sat.SatParameters.Builder | |
| hasMaxNumDeterministicBatches() | com.google.ortools.sat.SatParameters.Builder | |
| hasMaxNumIntervalsForTimetableEdgeFinding() | com.google.ortools.sat.SatParameters.Builder | |
| hasMaxPairsPairwiseReasoningInNoOverlap2D() | com.google.ortools.sat.SatParameters.Builder | |
| hasMaxPresolveIterations() | com.google.ortools.sat.SatParameters.Builder | |
| hasMaxSatAssumptionOrder() | com.google.ortools.sat.SatParameters.Builder | |
| hasMaxSatReverseAssumptionOrder() | com.google.ortools.sat.SatParameters.Builder | |
| hasMaxSatStratification() | com.google.ortools.sat.SatParameters.Builder | |
| hasMaxSizeToCreatePrecedenceLiteralsInDisjunctive() | com.google.ortools.sat.SatParameters.Builder | |
| hasMaxTimeInSeconds() | com.google.ortools.sat.SatParameters.Builder | |
| hasMaxVariableActivityValue() | com.google.ortools.sat.SatParameters.Builder | |
| hasMergeAtMostOneWorkLimit() | com.google.ortools.sat.SatParameters.Builder | |
| hasMergeNoOverlapWorkLimit() | com.google.ortools.sat.SatParameters.Builder | |
| hasMinimizationAlgorithm() | com.google.ortools.sat.SatParameters.Builder | |
| hasMinimizeReductionDuringPbResolution() | com.google.ortools.sat.SatParameters.Builder | |
| hasMinimizeSharedClauses() | com.google.ortools.sat.SatParameters.Builder | |
| hasMinOrthogonalityForLpConstraints() | com.google.ortools.sat.SatParameters.Builder | |
| hasMipAutomaticallyScaleVariables() | com.google.ortools.sat.SatParameters.Builder | |
| hasMipCheckPrecision() | com.google.ortools.sat.SatParameters.Builder | |
| hasMipComputeTrueObjectiveBound() | com.google.ortools.sat.SatParameters.Builder | |
| hasMipDropTolerance() | com.google.ortools.sat.SatParameters.Builder | |
| hasMipMaxActivityExponent() | com.google.ortools.sat.SatParameters.Builder | |
| hasMipMaxBound() | com.google.ortools.sat.SatParameters.Builder | |
| hasMipMaxValidMagnitude() | com.google.ortools.sat.SatParameters.Builder | |
| hasMipPresolveLevel() | com.google.ortools.sat.SatParameters.Builder | |
| hasMipScaleLargeDomain() | com.google.ortools.sat.SatParameters.Builder | |
| hasMipTreatHighMagnitudeBoundsAsInfinity() | com.google.ortools.sat.SatParameters.Builder | |
| hasMipVarScaling() | com.google.ortools.sat.SatParameters.Builder | |
| hasMipWantedPrecision() | com.google.ortools.sat.SatParameters.Builder | |
| hasName() | com.google.ortools.sat.SatParameters.Builder | |
| hasNewConstraintsBatchSize() | com.google.ortools.sat.SatParameters.Builder | |
| hasNewLinearPropagation() | com.google.ortools.sat.SatParameters.Builder | |
| hasNoOverlap2DBooleanRelationsLimit() | com.google.ortools.sat.SatParameters.Builder | |
| hasNumConflictsBeforeStrategyChanges() | com.google.ortools.sat.SatParameters.Builder | |
| hasNumFullSubsolvers() | com.google.ortools.sat.SatParameters.Builder | |
| hasNumSearchWorkers() | com.google.ortools.sat.SatParameters.Builder | |
| hasNumViolationLs() | com.google.ortools.sat.SatParameters.Builder | |
| hasNumWorkers() | com.google.ortools.sat.SatParameters.Builder | |
| hasOnlyAddCutsAtLevelZero() | com.google.ortools.sat.SatParameters.Builder | |
| hasOnlySolveIp() | com.google.ortools.sat.SatParameters.Builder | |
| hasOptimizeWithCore() | com.google.ortools.sat.SatParameters.Builder | |
| hasOptimizeWithLbTreeSearch() | com.google.ortools.sat.SatParameters.Builder | |
| hasOptimizeWithMaxHs() | com.google.ortools.sat.SatParameters.Builder | |
| hasPbCleanupIncrement() | com.google.ortools.sat.SatParameters.Builder | |
| hasPbCleanupRatio() | com.google.ortools.sat.SatParameters.Builder | |
| hasPermutePresolveConstraintOrder() | com.google.ortools.sat.SatParameters.Builder | |
| hasPermuteVariableRandomly() | com.google.ortools.sat.SatParameters.Builder | |
| hasPolarityExploitLsHints() | com.google.ortools.sat.SatParameters.Builder | |
| hasPolarityRephaseIncrement() | com.google.ortools.sat.SatParameters.Builder | |
| hasPolishLpSolution() | com.google.ortools.sat.SatParameters.Builder | |
| hasPreferredVariableOrder() | com.google.ortools.sat.SatParameters.Builder | |
| hasPresolveBlockedClause() | com.google.ortools.sat.SatParameters.Builder | |
| hasPresolveBvaThreshold() | com.google.ortools.sat.SatParameters.Builder | |
| hasPresolveBveClauseWeight() | com.google.ortools.sat.SatParameters.Builder | |
| hasPresolveBveThreshold() | com.google.ortools.sat.SatParameters.Builder | |
| hasPresolveExtractIntegerEnforcement() | com.google.ortools.sat.SatParameters.Builder | |
| hasPresolveInclusionWorkLimit() | com.google.ortools.sat.SatParameters.Builder | |
| hasPresolveProbingDeterministicTimeLimit() | com.google.ortools.sat.SatParameters.Builder | |
| hasPresolveSubstitutionLevel() | com.google.ortools.sat.SatParameters.Builder | |
| hasPresolveUseBva() | com.google.ortools.sat.SatParameters.Builder | |
| hasProbingDeterministicTimeLimit() | com.google.ortools.sat.SatParameters.Builder | |
| hasProbingNumCombinationsLimit() | com.google.ortools.sat.SatParameters.Builder | |
| hasPropagationLoopDetectionFactor() | com.google.ortools.sat.SatParameters.Builder | |
| hasPseudoCostReliabilityThreshold() | com.google.ortools.sat.SatParameters.Builder | |
| hasPushAllTasksTowardStart() | com.google.ortools.sat.SatParameters.Builder | |
| hasRandomBranchesRatio() | com.google.ortools.sat.SatParameters.Builder | |
| hasRandomizeSearch() | com.google.ortools.sat.SatParameters.Builder | |
| hasRandomPolarityRatio() | com.google.ortools.sat.SatParameters.Builder | |
| hasRandomSeed() | com.google.ortools.sat.SatParameters.Builder | |
| hasRelativeGapLimit() | com.google.ortools.sat.SatParameters.Builder | |
| hasRemoveFixedVariablesEarly() | com.google.ortools.sat.SatParameters.Builder | |
| hasRepairHint() | com.google.ortools.sat.SatParameters.Builder | |
| hasRestartDlAverageRatio() | com.google.ortools.sat.SatParameters.Builder | |
| hasRestartLbdAverageRatio() | com.google.ortools.sat.SatParameters.Builder | |
| hasRestartPeriod() | com.google.ortools.sat.SatParameters.Builder | |
| hasRestartRunningWindowSize() | com.google.ortools.sat.SatParameters.Builder | |
| hasRootLpIterations() | com.google.ortools.sat.SatParameters.Builder | |
| hasRoutingCutDpEffort() | com.google.ortools.sat.SatParameters.Builder | |
| hasRoutingCutMaxInfeasiblePathLength() | com.google.ortools.sat.SatParameters.Builder | |
| hasRoutingCutSubsetSizeForBinaryRelationBound() | com.google.ortools.sat.SatParameters.Builder | |
| hasRoutingCutSubsetSizeForExactBinaryRelationBound() | com.google.ortools.sat.SatParameters.Builder | |
| hasRoutingCutSubsetSizeForShortestPathsBound() | com.google.ortools.sat.SatParameters.Builder | |
| hasRoutingCutSubsetSizeForTightBinaryRelationBound() | com.google.ortools.sat.SatParameters.Builder | |
| hasSaveLpBasisInLbTreeSearch() | com.google.ortools.sat.SatParameters.Builder | |
| hasSearchBranching() | com.google.ortools.sat.SatParameters.Builder | |
| hasSearchRandomVariablePoolSize() | com.google.ortools.sat.SatParameters.Builder | |
| hasShareBinaryClauses() | com.google.ortools.sat.SatParameters.Builder | |
| hasSharedTreeBalanceTolerance() | com.google.ortools.sat.SatParameters.Builder | |
| hasSharedTreeMaxNodesPerWorker() | com.google.ortools.sat.SatParameters.Builder | |
| hasSharedTreeNumWorkers() | com.google.ortools.sat.SatParameters.Builder | |
| hasSharedTreeOpenLeavesPerWorker() | com.google.ortools.sat.SatParameters.Builder | |
| hasSharedTreeSplitStrategy() | com.google.ortools.sat.SatParameters.Builder | |
| hasSharedTreeWorkerEnablePhaseSharing() | com.google.ortools.sat.SatParameters.Builder | |
| hasSharedTreeWorkerEnableTrailSharing() | com.google.ortools.sat.SatParameters.Builder | |
| hasSharedTreeWorkerMinRestartsPerSubtree() | com.google.ortools.sat.SatParameters.Builder | |
| hasShareGlueClauses() | com.google.ortools.sat.SatParameters.Builder | |
| hasShareGlueClausesDtime() | com.google.ortools.sat.SatParameters.Builder | |
| hasShareLevelZeroBounds() | com.google.ortools.sat.SatParameters.Builder | |
| hasShareObjectiveBounds() | com.google.ortools.sat.SatParameters.Builder | |
| hasShavingDeterministicTimeInProbingSearch() | com.google.ortools.sat.SatParameters.Builder | |
| hasShavingSearchDeterministicTime() | com.google.ortools.sat.SatParameters.Builder | |
| hasShavingSearchThreshold() | com.google.ortools.sat.SatParameters.Builder | |
| hasSolutionPoolSize() | com.google.ortools.sat.SatParameters.Builder | |
| hasStopAfterFirstSolution() | com.google.ortools.sat.SatParameters.Builder | |
| hasStopAfterPresolve() | com.google.ortools.sat.SatParameters.Builder | |
| hasStopAfterRootPropagation() | com.google.ortools.sat.SatParameters.Builder | |
| hasStrategyChangeIncreaseRatio() | com.google.ortools.sat.SatParameters.Builder | |
| hasSubsumptionDuringConflictAnalysis() | com.google.ortools.sat.SatParameters.Builder | |
| hasSymmetryDetectionDeterministicTimeLimit() | com.google.ortools.sat.SatParameters.Builder | |
| hasSymmetryLevel() | com.google.ortools.sat.SatParameters.Builder | |
| hasTableCompressionLevel() | com.google.ortools.sat.SatParameters.Builder | |
| hasUseAbslRandom() | com.google.ortools.sat.SatParameters.Builder | |
| hasUseAllDifferentForCircuit() | com.google.ortools.sat.SatParameters.Builder | |
| hasUseAreaEnergeticReasoningInNoOverlap2D() | com.google.ortools.sat.SatParameters.Builder | |
| hasUseBlockingRestart() | com.google.ortools.sat.SatParameters.Builder | |
| hasUseCombinedNoOverlap() | com.google.ortools.sat.SatParameters.Builder | |
| hasUseConservativeScaleOverloadChecker() | com.google.ortools.sat.SatParameters.Builder | |
| hasUseDisjunctiveConstraintInCumulative() | com.google.ortools.sat.SatParameters.Builder | |
| hasUseDualSchedulingHeuristics() | com.google.ortools.sat.SatParameters.Builder | |
| hasUseDynamicPrecedenceInCumulative() | com.google.ortools.sat.SatParameters.Builder | |
| hasUseDynamicPrecedenceInDisjunctive() | com.google.ortools.sat.SatParameters.Builder | |
| hasUseEnergeticReasoningInNoOverlap2D() | com.google.ortools.sat.SatParameters.Builder | |
| hasUseErwaHeuristic() | com.google.ortools.sat.SatParameters.Builder | |
| hasUseExactLpReason() | com.google.ortools.sat.SatParameters.Builder | |
| hasUseExtendedProbing() | com.google.ortools.sat.SatParameters.Builder | |
| hasUseFeasibilityJump() | com.google.ortools.sat.SatParameters.Builder | |
| hasUseFeasibilityPump() | com.google.ortools.sat.SatParameters.Builder | |
| hasUseHardPrecedencesInCumulative() | com.google.ortools.sat.SatParameters.Builder | |
| hasUseImpliedBounds() | com.google.ortools.sat.SatParameters.Builder | |
| hasUseLbRelaxLns() | com.google.ortools.sat.SatParameters.Builder | |
| hasUseLinear3ForNoOverlap2DPrecedences() | com.google.ortools.sat.SatParameters.Builder | |
| hasUseLns() | com.google.ortools.sat.SatParameters.Builder | |
| hasUseLnsOnly() | com.google.ortools.sat.SatParameters.Builder | |
| hasUseLsOnly() | com.google.ortools.sat.SatParameters.Builder | |
| hasUseObjectiveLbSearch() | com.google.ortools.sat.SatParameters.Builder | |
| hasUseObjectiveShavingSearch() | com.google.ortools.sat.SatParameters.Builder | |
| hasUseOptimizationHints() | com.google.ortools.sat.SatParameters.Builder | |
| hasUseOptionalVariables() | com.google.ortools.sat.SatParameters.Builder | |
| hasUseOverloadCheckerInCumulative() | com.google.ortools.sat.SatParameters.Builder | |
| hasUsePbResolution() | com.google.ortools.sat.SatParameters.Builder | |
| hasUsePhaseSaving() | com.google.ortools.sat.SatParameters.Builder | |
| hasUsePrecedencesInDisjunctiveConstraint() | com.google.ortools.sat.SatParameters.Builder | |
| hasUseProbingSearch() | com.google.ortools.sat.SatParameters.Builder | |
| hasUseRinsLns() | com.google.ortools.sat.SatParameters.Builder | |
| hasUseSatInprocessing() | com.google.ortools.sat.SatParameters.Builder | |
| hasUseSharedTreeSearch() | com.google.ortools.sat.SatParameters.Builder | |
| hasUseStrongPropagationInDisjunctive() | com.google.ortools.sat.SatParameters.Builder | |
| hasUseSymmetryInLp() | com.google.ortools.sat.SatParameters.Builder | |
| hasUseTimetableEdgeFindingInCumulative() | com.google.ortools.sat.SatParameters.Builder | |
| hasUseTimetablingInNoOverlap2D() | com.google.ortools.sat.SatParameters.Builder | |
| hasUseTryEdgeReasoningInNoOverlap2D() | com.google.ortools.sat.SatParameters.Builder | |
| hasVariableActivityDecay() | com.google.ortools.sat.SatParameters.Builder | |
| hasVariablesShavingLevel() | com.google.ortools.sat.SatParameters.Builder | |
| hasViolationLsCompoundMoveProbability() | com.google.ortools.sat.SatParameters.Builder | |
| hasViolationLsPerturbationPeriod() | com.google.ortools.sat.SatParameters.Builder | |
| internalGetFieldAccessorTable() | com.google.ortools.sat.SatParameters.Builder | protected |
| isInitialized() | com.google.ortools.sat.SatParameters.Builder | |
| mergeFrom(com.google.protobuf.Message other) | com.google.ortools.sat.SatParameters.Builder | |
| mergeFrom(com.google.ortools.sat.SatParameters other) | com.google.ortools.sat.SatParameters.Builder | |
| mergeFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) | com.google.ortools.sat.SatParameters.Builder | |
| removeSubsolverParams(int index) | com.google.ortools.sat.SatParameters.Builder | |
| setAbsoluteGapLimit(double value) | com.google.ortools.sat.SatParameters.Builder | |
| setAddCgCuts(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setAddCliqueCuts(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setAddLinMaxCuts(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setAddLpConstraintsLazily(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setAddMirCuts(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setAddObjectiveCut(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setAddRltCuts(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setAddZeroHalfCuts(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setAlsoBumpVariablesInConflictReasons(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setAtMostOneMaxExpansionSize(int value) | com.google.ortools.sat.SatParameters.Builder | |
| setAutoDetectGreaterThanAtLeastOneOf(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setBinaryMinimizationAlgorithm(com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm value) | com.google.ortools.sat.SatParameters.Builder | |
| setBinarySearchNumConflicts(int value) | com.google.ortools.sat.SatParameters.Builder | |
| setBlockingRestartMultiplier(double value) | com.google.ortools.sat.SatParameters.Builder | |
| setBlockingRestartWindowSize(int value) | com.google.ortools.sat.SatParameters.Builder | |
| setBooleanEncodingLevel(int value) | com.google.ortools.sat.SatParameters.Builder | |
| setCatchSigintSignal(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setClauseActivityDecay(double value) | com.google.ortools.sat.SatParameters.Builder | |
| setClauseCleanupLbdBound(int value) | com.google.ortools.sat.SatParameters.Builder | |
| setClauseCleanupOrdering(com.google.ortools.sat.SatParameters.ClauseOrdering value) | com.google.ortools.sat.SatParameters.Builder | |
| setClauseCleanupPeriod(int value) | com.google.ortools.sat.SatParameters.Builder | |
| setClauseCleanupProtection(com.google.ortools.sat.SatParameters.ClauseProtection value) | com.google.ortools.sat.SatParameters.Builder | |
| setClauseCleanupRatio(double value) | com.google.ortools.sat.SatParameters.Builder | |
| setClauseCleanupTarget(int value) | com.google.ortools.sat.SatParameters.Builder | |
| setConvertIntervals(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setCoreMinimizationLevel(int value) | com.google.ortools.sat.SatParameters.Builder | |
| setCountAssumptionLevelsInLbd(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setCoverOptimization(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setCpModelPresolve(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setCpModelProbingLevel(int value) | com.google.ortools.sat.SatParameters.Builder | |
| setCpModelUseSatPresolve(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setCutActiveCountDecay(double value) | com.google.ortools.sat.SatParameters.Builder | |
| setCutCleanupTarget(int value) | com.google.ortools.sat.SatParameters.Builder | |
| setCutLevel(int value) | com.google.ortools.sat.SatParameters.Builder | |
| setCutMaxActiveCountValue(double value) | com.google.ortools.sat.SatParameters.Builder | |
| setDebugCrashIfPresolveBreaksHint(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setDebugCrashOnBadHint(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setDebugMaxNumPresolveOperations(int value) | com.google.ortools.sat.SatParameters.Builder | |
| setDebugPostsolveWithFullSolver(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setDefaultRestartAlgorithms(java.lang.String value) | com.google.ortools.sat.SatParameters.Builder | |
| setDefaultRestartAlgorithmsBytes(com.google.protobuf.ByteString value) | com.google.ortools.sat.SatParameters.Builder | |
| setDetectLinearizedProduct(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setDetectTableWithCost(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setDisableConstraintExpansion(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setDiversifyLnsParams(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setEncodeComplexLinearConstraintWithInteger(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setEncodeCumulativeAsReservoir(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setEnumerateAllSolutions(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setExpandAlldiffConstraints(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setExpandReservoirConstraints(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setExpandReservoirUsingCircuit(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setExploitAllLpSolution(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setExploitAllPrecedences(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setExploitBestSolution(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setExploitIntegerLpSolution(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setExploitObjective(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setExploitRelaxationSolution(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setExtraSubsolvers(int index, java.lang.String value) | com.google.ortools.sat.SatParameters.Builder | |
| setFeasibilityJumpBatchDtime(double value) | com.google.ortools.sat.SatParameters.Builder | |
| setFeasibilityJumpDecay(double value) | com.google.ortools.sat.SatParameters.Builder | |
| setFeasibilityJumpEnableRestarts(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setFeasibilityJumpLinearizationLevel(int value) | com.google.ortools.sat.SatParameters.Builder | |
| setFeasibilityJumpMaxExpandedConstraintSize(int value) | com.google.ortools.sat.SatParameters.Builder | |
| setFeasibilityJumpRestartFactor(int value) | com.google.ortools.sat.SatParameters.Builder | |
| setFeasibilityJumpVarPerburbationRangeRatio(double value) | com.google.ortools.sat.SatParameters.Builder | |
| setFeasibilityJumpVarRandomizationProbability(double value) | com.google.ortools.sat.SatParameters.Builder | |
| setFillAdditionalSolutionsInResponse(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setFillTightenedDomainsInResponse(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setFilterSatPostsolveClauses(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setFilterSubsolvers(int index, java.lang.String value) | com.google.ortools.sat.SatParameters.Builder | |
| setFindBigLinearOverlap(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setFindMultipleCores(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setFixVariablesToTheirHintedValue(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setFpRounding(com.google.ortools.sat.SatParameters.FPRoundingMethod value) | com.google.ortools.sat.SatParameters.Builder | |
| setGlucoseDecayIncrement(double value) | com.google.ortools.sat.SatParameters.Builder | |
| setGlucoseDecayIncrementPeriod(int value) | com.google.ortools.sat.SatParameters.Builder | |
| setGlucoseMaxDecay(double value) | com.google.ortools.sat.SatParameters.Builder | |
| setHintConflictLimit(int value) | com.google.ortools.sat.SatParameters.Builder | |
| setIgnoreNames(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setIgnoreSubsolvers(int index, java.lang.String value) | com.google.ortools.sat.SatParameters.Builder | |
| setInferAllDiffs(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setInitialPolarity(com.google.ortools.sat.SatParameters.Polarity value) | com.google.ortools.sat.SatParameters.Builder | |
| setInitialVariablesActivity(double value) | com.google.ortools.sat.SatParameters.Builder | |
| setInprocessingDtimeRatio(double value) | com.google.ortools.sat.SatParameters.Builder | |
| setInprocessingMinimizationDtime(double value) | com.google.ortools.sat.SatParameters.Builder | |
| setInprocessingMinimizationUseAllOrderings(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setInprocessingMinimizationUseConflictAnalysis(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setInprocessingProbingDtime(double value) | com.google.ortools.sat.SatParameters.Builder | |
| setInstantiateAllVariables(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setInterleaveBatchSize(int value) | com.google.ortools.sat.SatParameters.Builder | |
| setInterleaveSearch(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setKeepAllFeasibleSolutionsInPresolve(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setKeepSymmetryInPresolve(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setLbRelaxNumWorkersThreshold(int value) | com.google.ortools.sat.SatParameters.Builder | |
| setLinearizationLevel(int value) | com.google.ortools.sat.SatParameters.Builder | |
| setLinearSplitSize(int value) | com.google.ortools.sat.SatParameters.Builder | |
| setLnsInitialDeterministicLimit(double value) | com.google.ortools.sat.SatParameters.Builder | |
| setLnsInitialDifficulty(double value) | com.google.ortools.sat.SatParameters.Builder | |
| setLogPrefix(java.lang.String value) | com.google.ortools.sat.SatParameters.Builder | |
| setLogPrefixBytes(com.google.protobuf.ByteString value) | com.google.ortools.sat.SatParameters.Builder | |
| setLogSearchProgress(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setLogSubsolverStatistics(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setLogToResponse(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setLogToStdout(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setLpDualTolerance(double value) | com.google.ortools.sat.SatParameters.Builder | |
| setLpPrimalTolerance(double value) | com.google.ortools.sat.SatParameters.Builder | |
| setMaxAllDiffCutSize(int value) | com.google.ortools.sat.SatParameters.Builder | |
| setMaxAlldiffDomainSize(int value) | com.google.ortools.sat.SatParameters.Builder | |
| setMaxClauseActivityValue(double value) | com.google.ortools.sat.SatParameters.Builder | |
| setMaxConsecutiveInactiveCount(int value) | com.google.ortools.sat.SatParameters.Builder | |
| setMaxCutRoundsAtLevelZero(int value) | com.google.ortools.sat.SatParameters.Builder | |
| setMaxDeterministicTime(double value) | com.google.ortools.sat.SatParameters.Builder | |
| setMaxDomainSizeWhenEncodingEqNeqConstraints(int value) | com.google.ortools.sat.SatParameters.Builder | |
| setMaximumRegionsToSplitInDisconnectedNoOverlap2D(int value) | com.google.ortools.sat.SatParameters.Builder | |
| setMaxIntegerRoundingScaling(int value) | com.google.ortools.sat.SatParameters.Builder | |
| setMaxLinMaxSizeForExpansion(int value) | com.google.ortools.sat.SatParameters.Builder | |
| setMaxMemoryInMb(long value) | com.google.ortools.sat.SatParameters.Builder | |
| setMaxNumberOfConflicts(long value) | com.google.ortools.sat.SatParameters.Builder | |
| setMaxNumCuts(int value) | com.google.ortools.sat.SatParameters.Builder | |
| setMaxNumDeterministicBatches(int value) | com.google.ortools.sat.SatParameters.Builder | |
| setMaxNumIntervalsForTimetableEdgeFinding(int value) | com.google.ortools.sat.SatParameters.Builder | |
| setMaxPairsPairwiseReasoningInNoOverlap2D(int value) | com.google.ortools.sat.SatParameters.Builder | |
| setMaxPresolveIterations(int value) | com.google.ortools.sat.SatParameters.Builder | |
| setMaxSatAssumptionOrder(com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder value) | com.google.ortools.sat.SatParameters.Builder | |
| setMaxSatReverseAssumptionOrder(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setMaxSatStratification(com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm value) | com.google.ortools.sat.SatParameters.Builder | |
| setMaxSizeToCreatePrecedenceLiteralsInDisjunctive(int value) | com.google.ortools.sat.SatParameters.Builder | |
| setMaxTimeInSeconds(double value) | com.google.ortools.sat.SatParameters.Builder | |
| setMaxVariableActivityValue(double value) | com.google.ortools.sat.SatParameters.Builder | |
| setMergeAtMostOneWorkLimit(double value) | com.google.ortools.sat.SatParameters.Builder | |
| setMergeNoOverlapWorkLimit(double value) | com.google.ortools.sat.SatParameters.Builder | |
| setMinimizationAlgorithm(com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm value) | com.google.ortools.sat.SatParameters.Builder | |
| setMinimizeReductionDuringPbResolution(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setMinimizeSharedClauses(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setMinOrthogonalityForLpConstraints(double value) | com.google.ortools.sat.SatParameters.Builder | |
| setMipAutomaticallyScaleVariables(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setMipCheckPrecision(double value) | com.google.ortools.sat.SatParameters.Builder | |
| setMipComputeTrueObjectiveBound(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setMipDropTolerance(double value) | com.google.ortools.sat.SatParameters.Builder | |
| setMipMaxActivityExponent(int value) | com.google.ortools.sat.SatParameters.Builder | |
| setMipMaxBound(double value) | com.google.ortools.sat.SatParameters.Builder | |
| setMipMaxValidMagnitude(double value) | com.google.ortools.sat.SatParameters.Builder | |
| setMipPresolveLevel(int value) | com.google.ortools.sat.SatParameters.Builder | |
| setMipScaleLargeDomain(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setMipTreatHighMagnitudeBoundsAsInfinity(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setMipVarScaling(double value) | com.google.ortools.sat.SatParameters.Builder | |
| setMipWantedPrecision(double value) | com.google.ortools.sat.SatParameters.Builder | |
| setName(java.lang.String value) | com.google.ortools.sat.SatParameters.Builder | |
| setNameBytes(com.google.protobuf.ByteString value) | com.google.ortools.sat.SatParameters.Builder | |
| setNewConstraintsBatchSize(int value) | com.google.ortools.sat.SatParameters.Builder | |
| setNewLinearPropagation(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setNoOverlap2DBooleanRelationsLimit(int value) | com.google.ortools.sat.SatParameters.Builder | |
| setNumConflictsBeforeStrategyChanges(int value) | com.google.ortools.sat.SatParameters.Builder | |
| setNumFullSubsolvers(int value) | com.google.ortools.sat.SatParameters.Builder | |
| setNumSearchWorkers(int value) | com.google.ortools.sat.SatParameters.Builder | |
| setNumViolationLs(int value) | com.google.ortools.sat.SatParameters.Builder | |
| setNumWorkers(int value) | com.google.ortools.sat.SatParameters.Builder | |
| setOnlyAddCutsAtLevelZero(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setOnlySolveIp(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setOptimizeWithCore(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setOptimizeWithLbTreeSearch(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setOptimizeWithMaxHs(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setPbCleanupIncrement(int value) | com.google.ortools.sat.SatParameters.Builder | |
| setPbCleanupRatio(double value) | com.google.ortools.sat.SatParameters.Builder | |
| setPermutePresolveConstraintOrder(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setPermuteVariableRandomly(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setPolarityExploitLsHints(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setPolarityRephaseIncrement(int value) | com.google.ortools.sat.SatParameters.Builder | |
| setPolishLpSolution(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setPreferredVariableOrder(com.google.ortools.sat.SatParameters.VariableOrder value) | com.google.ortools.sat.SatParameters.Builder | |
| setPresolveBlockedClause(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setPresolveBvaThreshold(int value) | com.google.ortools.sat.SatParameters.Builder | |
| setPresolveBveClauseWeight(int value) | com.google.ortools.sat.SatParameters.Builder | |
| setPresolveBveThreshold(int value) | com.google.ortools.sat.SatParameters.Builder | |
| setPresolveExtractIntegerEnforcement(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setPresolveInclusionWorkLimit(long value) | com.google.ortools.sat.SatParameters.Builder | |
| setPresolveProbingDeterministicTimeLimit(double value) | com.google.ortools.sat.SatParameters.Builder | |
| setPresolveSubstitutionLevel(int value) | com.google.ortools.sat.SatParameters.Builder | |
| setPresolveUseBva(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setProbingDeterministicTimeLimit(double value) | com.google.ortools.sat.SatParameters.Builder | |
| setProbingNumCombinationsLimit(int value) | com.google.ortools.sat.SatParameters.Builder | |
| setPropagationLoopDetectionFactor(double value) | com.google.ortools.sat.SatParameters.Builder | |
| setPseudoCostReliabilityThreshold(long value) | com.google.ortools.sat.SatParameters.Builder | |
| setPushAllTasksTowardStart(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setRandomBranchesRatio(double value) | com.google.ortools.sat.SatParameters.Builder | |
| setRandomizeSearch(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setRandomPolarityRatio(double value) | com.google.ortools.sat.SatParameters.Builder | |
| setRandomSeed(int value) | com.google.ortools.sat.SatParameters.Builder | |
| setRelativeGapLimit(double value) | com.google.ortools.sat.SatParameters.Builder | |
| setRemoveFixedVariablesEarly(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setRepairHint(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setRestartAlgorithms(int index, com.google.ortools.sat.SatParameters.RestartAlgorithm value) | com.google.ortools.sat.SatParameters.Builder | |
| setRestartDlAverageRatio(double value) | com.google.ortools.sat.SatParameters.Builder | |
| setRestartLbdAverageRatio(double value) | com.google.ortools.sat.SatParameters.Builder | |
| setRestartPeriod(int value) | com.google.ortools.sat.SatParameters.Builder | |
| setRestartRunningWindowSize(int value) | com.google.ortools.sat.SatParameters.Builder | |
| setRootLpIterations(int value) | com.google.ortools.sat.SatParameters.Builder | |
| setRoutingCutDpEffort(double value) | com.google.ortools.sat.SatParameters.Builder | |
| setRoutingCutMaxInfeasiblePathLength(int value) | com.google.ortools.sat.SatParameters.Builder | |
| setRoutingCutSubsetSizeForBinaryRelationBound(int value) | com.google.ortools.sat.SatParameters.Builder | |
| setRoutingCutSubsetSizeForExactBinaryRelationBound(int value) | com.google.ortools.sat.SatParameters.Builder | |
| setRoutingCutSubsetSizeForShortestPathsBound(int value) | com.google.ortools.sat.SatParameters.Builder | |
| setRoutingCutSubsetSizeForTightBinaryRelationBound(int value) | com.google.ortools.sat.SatParameters.Builder | |
| setSaveLpBasisInLbTreeSearch(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setSearchBranching(com.google.ortools.sat.SatParameters.SearchBranching value) | com.google.ortools.sat.SatParameters.Builder | |
| setSearchRandomVariablePoolSize(long value) | com.google.ortools.sat.SatParameters.Builder | |
| setShareBinaryClauses(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setSharedTreeBalanceTolerance(int value) | com.google.ortools.sat.SatParameters.Builder | |
| setSharedTreeMaxNodesPerWorker(int value) | com.google.ortools.sat.SatParameters.Builder | |
| setSharedTreeNumWorkers(int value) | com.google.ortools.sat.SatParameters.Builder | |
| setSharedTreeOpenLeavesPerWorker(double value) | com.google.ortools.sat.SatParameters.Builder | |
| setSharedTreeSplitStrategy(com.google.ortools.sat.SatParameters.SharedTreeSplitStrategy value) | com.google.ortools.sat.SatParameters.Builder | |
| setSharedTreeWorkerEnablePhaseSharing(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setSharedTreeWorkerEnableTrailSharing(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setSharedTreeWorkerMinRestartsPerSubtree(int value) | com.google.ortools.sat.SatParameters.Builder | |
| setShareGlueClauses(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setShareGlueClausesDtime(double value) | com.google.ortools.sat.SatParameters.Builder | |
| setShareLevelZeroBounds(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setShareObjectiveBounds(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setShavingDeterministicTimeInProbingSearch(double value) | com.google.ortools.sat.SatParameters.Builder | |
| setShavingSearchDeterministicTime(double value) | com.google.ortools.sat.SatParameters.Builder | |
| setShavingSearchThreshold(long value) | com.google.ortools.sat.SatParameters.Builder | |
| setSolutionPoolSize(int value) | com.google.ortools.sat.SatParameters.Builder | |
| setStopAfterFirstSolution(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setStopAfterPresolve(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setStopAfterRootPropagation(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setStrategyChangeIncreaseRatio(double value) | com.google.ortools.sat.SatParameters.Builder | |
| setSubsolverParams(int index, com.google.ortools.sat.SatParameters value) | com.google.ortools.sat.SatParameters.Builder | |
| setSubsolverParams(int index, com.google.ortools.sat.SatParameters.Builder builderForValue) | com.google.ortools.sat.SatParameters.Builder | |
| setSubsolvers(int index, java.lang.String value) | com.google.ortools.sat.SatParameters.Builder | |
| setSubsumptionDuringConflictAnalysis(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setSymmetryDetectionDeterministicTimeLimit(double value) | com.google.ortools.sat.SatParameters.Builder | |
| setSymmetryLevel(int value) | com.google.ortools.sat.SatParameters.Builder | |
| setTableCompressionLevel(int value) | com.google.ortools.sat.SatParameters.Builder | |
| setUseAbslRandom(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setUseAllDifferentForCircuit(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setUseAreaEnergeticReasoningInNoOverlap2D(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setUseBlockingRestart(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setUseCombinedNoOverlap(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setUseConservativeScaleOverloadChecker(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setUseDisjunctiveConstraintInCumulative(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setUseDualSchedulingHeuristics(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setUseDynamicPrecedenceInCumulative(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setUseDynamicPrecedenceInDisjunctive(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setUseEnergeticReasoningInNoOverlap2D(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setUseErwaHeuristic(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setUseExactLpReason(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setUseExtendedProbing(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setUseFeasibilityJump(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setUseFeasibilityPump(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setUseHardPrecedencesInCumulative(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setUseImpliedBounds(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setUseLbRelaxLns(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setUseLinear3ForNoOverlap2DPrecedences(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setUseLns(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setUseLnsOnly(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setUseLsOnly(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setUseObjectiveLbSearch(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setUseObjectiveShavingSearch(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setUseOptimizationHints(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setUseOptionalVariables(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setUseOverloadCheckerInCumulative(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setUsePbResolution(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setUsePhaseSaving(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setUsePrecedencesInDisjunctiveConstraint(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setUseProbingSearch(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setUseRinsLns(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setUseSatInprocessing(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setUseSharedTreeSearch(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setUseStrongPropagationInDisjunctive(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setUseSymmetryInLp(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setUseTimetableEdgeFindingInCumulative(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setUseTimetablingInNoOverlap2D(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setUseTryEdgeReasoningInNoOverlap2D(boolean value) | com.google.ortools.sat.SatParameters.Builder | |
| setVariableActivityDecay(double value) | com.google.ortools.sat.SatParameters.Builder | |
| setVariablesShavingLevel(int value) | com.google.ortools.sat.SatParameters.Builder | |
| setViolationLsCompoundMoveProbability(double value) | com.google.ortools.sat.SatParameters.Builder | |
| setViolationLsPerturbationPeriod(int value) | com.google.ortools.sat.SatParameters.Builder | |
1.14.0