BopParametersOrBuilder.java

Go to the documentation of this file.

// Generated by the protocol buffer compiler.  DO NOT EDIT!
// source: ortools/bop/bop_parameters.proto
 
// Protobuf Java Version: 3.25.3
package com.google.ortools.bop;
 
public interface BopParametersOrBuilder extends
    // @@protoc_insertion_point(interface_extends:operations_research.bop.BopParameters)
    com.google.protobuf.MessageOrBuilder {
 
  boolean hasMaxTimeInSeconds();
  double getMaxTimeInSeconds();
 
  boolean hasMaxDeterministicTime();
  double getMaxDeterministicTime();
 
  boolean hasLpMaxDeterministicTime();
  double getLpMaxDeterministicTime();
 
  boolean hasMaxNumberOfConsecutiveFailingOptimizerCalls();
  int getMaxNumberOfConsecutiveFailingOptimizerCalls();
 
  boolean hasRelativeGapLimit();
  double getRelativeGapLimit();
 
  boolean hasMaxNumDecisionsInLs();
  int getMaxNumDecisionsInLs();
 
  boolean hasMaxNumBrokenConstraintsInLs();
  int getMaxNumBrokenConstraintsInLs();
 
  boolean hasLogSearchProgress();
  boolean getLogSearchProgress();
 
  boolean hasComputeEstimatedImpact();
  boolean getComputeEstimatedImpact();
 
  boolean hasPruneSearchTree();
  boolean getPruneSearchTree();
 
  boolean hasSortConstraintsByNumTerms();
  boolean getSortConstraintsByNumTerms();
 
  boolean hasUseRandomLns();
  boolean getUseRandomLns();
 
  boolean hasRandomSeed();
  int getRandomSeed();
 
  boolean hasNumRelaxedVars();
  int getNumRelaxedVars();
 
  boolean hasMaxNumberOfConflictsInRandomLns();
  int getMaxNumberOfConflictsInRandomLns();
 
  boolean hasNumRandomLnsTries();
  int getNumRandomLnsTries();
 
  boolean hasMaxNumberOfBacktracksInLs();
  long getMaxNumberOfBacktracksInLs();
 
  boolean hasUseLpLns();
  boolean getUseLpLns();
 
  boolean hasUseSatToChooseLnsNeighbourhood();
  boolean getUseSatToChooseLnsNeighbourhood();
 
  boolean hasMaxNumberOfConflictsForQuickCheck();
  int getMaxNumberOfConflictsForQuickCheck();
 
  boolean hasUseSymmetry();
  boolean getUseSymmetry();
 
  boolean hasExploitSymmetryInSatFirstSolution();
  boolean getExploitSymmetryInSatFirstSolution();
 
  boolean hasMaxNumberOfConflictsInRandomSolutionGeneration();
  int getMaxNumberOfConflictsInRandomSolutionGeneration();
 
  boolean hasMaxNumberOfExploredAssignmentsPerTryInLs();
  long getMaxNumberOfExploredAssignmentsPerTryInLs();
 
  boolean hasUseTranspositionTableInLs();
  boolean getUseTranspositionTableInLs();
 
  boolean hasUsePotentialOneFlipRepairsInLs();
  boolean getUsePotentialOneFlipRepairsInLs();
 
  boolean hasUseLearnedBinaryClausesInLp();
  boolean getUseLearnedBinaryClausesInLp();
 
  boolean hasNumberOfSolvers();
  int getNumberOfSolvers();
 
  boolean hasSynchronizationType();
  com.google.ortools.bop.BopParameters.ThreadSynchronizationType getSynchronizationType();
 
  java.util.List<com.google.ortools.bop.BopSolverOptimizerSet> 
      getSolverOptimizerSetsList();
  com.google.ortools.bop.BopSolverOptimizerSet getSolverOptimizerSets(int index);
  int getSolverOptimizerSetsCount();
  java.util.List<? extends com.google.ortools.bop.BopSolverOptimizerSetOrBuilder> 
      getSolverOptimizerSetsOrBuilderList();
  com.google.ortools.bop.BopSolverOptimizerSetOrBuilder getSolverOptimizerSetsOrBuilder(
      int index);
 
  boolean hasDefaultSolverOptimizerSets();
  java.lang.String getDefaultSolverOptimizerSets();
  com.google.protobuf.ByteString
      getDefaultSolverOptimizerSetsBytes();
 
  boolean hasUseLpStrongBranching();
  boolean getUseLpStrongBranching();
 
  boolean hasDecomposerNumVariablesThreshold();
  int getDecomposerNumVariablesThreshold();
 
  boolean hasNumBopSolversUsedByDecomposition();
  int getNumBopSolversUsedByDecomposition();
 
  boolean hasDecomposedProblemMinTimeInSeconds();
  double getDecomposedProblemMinTimeInSeconds();
 
  boolean hasGuidedSatConflictsChunk();
  int getGuidedSatConflictsChunk();
 
  boolean hasMaxLpSolveForFeasibilityProblems();
  int getMaxLpSolveForFeasibilityProblems();
}