Uses of Class
com.google.ortools.sat.SatParameters

Packages that use SatParameters

Package	Description
com.google.ortools.constraintsolver
com.google.ortools.sat
com.google.ortools.sat.v1

Uses of SatParameters in com.google.ortools.constraintsolver

Methods in com.google.ortools.constraintsolver that return SatParameters

Modifier and Type	Method and Description
SatParameters	RoutingSearchParametersOrBuilder.getSatParameters() If use_cp_sat or use_generalized_cp_sat is true, contains the SAT algorithm parameters which will be used.
SatParameters	RoutingSearchParameters.getSatParameters() If use_cp_sat or use_generalized_cp_sat is true, contains the SAT algorithm parameters which will be used.
SatParameters	RoutingSearchParameters.Builder.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 SatParameters

Modifier and Type	Method and Description
RoutingSearchParameters.Builder	RoutingSearchParameters.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	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 SatParameters

Modifier and Type	Method and Description
SatParameters	SatParameters.Builder.build()
SatParameters	SatParameters.Builder.buildPartial()
static SatParameters	SatParameters.getDefaultInstance()
SatParameters	SatParameters.getDefaultInstanceForType()
SatParameters	SatParameters.Builder.getDefaultInstanceForType()
SatParameters	SatParametersOrBuilder.getSubsolverParams(int index) It is possible to specify additional subsolver configuration.
SatParameters	SatParameters.getSubsolverParams(int index) It is possible to specify additional subsolver configuration.
SatParameters	SatParameters.Builder.getSubsolverParams(int index) It is possible to specify additional subsolver configuration.
static SatParameters	SatParameters.parseDelimitedFrom(java.io.InputStream input)
static SatParameters	SatParameters.parseDelimitedFrom(java.io.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(java.nio.ByteBuffer data)
static SatParameters	SatParameters.parseFrom(java.nio.ByteBuffer 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(java.io.InputStream input)
static SatParameters	SatParameters.parseFrom(java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)

Methods in com.google.ortools.sat that return types with arguments of type SatParameters

Modifier and Type	Method and Description
com.google.protobuf.Parser<SatParameters>	SatParameters.getParserForType()
java.util.List<SatParameters>	SatParametersOrBuilder.getSubsolverParamsList() It is possible to specify additional subsolver configuration.
java.util.List<SatParameters>	SatParameters.getSubsolverParamsList() It is possible to specify additional subsolver configuration.
java.util.List<SatParameters>	SatParameters.Builder.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 SatParameters

Modifier and Type	Method and Description
SatParameters.Builder	SatParameters.Builder.addSubsolverParams(int index, SatParameters value) It is possible to specify additional subsolver configuration.
SatParameters.Builder	SatParameters.Builder.addSubsolverParams(SatParameters value) It is possible to specify additional subsolver configuration.
SatParameters.Builder	SatParameters.Builder.mergeFrom(SatParameters other)
static SatParameters.Builder	SatParameters.newBuilder(SatParameters prototype)
void	SolveWrapper.setParameters(SatParameters parameters)
SatParameters.Builder	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 SatParameters

Modifier and Type	Method and Description
SatParameters.Builder	SatParameters.Builder.addAllSubsolverParams(java.lang.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 SatParameters

Modifier and Type	Method and Description
SatParameters	CpSolverRequestOrBuilder.getParameters() Solver parameters.
SatParameters	CpSolverRequest.getParameters() Solver parameters.
SatParameters	CpSolverRequest.Builder.getParameters() Solver parameters.

Methods in com.google.ortools.sat.v1 with parameters of type SatParameters

Modifier and Type	Method and Description
CpSolverRequest.Builder	CpSolverRequest.Builder.mergeParameters(SatParameters value) Solver parameters.
CpSolverRequest.Builder	CpSolverRequest.Builder.setParameters(SatParameters value) Solver parameters.