Uses of Class
com.google.ortools.sat.SatParameters
Packages that use SatParameters
Package
Description
-
Uses of SatParameters in com.google.ortools.constraintsolver
Methods in com.google.ortools.constraintsolver that return SatParametersModifier and TypeMethodDescriptionRoutingSearchParameters.Builder.getSatParameters()
If use_cp_sat or use_generalized_cp_sat is true, contains the SAT algorithm parameters which will be used.RoutingSearchParameters.getSatParameters()
If use_cp_sat or use_generalized_cp_sat is true, contains the SAT algorithm parameters which will be used.RoutingSearchParametersOrBuilder.getSatParameters()
If use_cp_sat or use_generalized_cp_sat is true, contains the SAT algorithm parameters which will be used.Methods in com.google.ortools.constraintsolver with parameters of type SatParametersModifier and TypeMethodDescriptionRoutingSearchParameters.Builder.mergeSatParameters
(SatParameters value) If use_cp_sat or use_generalized_cp_sat is true, contains the SAT algorithm parameters which will be used.RoutingSearchParameters.Builder.setSatParameters
(SatParameters value) If use_cp_sat or use_generalized_cp_sat is true, contains the SAT algorithm parameters which will be used. -
Uses of SatParameters in com.google.ortools.sat
Methods in com.google.ortools.sat that return SatParametersModifier and TypeMethodDescriptionSatParameters.Builder.build()
SatParameters.Builder.buildPartial()
static SatParameters
SatParameters.getDefaultInstance()
SatParameters.Builder.getDefaultInstanceForType()
SatParameters.getDefaultInstanceForType()
SatParameters.Builder.getSubsolverParams
(int index) It is possible to specify additional subsolver configuration.SatParameters.getSubsolverParams
(int index) It is possible to specify additional subsolver configuration.SatParametersOrBuilder.getSubsolverParams
(int index) It is possible to specify additional subsolver configuration.static SatParameters
SatParameters.parseDelimitedFrom
(InputStream input) static SatParameters
SatParameters.parseDelimitedFrom
(InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) static SatParameters
SatParameters.parseFrom
(byte[] data) static SatParameters
SatParameters.parseFrom
(byte[] data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) static SatParameters
SatParameters.parseFrom
(com.google.protobuf.ByteString data) static SatParameters
SatParameters.parseFrom
(com.google.protobuf.ByteString data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) static SatParameters
SatParameters.parseFrom
(com.google.protobuf.CodedInputStream input) static SatParameters
SatParameters.parseFrom
(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) static SatParameters
SatParameters.parseFrom
(InputStream input) static SatParameters
SatParameters.parseFrom
(InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) static SatParameters
SatParameters.parseFrom
(ByteBuffer data) static SatParameters
SatParameters.parseFrom
(ByteBuffer data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) Methods in com.google.ortools.sat that return types with arguments of type SatParametersModifier and TypeMethodDescriptioncom.google.protobuf.Parser
<SatParameters> SatParameters.getParserForType()
SatParameters.Builder.getSubsolverParamsList()
It is possible to specify additional subsolver configuration.SatParameters.getSubsolverParamsList()
It is possible to specify additional subsolver configuration.SatParametersOrBuilder.getSubsolverParamsList()
It is possible to specify additional subsolver configuration.static com.google.protobuf.Parser
<SatParameters> SatParameters.parser()
Methods in com.google.ortools.sat with parameters of type SatParametersModifier and TypeMethodDescriptionSatParameters.Builder.addSubsolverParams
(int index, SatParameters value) It is possible to specify additional subsolver configuration.SatParameters.Builder.addSubsolverParams
(SatParameters value) It is possible to specify additional subsolver configuration.SatParameters.Builder.mergeFrom
(SatParameters other) static SatParameters.Builder
SatParameters.newBuilder
(SatParameters prototype) void
SolveWrapper.setParameters
(SatParameters parameters) SatParameters.Builder.setSubsolverParams
(int index, SatParameters value) It is possible to specify additional subsolver configuration.Method parameters in com.google.ortools.sat with type arguments of type SatParametersModifier and TypeMethodDescriptionSatParameters.Builder.addAllSubsolverParams
(Iterable<? extends SatParameters> values) It is possible to specify additional subsolver configuration. -
Uses of SatParameters in com.google.ortools.sat.v1
Methods in com.google.ortools.sat.v1 that return SatParametersModifier and TypeMethodDescriptionCpSolverRequest.Builder.getParameters()
Solver parameters.CpSolverRequest.getParameters()
Solver parameters.CpSolverRequestOrBuilder.getParameters()
Solver parameters.Methods in com.google.ortools.sat.v1 with parameters of type SatParametersModifier and TypeMethodDescriptionCpSolverRequest.Builder.mergeParameters
(SatParameters value) Solver parameters.CpSolverRequest.Builder.setParameters
(SatParameters value) Solver parameters.