Google OR-Tools v9.14
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
AutomatonConstraintProtoOrBuilder.java
Go to the documentation of this file.
1// Generated by the protocol buffer compiler. DO NOT EDIT!
2// NO CHECKED-IN PROTOBUF GENCODE
3// source: ortools/sat/cp_model.proto
4// Protobuf Java Version: 4.31.1
5
6package com.google.ortools.sat;
7
8@com.google.protobuf.Generated
9public interface AutomatonConstraintProtoOrBuilder extends
10 // @@protoc_insertion_point(interface_extends:operations_research.sat.AutomatonConstraintProto)
11 com.google.protobuf.MessageOrBuilder {
12
24
29 java.util.List<java.lang.Long> getFinalStatesList();
40 long getFinalStates(int index);
41
52 java.util.List<java.lang.Long> getTransitionTailList();
75 long getTransitionTail(int index);
76
81 java.util.List<java.lang.Long> getTransitionHeadList();
92 long getTransitionHead(int index);
93
98 java.util.List<java.lang.Long> getTransitionLabelList();
109 long getTransitionLabel(int index);
110
119 java.util.List<java.lang.Integer> getVarsList();
138 int getVars(int index);
139
149 java.util.List<com.google.ortools.sat.LinearExpressionProto>
180 java.util.List<? extends com.google.ortools.sat.LinearExpressionProtoOrBuilder>
192 int index);
193}
java.util.List< java.lang.Long > getTransitionHeadList()
com.google.ortools.sat.LinearExpressionProto getExprs(int index)
java.util.List< java.lang.Long > getTransitionLabelList()
java.util.List< com.google.ortools.sat.LinearExpressionProto > getExprsList()
java.util.List< java.lang.Long > getFinalStatesList()
java.util.List< java.lang.Long > getTransitionTailList()
java.util.List< java.lang.Integer > getVarsList()
java.util.List<? extends com.google.ortools.sat.LinearExpressionProtoOrBuilder > getExprsOrBuilderList()
com.google.ortools.sat.LinearExpressionProtoOrBuilder getExprsOrBuilder(int index)