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 SatParametersSatParameters.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 SatParametersSatParameters.parseDelimitedFrom(InputStream input) static SatParametersSatParameters.parseDelimitedFrom(InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) static SatParametersSatParameters.parseFrom(byte[] data) static SatParametersSatParameters.parseFrom(byte[] data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) static SatParametersSatParameters.parseFrom(com.google.protobuf.ByteString data) static SatParametersSatParameters.parseFrom(com.google.protobuf.ByteString data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) static SatParametersSatParameters.parseFrom(com.google.protobuf.CodedInputStream input) static SatParametersSatParameters.parseFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) static SatParametersSatParameters.parseFrom(InputStream input) static SatParametersSatParameters.parseFrom(InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) static SatParametersSatParameters.parseFrom(ByteBuffer data) static SatParametersSatParameters.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.BuilderSatParameters.newBuilder(SatParameters prototype) voidSolveWrapper.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.