Google OR-Tools 7.7
Java Reference
CP-SAT
Graph
Knapsack solver
Linear solver
Routing
Util
Java Reference
Namespaces
Classes
Files
com
google
ortools
sat
SatParameters
SatParameters Member List
This is the complete list of members for
SatParameters
, including all inherited members.
ABSOLUTE_GAP_LIMIT_FIELD_NUMBER
SatParameters
static
ADD_CG_CUTS_FIELD_NUMBER
SatParameters
static
ADD_KNAPSACK_CUTS_FIELD_NUMBER
SatParameters
static
ADD_LIN_MAX_CUTS_FIELD_NUMBER
SatParameters
static
ADD_LP_CONSTRAINTS_LAZILY_FIELD_NUMBER
SatParameters
static
ADD_MIR_CUTS_FIELD_NUMBER
SatParameters
static
ALSO_BUMP_VARIABLES_IN_CONFLICT_REASONS_FIELD_NUMBER
SatParameters
static
AUTO_DETECT_GREATER_THAN_AT_LEAST_ONE_OF_FIELD_NUMBER
SatParameters
static
BINARY_MINIMIZATION_ALGORITHM_FIELD_NUMBER
SatParameters
static
BINARY_SEARCH_NUM_CONFLICTS_FIELD_NUMBER
SatParameters
static
BLOCKING_RESTART_MULTIPLIER_FIELD_NUMBER
SatParameters
static
BLOCKING_RESTART_WINDOW_SIZE_FIELD_NUMBER
SatParameters
static
BOOLEAN_ENCODING_LEVEL_FIELD_NUMBER
SatParameters
static
CATCH_SIGINT_SIGNAL_FIELD_NUMBER
SatParameters
static
CLAUSE_ACTIVITY_DECAY_FIELD_NUMBER
SatParameters
static
CLAUSE_CLEANUP_LBD_BOUND_FIELD_NUMBER
SatParameters
static
CLAUSE_CLEANUP_ORDERING_FIELD_NUMBER
SatParameters
static
CLAUSE_CLEANUP_PERIOD_FIELD_NUMBER
SatParameters
static
CLAUSE_CLEANUP_PROTECTION_FIELD_NUMBER
SatParameters
static
CLAUSE_CLEANUP_TARGET_FIELD_NUMBER
SatParameters
static
COUNT_ASSUMPTION_LEVELS_IN_LBD_FIELD_NUMBER
SatParameters
static
COVER_OPTIMIZATION_FIELD_NUMBER
SatParameters
static
CP_MODEL_MAX_NUM_PRESOLVE_OPERATIONS_FIELD_NUMBER
SatParameters
static
CP_MODEL_POSTSOLVE_WITH_FULL_SOLVER_FIELD_NUMBER
SatParameters
static
CP_MODEL_PRESOLVE_FIELD_NUMBER
SatParameters
static
CP_MODEL_PROBING_LEVEL_FIELD_NUMBER
SatParameters
static
CP_MODEL_USE_SAT_PRESOLVE_FIELD_NUMBER
SatParameters
static
CUT_ACTIVE_COUNT_DECAY_FIELD_NUMBER
SatParameters
static
CUT_CLEANUP_TARGET_FIELD_NUMBER
SatParameters
static
CUT_MAX_ACTIVE_COUNT_VALUE_FIELD_NUMBER
SatParameters
static
DEFAULT_RESTART_ALGORITHMS_FIELD_NUMBER
SatParameters
static
DIVERSIFY_LNS_PARAMS_FIELD_NUMBER
SatParameters
static
ENUMERATE_ALL_SOLUTIONS_FIELD_NUMBER
SatParameters
static
equals
(final java.lang.Object obj)
SatParameters
inline
EXPAND_AUTOMATON_CONSTRAINTS_FIELD_NUMBER
SatParameters
static
EXPAND_ELEMENT_CONSTRAINTS_FIELD_NUMBER
SatParameters
static
EXPAND_TABLE_CONSTRAINTS_FIELD_NUMBER
SatParameters
static
EXPLOIT_ALL_LP_SOLUTION_FIELD_NUMBER
SatParameters
static
EXPLOIT_BEST_SOLUTION_FIELD_NUMBER
SatParameters
static
EXPLOIT_INTEGER_LP_SOLUTION_FIELD_NUMBER
SatParameters
static
EXPLOIT_OBJECTIVE_FIELD_NUMBER
SatParameters
static
EXPLOIT_RELAXATION_SOLUTION_FIELD_NUMBER
SatParameters
static
FILL_TIGHTENED_DOMAINS_IN_RESPONSE_FIELD_NUMBER
SatParameters
static
FIND_MULTIPLE_CORES_FIELD_NUMBER
SatParameters
static
getAbsoluteGapLimit
()
SatParameters
inline
getAddCgCuts
()
SatParameters
inline
getAddKnapsackCuts
()
SatParameters
inline
getAddLinMaxCuts
()
SatParameters
inline
getAddLpConstraintsLazily
()
SatParameters
inline
getAddMirCuts
()
SatParameters
inline
getAlsoBumpVariablesInConflictReasons
()
SatParameters
inline
getAutoDetectGreaterThanAtLeastOneOf
()
SatParameters
inline
getBinaryMinimizationAlgorithm
()
SatParameters
inline
getBinarySearchNumConflicts
()
SatParameters
inline
getBlockingRestartMultiplier
()
SatParameters
inline
getBlockingRestartWindowSize
()
SatParameters
inline
getBooleanEncodingLevel
()
SatParameters
inline
getCatchSigintSignal
()
SatParameters
inline
getClauseActivityDecay
()
SatParameters
inline
getClauseCleanupLbdBound
()
SatParameters
inline
getClauseCleanupOrdering
()
SatParameters
inline
getClauseCleanupPeriod
()
SatParameters
inline
getClauseCleanupProtection
()
SatParameters
inline
getClauseCleanupTarget
()
SatParameters
inline
getCountAssumptionLevelsInLbd
()
SatParameters
inline
getCoverOptimization
()
SatParameters
inline
getCpModelMaxNumPresolveOperations
()
SatParameters
inline
getCpModelPostsolveWithFullSolver
()
SatParameters
inline
getCpModelPresolve
()
SatParameters
inline
getCpModelProbingLevel
()
SatParameters
inline
getCpModelUseSatPresolve
()
SatParameters
inline
getCutActiveCountDecay
()
SatParameters
inline
getCutCleanupTarget
()
SatParameters
inline
getCutMaxActiveCountValue
()
SatParameters
inline
getDefaultInstance
()
SatParameters
inline
static
getDefaultInstanceForType
()
SatParameters
inline
getDefaultRestartAlgorithms
()
SatParameters
inline
getDefaultRestartAlgorithmsBytes
()
SatParameters
inline
getDescriptor
()
SatParameters
inline
static
getDiversifyLnsParams
()
SatParameters
inline
getEnumerateAllSolutions
()
SatParameters
inline
getExpandAutomatonConstraints
()
SatParameters
inline
getExpandElementConstraints
()
SatParameters
inline
getExpandTableConstraints
()
SatParameters
inline
getExploitAllLpSolution
()
SatParameters
inline
getExploitBestSolution
()
SatParameters
inline
getExploitIntegerLpSolution
()
SatParameters
inline
getExploitObjective
()
SatParameters
inline
getExploitRelaxationSolution
()
SatParameters
inline
getFillTightenedDomainsInResponse
()
SatParameters
inline
getFindMultipleCores
()
SatParameters
inline
getGlucoseDecayIncrement
()
SatParameters
inline
getGlucoseDecayIncrementPeriod
()
SatParameters
inline
getGlucoseMaxDecay
()
SatParameters
inline
getHintConflictLimit
()
SatParameters
inline
getInitialPolarity
()
SatParameters
inline
getInitialVariablesActivity
()
SatParameters
inline
getInstantiateAllVariables
()
SatParameters
inline
getInterleaveBatchSize
()
SatParameters
inline
getInterleaveSearch
()
SatParameters
inline
getLinearizationLevel
()
SatParameters
inline
getLnsFocusOnDecisionVariables
()
SatParameters
inline
getLogSearchProgress
()
SatParameters
inline
getMaxAllDiffCutSize
()
SatParameters
inline
getMaxClauseActivityValue
()
SatParameters
inline
getMaxConsecutiveInactiveCount
()
SatParameters
inline
getMaxCutRoundsAtLevelZero
()
SatParameters
inline
getMaxDeterministicTime
()
SatParameters
inline
getMaxIntegerRoundingScaling
()
SatParameters
inline
getMaxMemoryInMb
()
SatParameters
inline
getMaxNumberOfConflicts
()
SatParameters
inline
getMaxNumCuts
()
SatParameters
inline
getMaxPresolveIterations
()
SatParameters
inline
getMaxSatAssumptionOrder
()
SatParameters
inline
getMaxSatReverseAssumptionOrder
()
SatParameters
inline
getMaxSatStratification
()
SatParameters
inline
getMaxTimeInSeconds
()
SatParameters
inline
getMaxVariableActivityValue
()
SatParameters
inline
getMergeAtMostOneWorkLimit
()
SatParameters
inline
getMergeNoOverlapWorkLimit
()
SatParameters
inline
getMinimizationAlgorithm
()
SatParameters
inline
getMinimizeCore
()
SatParameters
inline
getMinimizeReductionDuringPbResolution
()
SatParameters
inline
getMinimizeWithPropagationNumDecisions
()
SatParameters
inline
getMinimizeWithPropagationRestartPeriod
()
SatParameters
inline
getMinOrthogonalityForLpConstraints
()
SatParameters
inline
getMipCheckPrecision
()
SatParameters
inline
getMipMaxActivityExponent
()
SatParameters
inline
getMipMaxBound
()
SatParameters
inline
getMipVarScaling
()
SatParameters
inline
getMipWantedPrecision
()
SatParameters
inline
getNewConstraintsBatchSize
()
SatParameters
inline
getNumConflictsBeforeStrategyChanges
()
SatParameters
inline
getNumSearchWorkers
()
SatParameters
inline
getOnlyAddCutsAtLevelZero
()
SatParameters
inline
getOptimizeWithCore
()
SatParameters
inline
getOptimizeWithMaxHs
()
SatParameters
inline
getParserForType
()
SatParameters
inline
getPbCleanupIncrement
()
SatParameters
inline
getPbCleanupRatio
()
SatParameters
inline
getPreferredVariableOrder
()
SatParameters
inline
getPresolveBlockedClause
()
SatParameters
inline
getPresolveBvaThreshold
()
SatParameters
inline
getPresolveBveClauseWeight
()
SatParameters
inline
getPresolveBveThreshold
()
SatParameters
inline
getPresolveProbingDeterministicTimeLimit
()
SatParameters
inline
getPresolveSubstitutionLevel
()
SatParameters
inline
getPresolveUseBva
()
SatParameters
inline
getProbingPeriodAtRoot
()
SatParameters
inline
getPseudoCostReliabilityThreshold
()
SatParameters
inline
getRandomBranchesRatio
()
SatParameters
inline
getRandomizeSearch
()
SatParameters
inline
getRandomPolarityRatio
()
SatParameters
inline
getRandomSeed
()
SatParameters
inline
getReduceMemoryUsageInInterleaveMode
()
SatParameters
inline
getRelativeGapLimit
()
SatParameters
inline
getRestartAlgorithms
(int index)
SatParameters
inline
getRestartAlgorithmsCount
()
SatParameters
inline
getRestartAlgorithmsList
()
SatParameters
inline
getRestartDlAverageRatio
()
SatParameters
inline
getRestartLbdAverageRatio
()
SatParameters
inline
getRestartPeriod
()
SatParameters
inline
getRestartRunningWindowSize
()
SatParameters
inline
getSearchBranching
()
SatParameters
inline
getSearchRandomizationTolerance
()
SatParameters
inline
getSerializedSize
()
SatParameters
inline
getShareLevelZeroBounds
()
SatParameters
inline
getShareObjectiveBounds
()
SatParameters
inline
getStopAfterFirstSolution
()
SatParameters
inline
getStopAfterPresolve
()
SatParameters
inline
getStrategyChangeIncreaseRatio
()
SatParameters
inline
getSubsumptionDuringConflictAnalysis
()
SatParameters
inline
getTreatBinaryClausesSeparately
()
SatParameters
inline
getUnknownFields
()
SatParameters
inline
getUseBlockingRestart
()
SatParameters
inline
getUseBranchingInLp
()
SatParameters
inline
getUseCombinedNoOverlap
()
SatParameters
inline
getUseDisjunctiveConstraintInCumulativeConstraint
()
SatParameters
inline
getUseErwaHeuristic
()
SatParameters
inline
getUseExactLpReason
()
SatParameters
inline
getUseFeasibilityPump
()
SatParameters
inline
getUseImpliedBounds
()
SatParameters
inline
getUseLnsOnly
()
SatParameters
inline
getUseOptimizationHints
()
SatParameters
inline
getUseOptionalVariables
()
SatParameters
inline
getUseOverloadCheckerInCumulativeConstraint
()
SatParameters
inline
getUsePbResolution
()
SatParameters
inline
getUsePhaseSaving
()
SatParameters
inline
getUsePrecedencesInDisjunctiveConstraint
()
SatParameters
inline
getUseRelaxationLns
()
SatParameters
inline
getUseRinsLns
()
SatParameters
inline
getUseSatInprocessing
()
SatParameters
inline
getUseTimetableEdgeFindingInCumulativeConstraint
()
SatParameters
inline
getVariableActivityDecay
()
SatParameters
inline
GLUCOSE_DECAY_INCREMENT_FIELD_NUMBER
SatParameters
static
GLUCOSE_DECAY_INCREMENT_PERIOD_FIELD_NUMBER
SatParameters
static
GLUCOSE_MAX_DECAY_FIELD_NUMBER
SatParameters
static
hasAbsoluteGapLimit
()
SatParameters
inline
hasAddCgCuts
()
SatParameters
inline
hasAddKnapsackCuts
()
SatParameters
inline
hasAddLinMaxCuts
()
SatParameters
inline
hasAddLpConstraintsLazily
()
SatParameters
inline
hasAddMirCuts
()
SatParameters
inline
hasAlsoBumpVariablesInConflictReasons
()
SatParameters
inline
hasAutoDetectGreaterThanAtLeastOneOf
()
SatParameters
inline
hasBinaryMinimizationAlgorithm
()
SatParameters
inline
hasBinarySearchNumConflicts
()
SatParameters
inline
hasBlockingRestartMultiplier
()
SatParameters
inline
hasBlockingRestartWindowSize
()
SatParameters
inline
hasBooleanEncodingLevel
()
SatParameters
inline
hasCatchSigintSignal
()
SatParameters
inline
hasClauseActivityDecay
()
SatParameters
inline
hasClauseCleanupLbdBound
()
SatParameters
inline
hasClauseCleanupOrdering
()
SatParameters
inline
hasClauseCleanupPeriod
()
SatParameters
inline
hasClauseCleanupProtection
()
SatParameters
inline
hasClauseCleanupTarget
()
SatParameters
inline
hasCountAssumptionLevelsInLbd
()
SatParameters
inline
hasCoverOptimization
()
SatParameters
inline
hasCpModelMaxNumPresolveOperations
()
SatParameters
inline
hasCpModelPostsolveWithFullSolver
()
SatParameters
inline
hasCpModelPresolve
()
SatParameters
inline
hasCpModelProbingLevel
()
SatParameters
inline
hasCpModelUseSatPresolve
()
SatParameters
inline
hasCutActiveCountDecay
()
SatParameters
inline
hasCutCleanupTarget
()
SatParameters
inline
hasCutMaxActiveCountValue
()
SatParameters
inline
hasDefaultRestartAlgorithms
()
SatParameters
inline
hasDiversifyLnsParams
()
SatParameters
inline
hasEnumerateAllSolutions
()
SatParameters
inline
hasExpandAutomatonConstraints
()
SatParameters
inline
hasExpandElementConstraints
()
SatParameters
inline
hasExpandTableConstraints
()
SatParameters
inline
hasExploitAllLpSolution
()
SatParameters
inline
hasExploitBestSolution
()
SatParameters
inline
hasExploitIntegerLpSolution
()
SatParameters
inline
hasExploitObjective
()
SatParameters
inline
hasExploitRelaxationSolution
()
SatParameters
inline
hasFillTightenedDomainsInResponse
()
SatParameters
inline
hasFindMultipleCores
()
SatParameters
inline
hasGlucoseDecayIncrement
()
SatParameters
inline
hasGlucoseDecayIncrementPeriod
()
SatParameters
inline
hasGlucoseMaxDecay
()
SatParameters
inline
hashCode
()
SatParameters
inline
hasHintConflictLimit
()
SatParameters
inline
hasInitialPolarity
()
SatParameters
inline
hasInitialVariablesActivity
()
SatParameters
inline
hasInstantiateAllVariables
()
SatParameters
inline
hasInterleaveBatchSize
()
SatParameters
inline
hasInterleaveSearch
()
SatParameters
inline
hasLinearizationLevel
()
SatParameters
inline
hasLnsFocusOnDecisionVariables
()
SatParameters
inline
hasLogSearchProgress
()
SatParameters
inline
hasMaxAllDiffCutSize
()
SatParameters
inline
hasMaxClauseActivityValue
()
SatParameters
inline
hasMaxConsecutiveInactiveCount
()
SatParameters
inline
hasMaxCutRoundsAtLevelZero
()
SatParameters
inline
hasMaxDeterministicTime
()
SatParameters
inline
hasMaxIntegerRoundingScaling
()
SatParameters
inline
hasMaxMemoryInMb
()
SatParameters
inline
hasMaxNumberOfConflicts
()
SatParameters
inline
hasMaxNumCuts
()
SatParameters
inline
hasMaxPresolveIterations
()
SatParameters
inline
hasMaxSatAssumptionOrder
()
SatParameters
inline
hasMaxSatReverseAssumptionOrder
()
SatParameters
inline
hasMaxSatStratification
()
SatParameters
inline
hasMaxTimeInSeconds
()
SatParameters
inline
hasMaxVariableActivityValue
()
SatParameters
inline
hasMergeAtMostOneWorkLimit
()
SatParameters
inline
hasMergeNoOverlapWorkLimit
()
SatParameters
inline
hasMinimizationAlgorithm
()
SatParameters
inline
hasMinimizeCore
()
SatParameters
inline
hasMinimizeReductionDuringPbResolution
()
SatParameters
inline
hasMinimizeWithPropagationNumDecisions
()
SatParameters
inline
hasMinimizeWithPropagationRestartPeriod
()
SatParameters
inline
hasMinOrthogonalityForLpConstraints
()
SatParameters
inline
hasMipCheckPrecision
()
SatParameters
inline
hasMipMaxActivityExponent
()
SatParameters
inline
hasMipMaxBound
()
SatParameters
inline
hasMipVarScaling
()
SatParameters
inline
hasMipWantedPrecision
()
SatParameters
inline
hasNewConstraintsBatchSize
()
SatParameters
inline
hasNumConflictsBeforeStrategyChanges
()
SatParameters
inline
hasNumSearchWorkers
()
SatParameters
inline
hasOnlyAddCutsAtLevelZero
()
SatParameters
inline
hasOptimizeWithCore
()
SatParameters
inline
hasOptimizeWithMaxHs
()
SatParameters
inline
hasPbCleanupIncrement
()
SatParameters
inline
hasPbCleanupRatio
()
SatParameters
inline
hasPreferredVariableOrder
()
SatParameters
inline
hasPresolveBlockedClause
()
SatParameters
inline
hasPresolveBvaThreshold
()
SatParameters
inline
hasPresolveBveClauseWeight
()
SatParameters
inline
hasPresolveBveThreshold
()
SatParameters
inline
hasPresolveProbingDeterministicTimeLimit
()
SatParameters
inline
hasPresolveSubstitutionLevel
()
SatParameters
inline
hasPresolveUseBva
()
SatParameters
inline
hasProbingPeriodAtRoot
()
SatParameters
inline
hasPseudoCostReliabilityThreshold
()
SatParameters
inline
hasRandomBranchesRatio
()
SatParameters
inline
hasRandomizeSearch
()
SatParameters
inline
hasRandomPolarityRatio
()
SatParameters
inline
hasRandomSeed
()
SatParameters
inline
hasReduceMemoryUsageInInterleaveMode
()
SatParameters
inline
hasRelativeGapLimit
()
SatParameters
inline
hasRestartDlAverageRatio
()
SatParameters
inline
hasRestartLbdAverageRatio
()
SatParameters
inline
hasRestartPeriod
()
SatParameters
inline
hasRestartRunningWindowSize
()
SatParameters
inline
hasSearchBranching
()
SatParameters
inline
hasSearchRandomizationTolerance
()
SatParameters
inline
hasShareLevelZeroBounds
()
SatParameters
inline
hasShareObjectiveBounds
()
SatParameters
inline
hasStopAfterFirstSolution
()
SatParameters
inline
hasStopAfterPresolve
()
SatParameters
inline
hasStrategyChangeIncreaseRatio
()
SatParameters
inline
hasSubsumptionDuringConflictAnalysis
()
SatParameters
inline
hasTreatBinaryClausesSeparately
()
SatParameters
inline
hasUseBlockingRestart
()
SatParameters
inline
hasUseBranchingInLp
()
SatParameters
inline
hasUseCombinedNoOverlap
()
SatParameters
inline
hasUseDisjunctiveConstraintInCumulativeConstraint
()
SatParameters
inline
hasUseErwaHeuristic
()
SatParameters
inline
hasUseExactLpReason
()
SatParameters
inline
hasUseFeasibilityPump
()
SatParameters
inline
hasUseImpliedBounds
()
SatParameters
inline
hasUseLnsOnly
()
SatParameters
inline
hasUseOptimizationHints
()
SatParameters
inline
hasUseOptionalVariables
()
SatParameters
inline
hasUseOverloadCheckerInCumulativeConstraint
()
SatParameters
inline
hasUsePbResolution
()
SatParameters
inline
hasUsePhaseSaving
()
SatParameters
inline
hasUsePrecedencesInDisjunctiveConstraint
()
SatParameters
inline
hasUseRelaxationLns
()
SatParameters
inline
hasUseRinsLns
()
SatParameters
inline
hasUseSatInprocessing
()
SatParameters
inline
hasUseTimetableEdgeFindingInCumulativeConstraint
()
SatParameters
inline
hasVariableActivityDecay
()
SatParameters
inline
HINT_CONFLICT_LIMIT_FIELD_NUMBER
SatParameters
static
INITIAL_POLARITY_FIELD_NUMBER
SatParameters
static
INITIAL_VARIABLES_ACTIVITY_FIELD_NUMBER
SatParameters
static
INSTANTIATE_ALL_VARIABLES_FIELD_NUMBER
SatParameters
static
INTERLEAVE_BATCH_SIZE_FIELD_NUMBER
SatParameters
static
INTERLEAVE_SEARCH_FIELD_NUMBER
SatParameters
static
internalGetFieldAccessorTable
()
SatParameters
inline
protected
isInitialized
()
SatParameters
inline
LINEARIZATION_LEVEL_FIELD_NUMBER
SatParameters
static
LNS_FOCUS_ON_DECISION_VARIABLES_FIELD_NUMBER
SatParameters
static
LOG_SEARCH_PROGRESS_FIELD_NUMBER
SatParameters
static
MAX_ALL_DIFF_CUT_SIZE_FIELD_NUMBER
SatParameters
static
MAX_CLAUSE_ACTIVITY_VALUE_FIELD_NUMBER
SatParameters
static
MAX_CONSECUTIVE_INACTIVE_COUNT_FIELD_NUMBER
SatParameters
static
MAX_CUT_ROUNDS_AT_LEVEL_ZERO_FIELD_NUMBER
SatParameters
static
MAX_DETERMINISTIC_TIME_FIELD_NUMBER
SatParameters
static
MAX_INTEGER_ROUNDING_SCALING_FIELD_NUMBER
SatParameters
static
MAX_MEMORY_IN_MB_FIELD_NUMBER
SatParameters
static
MAX_NUM_CUTS_FIELD_NUMBER
SatParameters
static
MAX_NUMBER_OF_CONFLICTS_FIELD_NUMBER
SatParameters
static
MAX_PRESOLVE_ITERATIONS_FIELD_NUMBER
SatParameters
static
MAX_SAT_ASSUMPTION_ORDER_FIELD_NUMBER
SatParameters
static
MAX_SAT_REVERSE_ASSUMPTION_ORDER_FIELD_NUMBER
SatParameters
static
MAX_SAT_STRATIFICATION_FIELD_NUMBER
SatParameters
static
MAX_TIME_IN_SECONDS_FIELD_NUMBER
SatParameters
static
MAX_VARIABLE_ACTIVITY_VALUE_FIELD_NUMBER
SatParameters
static
MERGE_AT_MOST_ONE_WORK_LIMIT_FIELD_NUMBER
SatParameters
static
MERGE_NO_OVERLAP_WORK_LIMIT_FIELD_NUMBER
SatParameters
static
MIN_ORTHOGONALITY_FOR_LP_CONSTRAINTS_FIELD_NUMBER
SatParameters
static
MINIMIZATION_ALGORITHM_FIELD_NUMBER
SatParameters
static
MINIMIZE_CORE_FIELD_NUMBER
SatParameters
static
MINIMIZE_REDUCTION_DURING_PB_RESOLUTION_FIELD_NUMBER
SatParameters
static
MINIMIZE_WITH_PROPAGATION_NUM_DECISIONS_FIELD_NUMBER
SatParameters
static
MINIMIZE_WITH_PROPAGATION_RESTART_PERIOD_FIELD_NUMBER
SatParameters
static
MIP_CHECK_PRECISION_FIELD_NUMBER
SatParameters
static
MIP_MAX_ACTIVITY_EXPONENT_FIELD_NUMBER
SatParameters
static
MIP_MAX_BOUND_FIELD_NUMBER
SatParameters
static
MIP_VAR_SCALING_FIELD_NUMBER
SatParameters
static
MIP_WANTED_PRECISION_FIELD_NUMBER
SatParameters
static
NEW_CONSTRAINTS_BATCH_SIZE_FIELD_NUMBER
SatParameters
static
newBuilder
()
SatParameters
inline
static
newBuilder
(com.google.ortools.sat.SatParameters prototype)
SatParameters
inline
static
newBuilderForType
()
SatParameters
inline
newBuilderForType
(com.google.protobuf.GeneratedMessageV3.BuilderParent parent)
SatParameters
inline
protected
newInstance
(UnusedPrivateParameter unused)
SatParameters
inline
protected
NUM_CONFLICTS_BEFORE_STRATEGY_CHANGES_FIELD_NUMBER
SatParameters
static
NUM_SEARCH_WORKERS_FIELD_NUMBER
SatParameters
static
ONLY_ADD_CUTS_AT_LEVEL_ZERO_FIELD_NUMBER
SatParameters
static
OPTIMIZE_WITH_CORE_FIELD_NUMBER
SatParameters
static
OPTIMIZE_WITH_MAX_HS_FIELD_NUMBER
SatParameters
static
parseDelimitedFrom
(java.io.InputStream input)
SatParameters
inline
static
parseDelimitedFrom
(java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
SatParameters
inline
static
parseFrom
(java.nio.ByteBuffer data)
SatParameters
inline
static
parseFrom
(java.nio.ByteBuffer data, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
SatParameters
inline
static
parseFrom
(com.google.protobuf.ByteString data)
SatParameters
inline
static
parseFrom
(com.google.protobuf.ByteString data, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
SatParameters
inline
static
parseFrom
(byte[] data)
SatParameters
inline
static
parseFrom
(byte[] data, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
SatParameters
inline
static
parseFrom
(java.io.InputStream input)
SatParameters
inline
static
parseFrom
(java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
SatParameters
inline
static
parseFrom
(com.google.protobuf.CodedInputStream input)
SatParameters
inline
static
parseFrom
(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
SatParameters
inline
static
PARSER
SatParameters
static
parser
()
SatParameters
inline
static
PB_CLEANUP_INCREMENT_FIELD_NUMBER
SatParameters
static
PB_CLEANUP_RATIO_FIELD_NUMBER
SatParameters
static
PREFERRED_VARIABLE_ORDER_FIELD_NUMBER
SatParameters
static
PRESOLVE_BLOCKED_CLAUSE_FIELD_NUMBER
SatParameters
static
PRESOLVE_BVA_THRESHOLD_FIELD_NUMBER
SatParameters
static
PRESOLVE_BVE_CLAUSE_WEIGHT_FIELD_NUMBER
SatParameters
static
PRESOLVE_BVE_THRESHOLD_FIELD_NUMBER
SatParameters
static
PRESOLVE_PROBING_DETERMINISTIC_TIME_LIMIT_FIELD_NUMBER
SatParameters
static
PRESOLVE_SUBSTITUTION_LEVEL_FIELD_NUMBER
SatParameters
static
PRESOLVE_USE_BVA_FIELD_NUMBER
SatParameters
static
PROBING_PERIOD_AT_ROOT_FIELD_NUMBER
SatParameters
static
PSEUDO_COST_RELIABILITY_THRESHOLD_FIELD_NUMBER
SatParameters
static
RANDOM_BRANCHES_RATIO_FIELD_NUMBER
SatParameters
static
RANDOM_POLARITY_RATIO_FIELD_NUMBER
SatParameters
static
RANDOM_SEED_FIELD_NUMBER
SatParameters
static
RANDOMIZE_SEARCH_FIELD_NUMBER
SatParameters
static
REDUCE_MEMORY_USAGE_IN_INTERLEAVE_MODE_FIELD_NUMBER
SatParameters
static
RELATIVE_GAP_LIMIT_FIELD_NUMBER
SatParameters
static
RESTART_ALGORITHMS_FIELD_NUMBER
SatParameters
static
RESTART_DL_AVERAGE_RATIO_FIELD_NUMBER
SatParameters
static
RESTART_LBD_AVERAGE_RATIO_FIELD_NUMBER
SatParameters
static
RESTART_PERIOD_FIELD_NUMBER
SatParameters
static
RESTART_RUNNING_WINDOW_SIZE_FIELD_NUMBER
SatParameters
static
SEARCH_BRANCHING_FIELD_NUMBER
SatParameters
static
SEARCH_RANDOMIZATION_TOLERANCE_FIELD_NUMBER
SatParameters
static
SHARE_LEVEL_ZERO_BOUNDS_FIELD_NUMBER
SatParameters
static
SHARE_OBJECTIVE_BOUNDS_FIELD_NUMBER
SatParameters
static
STOP_AFTER_FIRST_SOLUTION_FIELD_NUMBER
SatParameters
static
STOP_AFTER_PRESOLVE_FIELD_NUMBER
SatParameters
static
STRATEGY_CHANGE_INCREASE_RATIO_FIELD_NUMBER
SatParameters
static
SUBSUMPTION_DURING_CONFLICT_ANALYSIS_FIELD_NUMBER
SatParameters
static
toBuilder
()
SatParameters
inline
TREAT_BINARY_CLAUSES_SEPARATELY_FIELD_NUMBER
SatParameters
static
USE_BLOCKING_RESTART_FIELD_NUMBER
SatParameters
static
USE_BRANCHING_IN_LP_FIELD_NUMBER
SatParameters
static
USE_COMBINED_NO_OVERLAP_FIELD_NUMBER
SatParameters
static
USE_DISJUNCTIVE_CONSTRAINT_IN_CUMULATIVE_CONSTRAINT_FIELD_NUMBER
SatParameters
static
USE_ERWA_HEURISTIC_FIELD_NUMBER
SatParameters
static
USE_EXACT_LP_REASON_FIELD_NUMBER
SatParameters
static
USE_FEASIBILITY_PUMP_FIELD_NUMBER
SatParameters
static
USE_IMPLIED_BOUNDS_FIELD_NUMBER
SatParameters
static
USE_LNS_ONLY_FIELD_NUMBER
SatParameters
static
USE_OPTIMIZATION_HINTS_FIELD_NUMBER
SatParameters
static
USE_OPTIONAL_VARIABLES_FIELD_NUMBER
SatParameters
static
USE_OVERLOAD_CHECKER_IN_CUMULATIVE_CONSTRAINT_FIELD_NUMBER
SatParameters
static
USE_PB_RESOLUTION_FIELD_NUMBER
SatParameters
static
USE_PHASE_SAVING_FIELD_NUMBER
SatParameters
static
USE_PRECEDENCES_IN_DISJUNCTIVE_CONSTRAINT_FIELD_NUMBER
SatParameters
static
USE_RELAXATION_LNS_FIELD_NUMBER
SatParameters
static
USE_RINS_LNS_FIELD_NUMBER
SatParameters
static
USE_SAT_INPROCESSING_FIELD_NUMBER
SatParameters
static
USE_TIMETABLE_EDGE_FINDING_IN_CUMULATIVE_CONSTRAINT_FIELD_NUMBER
SatParameters
static
VARIABLE_ACTIVITY_DECAY_FIELD_NUMBER
SatParameters
static
writeTo
(com.google.protobuf.CodedOutputStream output)
SatParameters
inline