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

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

ABSOLUTE_GAP_LIMIT_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
ADD_CG_CUTS_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
ADD_CLIQUE_CUTS_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
ADD_LIN_MAX_CUTS_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
ADD_LP_CONSTRAINTS_LAZILY_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
ADD_MIR_CUTS_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
ADD_OBJECTIVE_CUT_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
ADD_RLT_CUTS_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
ADD_ZERO_HALF_CUTS_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
ALSO_BUMP_VARIABLES_IN_CONFLICT_REASONS_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
AT_MOST_ONE_MAX_EXPANSION_SIZE_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
AUTO_DETECT_GREATER_THAN_AT_LEAST_ONE_OF_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
BINARY_MINIMIZATION_ALGORITHM_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
BINARY_SEARCH_NUM_CONFLICTS_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
BLOCKING_RESTART_MULTIPLIER_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
BLOCKING_RESTART_WINDOW_SIZE_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
BOOLEAN_ENCODING_LEVEL_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
CATCH_SIGINT_SIGNAL_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
CLAUSE_ACTIVITY_DECAY_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
CLAUSE_CLEANUP_LBD_BOUND_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
CLAUSE_CLEANUP_ORDERING_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
CLAUSE_CLEANUP_PERIOD_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
CLAUSE_CLEANUP_PROTECTION_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
CLAUSE_CLEANUP_RATIO_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
CLAUSE_CLEANUP_TARGET_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
CONVERT_INTERVALS_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
CORE_MINIMIZATION_LEVEL_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
COUNT_ASSUMPTION_LEVELS_IN_LBD_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
COVER_OPTIMIZATION_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
CP_MODEL_PRESOLVE_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
CP_MODEL_PROBING_LEVEL_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
CP_MODEL_USE_SAT_PRESOLVE_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
CUT_ACTIVE_COUNT_DECAY_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
CUT_CLEANUP_TARGET_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
CUT_LEVEL_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
CUT_MAX_ACTIVE_COUNT_VALUE_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
DEBUG_CRASH_ON_BAD_HINT_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
DEBUG_MAX_NUM_PRESOLVE_OPERATIONS_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
DEBUG_POSTSOLVE_WITH_FULL_SOLVER_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
DEFAULT_RESTART_ALGORITHMS_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
DETECT_LINEARIZED_PRODUCT_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
DETECT_TABLE_WITH_COST_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
DISABLE_CONSTRAINT_EXPANSION_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
DIVERSIFY_LNS_PARAMS_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
ENCODE_COMPLEX_LINEAR_CONSTRAINT_WITH_INTEGER_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
ENUMERATE_ALL_SOLUTIONS_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
equals(final java.lang.Object obj)com.google.ortools.sat.SatParameters
EXPAND_ALLDIFF_CONSTRAINTS_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
EXPAND_RESERVOIR_CONSTRAINTS_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
EXPLOIT_ALL_LP_SOLUTION_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
EXPLOIT_ALL_PRECEDENCES_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
EXPLOIT_BEST_SOLUTION_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
EXPLOIT_INTEGER_LP_SOLUTION_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
EXPLOIT_OBJECTIVE_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
EXPLOIT_RELAXATION_SOLUTION_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
EXTRA_SUBSOLVERS_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
FEASIBILITY_JUMP_DECAY_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
FEASIBILITY_JUMP_ENABLE_RESTARTS_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
FEASIBILITY_JUMP_LINEARIZATION_LEVEL_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
FEASIBILITY_JUMP_MAX_EXPANDED_CONSTRAINT_SIZE_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
FEASIBILITY_JUMP_RESTART_FACTOR_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
FEASIBILITY_JUMP_VAR_PERBURBATION_RANGE_RATIO_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
FEASIBILITY_JUMP_VAR_RANDOMIZATION_PROBABILITY_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
FILL_ADDITIONAL_SOLUTIONS_IN_RESPONSE_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
FILL_TIGHTENED_DOMAINS_IN_RESPONSE_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
FIND_BIG_LINEAR_OVERLAP_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
FIND_MULTIPLE_CORES_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
FIX_VARIABLES_TO_THEIR_HINTED_VALUE_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
FP_ROUNDING_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
getAbsoluteGapLimit()com.google.ortools.sat.SatParameters
getAddCgCuts()com.google.ortools.sat.SatParameters
getAddCliqueCuts()com.google.ortools.sat.SatParameters
getAddLinMaxCuts()com.google.ortools.sat.SatParameters
getAddLpConstraintsLazily()com.google.ortools.sat.SatParameters
getAddMirCuts()com.google.ortools.sat.SatParameters
getAddObjectiveCut()com.google.ortools.sat.SatParameters
getAddRltCuts()com.google.ortools.sat.SatParameters
getAddZeroHalfCuts()com.google.ortools.sat.SatParameters
getAlsoBumpVariablesInConflictReasons()com.google.ortools.sat.SatParameters
getAtMostOneMaxExpansionSize()com.google.ortools.sat.SatParameters
getAutoDetectGreaterThanAtLeastOneOf()com.google.ortools.sat.SatParameters
getBinaryMinimizationAlgorithm()com.google.ortools.sat.SatParameters
getBinarySearchNumConflicts()com.google.ortools.sat.SatParameters
getBlockingRestartMultiplier()com.google.ortools.sat.SatParameters
getBlockingRestartWindowSize()com.google.ortools.sat.SatParameters
getBooleanEncodingLevel()com.google.ortools.sat.SatParameters
getCatchSigintSignal()com.google.ortools.sat.SatParameters
getClauseActivityDecay()com.google.ortools.sat.SatParameters
getClauseCleanupLbdBound()com.google.ortools.sat.SatParameters
getClauseCleanupOrdering()com.google.ortools.sat.SatParameters
getClauseCleanupPeriod()com.google.ortools.sat.SatParameters
getClauseCleanupProtection()com.google.ortools.sat.SatParameters
getClauseCleanupRatio()com.google.ortools.sat.SatParameters
getClauseCleanupTarget()com.google.ortools.sat.SatParameters
getConvertIntervals()com.google.ortools.sat.SatParameters
getCoreMinimizationLevel()com.google.ortools.sat.SatParameters
getCountAssumptionLevelsInLbd()com.google.ortools.sat.SatParameters
getCoverOptimization()com.google.ortools.sat.SatParameters
getCpModelPresolve()com.google.ortools.sat.SatParameters
getCpModelProbingLevel()com.google.ortools.sat.SatParameters
getCpModelUseSatPresolve()com.google.ortools.sat.SatParameters
getCutActiveCountDecay()com.google.ortools.sat.SatParameters
getCutCleanupTarget()com.google.ortools.sat.SatParameters
getCutLevel()com.google.ortools.sat.SatParameters
getCutMaxActiveCountValue()com.google.ortools.sat.SatParameters
getDebugCrashOnBadHint()com.google.ortools.sat.SatParameters
getDebugMaxNumPresolveOperations()com.google.ortools.sat.SatParameters
getDebugPostsolveWithFullSolver()com.google.ortools.sat.SatParameters
getDefaultInstance()com.google.ortools.sat.SatParametersstatic
getDefaultInstanceForType()com.google.ortools.sat.SatParameters
getDefaultRestartAlgorithms()com.google.ortools.sat.SatParameters
getDefaultRestartAlgorithmsBytes()com.google.ortools.sat.SatParameters
getDescriptor()com.google.ortools.sat.SatParametersstatic
getDetectLinearizedProduct()com.google.ortools.sat.SatParameters
getDetectTableWithCost()com.google.ortools.sat.SatParameters
getDisableConstraintExpansion()com.google.ortools.sat.SatParameters
getDiversifyLnsParams()com.google.ortools.sat.SatParameters
getEncodeComplexLinearConstraintWithInteger()com.google.ortools.sat.SatParameters
getEnumerateAllSolutions()com.google.ortools.sat.SatParameters
getExpandAlldiffConstraints()com.google.ortools.sat.SatParameters
getExpandReservoirConstraints()com.google.ortools.sat.SatParameters
getExploitAllLpSolution()com.google.ortools.sat.SatParameters
getExploitAllPrecedences()com.google.ortools.sat.SatParameters
getExploitBestSolution()com.google.ortools.sat.SatParameters
getExploitIntegerLpSolution()com.google.ortools.sat.SatParameters
getExploitObjective()com.google.ortools.sat.SatParameters
getExploitRelaxationSolution()com.google.ortools.sat.SatParameters
getExtraSubsolvers(int index)com.google.ortools.sat.SatParameters
getExtraSubsolversBytes(int index)com.google.ortools.sat.SatParameters
getExtraSubsolversCount()com.google.ortools.sat.SatParameters
getExtraSubsolversList()com.google.ortools.sat.SatParameters
getFeasibilityJumpDecay()com.google.ortools.sat.SatParameters
getFeasibilityJumpEnableRestarts()com.google.ortools.sat.SatParameters
getFeasibilityJumpLinearizationLevel()com.google.ortools.sat.SatParameters
getFeasibilityJumpMaxExpandedConstraintSize()com.google.ortools.sat.SatParameters
getFeasibilityJumpRestartFactor()com.google.ortools.sat.SatParameters
getFeasibilityJumpVarPerburbationRangeRatio()com.google.ortools.sat.SatParameters
getFeasibilityJumpVarRandomizationProbability()com.google.ortools.sat.SatParameters
getFillAdditionalSolutionsInResponse()com.google.ortools.sat.SatParameters
getFillTightenedDomainsInResponse()com.google.ortools.sat.SatParameters
getFindBigLinearOverlap()com.google.ortools.sat.SatParameters
getFindMultipleCores()com.google.ortools.sat.SatParameters
getFixVariablesToTheirHintedValue()com.google.ortools.sat.SatParameters
getFpRounding()com.google.ortools.sat.SatParameters
getGlucoseDecayIncrement()com.google.ortools.sat.SatParameters
getGlucoseDecayIncrementPeriod()com.google.ortools.sat.SatParameters
getGlucoseMaxDecay()com.google.ortools.sat.SatParameters
getHintConflictLimit()com.google.ortools.sat.SatParameters
getIgnoreNames()com.google.ortools.sat.SatParameters
getIgnoreSubsolvers(int index)com.google.ortools.sat.SatParameters
getIgnoreSubsolversBytes(int index)com.google.ortools.sat.SatParameters
getIgnoreSubsolversCount()com.google.ortools.sat.SatParameters
getIgnoreSubsolversList()com.google.ortools.sat.SatParameters
getInferAllDiffs()com.google.ortools.sat.SatParameters
getInitialPolarity()com.google.ortools.sat.SatParameters
getInitialVariablesActivity()com.google.ortools.sat.SatParameters
getInprocessingDtimeRatio()com.google.ortools.sat.SatParameters
getInprocessingMinimizationDtime()com.google.ortools.sat.SatParameters
getInprocessingProbingDtime()com.google.ortools.sat.SatParameters
getInstantiateAllVariables()com.google.ortools.sat.SatParameters
getInterleaveBatchSize()com.google.ortools.sat.SatParameters
getInterleaveSearch()com.google.ortools.sat.SatParameters
getKeepAllFeasibleSolutionsInPresolve()com.google.ortools.sat.SatParameters
getLinearizationLevel()com.google.ortools.sat.SatParameters
getLinearSplitSize()com.google.ortools.sat.SatParameters
getLogPrefix()com.google.ortools.sat.SatParameters
getLogPrefixBytes()com.google.ortools.sat.SatParameters
getLogSearchProgress()com.google.ortools.sat.SatParameters
getLogSubsolverStatistics()com.google.ortools.sat.SatParameters
getLogToResponse()com.google.ortools.sat.SatParameters
getLogToStdout()com.google.ortools.sat.SatParameters
getLpDualTolerance()com.google.ortools.sat.SatParameters
getLpPrimalTolerance()com.google.ortools.sat.SatParameters
getMaxAllDiffCutSize()com.google.ortools.sat.SatParameters
getMaxClauseActivityValue()com.google.ortools.sat.SatParameters
getMaxConsecutiveInactiveCount()com.google.ortools.sat.SatParameters
getMaxCutRoundsAtLevelZero()com.google.ortools.sat.SatParameters
getMaxDeterministicTime()com.google.ortools.sat.SatParameters
getMaxDomainSizeWhenEncodingEqNeqConstraints()com.google.ortools.sat.SatParameters
getMaxIntegerRoundingScaling()com.google.ortools.sat.SatParameters
getMaxMemoryInMb()com.google.ortools.sat.SatParameters
getMaxNumberOfConflicts()com.google.ortools.sat.SatParameters
getMaxNumCuts()com.google.ortools.sat.SatParameters
getMaxNumIntervalsForTimetableEdgeFinding()com.google.ortools.sat.SatParameters
getMaxPairsPairwiseReasoningInNoOverlap2D()com.google.ortools.sat.SatParameters
getMaxPresolveIterations()com.google.ortools.sat.SatParameters
getMaxSatAssumptionOrder()com.google.ortools.sat.SatParameters
getMaxSatReverseAssumptionOrder()com.google.ortools.sat.SatParameters
getMaxSatStratification()com.google.ortools.sat.SatParameters
getMaxSizeToCreatePrecedenceLiteralsInDisjunctive()com.google.ortools.sat.SatParameters
getMaxTimeInSeconds()com.google.ortools.sat.SatParameters
getMaxVariableActivityValue()com.google.ortools.sat.SatParameters
getMergeAtMostOneWorkLimit()com.google.ortools.sat.SatParameters
getMergeNoOverlapWorkLimit()com.google.ortools.sat.SatParameters
getMinimizationAlgorithm()com.google.ortools.sat.SatParameters
getMinimizeReductionDuringPbResolution()com.google.ortools.sat.SatParameters
getMinNumLnsWorkers()com.google.ortools.sat.SatParameters
getMinOrthogonalityForLpConstraints()com.google.ortools.sat.SatParameters
getMipAutomaticallyScaleVariables()com.google.ortools.sat.SatParameters
getMipCheckPrecision()com.google.ortools.sat.SatParameters
getMipComputeTrueObjectiveBound()com.google.ortools.sat.SatParameters
getMipDropTolerance()com.google.ortools.sat.SatParameters
getMipMaxActivityExponent()com.google.ortools.sat.SatParameters
getMipMaxBound()com.google.ortools.sat.SatParameters
getMipMaxValidMagnitude()com.google.ortools.sat.SatParameters
getMipPresolveLevel()com.google.ortools.sat.SatParameters
getMipScaleLargeDomain()com.google.ortools.sat.SatParameters
getMipTreatHighMagnitudeBoundsAsInfinity()com.google.ortools.sat.SatParameters
getMipVarScaling()com.google.ortools.sat.SatParameters
getMipWantedPrecision()com.google.ortools.sat.SatParameters
getName()com.google.ortools.sat.SatParameters
getNameBytes()com.google.ortools.sat.SatParameters
getNewConstraintsBatchSize()com.google.ortools.sat.SatParameters
getNewLinearPropagation()com.google.ortools.sat.SatParameters
getNumConflictsBeforeStrategyChanges()com.google.ortools.sat.SatParameters
getNumSearchWorkers()com.google.ortools.sat.SatParameters
getNumViolationLs()com.google.ortools.sat.SatParameters
getNumWorkers()com.google.ortools.sat.SatParameters
getOnlyAddCutsAtLevelZero()com.google.ortools.sat.SatParameters
getOnlySolveIp()com.google.ortools.sat.SatParameters
getOptimizeWithCore()com.google.ortools.sat.SatParameters
getOptimizeWithLbTreeSearch()com.google.ortools.sat.SatParameters
getOptimizeWithMaxHs()com.google.ortools.sat.SatParameters
getParserForType()com.google.ortools.sat.SatParameters
getPbCleanupIncrement()com.google.ortools.sat.SatParameters
getPbCleanupRatio()com.google.ortools.sat.SatParameters
getPermutePresolveConstraintOrder()com.google.ortools.sat.SatParameters
getPermuteVariableRandomly()com.google.ortools.sat.SatParameters
getPolarityRephaseIncrement()com.google.ortools.sat.SatParameters
getPolishLpSolution()com.google.ortools.sat.SatParameters
getPreferredVariableOrder()com.google.ortools.sat.SatParameters
getPresolveBlockedClause()com.google.ortools.sat.SatParameters
getPresolveBvaThreshold()com.google.ortools.sat.SatParameters
getPresolveBveClauseWeight()com.google.ortools.sat.SatParameters
getPresolveBveThreshold()com.google.ortools.sat.SatParameters
getPresolveExtractIntegerEnforcement()com.google.ortools.sat.SatParameters
getPresolveInclusionWorkLimit()com.google.ortools.sat.SatParameters
getPresolveProbingDeterministicTimeLimit()com.google.ortools.sat.SatParameters
getPresolveSubstitutionLevel()com.google.ortools.sat.SatParameters
getPresolveUseBva()com.google.ortools.sat.SatParameters
getProbingDeterministicTimeLimit()com.google.ortools.sat.SatParameters
getProbingNumCombinationsLimit()com.google.ortools.sat.SatParameters
getPropagationLoopDetectionFactor()com.google.ortools.sat.SatParameters
getPseudoCostReliabilityThreshold()com.google.ortools.sat.SatParameters
getPushAllTasksTowardStart()com.google.ortools.sat.SatParameters
getRandomBranchesRatio()com.google.ortools.sat.SatParameters
getRandomizeSearch()com.google.ortools.sat.SatParameters
getRandomPolarityRatio()com.google.ortools.sat.SatParameters
getRandomSeed()com.google.ortools.sat.SatParameters
getRelativeGapLimit()com.google.ortools.sat.SatParameters
getRepairHint()com.google.ortools.sat.SatParameters
getRestartAlgorithms(int index)com.google.ortools.sat.SatParameters
getRestartAlgorithmsCount()com.google.ortools.sat.SatParameters
getRestartAlgorithmsList()com.google.ortools.sat.SatParameters
getRestartDlAverageRatio()com.google.ortools.sat.SatParameters
getRestartLbdAverageRatio()com.google.ortools.sat.SatParameters
getRestartPeriod()com.google.ortools.sat.SatParameters
getRestartRunningWindowSize()com.google.ortools.sat.SatParameters
getRootLpIterations()com.google.ortools.sat.SatParameters
getSearchBranching()com.google.ortools.sat.SatParameters
getSearchRandomVariablePoolSize()com.google.ortools.sat.SatParameters
getSerializedSize()com.google.ortools.sat.SatParameters
getShareBinaryClauses()com.google.ortools.sat.SatParameters
getSharedTreeMaxNodesPerWorker()com.google.ortools.sat.SatParameters
getSharedTreeNumWorkers()com.google.ortools.sat.SatParameters
getSharedTreeSplitStrategy()com.google.ortools.sat.SatParameters
getSharedTreeWorkerObjectiveSplitProbability()com.google.ortools.sat.SatParameters
getShareLevelZeroBounds()com.google.ortools.sat.SatParameters
getShareObjectiveBounds()com.google.ortools.sat.SatParameters
getShavingSearchDeterministicTime()com.google.ortools.sat.SatParameters
getSolutionPoolSize()com.google.ortools.sat.SatParameters
getStopAfterFirstSolution()com.google.ortools.sat.SatParameters
getStopAfterPresolve()com.google.ortools.sat.SatParameters
getStopAfterRootPropagation()com.google.ortools.sat.SatParameters
getStrategyChangeIncreaseRatio()com.google.ortools.sat.SatParameters
getSubsolverParams(int index)com.google.ortools.sat.SatParameters
getSubsolverParamsCount()com.google.ortools.sat.SatParameters
getSubsolverParamsList()com.google.ortools.sat.SatParameters
getSubsolverParamsOrBuilder(int index)com.google.ortools.sat.SatParameters
getSubsolverParamsOrBuilderList()com.google.ortools.sat.SatParameters
getSubsolvers(int index)com.google.ortools.sat.SatParameters
getSubsolversBytes(int index)com.google.ortools.sat.SatParameters
getSubsolversCount()com.google.ortools.sat.SatParameters
getSubsolversList()com.google.ortools.sat.SatParameters
getSubsumptionDuringConflictAnalysis()com.google.ortools.sat.SatParameters
getSymmetryLevel()com.google.ortools.sat.SatParameters
getTableCompressionLevel()com.google.ortools.sat.SatParameters
getTestFeasibilityJump()com.google.ortools.sat.SatParameters
getUseAbslRandom()com.google.ortools.sat.SatParameters
getUseAreaEnergeticReasoningInNoOverlap2D()com.google.ortools.sat.SatParameters
getUseBlockingRestart()com.google.ortools.sat.SatParameters
getUseCombinedNoOverlap()com.google.ortools.sat.SatParameters
getUseDisjunctiveConstraintInCumulative()com.google.ortools.sat.SatParameters
getUseDualSchedulingHeuristics()com.google.ortools.sat.SatParameters
getUseDynamicPrecedenceInCumulative()com.google.ortools.sat.SatParameters
getUseDynamicPrecedenceInDisjunctive()com.google.ortools.sat.SatParameters
getUseEnergeticReasoningInNoOverlap2D()com.google.ortools.sat.SatParameters
getUseErwaHeuristic()com.google.ortools.sat.SatParameters
getUseExactLpReason()com.google.ortools.sat.SatParameters
getUseExtendedProbing()com.google.ortools.sat.SatParameters
getUseFeasibilityJump()com.google.ortools.sat.SatParameters
getUseFeasibilityPump()com.google.ortools.sat.SatParameters
getUseHardPrecedencesInCumulative()com.google.ortools.sat.SatParameters
getUseImpliedBounds()com.google.ortools.sat.SatParameters
getUseLbRelaxLns()com.google.ortools.sat.SatParameters
getUseLnsOnly()com.google.ortools.sat.SatParameters
getUseObjectiveLbSearch()com.google.ortools.sat.SatParameters
getUseObjectiveShavingSearch()com.google.ortools.sat.SatParameters
getUseOptimizationHints()com.google.ortools.sat.SatParameters
getUseOptionalVariables()com.google.ortools.sat.SatParameters
getUseOverloadCheckerInCumulative()com.google.ortools.sat.SatParameters
getUsePbResolution()com.google.ortools.sat.SatParameters
getUsePhaseSaving()com.google.ortools.sat.SatParameters
getUsePrecedencesInDisjunctiveConstraint()com.google.ortools.sat.SatParameters
getUseProbingSearch()com.google.ortools.sat.SatParameters
getUseRinsLns()com.google.ortools.sat.SatParameters
getUseSatInprocessing()com.google.ortools.sat.SatParameters
getUseSharedTreeSearch()com.google.ortools.sat.SatParameters
getUseShavingInProbingSearch()com.google.ortools.sat.SatParameters
getUseStrongPropagationInDisjunctive()com.google.ortools.sat.SatParameters
getUseTimetableEdgeFindingInCumulative()com.google.ortools.sat.SatParameters
getUseTimetablingInNoOverlap2D()com.google.ortools.sat.SatParameters
getVariableActivityDecay()com.google.ortools.sat.SatParameters
getViolationLsCompoundMoveProbability()com.google.ortools.sat.SatParameters
getViolationLsPerturbationPeriod()com.google.ortools.sat.SatParameters
GLUCOSE_DECAY_INCREMENT_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
GLUCOSE_DECAY_INCREMENT_PERIOD_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
GLUCOSE_MAX_DECAY_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
hasAbsoluteGapLimit()com.google.ortools.sat.SatParameters
hasAddCgCuts()com.google.ortools.sat.SatParameters
hasAddCliqueCuts()com.google.ortools.sat.SatParameters
hasAddLinMaxCuts()com.google.ortools.sat.SatParameters
hasAddLpConstraintsLazily()com.google.ortools.sat.SatParameters
hasAddMirCuts()com.google.ortools.sat.SatParameters
hasAddObjectiveCut()com.google.ortools.sat.SatParameters
hasAddRltCuts()com.google.ortools.sat.SatParameters
hasAddZeroHalfCuts()com.google.ortools.sat.SatParameters
hasAlsoBumpVariablesInConflictReasons()com.google.ortools.sat.SatParameters
hasAtMostOneMaxExpansionSize()com.google.ortools.sat.SatParameters
hasAutoDetectGreaterThanAtLeastOneOf()com.google.ortools.sat.SatParameters
hasBinaryMinimizationAlgorithm()com.google.ortools.sat.SatParameters
hasBinarySearchNumConflicts()com.google.ortools.sat.SatParameters
hasBlockingRestartMultiplier()com.google.ortools.sat.SatParameters
hasBlockingRestartWindowSize()com.google.ortools.sat.SatParameters
hasBooleanEncodingLevel()com.google.ortools.sat.SatParameters
hasCatchSigintSignal()com.google.ortools.sat.SatParameters
hasClauseActivityDecay()com.google.ortools.sat.SatParameters
hasClauseCleanupLbdBound()com.google.ortools.sat.SatParameters
hasClauseCleanupOrdering()com.google.ortools.sat.SatParameters
hasClauseCleanupPeriod()com.google.ortools.sat.SatParameters
hasClauseCleanupProtection()com.google.ortools.sat.SatParameters
hasClauseCleanupRatio()com.google.ortools.sat.SatParameters
hasClauseCleanupTarget()com.google.ortools.sat.SatParameters
hasConvertIntervals()com.google.ortools.sat.SatParameters
hasCoreMinimizationLevel()com.google.ortools.sat.SatParameters
hasCountAssumptionLevelsInLbd()com.google.ortools.sat.SatParameters
hasCoverOptimization()com.google.ortools.sat.SatParameters
hasCpModelPresolve()com.google.ortools.sat.SatParameters
hasCpModelProbingLevel()com.google.ortools.sat.SatParameters
hasCpModelUseSatPresolve()com.google.ortools.sat.SatParameters
hasCutActiveCountDecay()com.google.ortools.sat.SatParameters
hasCutCleanupTarget()com.google.ortools.sat.SatParameters
hasCutLevel()com.google.ortools.sat.SatParameters
hasCutMaxActiveCountValue()com.google.ortools.sat.SatParameters
hasDebugCrashOnBadHint()com.google.ortools.sat.SatParameters
hasDebugMaxNumPresolveOperations()com.google.ortools.sat.SatParameters
hasDebugPostsolveWithFullSolver()com.google.ortools.sat.SatParameters
hasDefaultRestartAlgorithms()com.google.ortools.sat.SatParameters
hasDetectLinearizedProduct()com.google.ortools.sat.SatParameters
hasDetectTableWithCost()com.google.ortools.sat.SatParameters
hasDisableConstraintExpansion()com.google.ortools.sat.SatParameters
hasDiversifyLnsParams()com.google.ortools.sat.SatParameters
hasEncodeComplexLinearConstraintWithInteger()com.google.ortools.sat.SatParameters
hasEnumerateAllSolutions()com.google.ortools.sat.SatParameters
hasExpandAlldiffConstraints()com.google.ortools.sat.SatParameters
hasExpandReservoirConstraints()com.google.ortools.sat.SatParameters
hasExploitAllLpSolution()com.google.ortools.sat.SatParameters
hasExploitAllPrecedences()com.google.ortools.sat.SatParameters
hasExploitBestSolution()com.google.ortools.sat.SatParameters
hasExploitIntegerLpSolution()com.google.ortools.sat.SatParameters
hasExploitObjective()com.google.ortools.sat.SatParameters
hasExploitRelaxationSolution()com.google.ortools.sat.SatParameters
hasFeasibilityJumpDecay()com.google.ortools.sat.SatParameters
hasFeasibilityJumpEnableRestarts()com.google.ortools.sat.SatParameters
hasFeasibilityJumpLinearizationLevel()com.google.ortools.sat.SatParameters
hasFeasibilityJumpMaxExpandedConstraintSize()com.google.ortools.sat.SatParameters
hasFeasibilityJumpRestartFactor()com.google.ortools.sat.SatParameters
hasFeasibilityJumpVarPerburbationRangeRatio()com.google.ortools.sat.SatParameters
hasFeasibilityJumpVarRandomizationProbability()com.google.ortools.sat.SatParameters
hasFillAdditionalSolutionsInResponse()com.google.ortools.sat.SatParameters
hasFillTightenedDomainsInResponse()com.google.ortools.sat.SatParameters
hasFindBigLinearOverlap()com.google.ortools.sat.SatParameters
hasFindMultipleCores()com.google.ortools.sat.SatParameters
hasFixVariablesToTheirHintedValue()com.google.ortools.sat.SatParameters
hasFpRounding()com.google.ortools.sat.SatParameters
hasGlucoseDecayIncrement()com.google.ortools.sat.SatParameters
hasGlucoseDecayIncrementPeriod()com.google.ortools.sat.SatParameters
hasGlucoseMaxDecay()com.google.ortools.sat.SatParameters
hashCode()com.google.ortools.sat.SatParameters
hasHintConflictLimit()com.google.ortools.sat.SatParameters
hasIgnoreNames()com.google.ortools.sat.SatParameters
hasInferAllDiffs()com.google.ortools.sat.SatParameters
hasInitialPolarity()com.google.ortools.sat.SatParameters
hasInitialVariablesActivity()com.google.ortools.sat.SatParameters
hasInprocessingDtimeRatio()com.google.ortools.sat.SatParameters
hasInprocessingMinimizationDtime()com.google.ortools.sat.SatParameters
hasInprocessingProbingDtime()com.google.ortools.sat.SatParameters
hasInstantiateAllVariables()com.google.ortools.sat.SatParameters
hasInterleaveBatchSize()com.google.ortools.sat.SatParameters
hasInterleaveSearch()com.google.ortools.sat.SatParameters
hasKeepAllFeasibleSolutionsInPresolve()com.google.ortools.sat.SatParameters
hasLinearizationLevel()com.google.ortools.sat.SatParameters
hasLinearSplitSize()com.google.ortools.sat.SatParameters
hasLogPrefix()com.google.ortools.sat.SatParameters
hasLogSearchProgress()com.google.ortools.sat.SatParameters
hasLogSubsolverStatistics()com.google.ortools.sat.SatParameters
hasLogToResponse()com.google.ortools.sat.SatParameters
hasLogToStdout()com.google.ortools.sat.SatParameters
hasLpDualTolerance()com.google.ortools.sat.SatParameters
hasLpPrimalTolerance()com.google.ortools.sat.SatParameters
hasMaxAllDiffCutSize()com.google.ortools.sat.SatParameters
hasMaxClauseActivityValue()com.google.ortools.sat.SatParameters
hasMaxConsecutiveInactiveCount()com.google.ortools.sat.SatParameters
hasMaxCutRoundsAtLevelZero()com.google.ortools.sat.SatParameters
hasMaxDeterministicTime()com.google.ortools.sat.SatParameters
hasMaxDomainSizeWhenEncodingEqNeqConstraints()com.google.ortools.sat.SatParameters
hasMaxIntegerRoundingScaling()com.google.ortools.sat.SatParameters
hasMaxMemoryInMb()com.google.ortools.sat.SatParameters
hasMaxNumberOfConflicts()com.google.ortools.sat.SatParameters
hasMaxNumCuts()com.google.ortools.sat.SatParameters
hasMaxNumIntervalsForTimetableEdgeFinding()com.google.ortools.sat.SatParameters
hasMaxPairsPairwiseReasoningInNoOverlap2D()com.google.ortools.sat.SatParameters
hasMaxPresolveIterations()com.google.ortools.sat.SatParameters
hasMaxSatAssumptionOrder()com.google.ortools.sat.SatParameters
hasMaxSatReverseAssumptionOrder()com.google.ortools.sat.SatParameters
hasMaxSatStratification()com.google.ortools.sat.SatParameters
hasMaxSizeToCreatePrecedenceLiteralsInDisjunctive()com.google.ortools.sat.SatParameters
hasMaxTimeInSeconds()com.google.ortools.sat.SatParameters
hasMaxVariableActivityValue()com.google.ortools.sat.SatParameters
hasMergeAtMostOneWorkLimit()com.google.ortools.sat.SatParameters
hasMergeNoOverlapWorkLimit()com.google.ortools.sat.SatParameters
hasMinimizationAlgorithm()com.google.ortools.sat.SatParameters
hasMinimizeReductionDuringPbResolution()com.google.ortools.sat.SatParameters
hasMinNumLnsWorkers()com.google.ortools.sat.SatParameters
hasMinOrthogonalityForLpConstraints()com.google.ortools.sat.SatParameters
hasMipAutomaticallyScaleVariables()com.google.ortools.sat.SatParameters
hasMipCheckPrecision()com.google.ortools.sat.SatParameters
hasMipComputeTrueObjectiveBound()com.google.ortools.sat.SatParameters
hasMipDropTolerance()com.google.ortools.sat.SatParameters
hasMipMaxActivityExponent()com.google.ortools.sat.SatParameters
hasMipMaxBound()com.google.ortools.sat.SatParameters
hasMipMaxValidMagnitude()com.google.ortools.sat.SatParameters
hasMipPresolveLevel()com.google.ortools.sat.SatParameters
hasMipScaleLargeDomain()com.google.ortools.sat.SatParameters
hasMipTreatHighMagnitudeBoundsAsInfinity()com.google.ortools.sat.SatParameters
hasMipVarScaling()com.google.ortools.sat.SatParameters
hasMipWantedPrecision()com.google.ortools.sat.SatParameters
hasName()com.google.ortools.sat.SatParameters
hasNewConstraintsBatchSize()com.google.ortools.sat.SatParameters
hasNewLinearPropagation()com.google.ortools.sat.SatParameters
hasNumConflictsBeforeStrategyChanges()com.google.ortools.sat.SatParameters
hasNumSearchWorkers()com.google.ortools.sat.SatParameters
hasNumViolationLs()com.google.ortools.sat.SatParameters
hasNumWorkers()com.google.ortools.sat.SatParameters
hasOnlyAddCutsAtLevelZero()com.google.ortools.sat.SatParameters
hasOnlySolveIp()com.google.ortools.sat.SatParameters
hasOptimizeWithCore()com.google.ortools.sat.SatParameters
hasOptimizeWithLbTreeSearch()com.google.ortools.sat.SatParameters
hasOptimizeWithMaxHs()com.google.ortools.sat.SatParameters
hasPbCleanupIncrement()com.google.ortools.sat.SatParameters
hasPbCleanupRatio()com.google.ortools.sat.SatParameters
hasPermutePresolveConstraintOrder()com.google.ortools.sat.SatParameters
hasPermuteVariableRandomly()com.google.ortools.sat.SatParameters
hasPolarityRephaseIncrement()com.google.ortools.sat.SatParameters
hasPolishLpSolution()com.google.ortools.sat.SatParameters
hasPreferredVariableOrder()com.google.ortools.sat.SatParameters
hasPresolveBlockedClause()com.google.ortools.sat.SatParameters
hasPresolveBvaThreshold()com.google.ortools.sat.SatParameters
hasPresolveBveClauseWeight()com.google.ortools.sat.SatParameters
hasPresolveBveThreshold()com.google.ortools.sat.SatParameters
hasPresolveExtractIntegerEnforcement()com.google.ortools.sat.SatParameters
hasPresolveInclusionWorkLimit()com.google.ortools.sat.SatParameters
hasPresolveProbingDeterministicTimeLimit()com.google.ortools.sat.SatParameters
hasPresolveSubstitutionLevel()com.google.ortools.sat.SatParameters
hasPresolveUseBva()com.google.ortools.sat.SatParameters
hasProbingDeterministicTimeLimit()com.google.ortools.sat.SatParameters
hasProbingNumCombinationsLimit()com.google.ortools.sat.SatParameters
hasPropagationLoopDetectionFactor()com.google.ortools.sat.SatParameters
hasPseudoCostReliabilityThreshold()com.google.ortools.sat.SatParameters
hasPushAllTasksTowardStart()com.google.ortools.sat.SatParameters
hasRandomBranchesRatio()com.google.ortools.sat.SatParameters
hasRandomizeSearch()com.google.ortools.sat.SatParameters
hasRandomPolarityRatio()com.google.ortools.sat.SatParameters
hasRandomSeed()com.google.ortools.sat.SatParameters
hasRelativeGapLimit()com.google.ortools.sat.SatParameters
hasRepairHint()com.google.ortools.sat.SatParameters
hasRestartDlAverageRatio()com.google.ortools.sat.SatParameters
hasRestartLbdAverageRatio()com.google.ortools.sat.SatParameters
hasRestartPeriod()com.google.ortools.sat.SatParameters
hasRestartRunningWindowSize()com.google.ortools.sat.SatParameters
hasRootLpIterations()com.google.ortools.sat.SatParameters
hasSearchBranching()com.google.ortools.sat.SatParameters
hasSearchRandomVariablePoolSize()com.google.ortools.sat.SatParameters
hasShareBinaryClauses()com.google.ortools.sat.SatParameters
hasSharedTreeMaxNodesPerWorker()com.google.ortools.sat.SatParameters
hasSharedTreeNumWorkers()com.google.ortools.sat.SatParameters
hasSharedTreeSplitStrategy()com.google.ortools.sat.SatParameters
hasSharedTreeWorkerObjectiveSplitProbability()com.google.ortools.sat.SatParameters
hasShareLevelZeroBounds()com.google.ortools.sat.SatParameters
hasShareObjectiveBounds()com.google.ortools.sat.SatParameters
hasShavingSearchDeterministicTime()com.google.ortools.sat.SatParameters
hasSolutionPoolSize()com.google.ortools.sat.SatParameters
hasStopAfterFirstSolution()com.google.ortools.sat.SatParameters
hasStopAfterPresolve()com.google.ortools.sat.SatParameters
hasStopAfterRootPropagation()com.google.ortools.sat.SatParameters
hasStrategyChangeIncreaseRatio()com.google.ortools.sat.SatParameters
hasSubsumptionDuringConflictAnalysis()com.google.ortools.sat.SatParameters
hasSymmetryLevel()com.google.ortools.sat.SatParameters
hasTableCompressionLevel()com.google.ortools.sat.SatParameters
hasTestFeasibilityJump()com.google.ortools.sat.SatParameters
hasUseAbslRandom()com.google.ortools.sat.SatParameters
hasUseAreaEnergeticReasoningInNoOverlap2D()com.google.ortools.sat.SatParameters
hasUseBlockingRestart()com.google.ortools.sat.SatParameters
hasUseCombinedNoOverlap()com.google.ortools.sat.SatParameters
hasUseDisjunctiveConstraintInCumulative()com.google.ortools.sat.SatParameters
hasUseDualSchedulingHeuristics()com.google.ortools.sat.SatParameters
hasUseDynamicPrecedenceInCumulative()com.google.ortools.sat.SatParameters
hasUseDynamicPrecedenceInDisjunctive()com.google.ortools.sat.SatParameters
hasUseEnergeticReasoningInNoOverlap2D()com.google.ortools.sat.SatParameters
hasUseErwaHeuristic()com.google.ortools.sat.SatParameters
hasUseExactLpReason()com.google.ortools.sat.SatParameters
hasUseExtendedProbing()com.google.ortools.sat.SatParameters
hasUseFeasibilityJump()com.google.ortools.sat.SatParameters
hasUseFeasibilityPump()com.google.ortools.sat.SatParameters
hasUseHardPrecedencesInCumulative()com.google.ortools.sat.SatParameters
hasUseImpliedBounds()com.google.ortools.sat.SatParameters
hasUseLbRelaxLns()com.google.ortools.sat.SatParameters
hasUseLnsOnly()com.google.ortools.sat.SatParameters
hasUseObjectiveLbSearch()com.google.ortools.sat.SatParameters
hasUseObjectiveShavingSearch()com.google.ortools.sat.SatParameters
hasUseOptimizationHints()com.google.ortools.sat.SatParameters
hasUseOptionalVariables()com.google.ortools.sat.SatParameters
hasUseOverloadCheckerInCumulative()com.google.ortools.sat.SatParameters
hasUsePbResolution()com.google.ortools.sat.SatParameters
hasUsePhaseSaving()com.google.ortools.sat.SatParameters
hasUsePrecedencesInDisjunctiveConstraint()com.google.ortools.sat.SatParameters
hasUseProbingSearch()com.google.ortools.sat.SatParameters
hasUseRinsLns()com.google.ortools.sat.SatParameters
hasUseSatInprocessing()com.google.ortools.sat.SatParameters
hasUseSharedTreeSearch()com.google.ortools.sat.SatParameters
hasUseShavingInProbingSearch()com.google.ortools.sat.SatParameters
hasUseStrongPropagationInDisjunctive()com.google.ortools.sat.SatParameters
hasUseTimetableEdgeFindingInCumulative()com.google.ortools.sat.SatParameters
hasUseTimetablingInNoOverlap2D()com.google.ortools.sat.SatParameters
hasVariableActivityDecay()com.google.ortools.sat.SatParameters
hasViolationLsCompoundMoveProbability()com.google.ortools.sat.SatParameters
hasViolationLsPerturbationPeriod()com.google.ortools.sat.SatParameters
HINT_CONFLICT_LIMIT_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
IGNORE_NAMES_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
IGNORE_SUBSOLVERS_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
INFER_ALL_DIFFS_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
INITIAL_POLARITY_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
INITIAL_VARIABLES_ACTIVITY_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
INPROCESSING_DTIME_RATIO_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
INPROCESSING_MINIMIZATION_DTIME_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
INPROCESSING_PROBING_DTIME_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
INSTANTIATE_ALL_VARIABLES_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
INTERLEAVE_BATCH_SIZE_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
INTERLEAVE_SEARCH_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
internalGetFieldAccessorTable()com.google.ortools.sat.SatParametersprotected
isInitialized()com.google.ortools.sat.SatParameters
KEEP_ALL_FEASIBLE_SOLUTIONS_IN_PRESOLVE_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
LINEAR_SPLIT_SIZE_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
LINEARIZATION_LEVEL_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
LOG_PREFIX_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
LOG_SEARCH_PROGRESS_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
LOG_SUBSOLVER_STATISTICS_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
LOG_TO_RESPONSE_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
LOG_TO_STDOUT_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
LP_DUAL_TOLERANCE_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
LP_PRIMAL_TOLERANCE_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
MAX_ALL_DIFF_CUT_SIZE_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
MAX_CLAUSE_ACTIVITY_VALUE_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
MAX_CONSECUTIVE_INACTIVE_COUNT_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
MAX_CUT_ROUNDS_AT_LEVEL_ZERO_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
MAX_DETERMINISTIC_TIME_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
MAX_DOMAIN_SIZE_WHEN_ENCODING_EQ_NEQ_CONSTRAINTS_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
MAX_INTEGER_ROUNDING_SCALING_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
MAX_MEMORY_IN_MB_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
MAX_NUM_CUTS_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
MAX_NUM_INTERVALS_FOR_TIMETABLE_EDGE_FINDING_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
MAX_NUMBER_OF_CONFLICTS_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
MAX_PAIRS_PAIRWISE_REASONING_IN_NO_OVERLAP_2D_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
MAX_PRESOLVE_ITERATIONS_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
MAX_SAT_ASSUMPTION_ORDER_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
MAX_SAT_REVERSE_ASSUMPTION_ORDER_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
MAX_SAT_STRATIFICATION_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
MAX_SIZE_TO_CREATE_PRECEDENCE_LITERALS_IN_DISJUNCTIVE_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
MAX_TIME_IN_SECONDS_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
MAX_VARIABLE_ACTIVITY_VALUE_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
MERGE_AT_MOST_ONE_WORK_LIMIT_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
MERGE_NO_OVERLAP_WORK_LIMIT_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
MIN_NUM_LNS_WORKERS_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
MIN_ORTHOGONALITY_FOR_LP_CONSTRAINTS_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
MINIMIZATION_ALGORITHM_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
MINIMIZE_REDUCTION_DURING_PB_RESOLUTION_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
MIP_AUTOMATICALLY_SCALE_VARIABLES_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
MIP_CHECK_PRECISION_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
MIP_COMPUTE_TRUE_OBJECTIVE_BOUND_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
MIP_DROP_TOLERANCE_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
MIP_MAX_ACTIVITY_EXPONENT_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
MIP_MAX_BOUND_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
MIP_MAX_VALID_MAGNITUDE_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
MIP_PRESOLVE_LEVEL_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
MIP_SCALE_LARGE_DOMAIN_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
MIP_TREAT_HIGH_MAGNITUDE_BOUNDS_AS_INFINITY_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
MIP_VAR_SCALING_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
MIP_WANTED_PRECISION_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
NAME_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
NEW_CONSTRAINTS_BATCH_SIZE_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
NEW_LINEAR_PROPAGATION_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
newBuilder()com.google.ortools.sat.SatParametersstatic
newBuilder(com.google.ortools.sat.SatParameters prototype)com.google.ortools.sat.SatParametersstatic
newBuilderForType()com.google.ortools.sat.SatParameters
newBuilderForType(com.google.protobuf.GeneratedMessageV3.BuilderParent parent)com.google.ortools.sat.SatParametersprotected
newInstance(UnusedPrivateParameter unused)com.google.ortools.sat.SatParametersprotected
NUM_CONFLICTS_BEFORE_STRATEGY_CHANGES_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
NUM_SEARCH_WORKERS_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
NUM_VIOLATION_LS_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
NUM_WORKERS_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
ONLY_ADD_CUTS_AT_LEVEL_ZERO_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
ONLY_SOLVE_IP_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
OPTIMIZE_WITH_CORE_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
OPTIMIZE_WITH_LB_TREE_SEARCH_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
OPTIMIZE_WITH_MAX_HS_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
parseDelimitedFrom(java.io.InputStream input)com.google.ortools.sat.SatParametersstatic
parseDelimitedFrom(java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)com.google.ortools.sat.SatParametersstatic
parseFrom(java.nio.ByteBuffer data)com.google.ortools.sat.SatParametersstatic
parseFrom(java.nio.ByteBuffer data, com.google.protobuf.ExtensionRegistryLite extensionRegistry)com.google.ortools.sat.SatParametersstatic
parseFrom(com.google.protobuf.ByteString data)com.google.ortools.sat.SatParametersstatic
parseFrom(com.google.protobuf.ByteString data, com.google.protobuf.ExtensionRegistryLite extensionRegistry)com.google.ortools.sat.SatParametersstatic
parseFrom(byte[] data)com.google.ortools.sat.SatParametersstatic
parseFrom(byte[] data, com.google.protobuf.ExtensionRegistryLite extensionRegistry)com.google.ortools.sat.SatParametersstatic
parseFrom(java.io.InputStream input)com.google.ortools.sat.SatParametersstatic
parseFrom(java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)com.google.ortools.sat.SatParametersstatic
parseFrom(com.google.protobuf.CodedInputStream input)com.google.ortools.sat.SatParametersstatic
parseFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)com.google.ortools.sat.SatParametersstatic
PARSERcom.google.ortools.sat.SatParametersstatic
parser()com.google.ortools.sat.SatParametersstatic
PB_CLEANUP_INCREMENT_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
PB_CLEANUP_RATIO_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
PERMUTE_PRESOLVE_CONSTRAINT_ORDER_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
PERMUTE_VARIABLE_RANDOMLY_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
POLARITY_REPHASE_INCREMENT_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
POLISH_LP_SOLUTION_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
PREFERRED_VARIABLE_ORDER_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
PRESOLVE_BLOCKED_CLAUSE_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
PRESOLVE_BVA_THRESHOLD_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
PRESOLVE_BVE_CLAUSE_WEIGHT_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
PRESOLVE_BVE_THRESHOLD_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
PRESOLVE_EXTRACT_INTEGER_ENFORCEMENT_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
PRESOLVE_INCLUSION_WORK_LIMIT_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
PRESOLVE_PROBING_DETERMINISTIC_TIME_LIMIT_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
PRESOLVE_SUBSTITUTION_LEVEL_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
PRESOLVE_USE_BVA_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
PROBING_DETERMINISTIC_TIME_LIMIT_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
PROBING_NUM_COMBINATIONS_LIMIT_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
PROPAGATION_LOOP_DETECTION_FACTOR_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
PSEUDO_COST_RELIABILITY_THRESHOLD_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
PUSH_ALL_TASKS_TOWARD_START_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
RANDOM_BRANCHES_RATIO_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
RANDOM_POLARITY_RATIO_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
RANDOM_SEED_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
RANDOMIZE_SEARCH_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
RELATIVE_GAP_LIMIT_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
REPAIR_HINT_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
RESTART_ALGORITHMS_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
RESTART_DL_AVERAGE_RATIO_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
RESTART_LBD_AVERAGE_RATIO_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
RESTART_PERIOD_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
RESTART_RUNNING_WINDOW_SIZE_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
ROOT_LP_ITERATIONS_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
SEARCH_BRANCHING_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
SEARCH_RANDOM_VARIABLE_POOL_SIZE_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
SHARE_BINARY_CLAUSES_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
SHARE_LEVEL_ZERO_BOUNDS_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
SHARE_OBJECTIVE_BOUNDS_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
SHARED_TREE_MAX_NODES_PER_WORKER_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
SHARED_TREE_NUM_WORKERS_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
SHARED_TREE_SPLIT_STRATEGY_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
SHARED_TREE_WORKER_OBJECTIVE_SPLIT_PROBABILITY_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
SHAVING_SEARCH_DETERMINISTIC_TIME_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
SOLUTION_POOL_SIZE_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
STOP_AFTER_FIRST_SOLUTION_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
STOP_AFTER_PRESOLVE_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
STOP_AFTER_ROOT_PROPAGATION_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
STRATEGY_CHANGE_INCREASE_RATIO_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
SUBSOLVER_PARAMS_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
SUBSOLVERS_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
SUBSUMPTION_DURING_CONFLICT_ANALYSIS_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
SYMMETRY_LEVEL_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
TABLE_COMPRESSION_LEVEL_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
TEST_FEASIBILITY_JUMP_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
toBuilder()com.google.ortools.sat.SatParameters
USE_ABSL_RANDOM_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
USE_AREA_ENERGETIC_REASONING_IN_NO_OVERLAP_2D_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
USE_BLOCKING_RESTART_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
USE_COMBINED_NO_OVERLAP_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
USE_DISJUNCTIVE_CONSTRAINT_IN_CUMULATIVE_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
USE_DUAL_SCHEDULING_HEURISTICS_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
USE_DYNAMIC_PRECEDENCE_IN_CUMULATIVE_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
USE_DYNAMIC_PRECEDENCE_IN_DISJUNCTIVE_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
USE_ENERGETIC_REASONING_IN_NO_OVERLAP_2D_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
USE_ERWA_HEURISTIC_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
USE_EXACT_LP_REASON_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
USE_EXTENDED_PROBING_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
USE_FEASIBILITY_JUMP_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
USE_FEASIBILITY_PUMP_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
USE_HARD_PRECEDENCES_IN_CUMULATIVE_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
USE_IMPLIED_BOUNDS_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
USE_LB_RELAX_LNS_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
USE_LNS_ONLY_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
USE_OBJECTIVE_LB_SEARCH_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
USE_OBJECTIVE_SHAVING_SEARCH_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
USE_OPTIMIZATION_HINTS_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
USE_OPTIONAL_VARIABLES_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
USE_OVERLOAD_CHECKER_IN_CUMULATIVE_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
USE_PB_RESOLUTION_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
USE_PHASE_SAVING_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
USE_PRECEDENCES_IN_DISJUNCTIVE_CONSTRAINT_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
USE_PROBING_SEARCH_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
USE_RINS_LNS_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
USE_SAT_INPROCESSING_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
USE_SHARED_TREE_SEARCH_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
USE_SHAVING_IN_PROBING_SEARCH_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
USE_STRONG_PROPAGATION_IN_DISJUNCTIVE_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
USE_TIMETABLE_EDGE_FINDING_IN_CUMULATIVE_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
USE_TIMETABLING_IN_NO_OVERLAP_2D_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
VARIABLE_ACTIVITY_DECAY_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
VIOLATION_LS_COMPOUND_MOVE_PROBABILITY_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
VIOLATION_LS_PERTURBATION_PERIOD_FIELD_NUMBERcom.google.ortools.sat.SatParametersstatic
writeTo(com.google.protobuf.CodedOutputStream output)com.google.ortools.sat.SatParameters