Java Reference

Java Reference

SatParameters Member List

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

ABSOLUTE_GAP_LIMIT_FIELD_NUMBERSatParametersstatic
ADD_CG_CUTS_FIELD_NUMBERSatParametersstatic
ADD_KNAPSACK_CUTS_FIELD_NUMBERSatParametersstatic
ADD_LIN_MAX_CUTS_FIELD_NUMBERSatParametersstatic
ADD_LP_CONSTRAINTS_LAZILY_FIELD_NUMBERSatParametersstatic
ADD_MIR_CUTS_FIELD_NUMBERSatParametersstatic
ALSO_BUMP_VARIABLES_IN_CONFLICT_REASONS_FIELD_NUMBERSatParametersstatic
AUTO_DETECT_GREATER_THAN_AT_LEAST_ONE_OF_FIELD_NUMBERSatParametersstatic
BINARY_MINIMIZATION_ALGORITHM_FIELD_NUMBERSatParametersstatic
BINARY_SEARCH_NUM_CONFLICTS_FIELD_NUMBERSatParametersstatic
BLOCKING_RESTART_MULTIPLIER_FIELD_NUMBERSatParametersstatic
BLOCKING_RESTART_WINDOW_SIZE_FIELD_NUMBERSatParametersstatic
BOOLEAN_ENCODING_LEVEL_FIELD_NUMBERSatParametersstatic
CATCH_SIGINT_SIGNAL_FIELD_NUMBERSatParametersstatic
CLAUSE_ACTIVITY_DECAY_FIELD_NUMBERSatParametersstatic
CLAUSE_CLEANUP_LBD_BOUND_FIELD_NUMBERSatParametersstatic
CLAUSE_CLEANUP_ORDERING_FIELD_NUMBERSatParametersstatic
CLAUSE_CLEANUP_PERIOD_FIELD_NUMBERSatParametersstatic
CLAUSE_CLEANUP_PROTECTION_FIELD_NUMBERSatParametersstatic
CLAUSE_CLEANUP_TARGET_FIELD_NUMBERSatParametersstatic
COUNT_ASSUMPTION_LEVELS_IN_LBD_FIELD_NUMBERSatParametersstatic
COVER_OPTIMIZATION_FIELD_NUMBERSatParametersstatic
CP_MODEL_MAX_NUM_PRESOLVE_OPERATIONS_FIELD_NUMBERSatParametersstatic
CP_MODEL_POSTSOLVE_WITH_FULL_SOLVER_FIELD_NUMBERSatParametersstatic
CP_MODEL_PRESOLVE_FIELD_NUMBERSatParametersstatic
CP_MODEL_PROBING_LEVEL_FIELD_NUMBERSatParametersstatic
CP_MODEL_USE_SAT_PRESOLVE_FIELD_NUMBERSatParametersstatic
CUT_ACTIVE_COUNT_DECAY_FIELD_NUMBERSatParametersstatic
CUT_CLEANUP_TARGET_FIELD_NUMBERSatParametersstatic
CUT_MAX_ACTIVE_COUNT_VALUE_FIELD_NUMBERSatParametersstatic
DEFAULT_RESTART_ALGORITHMS_FIELD_NUMBERSatParametersstatic
DIVERSIFY_LNS_PARAMS_FIELD_NUMBERSatParametersstatic
ENUMERATE_ALL_SOLUTIONS_FIELD_NUMBERSatParametersstatic
equals(final java.lang.Object obj)SatParametersinline
EXPAND_AUTOMATON_CONSTRAINTS_FIELD_NUMBERSatParametersstatic
EXPAND_ELEMENT_CONSTRAINTS_FIELD_NUMBERSatParametersstatic
EXPAND_TABLE_CONSTRAINTS_FIELD_NUMBERSatParametersstatic
EXPLOIT_ALL_LP_SOLUTION_FIELD_NUMBERSatParametersstatic
EXPLOIT_BEST_SOLUTION_FIELD_NUMBERSatParametersstatic
EXPLOIT_INTEGER_LP_SOLUTION_FIELD_NUMBERSatParametersstatic
EXPLOIT_OBJECTIVE_FIELD_NUMBERSatParametersstatic
EXPLOIT_RELAXATION_SOLUTION_FIELD_NUMBERSatParametersstatic
FILL_TIGHTENED_DOMAINS_IN_RESPONSE_FIELD_NUMBERSatParametersstatic
FIND_MULTIPLE_CORES_FIELD_NUMBERSatParametersstatic
getAbsoluteGapLimit()SatParametersinline
getAddCgCuts()SatParametersinline
getAddKnapsackCuts()SatParametersinline
getAddLinMaxCuts()SatParametersinline
getAddLpConstraintsLazily()SatParametersinline
getAddMirCuts()SatParametersinline
getAlsoBumpVariablesInConflictReasons()SatParametersinline
getAutoDetectGreaterThanAtLeastOneOf()SatParametersinline
getBinaryMinimizationAlgorithm()SatParametersinline
getBinarySearchNumConflicts()SatParametersinline
getBlockingRestartMultiplier()SatParametersinline
getBlockingRestartWindowSize()SatParametersinline
getBooleanEncodingLevel()SatParametersinline
getCatchSigintSignal()SatParametersinline
getClauseActivityDecay()SatParametersinline
getClauseCleanupLbdBound()SatParametersinline
getClauseCleanupOrdering()SatParametersinline
getClauseCleanupPeriod()SatParametersinline
getClauseCleanupProtection()SatParametersinline
getClauseCleanupTarget()SatParametersinline
getCountAssumptionLevelsInLbd()SatParametersinline
getCoverOptimization()SatParametersinline
getCpModelMaxNumPresolveOperations()SatParametersinline
getCpModelPostsolveWithFullSolver()SatParametersinline
getCpModelPresolve()SatParametersinline
getCpModelProbingLevel()SatParametersinline
getCpModelUseSatPresolve()SatParametersinline
getCutActiveCountDecay()SatParametersinline
getCutCleanupTarget()SatParametersinline
getCutMaxActiveCountValue()SatParametersinline
getDefaultInstance()SatParametersinlinestatic
getDefaultInstanceForType()SatParametersinline
getDefaultRestartAlgorithms()SatParametersinline
getDefaultRestartAlgorithmsBytes()SatParametersinline
getDescriptor()SatParametersinlinestatic
getDiversifyLnsParams()SatParametersinline
getEnumerateAllSolutions()SatParametersinline
getExpandAutomatonConstraints()SatParametersinline
getExpandElementConstraints()SatParametersinline
getExpandTableConstraints()SatParametersinline
getExploitAllLpSolution()SatParametersinline
getExploitBestSolution()SatParametersinline
getExploitIntegerLpSolution()SatParametersinline
getExploitObjective()SatParametersinline
getExploitRelaxationSolution()SatParametersinline
getFillTightenedDomainsInResponse()SatParametersinline
getFindMultipleCores()SatParametersinline
getGlucoseDecayIncrement()SatParametersinline
getGlucoseDecayIncrementPeriod()SatParametersinline
getGlucoseMaxDecay()SatParametersinline
getHintConflictLimit()SatParametersinline
getInitialPolarity()SatParametersinline
getInitialVariablesActivity()SatParametersinline
getInstantiateAllVariables()SatParametersinline
getInterleaveBatchSize()SatParametersinline
getInterleaveSearch()SatParametersinline
getLinearizationLevel()SatParametersinline
getLnsFocusOnDecisionVariables()SatParametersinline
getLogSearchProgress()SatParametersinline
getMaxAllDiffCutSize()SatParametersinline
getMaxClauseActivityValue()SatParametersinline
getMaxConsecutiveInactiveCount()SatParametersinline
getMaxCutRoundsAtLevelZero()SatParametersinline
getMaxDeterministicTime()SatParametersinline
getMaxIntegerRoundingScaling()SatParametersinline
getMaxMemoryInMb()SatParametersinline
getMaxNumberOfConflicts()SatParametersinline
getMaxNumCuts()SatParametersinline
getMaxPresolveIterations()SatParametersinline
getMaxSatAssumptionOrder()SatParametersinline
getMaxSatReverseAssumptionOrder()SatParametersinline
getMaxSatStratification()SatParametersinline
getMaxTimeInSeconds()SatParametersinline
getMaxVariableActivityValue()SatParametersinline
getMergeAtMostOneWorkLimit()SatParametersinline
getMergeNoOverlapWorkLimit()SatParametersinline
getMinimizationAlgorithm()SatParametersinline
getMinimizeCore()SatParametersinline
getMinimizeReductionDuringPbResolution()SatParametersinline
getMinimizeWithPropagationNumDecisions()SatParametersinline
getMinimizeWithPropagationRestartPeriod()SatParametersinline
getMinOrthogonalityForLpConstraints()SatParametersinline
getMipCheckPrecision()SatParametersinline
getMipMaxActivityExponent()SatParametersinline
getMipMaxBound()SatParametersinline
getMipVarScaling()SatParametersinline
getMipWantedPrecision()SatParametersinline
getNewConstraintsBatchSize()SatParametersinline
getNumConflictsBeforeStrategyChanges()SatParametersinline
getNumSearchWorkers()SatParametersinline
getOnlyAddCutsAtLevelZero()SatParametersinline
getOptimizeWithCore()SatParametersinline
getOptimizeWithMaxHs()SatParametersinline
getParserForType()SatParametersinline
getPbCleanupIncrement()SatParametersinline
getPbCleanupRatio()SatParametersinline
getPreferredVariableOrder()SatParametersinline
getPresolveBlockedClause()SatParametersinline
getPresolveBvaThreshold()SatParametersinline
getPresolveBveClauseWeight()SatParametersinline
getPresolveBveThreshold()SatParametersinline
getPresolveProbingDeterministicTimeLimit()SatParametersinline
getPresolveSubstitutionLevel()SatParametersinline
getPresolveUseBva()SatParametersinline
getProbingPeriodAtRoot()SatParametersinline
getPseudoCostReliabilityThreshold()SatParametersinline
getRandomBranchesRatio()SatParametersinline
getRandomizeSearch()SatParametersinline
getRandomPolarityRatio()SatParametersinline
getRandomSeed()SatParametersinline
getReduceMemoryUsageInInterleaveMode()SatParametersinline
getRelativeGapLimit()SatParametersinline
getRestartAlgorithms(int index)SatParametersinline
getRestartAlgorithmsCount()SatParametersinline
getRestartAlgorithmsList()SatParametersinline
getRestartDlAverageRatio()SatParametersinline
getRestartLbdAverageRatio()SatParametersinline
getRestartPeriod()SatParametersinline
getRestartRunningWindowSize()SatParametersinline
getSearchBranching()SatParametersinline
getSearchRandomizationTolerance()SatParametersinline
getSerializedSize()SatParametersinline
getShareLevelZeroBounds()SatParametersinline
getShareObjectiveBounds()SatParametersinline
getStopAfterFirstSolution()SatParametersinline
getStopAfterPresolve()SatParametersinline
getStrategyChangeIncreaseRatio()SatParametersinline
getSubsumptionDuringConflictAnalysis()SatParametersinline
getTreatBinaryClausesSeparately()SatParametersinline
getUnknownFields()SatParametersinline
getUseBlockingRestart()SatParametersinline
getUseBranchingInLp()SatParametersinline
getUseCombinedNoOverlap()SatParametersinline
getUseDisjunctiveConstraintInCumulativeConstraint()SatParametersinline
getUseErwaHeuristic()SatParametersinline
getUseExactLpReason()SatParametersinline
getUseFeasibilityPump()SatParametersinline
getUseImpliedBounds()SatParametersinline
getUseLnsOnly()SatParametersinline
getUseOptimizationHints()SatParametersinline
getUseOptionalVariables()SatParametersinline
getUseOverloadCheckerInCumulativeConstraint()SatParametersinline
getUsePbResolution()SatParametersinline
getUsePhaseSaving()SatParametersinline
getUsePrecedencesInDisjunctiveConstraint()SatParametersinline
getUseRelaxationLns()SatParametersinline
getUseRinsLns()SatParametersinline
getUseSatInprocessing()SatParametersinline
getUseTimetableEdgeFindingInCumulativeConstraint()SatParametersinline
getVariableActivityDecay()SatParametersinline
GLUCOSE_DECAY_INCREMENT_FIELD_NUMBERSatParametersstatic
GLUCOSE_DECAY_INCREMENT_PERIOD_FIELD_NUMBERSatParametersstatic
GLUCOSE_MAX_DECAY_FIELD_NUMBERSatParametersstatic
hasAbsoluteGapLimit()SatParametersinline
hasAddCgCuts()SatParametersinline
hasAddKnapsackCuts()SatParametersinline
hasAddLinMaxCuts()SatParametersinline
hasAddLpConstraintsLazily()SatParametersinline
hasAddMirCuts()SatParametersinline
hasAlsoBumpVariablesInConflictReasons()SatParametersinline
hasAutoDetectGreaterThanAtLeastOneOf()SatParametersinline
hasBinaryMinimizationAlgorithm()SatParametersinline
hasBinarySearchNumConflicts()SatParametersinline
hasBlockingRestartMultiplier()SatParametersinline
hasBlockingRestartWindowSize()SatParametersinline
hasBooleanEncodingLevel()SatParametersinline
hasCatchSigintSignal()SatParametersinline
hasClauseActivityDecay()SatParametersinline
hasClauseCleanupLbdBound()SatParametersinline
hasClauseCleanupOrdering()SatParametersinline
hasClauseCleanupPeriod()SatParametersinline
hasClauseCleanupProtection()SatParametersinline
hasClauseCleanupTarget()SatParametersinline
hasCountAssumptionLevelsInLbd()SatParametersinline
hasCoverOptimization()SatParametersinline
hasCpModelMaxNumPresolveOperations()SatParametersinline
hasCpModelPostsolveWithFullSolver()SatParametersinline
hasCpModelPresolve()SatParametersinline
hasCpModelProbingLevel()SatParametersinline
hasCpModelUseSatPresolve()SatParametersinline
hasCutActiveCountDecay()SatParametersinline
hasCutCleanupTarget()SatParametersinline
hasCutMaxActiveCountValue()SatParametersinline
hasDefaultRestartAlgorithms()SatParametersinline
hasDiversifyLnsParams()SatParametersinline
hasEnumerateAllSolutions()SatParametersinline
hasExpandAutomatonConstraints()SatParametersinline
hasExpandElementConstraints()SatParametersinline
hasExpandTableConstraints()SatParametersinline
hasExploitAllLpSolution()SatParametersinline
hasExploitBestSolution()SatParametersinline
hasExploitIntegerLpSolution()SatParametersinline
hasExploitObjective()SatParametersinline
hasExploitRelaxationSolution()SatParametersinline
hasFillTightenedDomainsInResponse()SatParametersinline
hasFindMultipleCores()SatParametersinline
hasGlucoseDecayIncrement()SatParametersinline
hasGlucoseDecayIncrementPeriod()SatParametersinline
hasGlucoseMaxDecay()SatParametersinline
hashCode()SatParametersinline
hasHintConflictLimit()SatParametersinline
hasInitialPolarity()SatParametersinline
hasInitialVariablesActivity()SatParametersinline
hasInstantiateAllVariables()SatParametersinline
hasInterleaveBatchSize()SatParametersinline
hasInterleaveSearch()SatParametersinline
hasLinearizationLevel()SatParametersinline
hasLnsFocusOnDecisionVariables()SatParametersinline
hasLogSearchProgress()SatParametersinline
hasMaxAllDiffCutSize()SatParametersinline
hasMaxClauseActivityValue()SatParametersinline
hasMaxConsecutiveInactiveCount()SatParametersinline
hasMaxCutRoundsAtLevelZero()SatParametersinline
hasMaxDeterministicTime()SatParametersinline
hasMaxIntegerRoundingScaling()SatParametersinline
hasMaxMemoryInMb()SatParametersinline
hasMaxNumberOfConflicts()SatParametersinline
hasMaxNumCuts()SatParametersinline
hasMaxPresolveIterations()SatParametersinline
hasMaxSatAssumptionOrder()SatParametersinline
hasMaxSatReverseAssumptionOrder()SatParametersinline
hasMaxSatStratification()SatParametersinline
hasMaxTimeInSeconds()SatParametersinline
hasMaxVariableActivityValue()SatParametersinline
hasMergeAtMostOneWorkLimit()SatParametersinline
hasMergeNoOverlapWorkLimit()SatParametersinline
hasMinimizationAlgorithm()SatParametersinline
hasMinimizeCore()SatParametersinline
hasMinimizeReductionDuringPbResolution()SatParametersinline
hasMinimizeWithPropagationNumDecisions()SatParametersinline
hasMinimizeWithPropagationRestartPeriod()SatParametersinline
hasMinOrthogonalityForLpConstraints()SatParametersinline
hasMipCheckPrecision()SatParametersinline
hasMipMaxActivityExponent()SatParametersinline
hasMipMaxBound()SatParametersinline
hasMipVarScaling()SatParametersinline
hasMipWantedPrecision()SatParametersinline
hasNewConstraintsBatchSize()SatParametersinline
hasNumConflictsBeforeStrategyChanges()SatParametersinline
hasNumSearchWorkers()SatParametersinline
hasOnlyAddCutsAtLevelZero()SatParametersinline
hasOptimizeWithCore()SatParametersinline
hasOptimizeWithMaxHs()SatParametersinline
hasPbCleanupIncrement()SatParametersinline
hasPbCleanupRatio()SatParametersinline
hasPreferredVariableOrder()SatParametersinline
hasPresolveBlockedClause()SatParametersinline
hasPresolveBvaThreshold()SatParametersinline
hasPresolveBveClauseWeight()SatParametersinline
hasPresolveBveThreshold()SatParametersinline
hasPresolveProbingDeterministicTimeLimit()SatParametersinline
hasPresolveSubstitutionLevel()SatParametersinline
hasPresolveUseBva()SatParametersinline
hasProbingPeriodAtRoot()SatParametersinline
hasPseudoCostReliabilityThreshold()SatParametersinline
hasRandomBranchesRatio()SatParametersinline
hasRandomizeSearch()SatParametersinline
hasRandomPolarityRatio()SatParametersinline
hasRandomSeed()SatParametersinline
hasReduceMemoryUsageInInterleaveMode()SatParametersinline
hasRelativeGapLimit()SatParametersinline
hasRestartDlAverageRatio()SatParametersinline
hasRestartLbdAverageRatio()SatParametersinline
hasRestartPeriod()SatParametersinline
hasRestartRunningWindowSize()SatParametersinline
hasSearchBranching()SatParametersinline
hasSearchRandomizationTolerance()SatParametersinline
hasShareLevelZeroBounds()SatParametersinline
hasShareObjectiveBounds()SatParametersinline
hasStopAfterFirstSolution()SatParametersinline
hasStopAfterPresolve()SatParametersinline
hasStrategyChangeIncreaseRatio()SatParametersinline
hasSubsumptionDuringConflictAnalysis()SatParametersinline
hasTreatBinaryClausesSeparately()SatParametersinline
hasUseBlockingRestart()SatParametersinline
hasUseBranchingInLp()SatParametersinline
hasUseCombinedNoOverlap()SatParametersinline
hasUseDisjunctiveConstraintInCumulativeConstraint()SatParametersinline
hasUseErwaHeuristic()SatParametersinline
hasUseExactLpReason()SatParametersinline
hasUseFeasibilityPump()SatParametersinline
hasUseImpliedBounds()SatParametersinline
hasUseLnsOnly()SatParametersinline
hasUseOptimizationHints()SatParametersinline
hasUseOptionalVariables()SatParametersinline
hasUseOverloadCheckerInCumulativeConstraint()SatParametersinline
hasUsePbResolution()SatParametersinline
hasUsePhaseSaving()SatParametersinline
hasUsePrecedencesInDisjunctiveConstraint()SatParametersinline
hasUseRelaxationLns()SatParametersinline
hasUseRinsLns()SatParametersinline
hasUseSatInprocessing()SatParametersinline
hasUseTimetableEdgeFindingInCumulativeConstraint()SatParametersinline
hasVariableActivityDecay()SatParametersinline
HINT_CONFLICT_LIMIT_FIELD_NUMBERSatParametersstatic
INITIAL_POLARITY_FIELD_NUMBERSatParametersstatic
INITIAL_VARIABLES_ACTIVITY_FIELD_NUMBERSatParametersstatic
INSTANTIATE_ALL_VARIABLES_FIELD_NUMBERSatParametersstatic
INTERLEAVE_BATCH_SIZE_FIELD_NUMBERSatParametersstatic
INTERLEAVE_SEARCH_FIELD_NUMBERSatParametersstatic
internalGetFieldAccessorTable()SatParametersinlineprotected
isInitialized()SatParametersinline
LINEARIZATION_LEVEL_FIELD_NUMBERSatParametersstatic
LNS_FOCUS_ON_DECISION_VARIABLES_FIELD_NUMBERSatParametersstatic
LOG_SEARCH_PROGRESS_FIELD_NUMBERSatParametersstatic
MAX_ALL_DIFF_CUT_SIZE_FIELD_NUMBERSatParametersstatic
MAX_CLAUSE_ACTIVITY_VALUE_FIELD_NUMBERSatParametersstatic
MAX_CONSECUTIVE_INACTIVE_COUNT_FIELD_NUMBERSatParametersstatic
MAX_CUT_ROUNDS_AT_LEVEL_ZERO_FIELD_NUMBERSatParametersstatic
MAX_DETERMINISTIC_TIME_FIELD_NUMBERSatParametersstatic
MAX_INTEGER_ROUNDING_SCALING_FIELD_NUMBERSatParametersstatic
MAX_MEMORY_IN_MB_FIELD_NUMBERSatParametersstatic
MAX_NUM_CUTS_FIELD_NUMBERSatParametersstatic
MAX_NUMBER_OF_CONFLICTS_FIELD_NUMBERSatParametersstatic
MAX_PRESOLVE_ITERATIONS_FIELD_NUMBERSatParametersstatic
MAX_SAT_ASSUMPTION_ORDER_FIELD_NUMBERSatParametersstatic
MAX_SAT_REVERSE_ASSUMPTION_ORDER_FIELD_NUMBERSatParametersstatic
MAX_SAT_STRATIFICATION_FIELD_NUMBERSatParametersstatic
MAX_TIME_IN_SECONDS_FIELD_NUMBERSatParametersstatic
MAX_VARIABLE_ACTIVITY_VALUE_FIELD_NUMBERSatParametersstatic
MERGE_AT_MOST_ONE_WORK_LIMIT_FIELD_NUMBERSatParametersstatic
MERGE_NO_OVERLAP_WORK_LIMIT_FIELD_NUMBERSatParametersstatic
MIN_ORTHOGONALITY_FOR_LP_CONSTRAINTS_FIELD_NUMBERSatParametersstatic
MINIMIZATION_ALGORITHM_FIELD_NUMBERSatParametersstatic
MINIMIZE_CORE_FIELD_NUMBERSatParametersstatic
MINIMIZE_REDUCTION_DURING_PB_RESOLUTION_FIELD_NUMBERSatParametersstatic
MINIMIZE_WITH_PROPAGATION_NUM_DECISIONS_FIELD_NUMBERSatParametersstatic
MINIMIZE_WITH_PROPAGATION_RESTART_PERIOD_FIELD_NUMBERSatParametersstatic
MIP_CHECK_PRECISION_FIELD_NUMBERSatParametersstatic
MIP_MAX_ACTIVITY_EXPONENT_FIELD_NUMBERSatParametersstatic
MIP_MAX_BOUND_FIELD_NUMBERSatParametersstatic
MIP_VAR_SCALING_FIELD_NUMBERSatParametersstatic
MIP_WANTED_PRECISION_FIELD_NUMBERSatParametersstatic
NEW_CONSTRAINTS_BATCH_SIZE_FIELD_NUMBERSatParametersstatic
newBuilder()SatParametersinlinestatic
newBuilder(com.google.ortools.sat.SatParameters prototype)SatParametersinlinestatic
newBuilderForType()SatParametersinline
newBuilderForType(com.google.protobuf.GeneratedMessageV3.BuilderParent parent)SatParametersinlineprotected
newInstance(UnusedPrivateParameter unused)SatParametersinlineprotected
NUM_CONFLICTS_BEFORE_STRATEGY_CHANGES_FIELD_NUMBERSatParametersstatic
NUM_SEARCH_WORKERS_FIELD_NUMBERSatParametersstatic
ONLY_ADD_CUTS_AT_LEVEL_ZERO_FIELD_NUMBERSatParametersstatic
OPTIMIZE_WITH_CORE_FIELD_NUMBERSatParametersstatic
OPTIMIZE_WITH_MAX_HS_FIELD_NUMBERSatParametersstatic
parseDelimitedFrom(java.io.InputStream input)SatParametersinlinestatic
parseDelimitedFrom(java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)SatParametersinlinestatic
parseFrom(java.nio.ByteBuffer data)SatParametersinlinestatic
parseFrom(java.nio.ByteBuffer data, com.google.protobuf.ExtensionRegistryLite extensionRegistry)SatParametersinlinestatic
parseFrom(com.google.protobuf.ByteString data)SatParametersinlinestatic
parseFrom(com.google.protobuf.ByteString data, com.google.protobuf.ExtensionRegistryLite extensionRegistry)SatParametersinlinestatic
parseFrom(byte[] data)SatParametersinlinestatic
parseFrom(byte[] data, com.google.protobuf.ExtensionRegistryLite extensionRegistry)SatParametersinlinestatic
parseFrom(java.io.InputStream input)SatParametersinlinestatic
parseFrom(java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)SatParametersinlinestatic
parseFrom(com.google.protobuf.CodedInputStream input)SatParametersinlinestatic
parseFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)SatParametersinlinestatic
PARSERSatParametersstatic
parser()SatParametersinlinestatic
PB_CLEANUP_INCREMENT_FIELD_NUMBERSatParametersstatic
PB_CLEANUP_RATIO_FIELD_NUMBERSatParametersstatic
PREFERRED_VARIABLE_ORDER_FIELD_NUMBERSatParametersstatic
PRESOLVE_BLOCKED_CLAUSE_FIELD_NUMBERSatParametersstatic
PRESOLVE_BVA_THRESHOLD_FIELD_NUMBERSatParametersstatic
PRESOLVE_BVE_CLAUSE_WEIGHT_FIELD_NUMBERSatParametersstatic
PRESOLVE_BVE_THRESHOLD_FIELD_NUMBERSatParametersstatic
PRESOLVE_PROBING_DETERMINISTIC_TIME_LIMIT_FIELD_NUMBERSatParametersstatic
PRESOLVE_SUBSTITUTION_LEVEL_FIELD_NUMBERSatParametersstatic
PRESOLVE_USE_BVA_FIELD_NUMBERSatParametersstatic
PROBING_PERIOD_AT_ROOT_FIELD_NUMBERSatParametersstatic
PSEUDO_COST_RELIABILITY_THRESHOLD_FIELD_NUMBERSatParametersstatic
RANDOM_BRANCHES_RATIO_FIELD_NUMBERSatParametersstatic
RANDOM_POLARITY_RATIO_FIELD_NUMBERSatParametersstatic
RANDOM_SEED_FIELD_NUMBERSatParametersstatic
RANDOMIZE_SEARCH_FIELD_NUMBERSatParametersstatic
REDUCE_MEMORY_USAGE_IN_INTERLEAVE_MODE_FIELD_NUMBERSatParametersstatic
RELATIVE_GAP_LIMIT_FIELD_NUMBERSatParametersstatic
RESTART_ALGORITHMS_FIELD_NUMBERSatParametersstatic
RESTART_DL_AVERAGE_RATIO_FIELD_NUMBERSatParametersstatic
RESTART_LBD_AVERAGE_RATIO_FIELD_NUMBERSatParametersstatic
RESTART_PERIOD_FIELD_NUMBERSatParametersstatic
RESTART_RUNNING_WINDOW_SIZE_FIELD_NUMBERSatParametersstatic
SEARCH_BRANCHING_FIELD_NUMBERSatParametersstatic
SEARCH_RANDOMIZATION_TOLERANCE_FIELD_NUMBERSatParametersstatic
SHARE_LEVEL_ZERO_BOUNDS_FIELD_NUMBERSatParametersstatic
SHARE_OBJECTIVE_BOUNDS_FIELD_NUMBERSatParametersstatic
STOP_AFTER_FIRST_SOLUTION_FIELD_NUMBERSatParametersstatic
STOP_AFTER_PRESOLVE_FIELD_NUMBERSatParametersstatic
STRATEGY_CHANGE_INCREASE_RATIO_FIELD_NUMBERSatParametersstatic
SUBSUMPTION_DURING_CONFLICT_ANALYSIS_FIELD_NUMBERSatParametersstatic
toBuilder()SatParametersinline
TREAT_BINARY_CLAUSES_SEPARATELY_FIELD_NUMBERSatParametersstatic
USE_BLOCKING_RESTART_FIELD_NUMBERSatParametersstatic
USE_BRANCHING_IN_LP_FIELD_NUMBERSatParametersstatic
USE_COMBINED_NO_OVERLAP_FIELD_NUMBERSatParametersstatic
USE_DISJUNCTIVE_CONSTRAINT_IN_CUMULATIVE_CONSTRAINT_FIELD_NUMBERSatParametersstatic
USE_ERWA_HEURISTIC_FIELD_NUMBERSatParametersstatic
USE_EXACT_LP_REASON_FIELD_NUMBERSatParametersstatic
USE_FEASIBILITY_PUMP_FIELD_NUMBERSatParametersstatic
USE_IMPLIED_BOUNDS_FIELD_NUMBERSatParametersstatic
USE_LNS_ONLY_FIELD_NUMBERSatParametersstatic
USE_OPTIMIZATION_HINTS_FIELD_NUMBERSatParametersstatic
USE_OPTIONAL_VARIABLES_FIELD_NUMBERSatParametersstatic
USE_OVERLOAD_CHECKER_IN_CUMULATIVE_CONSTRAINT_FIELD_NUMBERSatParametersstatic
USE_PB_RESOLUTION_FIELD_NUMBERSatParametersstatic
USE_PHASE_SAVING_FIELD_NUMBERSatParametersstatic
USE_PRECEDENCES_IN_DISJUNCTIVE_CONSTRAINT_FIELD_NUMBERSatParametersstatic
USE_RELAXATION_LNS_FIELD_NUMBERSatParametersstatic
USE_RINS_LNS_FIELD_NUMBERSatParametersstatic
USE_SAT_INPROCESSING_FIELD_NUMBERSatParametersstatic
USE_TIMETABLE_EDGE_FINDING_IN_CUMULATIVE_CONSTRAINT_FIELD_NUMBERSatParametersstatic
VARIABLE_ACTIVITY_DECAY_FIELD_NUMBERSatParametersstatic
writeTo(com.google.protobuf.CodedOutputStream output)SatParametersinline