DecisionStrategyProtoOrBuilder.java

Go to the documentation of this file.

// Generated by the protocol buffer compiler.  DO NOT EDIT!
// source: ortools/sat/cp_model.proto
 
// Protobuf Java Version: 3.25.3
package com.google.ortools.sat;
 
public interface DecisionStrategyProtoOrBuilder extends
    // @@protoc_insertion_point(interface_extends:operations_research.sat.DecisionStrategyProto)
    com.google.protobuf.MessageOrBuilder {
 
  java.util.List<java.lang.Integer> getVariablesList();
  int getVariablesCount();
  int getVariables(int index);
 
  java.util.List<com.google.ortools.sat.LinearExpressionProto> 
      getExprsList();
  com.google.ortools.sat.LinearExpressionProto getExprs(int index);
  int getExprsCount();
  java.util.List<? extends com.google.ortools.sat.LinearExpressionProtoOrBuilder> 
      getExprsOrBuilderList();
  com.google.ortools.sat.LinearExpressionProtoOrBuilder getExprsOrBuilder(
      int index);
 
  int getVariableSelectionStrategyValue();
  com.google.ortools.sat.DecisionStrategyProto.VariableSelectionStrategy getVariableSelectionStrategy();
 
  int getDomainReductionStrategyValue();
  com.google.ortools.sat.DecisionStrategyProto.DomainReductionStrategy getDomainReductionStrategy();
}