Google OR-Tools
v9.12
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
CpSolverRequestOrBuilder.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_service.proto
4
// Protobuf Java Version: 4.29.3
5
6
package
com.google.ortools.sat.v1;
7
8
public
interface
CpSolverRequestOrBuilder
extends
9
// @@protoc_insertion_point(interface_extends:operations_research.sat.v1.CpSolverRequest)
10
com.google.protobuf.MessageOrBuilder {
11
20
boolean
hasModel
();
29
com.google.ortools.sat.CpModelProto
getModel
();
37
com.google.ortools.sat.CpModelProtoOrBuilder
getModelOrBuilder
();
38
47
boolean
hasParameters
();
56
com.google.ortools.sat.SatParameters
getParameters
();
64
com.google.ortools.sat.SatParametersOrBuilder
getParametersOrBuilder
();
65
}
com.google.ortools.sat.CpModelProto
Definition
CpModelProto.java:18
com.google.ortools.sat.SatParameters
Definition
SatParameters.java:21
com.google.ortools.sat.CpModelProtoOrBuilder
Definition
CpModelProtoOrBuilder.java:10
com.google.ortools.sat.SatParametersOrBuilder
Definition
SatParametersOrBuilder.java:10
com.google.ortools.sat.v1.CpSolverRequestOrBuilder
Definition
CpSolverRequestOrBuilder.java:10
com.google.ortools.sat.v1.CpSolverRequestOrBuilder.getModel
com.google.ortools.sat.CpModelProto getModel()
com.google.ortools.sat.v1.CpSolverRequestOrBuilder.hasParameters
boolean hasParameters()
com.google.ortools.sat.v1.CpSolverRequestOrBuilder.hasModel
boolean hasModel()
com.google.ortools.sat.v1.CpSolverRequestOrBuilder.getModelOrBuilder
com.google.ortools.sat.CpModelProtoOrBuilder getModelOrBuilder()
com.google.ortools.sat.v1.CpSolverRequestOrBuilder.getParametersOrBuilder
com.google.ortools.sat.SatParametersOrBuilder getParametersOrBuilder()
com.google.ortools.sat.v1.CpSolverRequestOrBuilder.getParameters
com.google.ortools.sat.SatParameters getParameters()
build
java
ortools-java
src
main
java
com
google
ortools
sat
v1
CpSolverRequestOrBuilder.java
Generated by
1.13.2