SatParametersOrBuilder.java

Go to the documentation of this file.

// Generated by the protocol buffer compiler.  DO NOT EDIT!
// NO CHECKED-IN PROTOBUF GENCODE
// source: ortools/sat/sat_parameters.proto
// Protobuf Java Version: 4.31.1
 
package com.google.ortools.sat;
 
@com.google.protobuf.Generated
public interface SatParametersOrBuilder extends
    // @@protoc_insertion_point(interface_extends:operations_research.sat.SatParameters)
    com.google.protobuf.MessageOrBuilder {

  boolean hasName();
  java.lang.String getName();
  com.google.protobuf.ByteString
      getNameBytes();

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

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

  boolean hasUsePhaseSaving();
  boolean getUsePhaseSaving();

  boolean hasPolarityRephaseIncrement();
  int getPolarityRephaseIncrement();

  boolean hasPolarityExploitLsHints();
  boolean getPolarityExploitLsHints();

  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 hasClauseCleanupRatio();
  double getClauseCleanupRatio();

  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 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 hasMaxNumDeterministicBatches();
  int getMaxNumDeterministicBatches();

  boolean hasMaxNumberOfConflicts();
  long getMaxNumberOfConflicts();

  boolean hasMaxMemoryInMb();
  long getMaxMemoryInMb();

  boolean hasAbsoluteGapLimit();
  double getAbsoluteGapLimit();

  boolean hasRelativeGapLimit();
  double getRelativeGapLimit();

  boolean hasRandomSeed();
  int getRandomSeed();

  boolean hasPermuteVariableRandomly();
  boolean getPermuteVariableRandomly();

  boolean hasPermutePresolveConstraintOrder();
  boolean getPermutePresolveConstraintOrder();

  boolean hasUseAbslRandom();
  boolean getUseAbslRandom();

  boolean hasLogSearchProgress();
  boolean getLogSearchProgress();

  boolean hasLogSubsolverStatistics();
  boolean getLogSubsolverStatistics();

  boolean hasLogPrefix();
  java.lang.String getLogPrefix();
  com.google.protobuf.ByteString
      getLogPrefixBytes();

  boolean hasLogToStdout();
  boolean getLogToStdout();

  boolean hasLogToResponse();
  boolean getLogToResponse();

  boolean hasUsePbResolution();
  boolean getUsePbResolution();

  boolean hasMinimizeReductionDuringPbResolution();
  boolean getMinimizeReductionDuringPbResolution();

  boolean hasCountAssumptionLevelsInLbd();
  boolean getCountAssumptionLevelsInLbd();

  boolean hasPresolveBveThreshold();
  int getPresolveBveThreshold();

  boolean hasFilterSatPostsolveClauses();
  boolean getFilterSatPostsolveClauses();

  boolean hasPresolveBveClauseWeight();
  int getPresolveBveClauseWeight();

  boolean hasProbingDeterministicTimeLimit();
  double getProbingDeterministicTimeLimit();

  boolean hasPresolveProbingDeterministicTimeLimit();
  double getPresolveProbingDeterministicTimeLimit();

  boolean hasPresolveBlockedClause();
  boolean getPresolveBlockedClause();

  boolean hasPresolveUseBva();
  boolean getPresolveUseBva();

  boolean hasPresolveBvaThreshold();
  int getPresolveBvaThreshold();

  boolean hasMaxPresolveIterations();
  int getMaxPresolveIterations();

  boolean hasCpModelPresolve();
  boolean getCpModelPresolve();

  boolean hasCpModelProbingLevel();
  int getCpModelProbingLevel();

  boolean hasCpModelUseSatPresolve();
  boolean getCpModelUseSatPresolve();

  boolean hasRemoveFixedVariablesEarly();
  boolean getRemoveFixedVariablesEarly();

  boolean hasDetectTableWithCost();
  boolean getDetectTableWithCost();

  boolean hasTableCompressionLevel();
  int getTableCompressionLevel();

  boolean hasExpandAlldiffConstraints();
  boolean getExpandAlldiffConstraints();

  boolean hasMaxAlldiffDomainSize();
  int getMaxAlldiffDomainSize();

  boolean hasExpandReservoirConstraints();
  boolean getExpandReservoirConstraints();

  boolean hasExpandReservoirUsingCircuit();
  boolean getExpandReservoirUsingCircuit();

  boolean hasEncodeCumulativeAsReservoir();
  boolean getEncodeCumulativeAsReservoir();

  boolean hasMaxLinMaxSizeForExpansion();
  int getMaxLinMaxSizeForExpansion();

  boolean hasDisableConstraintExpansion();
  boolean getDisableConstraintExpansion();

  boolean hasEncodeComplexLinearConstraintWithInteger();
  boolean getEncodeComplexLinearConstraintWithInteger();

  boolean hasMergeNoOverlapWorkLimit();
  double getMergeNoOverlapWorkLimit();

  boolean hasMergeAtMostOneWorkLimit();
  double getMergeAtMostOneWorkLimit();

  boolean hasPresolveSubstitutionLevel();
  int getPresolveSubstitutionLevel();

  boolean hasPresolveExtractIntegerEnforcement();
  boolean getPresolveExtractIntegerEnforcement();

  boolean hasPresolveInclusionWorkLimit();
  long getPresolveInclusionWorkLimit();

  boolean hasIgnoreNames();
  boolean getIgnoreNames();

  boolean hasInferAllDiffs();
  boolean getInferAllDiffs();

  boolean hasFindBigLinearOverlap();
  boolean getFindBigLinearOverlap();

  boolean hasUseSatInprocessing();
  boolean getUseSatInprocessing();

  boolean hasInprocessingDtimeRatio();
  double getInprocessingDtimeRatio();

  boolean hasInprocessingProbingDtime();
  double getInprocessingProbingDtime();

  boolean hasInprocessingMinimizationDtime();
  double getInprocessingMinimizationDtime();

  boolean hasInprocessingMinimizationUseConflictAnalysis();
  boolean getInprocessingMinimizationUseConflictAnalysis();

  boolean hasInprocessingMinimizationUseAllOrderings();
  boolean getInprocessingMinimizationUseAllOrderings();

  boolean hasNumWorkers();
  int getNumWorkers();

  boolean hasNumSearchWorkers();
  int getNumSearchWorkers();

  boolean hasNumFullSubsolvers();
  int getNumFullSubsolvers();

  java.util.List<java.lang.String>
      getSubsolversList();
  int getSubsolversCount();
  java.lang.String getSubsolvers(int index);
  com.google.protobuf.ByteString
      getSubsolversBytes(int index);

  java.util.List<java.lang.String>
      getExtraSubsolversList();
  int getExtraSubsolversCount();
  java.lang.String getExtraSubsolvers(int index);
  com.google.protobuf.ByteString
      getExtraSubsolversBytes(int index);

  java.util.List<java.lang.String>
      getIgnoreSubsolversList();
  int getIgnoreSubsolversCount();
  java.lang.String getIgnoreSubsolvers(int index);
  com.google.protobuf.ByteString
      getIgnoreSubsolversBytes(int index);

  java.util.List<java.lang.String>
      getFilterSubsolversList();
  int getFilterSubsolversCount();
  java.lang.String getFilterSubsolvers(int index);
  com.google.protobuf.ByteString
      getFilterSubsolversBytes(int index);

  java.util.List<com.google.ortools.sat.SatParameters> 
      getSubsolverParamsList();
  com.google.ortools.sat.SatParameters getSubsolverParams(int index);
  int getSubsolverParamsCount();
  java.util.List<? extends com.google.ortools.sat.SatParametersOrBuilder> 
      getSubsolverParamsOrBuilderList();
  com.google.ortools.sat.SatParametersOrBuilder getSubsolverParamsOrBuilder(
      int index);

  boolean hasInterleaveSearch();
  boolean getInterleaveSearch();

  boolean hasInterleaveBatchSize();
  int getInterleaveBatchSize();

  boolean hasShareObjectiveBounds();
  boolean getShareObjectiveBounds();

  boolean hasShareLevelZeroBounds();
  boolean getShareLevelZeroBounds();

  boolean hasShareBinaryClauses();
  boolean getShareBinaryClauses();

  boolean hasShareGlueClauses();
  boolean getShareGlueClauses();

  boolean hasMinimizeSharedClauses();
  boolean getMinimizeSharedClauses();

  boolean hasShareGlueClausesDtime();
  double getShareGlueClausesDtime();

  boolean hasDebugPostsolveWithFullSolver();
  boolean getDebugPostsolveWithFullSolver();

  boolean hasDebugMaxNumPresolveOperations();
  int getDebugMaxNumPresolveOperations();

  boolean hasDebugCrashOnBadHint();
  boolean getDebugCrashOnBadHint();

  boolean hasDebugCrashIfPresolveBreaksHint();
  boolean getDebugCrashIfPresolveBreaksHint();

  boolean hasUseOptimizationHints();
  boolean getUseOptimizationHints();

  boolean hasCoreMinimizationLevel();
  int getCoreMinimizationLevel();

  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 hasPropagationLoopDetectionFactor();
  double getPropagationLoopDetectionFactor();

  boolean hasUsePrecedencesInDisjunctiveConstraint();
  boolean getUsePrecedencesInDisjunctiveConstraint();

  boolean hasMaxSizeToCreatePrecedenceLiteralsInDisjunctive();
  int getMaxSizeToCreatePrecedenceLiteralsInDisjunctive();

  boolean hasUseStrongPropagationInDisjunctive();
  boolean getUseStrongPropagationInDisjunctive();

  boolean hasUseDynamicPrecedenceInDisjunctive();
  boolean getUseDynamicPrecedenceInDisjunctive();

  boolean hasUseDynamicPrecedenceInCumulative();
  boolean getUseDynamicPrecedenceInCumulative();

  boolean hasUseOverloadCheckerInCumulative();
  boolean getUseOverloadCheckerInCumulative();

  boolean hasUseConservativeScaleOverloadChecker();
  boolean getUseConservativeScaleOverloadChecker();

  boolean hasUseTimetableEdgeFindingInCumulative();
  boolean getUseTimetableEdgeFindingInCumulative();

  boolean hasMaxNumIntervalsForTimetableEdgeFinding();
  int getMaxNumIntervalsForTimetableEdgeFinding();

  boolean hasUseHardPrecedencesInCumulative();
  boolean getUseHardPrecedencesInCumulative();

  boolean hasExploitAllPrecedences();
  boolean getExploitAllPrecedences();

  boolean hasUseDisjunctiveConstraintInCumulative();
  boolean getUseDisjunctiveConstraintInCumulative();

  boolean hasNoOverlap2DBooleanRelationsLimit();
  int getNoOverlap2DBooleanRelationsLimit();

  boolean hasUseTimetablingInNoOverlap2D();
  boolean getUseTimetablingInNoOverlap2D();

  boolean hasUseEnergeticReasoningInNoOverlap2D();
  boolean getUseEnergeticReasoningInNoOverlap2D();

  boolean hasUseAreaEnergeticReasoningInNoOverlap2D();
  boolean getUseAreaEnergeticReasoningInNoOverlap2D();

  boolean hasUseTryEdgeReasoningInNoOverlap2D();
  boolean getUseTryEdgeReasoningInNoOverlap2D();

  boolean hasMaxPairsPairwiseReasoningInNoOverlap2D();
  int getMaxPairsPairwiseReasoningInNoOverlap2D();

  boolean hasMaximumRegionsToSplitInDisconnectedNoOverlap2D();
  int getMaximumRegionsToSplitInDisconnectedNoOverlap2D();

  boolean hasUseLinear3ForNoOverlap2DPrecedences();
  boolean getUseLinear3ForNoOverlap2DPrecedences();

  boolean hasUseDualSchedulingHeuristics();
  boolean getUseDualSchedulingHeuristics();

  boolean hasUseAllDifferentForCircuit();
  boolean getUseAllDifferentForCircuit();

  boolean hasRoutingCutSubsetSizeForBinaryRelationBound();
  int getRoutingCutSubsetSizeForBinaryRelationBound();

  boolean hasRoutingCutSubsetSizeForTightBinaryRelationBound();
  int getRoutingCutSubsetSizeForTightBinaryRelationBound();

  boolean hasRoutingCutSubsetSizeForExactBinaryRelationBound();
  int getRoutingCutSubsetSizeForExactBinaryRelationBound();

  boolean hasRoutingCutSubsetSizeForShortestPathsBound();
  int getRoutingCutSubsetSizeForShortestPathsBound();

  boolean hasRoutingCutDpEffort();
  double getRoutingCutDpEffort();

  boolean hasRoutingCutMaxInfeasiblePathLength();
  int getRoutingCutMaxInfeasiblePathLength();

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

  boolean hasHintConflictLimit();
  int getHintConflictLimit();

  boolean hasRepairHint();
  boolean getRepairHint();

  boolean hasFixVariablesToTheirHintedValue();
  boolean getFixVariablesToTheirHintedValue();

  boolean hasUseProbingSearch();
  boolean getUseProbingSearch();

  boolean hasUseExtendedProbing();
  boolean getUseExtendedProbing();

  boolean hasProbingNumCombinationsLimit();
  int getProbingNumCombinationsLimit();

  boolean hasShavingDeterministicTimeInProbingSearch();
  double getShavingDeterministicTimeInProbingSearch();

  boolean hasShavingSearchDeterministicTime();
  double getShavingSearchDeterministicTime();

  boolean hasShavingSearchThreshold();
  long getShavingSearchThreshold();

  boolean hasUseObjectiveLbSearch();
  boolean getUseObjectiveLbSearch();

  boolean hasUseObjectiveShavingSearch();
  boolean getUseObjectiveShavingSearch();

  boolean hasVariablesShavingLevel();
  int getVariablesShavingLevel();

  boolean hasPseudoCostReliabilityThreshold();
  long getPseudoCostReliabilityThreshold();

  boolean hasOptimizeWithCore();
  boolean getOptimizeWithCore();

  boolean hasOptimizeWithLbTreeSearch();
  boolean getOptimizeWithLbTreeSearch();

  boolean hasSaveLpBasisInLbTreeSearch();
  boolean getSaveLpBasisInLbTreeSearch();

  boolean hasBinarySearchNumConflicts();
  int getBinarySearchNumConflicts();

  boolean hasOptimizeWithMaxHs();
  boolean getOptimizeWithMaxHs();

  boolean hasUseFeasibilityJump();
  boolean getUseFeasibilityJump();

  boolean hasUseLsOnly();
  boolean getUseLsOnly();

  boolean hasFeasibilityJumpDecay();
  double getFeasibilityJumpDecay();

  boolean hasFeasibilityJumpLinearizationLevel();
  int getFeasibilityJumpLinearizationLevel();

  boolean hasFeasibilityJumpRestartFactor();
  int getFeasibilityJumpRestartFactor();

  boolean hasFeasibilityJumpBatchDtime();
  double getFeasibilityJumpBatchDtime();

  boolean hasFeasibilityJumpVarRandomizationProbability();
  double getFeasibilityJumpVarRandomizationProbability();

  boolean hasFeasibilityJumpVarPerburbationRangeRatio();
  double getFeasibilityJumpVarPerburbationRangeRatio();

  boolean hasFeasibilityJumpEnableRestarts();
  boolean getFeasibilityJumpEnableRestarts();

  boolean hasFeasibilityJumpMaxExpandedConstraintSize();
  int getFeasibilityJumpMaxExpandedConstraintSize();

  boolean hasNumViolationLs();
  int getNumViolationLs();

  boolean hasViolationLsPerturbationPeriod();
  int getViolationLsPerturbationPeriod();

  boolean hasViolationLsCompoundMoveProbability();
  double getViolationLsCompoundMoveProbability();

  boolean hasSharedTreeNumWorkers();
  int getSharedTreeNumWorkers();

  boolean hasUseSharedTreeSearch();
  boolean getUseSharedTreeSearch();

  boolean hasSharedTreeWorkerMinRestartsPerSubtree();
  int getSharedTreeWorkerMinRestartsPerSubtree();

  boolean hasSharedTreeWorkerEnableTrailSharing();
  boolean getSharedTreeWorkerEnableTrailSharing();

  boolean hasSharedTreeWorkerEnablePhaseSharing();
  boolean getSharedTreeWorkerEnablePhaseSharing();

  boolean hasSharedTreeOpenLeavesPerWorker();
  double getSharedTreeOpenLeavesPerWorker();

  boolean hasSharedTreeMaxNodesPerWorker();
  int getSharedTreeMaxNodesPerWorker();

  boolean hasSharedTreeSplitStrategy();
  com.google.ortools.sat.SatParameters.SharedTreeSplitStrategy getSharedTreeSplitStrategy();

  boolean hasSharedTreeBalanceTolerance();
  int getSharedTreeBalanceTolerance();

  boolean hasEnumerateAllSolutions();
  boolean getEnumerateAllSolutions();

  boolean hasKeepAllFeasibleSolutionsInPresolve();
  boolean getKeepAllFeasibleSolutionsInPresolve();

  boolean hasFillTightenedDomainsInResponse();
  boolean getFillTightenedDomainsInResponse();

  boolean hasFillAdditionalSolutionsInResponse();
  boolean getFillAdditionalSolutionsInResponse();

  boolean hasInstantiateAllVariables();
  boolean getInstantiateAllVariables();

  boolean hasAutoDetectGreaterThanAtLeastOneOf();
  boolean getAutoDetectGreaterThanAtLeastOneOf();

  boolean hasStopAfterFirstSolution();
  boolean getStopAfterFirstSolution();

  boolean hasStopAfterPresolve();
  boolean getStopAfterPresolve();

  boolean hasStopAfterRootPropagation();
  boolean getStopAfterRootPropagation();

  boolean hasLnsInitialDifficulty();
  double getLnsInitialDifficulty();

  boolean hasLnsInitialDeterministicLimit();
  double getLnsInitialDeterministicLimit();

  boolean hasUseLns();
  boolean getUseLns();

  boolean hasUseLnsOnly();
  boolean getUseLnsOnly();

  boolean hasSolutionPoolSize();
  int getSolutionPoolSize();

  boolean hasUseRinsLns();
  boolean getUseRinsLns();

  boolean hasUseFeasibilityPump();
  boolean getUseFeasibilityPump();

  boolean hasUseLbRelaxLns();
  boolean getUseLbRelaxLns();

  boolean hasLbRelaxNumWorkersThreshold();
  int getLbRelaxNumWorkersThreshold();

  boolean hasFpRounding();
  com.google.ortools.sat.SatParameters.FPRoundingMethod getFpRounding();

  boolean hasDiversifyLnsParams();
  boolean getDiversifyLnsParams();

  boolean hasRandomizeSearch();
  boolean getRandomizeSearch();

  boolean hasSearchRandomVariablePoolSize();
  long getSearchRandomVariablePoolSize();

  boolean hasPushAllTasksTowardStart();
  boolean getPushAllTasksTowardStart();

  boolean hasUseOptionalVariables();
  boolean getUseOptionalVariables();

  boolean hasUseExactLpReason();
  boolean getUseExactLpReason();

  boolean hasUseCombinedNoOverlap();
  boolean getUseCombinedNoOverlap();

  boolean hasAtMostOneMaxExpansionSize();
  int getAtMostOneMaxExpansionSize();

  boolean hasCatchSigintSignal();
  boolean getCatchSigintSignal();

  boolean hasUseImpliedBounds();
  boolean getUseImpliedBounds();

  boolean hasPolishLpSolution();
  boolean getPolishLpSolution();

  boolean hasLpPrimalTolerance();
  double getLpPrimalTolerance();

  boolean hasLpDualTolerance();
  double getLpDualTolerance();

  boolean hasConvertIntervals();
  boolean getConvertIntervals();

  boolean hasSymmetryLevel();
  int getSymmetryLevel();

  boolean hasUseSymmetryInLp();
  boolean getUseSymmetryInLp();

  boolean hasKeepSymmetryInPresolve();
  boolean getKeepSymmetryInPresolve();

  boolean hasSymmetryDetectionDeterministicTimeLimit();
  double getSymmetryDetectionDeterministicTimeLimit();

  boolean hasNewLinearPropagation();
  boolean getNewLinearPropagation();

  boolean hasLinearSplitSize();
  int getLinearSplitSize();

  boolean hasLinearizationLevel();
  int getLinearizationLevel();

  boolean hasBooleanEncodingLevel();
  int getBooleanEncodingLevel();

  boolean hasMaxDomainSizeWhenEncodingEqNeqConstraints();
  int getMaxDomainSizeWhenEncodingEqNeqConstraints();

  boolean hasMaxNumCuts();
  int getMaxNumCuts();

  boolean hasCutLevel();
  int getCutLevel();

  boolean hasOnlyAddCutsAtLevelZero();
  boolean getOnlyAddCutsAtLevelZero();

  boolean hasAddObjectiveCut();
  boolean getAddObjectiveCut();

  boolean hasAddCgCuts();
  boolean getAddCgCuts();

  boolean hasAddMirCuts();
  boolean getAddMirCuts();

  boolean hasAddZeroHalfCuts();
  boolean getAddZeroHalfCuts();

  boolean hasAddCliqueCuts();
  boolean getAddCliqueCuts();

  boolean hasAddRltCuts();
  boolean getAddRltCuts();

  boolean hasMaxAllDiffCutSize();
  int getMaxAllDiffCutSize();

  boolean hasAddLinMaxCuts();
  boolean getAddLinMaxCuts();

  boolean hasMaxIntegerRoundingScaling();
  int getMaxIntegerRoundingScaling();

  boolean hasAddLpConstraintsLazily();
  boolean getAddLpConstraintsLazily();

  boolean hasRootLpIterations();
  int getRootLpIterations();

  boolean hasMinOrthogonalityForLpConstraints();
  double getMinOrthogonalityForLpConstraints();

  boolean hasMaxCutRoundsAtLevelZero();
  int getMaxCutRoundsAtLevelZero();

  boolean hasMaxConsecutiveInactiveCount();
  int getMaxConsecutiveInactiveCount();

  boolean hasCutMaxActiveCountValue();
  double getCutMaxActiveCountValue();

  boolean hasCutActiveCountDecay();
  double getCutActiveCountDecay();

  boolean hasCutCleanupTarget();
  int getCutCleanupTarget();

  boolean hasNewConstraintsBatchSize();
  int getNewConstraintsBatchSize();

  boolean hasExploitIntegerLpSolution();
  boolean getExploitIntegerLpSolution();

  boolean hasExploitAllLpSolution();
  boolean getExploitAllLpSolution();

  boolean hasExploitBestSolution();
  boolean getExploitBestSolution();

  boolean hasExploitRelaxationSolution();
  boolean getExploitRelaxationSolution();

  boolean hasExploitObjective();
  boolean getExploitObjective();

  boolean hasDetectLinearizedProduct();
  boolean getDetectLinearizedProduct();

  boolean hasMipMaxBound();
  double getMipMaxBound();

  boolean hasMipVarScaling();
  double getMipVarScaling();

  boolean hasMipScaleLargeDomain();
  boolean getMipScaleLargeDomain();

  boolean hasMipAutomaticallyScaleVariables();
  boolean getMipAutomaticallyScaleVariables();

  boolean hasOnlySolveIp();
  boolean getOnlySolveIp();

  boolean hasMipWantedPrecision();
  double getMipWantedPrecision();

  boolean hasMipMaxActivityExponent();
  int getMipMaxActivityExponent();

  boolean hasMipCheckPrecision();
  double getMipCheckPrecision();

  boolean hasMipComputeTrueObjectiveBound();
  boolean getMipComputeTrueObjectiveBound();

  boolean hasMipMaxValidMagnitude();
  double getMipMaxValidMagnitude();

  boolean hasMipTreatHighMagnitudeBoundsAsInfinity();
  boolean getMipTreatHighMagnitudeBoundsAsInfinity();

  boolean hasMipDropTolerance();
  double getMipDropTolerance();

  boolean hasMipPresolveLevel();
  int getMipPresolveLevel();
}