Google OR-Tools 8.1
Java Reference
CP-SAT
Graph
Knapsack solver
Linear solver
Routing
Util
Java Reference
BoolArgumentProtoOrBuilder.java
Go to the documentation of this file.
1
// Generated by the protocol buffer compiler. DO NOT EDIT!
2
// source: ortools/sat/cp_model.proto
3
4
package
com.google.ortools.sat;
5
6
public
interface
BoolArgumentProtoOrBuilder
extends
7
// @@protoc_insertion_point(interface_extends:operations_research.sat.BoolArgumentProto)
8
com
.google.protobuf.MessageOrBuilder {
9
14
java.util.List<java.lang.Integer>
getLiteralsList
();
19
int
getLiteralsCount
();
25
int
getLiterals
(
int
index);
26
}
com.google.ortools.sat.BoolArgumentProtoOrBuilder
Definition:
BoolArgumentProtoOrBuilder.java:8
com.google.ortools.sat.BoolArgumentProtoOrBuilder.getLiteralsList
java.util.List< java.lang.Integer > getLiteralsList()
repeated int32 literals = 1;
com
com.google.ortools.sat.BoolArgumentProtoOrBuilder.getLiterals
int getLiterals(int index)
repeated int32 literals = 1;
com.google.ortools.sat.BoolArgumentProtoOrBuilder.getLiteralsCount
int getLiteralsCount()
repeated int32 literals = 1;