AutomatonConstraintProtoOrBuilder.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 AutomatonConstraintProtoOrBuilder extends
    // @@protoc_insertion_point(interface_extends:operations_research.sat.AutomatonConstraintProto)
    com.google.protobuf.MessageOrBuilder {

  long getStartingState();

  java.util.List<java.lang.Long> getFinalStatesList();
  int getFinalStatesCount();
  long getFinalStates(int index);

  java.util.List<java.lang.Long> getTransitionTailList();
  int getTransitionTailCount();
  long getTransitionTail(int index);

  java.util.List<java.lang.Long> getTransitionHeadList();
  int getTransitionHeadCount();
  long getTransitionHead(int index);

  java.util.List<java.lang.Long> getTransitionLabelList();
  int getTransitionLabelCount();
  long getTransitionLabel(int index);

  java.util.List<java.lang.Integer> getVarsList();
  int getVarsCount();
  int getVars(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);
}