SatParametersOrBuilder.java

Go to the documentation of this file.

// Generated by the protocol buffer compiler.  DO NOT EDIT!
// source: ortools/sat/sat_parameters.proto

package com.google.ortools.sat;

public interface SatParametersOrBuilder extends
    // @@protoc_insertion_point(interface_extends:operations_research.sat.SatParameters)
    com.google.protobuf.MessageOrBuilder {

  boolean hasPreferredVariableOrder();
  com.google.ortools.sat.SatParameters.VariableOrder getPreferredVariableOrder();

  boolean hasInitialPolarity();
  com.google.ortools.sat.SatParameters.Polarity getInitialPolarity();

  boolean hasUsePhaseSaving();
  boolean getUsePhaseSaving();

  boolean hasRandomPolarityRatio();
  double getRandomPolarityRatio();

  boolean hasRandomBranchesRatio();
  double getRandomBranchesRatio();

  boolean hasUseErwaHeuristic();
  boolean getUseErwaHeuristic();

  boolean hasInitialVariablesActivity();
  double getInitialVariablesActivity();

  boolean hasAlsoBumpVariablesInConflictReasons();
  boolean getAlsoBumpVariablesInConflictReasons();

  boolean hasMinimizationAlgorithm();
  com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm();

  boolean hasBinaryMinimizationAlgorithm();
  com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm();

  boolean hasSubsumptionDuringConflictAnalysis();
  boolean getSubsumptionDuringConflictAnalysis();

  boolean hasClauseCleanupPeriod();
  int getClauseCleanupPeriod();

  boolean hasClauseCleanupTarget();
  int getClauseCleanupTarget();

  boolean hasClauseCleanupProtection();
  com.google.ortools.sat.SatParameters.ClauseProtection getClauseCleanupProtection();

  boolean hasClauseCleanupLbdBound();
  int getClauseCleanupLbdBound();

  boolean hasClauseCleanupOrdering();
  com.google.ortools.sat.SatParameters.ClauseOrdering getClauseCleanupOrdering();

  boolean hasPbCleanupIncrement();
  int getPbCleanupIncrement();

  boolean hasPbCleanupRatio();
  double getPbCleanupRatio();

  boolean hasMinimizeWithPropagationRestartPeriod();
  int getMinimizeWithPropagationRestartPeriod();

  boolean hasMinimizeWithPropagationNumDecisions();
  int getMinimizeWithPropagationNumDecisions();

  boolean hasVariableActivityDecay();
  double getVariableActivityDecay();

  boolean hasMaxVariableActivityValue();
  double getMaxVariableActivityValue();

  boolean hasGlucoseMaxDecay();
  double getGlucoseMaxDecay();

  boolean hasGlucoseDecayIncrement();
  double getGlucoseDecayIncrement();

  boolean hasGlucoseDecayIncrementPeriod();
  int getGlucoseDecayIncrementPeriod();

  boolean hasClauseActivityDecay();
  double getClauseActivityDecay();

  boolean hasMaxClauseActivityValue();
  double getMaxClauseActivityValue();

  java.util.List<com.google.ortools.sat.SatParameters.RestartAlgorithm> getRestartAlgorithmsList();
  int getRestartAlgorithmsCount();
  com.google.ortools.sat.SatParameters.RestartAlgorithm getRestartAlgorithms(int index);

  boolean hasDefaultRestartAlgorithms();
  java.lang.String getDefaultRestartAlgorithms();
  com.google.protobuf.ByteString
      getDefaultRestartAlgorithmsBytes();

  boolean hasRestartPeriod();
  int getRestartPeriod();

  boolean hasRestartRunningWindowSize();
  int getRestartRunningWindowSize();

  boolean hasRestartDlAverageRatio();
  double getRestartDlAverageRatio();

  boolean hasRestartLbdAverageRatio();
  double getRestartLbdAverageRatio();

  boolean hasUseBlockingRestart();
  boolean getUseBlockingRestart();

  boolean hasBlockingRestartWindowSize();
  int getBlockingRestartWindowSize();

  boolean hasBlockingRestartMultiplier();
  double getBlockingRestartMultiplier();

  boolean hasNumConflictsBeforeStrategyChanges();
  int getNumConflictsBeforeStrategyChanges();

  boolean hasStrategyChangeIncreaseRatio();
  double getStrategyChangeIncreaseRatio();

  boolean hasMaxTimeInSeconds();
  double getMaxTimeInSeconds();

  boolean hasMaxDeterministicTime();
  double getMaxDeterministicTime();

  boolean hasMaxNumberOfConflicts();
  long getMaxNumberOfConflicts();

  boolean hasMaxMemoryInMb();
  long getMaxMemoryInMb();

  boolean hasTreatBinaryClausesSeparately();
  boolean getTreatBinaryClausesSeparately();

  boolean hasRandomSeed();
  int getRandomSeed();

  boolean hasLogSearchProgress();
  boolean getLogSearchProgress();

  boolean hasUsePbResolution();
  boolean getUsePbResolution();

  boolean hasMinimizeReductionDuringPbResolution();
  boolean getMinimizeReductionDuringPbResolution();

  boolean hasCountAssumptionLevelsInLbd();
  boolean getCountAssumptionLevelsInLbd();

  boolean hasPresolveBveThreshold();
  int getPresolveBveThreshold();

  boolean hasPresolveBveClauseWeight();
  int getPresolveBveClauseWeight();

  boolean hasPresolveProbingDeterministicTimeLimit();
  double getPresolveProbingDeterministicTimeLimit();

  boolean hasPresolveBlockedClause();
  boolean getPresolveBlockedClause();

  boolean hasPresolveUseBva();
  boolean getPresolveUseBva();

  boolean hasPresolveBvaThreshold();
  int getPresolveBvaThreshold();

  boolean hasMaxPresolveIterations();
  int getMaxPresolveIterations();

  boolean hasUseOptimizationHints();
  boolean getUseOptimizationHints();

  boolean hasMinimizeCore();
  boolean getMinimizeCore();

  boolean hasFindMultipleCores();
  boolean getFindMultipleCores();

  boolean hasCoverOptimization();
  boolean getCoverOptimization();

  boolean hasMaxSatAssumptionOrder();
  com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder getMaxSatAssumptionOrder();

  boolean hasMaxSatReverseAssumptionOrder();
  boolean getMaxSatReverseAssumptionOrder();

  boolean hasMaxSatStratification();
  com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification();

  boolean hasUsePrecedencesInDisjunctiveConstraint();
  boolean getUsePrecedencesInDisjunctiveConstraint();

  boolean hasUseOverloadCheckerInCumulativeConstraint();
  boolean getUseOverloadCheckerInCumulativeConstraint();

  boolean hasUseTimetableEdgeFindingInCumulativeConstraint();
  boolean getUseTimetableEdgeFindingInCumulativeConstraint();

  boolean hasUseDisjunctiveConstraintInCumulativeConstraint();
  boolean getUseDisjunctiveConstraintInCumulativeConstraint();

  boolean hasLinearizationLevel();
  int getLinearizationLevel();

  boolean hasBooleanEncodingLevel();
  int getBooleanEncodingLevel();

  boolean hasMaxNumCuts();
  int getMaxNumCuts();

  boolean hasOnlyAddCutsAtLevelZero();
  boolean getOnlyAddCutsAtLevelZero();

  boolean hasAddKnapsackCuts();
  boolean getAddKnapsackCuts();

  boolean hasAddCgCuts();
  boolean getAddCgCuts();

  boolean hasAddMirCuts();
  boolean getAddMirCuts();

  boolean hasUseMirRounding();
  boolean getUseMirRounding();

  boolean hasMaxIntegerRoundingScaling();
  int getMaxIntegerRoundingScaling();

  boolean hasAddLpConstraintsLazily();
  boolean getAddLpConstraintsLazily();

  boolean hasMinOrthogonalityForLpConstraints();
  double getMinOrthogonalityForLpConstraints();

  boolean hasMaxInactiveCount();
  long getMaxInactiveCount();

  boolean hasConstraintRemovalBatchSize();
  long getConstraintRemovalBatchSize();

  boolean hasSearchBranching();
  com.google.ortools.sat.SatParameters.SearchBranching getSearchBranching();

  boolean hasExploitIntegerLpSolution();
  boolean getExploitIntegerLpSolution();

  boolean hasExploitAllLpSolution();
  boolean getExploitAllLpSolution();

  boolean hasExploitBestSolution();
  boolean getExploitBestSolution();

  boolean hasExploitObjective();
  boolean getExploitObjective();

  boolean hasPseudoCostReliabilityThreshold();
  long getPseudoCostReliabilityThreshold();

  boolean hasOptimizeWithCore();
  boolean getOptimizeWithCore();

  boolean hasBinarySearchNumConflicts();
  int getBinarySearchNumConflicts();

  boolean hasOptimizeWithMaxHs();
  boolean getOptimizeWithMaxHs();

  boolean hasCpModelPresolve();
  boolean getCpModelPresolve();

  boolean hasCpModelProbingLevel();
  int getCpModelProbingLevel();

  boolean hasCpModelUseSatPresolve();
  boolean getCpModelUseSatPresolve();

  boolean hasEnumerateAllSolutions();
  boolean getEnumerateAllSolutions();

  boolean hasFillTightenedDomainsInResponse();
  boolean getFillTightenedDomainsInResponse();

  boolean hasInstantiateAllVariables();
  boolean getInstantiateAllVariables();

  boolean hasAutoDetectGreaterThanAtLeastOneOf();
  boolean getAutoDetectGreaterThanAtLeastOneOf();

  boolean hasStopAfterFirstSolution();
  boolean getStopAfterFirstSolution();

  boolean hasNumSearchWorkers();
  int getNumSearchWorkers();

  boolean hasInterleaveSearch();
  boolean getInterleaveSearch();

  boolean hasDeterministicParallelSearch();
  boolean getDeterministicParallelSearch();

  boolean hasShareObjectiveBounds();
  boolean getShareObjectiveBounds();

  boolean hasShareLevelZeroBounds();
  boolean getShareLevelZeroBounds();

  boolean hasUseLnsOnly();
  boolean getUseLnsOnly();

  boolean hasLnsFocusOnDecisionVariables();
  boolean getLnsFocusOnDecisionVariables();

  boolean hasUseRinsLns();
  boolean getUseRinsLns();

  boolean hasDiversifyLnsParams();
  boolean getDiversifyLnsParams();

  boolean hasRandomizeSearch();
  boolean getRandomizeSearch();

  boolean hasSearchRandomizationTolerance();
  long getSearchRandomizationTolerance();

  boolean hasUseOptionalVariables();
  boolean getUseOptionalVariables();

  boolean hasUseExactLpReason();
  boolean getUseExactLpReason();

  boolean hasUseCombinedNoOverlap();
  boolean getUseCombinedNoOverlap();

  boolean hasMipMaxBound();
  double getMipMaxBound();

  boolean hasMipVarScaling();
  double getMipVarScaling();

  boolean hasMipWantedPrecision();
  double getMipWantedPrecision();

  boolean hasMipMaxActivityExponent();
  int getMipMaxActivityExponent();

  boolean hasMipCheckPrecision();
  double getMipCheckPrecision();

  boolean hasCatchSigintSignal();
  boolean getCatchSigintSignal();
}