BopParametersOrBuilder.java

Go to the documentation of this file.

// Generated by the protocol buffer compiler.  DO NOT EDIT!
// NO CHECKED-IN PROTOBUF GENCODE
// source: ortools/bop/bop_parameters.proto
// Protobuf Java Version: 4.29.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();
}