DecisionStrategyProtoOrBuilder.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/cp_model.proto
// Protobuf Java Version: 4.29.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();
}