Package com.google.ortools.sat
Class CpSolverResponse.Builder
- java.lang.Object
-
- com.google.protobuf.AbstractMessageLite.Builder
-
- com.google.protobuf.AbstractMessage.Builder<BuilderT>
-
- com.google.protobuf.GeneratedMessageV3.Builder<CpSolverResponse.Builder>
-
- com.google.ortools.sat.CpSolverResponse.Builder
-
- All Implemented Interfaces:
CpSolverResponseOrBuilder,com.google.protobuf.Message.Builder,com.google.protobuf.MessageLite.Builder,com.google.protobuf.MessageLiteOrBuilder,com.google.protobuf.MessageOrBuilder,java.lang.Cloneable
- Enclosing class:
- CpSolverResponse
public static final class CpSolverResponse.Builder extends com.google.protobuf.GeneratedMessageV3.Builder<CpSolverResponse.Builder> implements CpSolverResponseOrBuilder
The response returned by a solver trying to solve a CpModelProto. Next id: 31
Protobuf typeoperations_research.sat.CpSolverResponse
-
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description CpSolverResponse.BuilderaddAdditionalSolutions(int index, CpSolverSolution value)If the parameter fill_additional_solutions_in_response is set, then we copy all the solutions from our internal solution pool here.CpSolverResponse.BuilderaddAdditionalSolutions(int index, CpSolverSolution.Builder builderForValue)If the parameter fill_additional_solutions_in_response is set, then we copy all the solutions from our internal solution pool here.CpSolverResponse.BuilderaddAdditionalSolutions(CpSolverSolution value)If the parameter fill_additional_solutions_in_response is set, then we copy all the solutions from our internal solution pool here.CpSolverResponse.BuilderaddAdditionalSolutions(CpSolverSolution.Builder builderForValue)If the parameter fill_additional_solutions_in_response is set, then we copy all the solutions from our internal solution pool here.CpSolverSolution.BuilderaddAdditionalSolutionsBuilder()If the parameter fill_additional_solutions_in_response is set, then we copy all the solutions from our internal solution pool here.CpSolverSolution.BuilderaddAdditionalSolutionsBuilder(int index)If the parameter fill_additional_solutions_in_response is set, then we copy all the solutions from our internal solution pool here.CpSolverResponse.BuilderaddAllAdditionalSolutions(java.lang.Iterable<? extends CpSolverSolution> values)If the parameter fill_additional_solutions_in_response is set, then we copy all the solutions from our internal solution pool here.CpSolverResponse.BuilderaddAllSolution(java.lang.Iterable<? extends java.lang.Long> values)A feasible solution to the given problem.CpSolverResponse.BuilderaddAllSufficientAssumptionsForInfeasibility(java.lang.Iterable<? extends java.lang.Integer> values)A subset of the model "assumptions" field.CpSolverResponse.BuilderaddAllTightenedVariables(java.lang.Iterable<? extends IntegerVariableProto> values)Advanced usage.CpSolverResponse.BuilderaddRepeatedField(com.google.protobuf.Descriptors.FieldDescriptor field, java.lang.Object value)CpSolverResponse.BuilderaddSolution(long value)A feasible solution to the given problem.CpSolverResponse.BuilderaddSufficientAssumptionsForInfeasibility(int value)A subset of the model "assumptions" field.CpSolverResponse.BuilderaddTightenedVariables(int index, IntegerVariableProto value)Advanced usage.CpSolverResponse.BuilderaddTightenedVariables(int index, IntegerVariableProto.Builder builderForValue)Advanced usage.CpSolverResponse.BuilderaddTightenedVariables(IntegerVariableProto value)Advanced usage.CpSolverResponse.BuilderaddTightenedVariables(IntegerVariableProto.Builder builderForValue)Advanced usage.IntegerVariableProto.BuilderaddTightenedVariablesBuilder()Advanced usage.IntegerVariableProto.BuilderaddTightenedVariablesBuilder(int index)Advanced usage.CpSolverResponsebuild()CpSolverResponsebuildPartial()CpSolverResponse.Builderclear()CpSolverResponse.BuilderclearAdditionalSolutions()If the parameter fill_additional_solutions_in_response is set, then we copy all the solutions from our internal solution pool here.CpSolverResponse.BuilderclearBestObjectiveBound()Only make sense for an optimization problem.CpSolverResponse.BuilderclearDeterministicTime()double deterministic_time = 17;CpSolverResponse.BuilderclearField(com.google.protobuf.Descriptors.FieldDescriptor field)CpSolverResponse.BuilderclearGapIntegral()The integral of log(1 + absolute_objective_gap) over time.CpSolverResponse.BuilderclearInnerObjectiveLowerBound()Advanced usage.CpSolverResponse.BuilderclearIntegerObjective()Contains the integer objective optimized internally.CpSolverResponse.BuilderclearNumBinaryPropagations()int64 num_binary_propagations = 13;CpSolverResponse.BuilderclearNumBooleans()int64 num_booleans = 10;CpSolverResponse.BuilderclearNumBranches()int64 num_branches = 12;CpSolverResponse.BuilderclearNumConflicts()int64 num_conflicts = 11;CpSolverResponse.BuilderclearNumIntegerPropagations()int64 num_integer_propagations = 14;CpSolverResponse.BuilderclearNumIntegers()Some statistics about the solve.CpSolverResponse.BuilderclearNumLpIterations()int64 num_lp_iterations = 25;CpSolverResponse.BuilderclearNumRestarts()int64 num_restarts = 24;CpSolverResponse.BuilderclearObjectiveValue()Only make sense for an optimization problem.CpSolverResponse.BuilderclearOneof(com.google.protobuf.Descriptors.OneofDescriptor oneof)CpSolverResponse.BuilderclearSolution()A feasible solution to the given problem.CpSolverResponse.BuilderclearSolutionInfo()Additional information about how the solution was found.CpSolverResponse.BuilderclearSolveLog()The solve log will be filled if the parameter log_to_response is set to true.CpSolverResponse.BuilderclearStatus()The status of the solve.CpSolverResponse.BuilderclearSufficientAssumptionsForInfeasibility()A subset of the model "assumptions" field.CpSolverResponse.BuilderclearTightenedVariables()Advanced usage.CpSolverResponse.BuilderclearUserTime()double user_time = 16;CpSolverResponse.BuilderclearWallTime()The time counted from the beginning of the Solve() call.CpSolverResponse.Builderclone()CpSolverSolutiongetAdditionalSolutions(int index)If the parameter fill_additional_solutions_in_response is set, then we copy all the solutions from our internal solution pool here.CpSolverSolution.BuildergetAdditionalSolutionsBuilder(int index)If the parameter fill_additional_solutions_in_response is set, then we copy all the solutions from our internal solution pool here.java.util.List<CpSolverSolution.Builder>getAdditionalSolutionsBuilderList()If the parameter fill_additional_solutions_in_response is set, then we copy all the solutions from our internal solution pool here.intgetAdditionalSolutionsCount()If the parameter fill_additional_solutions_in_response is set, then we copy all the solutions from our internal solution pool here.java.util.List<CpSolverSolution>getAdditionalSolutionsList()If the parameter fill_additional_solutions_in_response is set, then we copy all the solutions from our internal solution pool here.CpSolverSolutionOrBuildergetAdditionalSolutionsOrBuilder(int index)If the parameter fill_additional_solutions_in_response is set, then we copy all the solutions from our internal solution pool here.java.util.List<? extends CpSolverSolutionOrBuilder>getAdditionalSolutionsOrBuilderList()If the parameter fill_additional_solutions_in_response is set, then we copy all the solutions from our internal solution pool here.doublegetBestObjectiveBound()Only make sense for an optimization problem.CpSolverResponsegetDefaultInstanceForType()static com.google.protobuf.Descriptors.DescriptorgetDescriptor()com.google.protobuf.Descriptors.DescriptorgetDescriptorForType()doublegetDeterministicTime()double deterministic_time = 17;doublegetGapIntegral()The integral of log(1 + absolute_objective_gap) over time.longgetInnerObjectiveLowerBound()Advanced usage.CpObjectiveProtogetIntegerObjective()Contains the integer objective optimized internally.CpObjectiveProto.BuildergetIntegerObjectiveBuilder()Contains the integer objective optimized internally.CpObjectiveProtoOrBuildergetIntegerObjectiveOrBuilder()Contains the integer objective optimized internally.longgetNumBinaryPropagations()int64 num_binary_propagations = 13;longgetNumBooleans()int64 num_booleans = 10;longgetNumBranches()int64 num_branches = 12;longgetNumConflicts()int64 num_conflicts = 11;longgetNumIntegerPropagations()int64 num_integer_propagations = 14;longgetNumIntegers()Some statistics about the solve.longgetNumLpIterations()int64 num_lp_iterations = 25;longgetNumRestarts()int64 num_restarts = 24;doublegetObjectiveValue()Only make sense for an optimization problem.longgetSolution(int index)A feasible solution to the given problem.intgetSolutionCount()A feasible solution to the given problem.java.lang.StringgetSolutionInfo()Additional information about how the solution was found.com.google.protobuf.ByteStringgetSolutionInfoBytes()Additional information about how the solution was found.java.util.List<java.lang.Long>getSolutionList()A feasible solution to the given problem.java.lang.StringgetSolveLog()The solve log will be filled if the parameter log_to_response is set to true.com.google.protobuf.ByteStringgetSolveLogBytes()The solve log will be filled if the parameter log_to_response is set to true.CpSolverStatusgetStatus()The status of the solve.intgetStatusValue()The status of the solve.intgetSufficientAssumptionsForInfeasibility(int index)A subset of the model "assumptions" field.intgetSufficientAssumptionsForInfeasibilityCount()A subset of the model "assumptions" field.java.util.List<java.lang.Integer>getSufficientAssumptionsForInfeasibilityList()A subset of the model "assumptions" field.IntegerVariableProtogetTightenedVariables(int index)Advanced usage.IntegerVariableProto.BuildergetTightenedVariablesBuilder(int index)Advanced usage.java.util.List<IntegerVariableProto.Builder>getTightenedVariablesBuilderList()Advanced usage.intgetTightenedVariablesCount()Advanced usage.java.util.List<IntegerVariableProto>getTightenedVariablesList()Advanced usage.IntegerVariableProtoOrBuildergetTightenedVariablesOrBuilder(int index)Advanced usage.java.util.List<? extends IntegerVariableProtoOrBuilder>getTightenedVariablesOrBuilderList()Advanced usage.doublegetUserTime()double user_time = 16;doublegetWallTime()The time counted from the beginning of the Solve() call.booleanhasIntegerObjective()Contains the integer objective optimized internally.protected com.google.protobuf.GeneratedMessageV3.FieldAccessorTableinternalGetFieldAccessorTable()booleanisInitialized()CpSolverResponse.BuildermergeFrom(CpSolverResponse other)CpSolverResponse.BuildermergeFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)CpSolverResponse.BuildermergeFrom(com.google.protobuf.Message other)CpSolverResponse.BuildermergeIntegerObjective(CpObjectiveProto value)Contains the integer objective optimized internally.CpSolverResponse.BuildermergeUnknownFields(com.google.protobuf.UnknownFieldSet unknownFields)CpSolverResponse.BuilderremoveAdditionalSolutions(int index)If the parameter fill_additional_solutions_in_response is set, then we copy all the solutions from our internal solution pool here.CpSolverResponse.BuilderremoveTightenedVariables(int index)Advanced usage.CpSolverResponse.BuildersetAdditionalSolutions(int index, CpSolverSolution value)If the parameter fill_additional_solutions_in_response is set, then we copy all the solutions from our internal solution pool here.CpSolverResponse.BuildersetAdditionalSolutions(int index, CpSolverSolution.Builder builderForValue)If the parameter fill_additional_solutions_in_response is set, then we copy all the solutions from our internal solution pool here.CpSolverResponse.BuildersetBestObjectiveBound(double value)Only make sense for an optimization problem.CpSolverResponse.BuildersetDeterministicTime(double value)double deterministic_time = 17;CpSolverResponse.BuildersetField(com.google.protobuf.Descriptors.FieldDescriptor field, java.lang.Object value)CpSolverResponse.BuildersetGapIntegral(double value)The integral of log(1 + absolute_objective_gap) over time.CpSolverResponse.BuildersetInnerObjectiveLowerBound(long value)Advanced usage.CpSolverResponse.BuildersetIntegerObjective(CpObjectiveProto value)Contains the integer objective optimized internally.CpSolverResponse.BuildersetIntegerObjective(CpObjectiveProto.Builder builderForValue)Contains the integer objective optimized internally.CpSolverResponse.BuildersetNumBinaryPropagations(long value)int64 num_binary_propagations = 13;CpSolverResponse.BuildersetNumBooleans(long value)int64 num_booleans = 10;CpSolverResponse.BuildersetNumBranches(long value)int64 num_branches = 12;CpSolverResponse.BuildersetNumConflicts(long value)int64 num_conflicts = 11;CpSolverResponse.BuildersetNumIntegerPropagations(long value)int64 num_integer_propagations = 14;CpSolverResponse.BuildersetNumIntegers(long value)Some statistics about the solve.CpSolverResponse.BuildersetNumLpIterations(long value)int64 num_lp_iterations = 25;CpSolverResponse.BuildersetNumRestarts(long value)int64 num_restarts = 24;CpSolverResponse.BuildersetObjectiveValue(double value)Only make sense for an optimization problem.CpSolverResponse.BuildersetRepeatedField(com.google.protobuf.Descriptors.FieldDescriptor field, int index, java.lang.Object value)CpSolverResponse.BuildersetSolution(int index, long value)A feasible solution to the given problem.CpSolverResponse.BuildersetSolutionInfo(java.lang.String value)Additional information about how the solution was found.CpSolverResponse.BuildersetSolutionInfoBytes(com.google.protobuf.ByteString value)Additional information about how the solution was found.CpSolverResponse.BuildersetSolveLog(java.lang.String value)The solve log will be filled if the parameter log_to_response is set to true.CpSolverResponse.BuildersetSolveLogBytes(com.google.protobuf.ByteString value)The solve log will be filled if the parameter log_to_response is set to true.CpSolverResponse.BuildersetStatus(CpSolverStatus value)The status of the solve.CpSolverResponse.BuildersetStatusValue(int value)The status of the solve.CpSolverResponse.BuildersetSufficientAssumptionsForInfeasibility(int index, int value)A subset of the model "assumptions" field.CpSolverResponse.BuildersetTightenedVariables(int index, IntegerVariableProto value)Advanced usage.CpSolverResponse.BuildersetTightenedVariables(int index, IntegerVariableProto.Builder builderForValue)Advanced usage.CpSolverResponse.BuildersetUnknownFields(com.google.protobuf.UnknownFieldSet unknownFields)CpSolverResponse.BuildersetUserTime(double value)double user_time = 16;CpSolverResponse.BuildersetWallTime(double value)The time counted from the beginning of the Solve() call.-
Methods inherited from class com.google.protobuf.GeneratedMessageV3.Builder
getAllFields, getField, getFieldBuilder, getOneofFieldDescriptor, getParentForChildren, getRepeatedField, getRepeatedFieldBuilder, getRepeatedFieldCount, getUnknownFields, getUnknownFieldSetBuilder, hasField, hasOneof, internalGetMapField, internalGetMapFieldReflection, internalGetMutableMapField, internalGetMutableMapFieldReflection, isClean, markClean, mergeUnknownLengthDelimitedField, mergeUnknownVarintField, newBuilderForField, onBuilt, onChanged, parseUnknownField, setUnknownFieldSetBuilder, setUnknownFieldsProto3
-
Methods inherited from class com.google.protobuf.AbstractMessage.Builder
findInitializationErrors, getInitializationErrorString, internalMergeFrom, mergeFrom, mergeFrom, mergeFrom, mergeFrom, mergeFrom, mergeFrom, mergeFrom, mergeFrom, mergeFrom, newUninitializedMessageException, toString
-
Methods inherited from class com.google.protobuf.AbstractMessageLite.Builder
addAll, addAll, mergeDelimitedFrom, mergeDelimitedFrom, mergeFrom, newUninitializedMessageException
-
Methods inherited from class java.lang.Object
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
-
-
-
-
Method Detail
-
getDescriptor
public static final com.google.protobuf.Descriptors.Descriptor getDescriptor()
-
internalGetFieldAccessorTable
protected com.google.protobuf.GeneratedMessageV3.FieldAccessorTable internalGetFieldAccessorTable()
- Specified by:
internalGetFieldAccessorTablein classcom.google.protobuf.GeneratedMessageV3.Builder<CpSolverResponse.Builder>
-
clear
public CpSolverResponse.Builder clear()
- Specified by:
clearin interfacecom.google.protobuf.Message.Builder- Specified by:
clearin interfacecom.google.protobuf.MessageLite.Builder- Overrides:
clearin classcom.google.protobuf.GeneratedMessageV3.Builder<CpSolverResponse.Builder>
-
getDescriptorForType
public com.google.protobuf.Descriptors.Descriptor getDescriptorForType()
- Specified by:
getDescriptorForTypein interfacecom.google.protobuf.Message.Builder- Specified by:
getDescriptorForTypein interfacecom.google.protobuf.MessageOrBuilder- Overrides:
getDescriptorForTypein classcom.google.protobuf.GeneratedMessageV3.Builder<CpSolverResponse.Builder>
-
getDefaultInstanceForType
public CpSolverResponse getDefaultInstanceForType()
- Specified by:
getDefaultInstanceForTypein interfacecom.google.protobuf.MessageLiteOrBuilder- Specified by:
getDefaultInstanceForTypein interfacecom.google.protobuf.MessageOrBuilder
-
build
public CpSolverResponse build()
- Specified by:
buildin interfacecom.google.protobuf.Message.Builder- Specified by:
buildin interfacecom.google.protobuf.MessageLite.Builder
-
buildPartial
public CpSolverResponse buildPartial()
- Specified by:
buildPartialin interfacecom.google.protobuf.Message.Builder- Specified by:
buildPartialin interfacecom.google.protobuf.MessageLite.Builder
-
clone
public CpSolverResponse.Builder clone()
- Specified by:
clonein interfacecom.google.protobuf.Message.Builder- Specified by:
clonein interfacecom.google.protobuf.MessageLite.Builder- Overrides:
clonein classcom.google.protobuf.GeneratedMessageV3.Builder<CpSolverResponse.Builder>
-
setField
public CpSolverResponse.Builder setField(com.google.protobuf.Descriptors.FieldDescriptor field, java.lang.Object value)
- Specified by:
setFieldin interfacecom.google.protobuf.Message.Builder- Overrides:
setFieldin classcom.google.protobuf.GeneratedMessageV3.Builder<CpSolverResponse.Builder>
-
clearField
public CpSolverResponse.Builder clearField(com.google.protobuf.Descriptors.FieldDescriptor field)
- Specified by:
clearFieldin interfacecom.google.protobuf.Message.Builder- Overrides:
clearFieldin classcom.google.protobuf.GeneratedMessageV3.Builder<CpSolverResponse.Builder>
-
clearOneof
public CpSolverResponse.Builder clearOneof(com.google.protobuf.Descriptors.OneofDescriptor oneof)
- Specified by:
clearOneofin interfacecom.google.protobuf.Message.Builder- Overrides:
clearOneofin classcom.google.protobuf.GeneratedMessageV3.Builder<CpSolverResponse.Builder>
-
setRepeatedField
public CpSolverResponse.Builder setRepeatedField(com.google.protobuf.Descriptors.FieldDescriptor field, int index, java.lang.Object value)
- Specified by:
setRepeatedFieldin interfacecom.google.protobuf.Message.Builder- Overrides:
setRepeatedFieldin classcom.google.protobuf.GeneratedMessageV3.Builder<CpSolverResponse.Builder>
-
addRepeatedField
public CpSolverResponse.Builder addRepeatedField(com.google.protobuf.Descriptors.FieldDescriptor field, java.lang.Object value)
- Specified by:
addRepeatedFieldin interfacecom.google.protobuf.Message.Builder- Overrides:
addRepeatedFieldin classcom.google.protobuf.GeneratedMessageV3.Builder<CpSolverResponse.Builder>
-
mergeFrom
public CpSolverResponse.Builder mergeFrom(com.google.protobuf.Message other)
- Specified by:
mergeFromin interfacecom.google.protobuf.Message.Builder- Overrides:
mergeFromin classcom.google.protobuf.AbstractMessage.Builder<CpSolverResponse.Builder>
-
mergeFrom
public CpSolverResponse.Builder mergeFrom(CpSolverResponse other)
-
isInitialized
public final boolean isInitialized()
- Specified by:
isInitializedin interfacecom.google.protobuf.MessageLiteOrBuilder- Overrides:
isInitializedin classcom.google.protobuf.GeneratedMessageV3.Builder<CpSolverResponse.Builder>
-
mergeFrom
public CpSolverResponse.Builder mergeFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException
- Specified by:
mergeFromin interfacecom.google.protobuf.Message.Builder- Specified by:
mergeFromin interfacecom.google.protobuf.MessageLite.Builder- Overrides:
mergeFromin classcom.google.protobuf.AbstractMessage.Builder<CpSolverResponse.Builder>- Throws:
java.io.IOException
-
getStatusValue
public int getStatusValue()
The status of the solve.
.operations_research.sat.CpSolverStatus status = 1;- Specified by:
getStatusValuein interfaceCpSolverResponseOrBuilder- Returns:
- The enum numeric value on the wire for status.
-
setStatusValue
public CpSolverResponse.Builder setStatusValue(int value)
The status of the solve.
.operations_research.sat.CpSolverStatus status = 1;- Parameters:
value- The enum numeric value on the wire for status to set.- Returns:
- This builder for chaining.
-
getStatus
public CpSolverStatus getStatus()
The status of the solve.
.operations_research.sat.CpSolverStatus status = 1;- Specified by:
getStatusin interfaceCpSolverResponseOrBuilder- Returns:
- The status.
-
setStatus
public CpSolverResponse.Builder setStatus(CpSolverStatus value)
The status of the solve.
.operations_research.sat.CpSolverStatus status = 1;- Parameters:
value- The status to set.- Returns:
- This builder for chaining.
-
clearStatus
public CpSolverResponse.Builder clearStatus()
The status of the solve.
.operations_research.sat.CpSolverStatus status = 1;- Returns:
- This builder for chaining.
-
getSolutionList
public java.util.List<java.lang.Long> getSolutionList()
A feasible solution to the given problem. Depending on the returned status it may be optimal or just feasible. This is in one-to-one correspondence with a CpModelProto::variables repeated field and list the values of all the variables.
repeated int64 solution = 2;- Specified by:
getSolutionListin interfaceCpSolverResponseOrBuilder- Returns:
- A list containing the solution.
-
getSolutionCount
public int getSolutionCount()
A feasible solution to the given problem. Depending on the returned status it may be optimal or just feasible. This is in one-to-one correspondence with a CpModelProto::variables repeated field and list the values of all the variables.
repeated int64 solution = 2;- Specified by:
getSolutionCountin interfaceCpSolverResponseOrBuilder- Returns:
- The count of solution.
-
getSolution
public long getSolution(int index)
A feasible solution to the given problem. Depending on the returned status it may be optimal or just feasible. This is in one-to-one correspondence with a CpModelProto::variables repeated field and list the values of all the variables.
repeated int64 solution = 2;- Specified by:
getSolutionin interfaceCpSolverResponseOrBuilder- Parameters:
index- The index of the element to return.- Returns:
- The solution at the given index.
-
setSolution
public CpSolverResponse.Builder setSolution(int index, long value)
A feasible solution to the given problem. Depending on the returned status it may be optimal or just feasible. This is in one-to-one correspondence with a CpModelProto::variables repeated field and list the values of all the variables.
repeated int64 solution = 2;- Parameters:
index- The index to set the value at.value- The solution to set.- Returns:
- This builder for chaining.
-
addSolution
public CpSolverResponse.Builder addSolution(long value)
A feasible solution to the given problem. Depending on the returned status it may be optimal or just feasible. This is in one-to-one correspondence with a CpModelProto::variables repeated field and list the values of all the variables.
repeated int64 solution = 2;- Parameters:
value- The solution to add.- Returns:
- This builder for chaining.
-
addAllSolution
public CpSolverResponse.Builder addAllSolution(java.lang.Iterable<? extends java.lang.Long> values)
A feasible solution to the given problem. Depending on the returned status it may be optimal or just feasible. This is in one-to-one correspondence with a CpModelProto::variables repeated field and list the values of all the variables.
repeated int64 solution = 2;- Parameters:
values- The solution to add.- Returns:
- This builder for chaining.
-
clearSolution
public CpSolverResponse.Builder clearSolution()
A feasible solution to the given problem. Depending on the returned status it may be optimal or just feasible. This is in one-to-one correspondence with a CpModelProto::variables repeated field and list the values of all the variables.
repeated int64 solution = 2;- Returns:
- This builder for chaining.
-
getObjectiveValue
public double getObjectiveValue()
Only make sense for an optimization problem. The objective value of the returned solution if it is non-empty. If there is no solution, then for a minimization problem, this will be an upper-bound of the objective of any feasible solution, and a lower-bound for a maximization problem.
double objective_value = 3;- Specified by:
getObjectiveValuein interfaceCpSolverResponseOrBuilder- Returns:
- The objectiveValue.
-
setObjectiveValue
public CpSolverResponse.Builder setObjectiveValue(double value)
Only make sense for an optimization problem. The objective value of the returned solution if it is non-empty. If there is no solution, then for a minimization problem, this will be an upper-bound of the objective of any feasible solution, and a lower-bound for a maximization problem.
double objective_value = 3;- Parameters:
value- The objectiveValue to set.- Returns:
- This builder for chaining.
-
clearObjectiveValue
public CpSolverResponse.Builder clearObjectiveValue()
Only make sense for an optimization problem. The objective value of the returned solution if it is non-empty. If there is no solution, then for a minimization problem, this will be an upper-bound of the objective of any feasible solution, and a lower-bound for a maximization problem.
double objective_value = 3;- Returns:
- This builder for chaining.
-
getBestObjectiveBound
public double getBestObjectiveBound()
Only make sense for an optimization problem. A proven lower-bound on the objective for a minimization problem, or a proven upper-bound for a maximization problem.
double best_objective_bound = 4;- Specified by:
getBestObjectiveBoundin interfaceCpSolverResponseOrBuilder- Returns:
- The bestObjectiveBound.
-
setBestObjectiveBound
public CpSolverResponse.Builder setBestObjectiveBound(double value)
Only make sense for an optimization problem. A proven lower-bound on the objective for a minimization problem, or a proven upper-bound for a maximization problem.
double best_objective_bound = 4;- Parameters:
value- The bestObjectiveBound to set.- Returns:
- This builder for chaining.
-
clearBestObjectiveBound
public CpSolverResponse.Builder clearBestObjectiveBound()
Only make sense for an optimization problem. A proven lower-bound on the objective for a minimization problem, or a proven upper-bound for a maximization problem.
double best_objective_bound = 4;- Returns:
- This builder for chaining.
-
getAdditionalSolutionsList
public java.util.List<CpSolverSolution> getAdditionalSolutionsList()
If the parameter fill_additional_solutions_in_response is set, then we copy all the solutions from our internal solution pool here. Note that the one returned in the solution field will likely appear here too. Do not rely on the solutions order as it depends on our internal representation (after postsolve).
repeated .operations_research.sat.CpSolverSolution additional_solutions = 27;- Specified by:
getAdditionalSolutionsListin interfaceCpSolverResponseOrBuilder
-
getAdditionalSolutionsCount
public int getAdditionalSolutionsCount()
If the parameter fill_additional_solutions_in_response is set, then we copy all the solutions from our internal solution pool here. Note that the one returned in the solution field will likely appear here too. Do not rely on the solutions order as it depends on our internal representation (after postsolve).
repeated .operations_research.sat.CpSolverSolution additional_solutions = 27;- Specified by:
getAdditionalSolutionsCountin interfaceCpSolverResponseOrBuilder
-
getAdditionalSolutions
public CpSolverSolution getAdditionalSolutions(int index)
If the parameter fill_additional_solutions_in_response is set, then we copy all the solutions from our internal solution pool here. Note that the one returned in the solution field will likely appear here too. Do not rely on the solutions order as it depends on our internal representation (after postsolve).
repeated .operations_research.sat.CpSolverSolution additional_solutions = 27;- Specified by:
getAdditionalSolutionsin interfaceCpSolverResponseOrBuilder
-
setAdditionalSolutions
public CpSolverResponse.Builder setAdditionalSolutions(int index, CpSolverSolution value)
If the parameter fill_additional_solutions_in_response is set, then we copy all the solutions from our internal solution pool here. Note that the one returned in the solution field will likely appear here too. Do not rely on the solutions order as it depends on our internal representation (after postsolve).
repeated .operations_research.sat.CpSolverSolution additional_solutions = 27;
-
setAdditionalSolutions
public CpSolverResponse.Builder setAdditionalSolutions(int index, CpSolverSolution.Builder builderForValue)
If the parameter fill_additional_solutions_in_response is set, then we copy all the solutions from our internal solution pool here. Note that the one returned in the solution field will likely appear here too. Do not rely on the solutions order as it depends on our internal representation (after postsolve).
repeated .operations_research.sat.CpSolverSolution additional_solutions = 27;
-
addAdditionalSolutions
public CpSolverResponse.Builder addAdditionalSolutions(CpSolverSolution value)
If the parameter fill_additional_solutions_in_response is set, then we copy all the solutions from our internal solution pool here. Note that the one returned in the solution field will likely appear here too. Do not rely on the solutions order as it depends on our internal representation (after postsolve).
repeated .operations_research.sat.CpSolverSolution additional_solutions = 27;
-
addAdditionalSolutions
public CpSolverResponse.Builder addAdditionalSolutions(int index, CpSolverSolution value)
If the parameter fill_additional_solutions_in_response is set, then we copy all the solutions from our internal solution pool here. Note that the one returned in the solution field will likely appear here too. Do not rely on the solutions order as it depends on our internal representation (after postsolve).
repeated .operations_research.sat.CpSolverSolution additional_solutions = 27;
-
addAdditionalSolutions
public CpSolverResponse.Builder addAdditionalSolutions(CpSolverSolution.Builder builderForValue)
If the parameter fill_additional_solutions_in_response is set, then we copy all the solutions from our internal solution pool here. Note that the one returned in the solution field will likely appear here too. Do not rely on the solutions order as it depends on our internal representation (after postsolve).
repeated .operations_research.sat.CpSolverSolution additional_solutions = 27;
-
addAdditionalSolutions
public CpSolverResponse.Builder addAdditionalSolutions(int index, CpSolverSolution.Builder builderForValue)
If the parameter fill_additional_solutions_in_response is set, then we copy all the solutions from our internal solution pool here. Note that the one returned in the solution field will likely appear here too. Do not rely on the solutions order as it depends on our internal representation (after postsolve).
repeated .operations_research.sat.CpSolverSolution additional_solutions = 27;
-
addAllAdditionalSolutions
public CpSolverResponse.Builder addAllAdditionalSolutions(java.lang.Iterable<? extends CpSolverSolution> values)
If the parameter fill_additional_solutions_in_response is set, then we copy all the solutions from our internal solution pool here. Note that the one returned in the solution field will likely appear here too. Do not rely on the solutions order as it depends on our internal representation (after postsolve).
repeated .operations_research.sat.CpSolverSolution additional_solutions = 27;
-
clearAdditionalSolutions
public CpSolverResponse.Builder clearAdditionalSolutions()
If the parameter fill_additional_solutions_in_response is set, then we copy all the solutions from our internal solution pool here. Note that the one returned in the solution field will likely appear here too. Do not rely on the solutions order as it depends on our internal representation (after postsolve).
repeated .operations_research.sat.CpSolverSolution additional_solutions = 27;
-
removeAdditionalSolutions
public CpSolverResponse.Builder removeAdditionalSolutions(int index)
If the parameter fill_additional_solutions_in_response is set, then we copy all the solutions from our internal solution pool here. Note that the one returned in the solution field will likely appear here too. Do not rely on the solutions order as it depends on our internal representation (after postsolve).
repeated .operations_research.sat.CpSolverSolution additional_solutions = 27;
-
getAdditionalSolutionsBuilder
public CpSolverSolution.Builder getAdditionalSolutionsBuilder(int index)
If the parameter fill_additional_solutions_in_response is set, then we copy all the solutions from our internal solution pool here. Note that the one returned in the solution field will likely appear here too. Do not rely on the solutions order as it depends on our internal representation (after postsolve).
repeated .operations_research.sat.CpSolverSolution additional_solutions = 27;
-
getAdditionalSolutionsOrBuilder
public CpSolverSolutionOrBuilder getAdditionalSolutionsOrBuilder(int index)
If the parameter fill_additional_solutions_in_response is set, then we copy all the solutions from our internal solution pool here. Note that the one returned in the solution field will likely appear here too. Do not rely on the solutions order as it depends on our internal representation (after postsolve).
repeated .operations_research.sat.CpSolverSolution additional_solutions = 27;- Specified by:
getAdditionalSolutionsOrBuilderin interfaceCpSolverResponseOrBuilder
-
getAdditionalSolutionsOrBuilderList
public java.util.List<? extends CpSolverSolutionOrBuilder> getAdditionalSolutionsOrBuilderList()
If the parameter fill_additional_solutions_in_response is set, then we copy all the solutions from our internal solution pool here. Note that the one returned in the solution field will likely appear here too. Do not rely on the solutions order as it depends on our internal representation (after postsolve).
repeated .operations_research.sat.CpSolverSolution additional_solutions = 27;- Specified by:
getAdditionalSolutionsOrBuilderListin interfaceCpSolverResponseOrBuilder
-
addAdditionalSolutionsBuilder
public CpSolverSolution.Builder addAdditionalSolutionsBuilder()
If the parameter fill_additional_solutions_in_response is set, then we copy all the solutions from our internal solution pool here. Note that the one returned in the solution field will likely appear here too. Do not rely on the solutions order as it depends on our internal representation (after postsolve).
repeated .operations_research.sat.CpSolverSolution additional_solutions = 27;
-
addAdditionalSolutionsBuilder
public CpSolverSolution.Builder addAdditionalSolutionsBuilder(int index)
If the parameter fill_additional_solutions_in_response is set, then we copy all the solutions from our internal solution pool here. Note that the one returned in the solution field will likely appear here too. Do not rely on the solutions order as it depends on our internal representation (after postsolve).
repeated .operations_research.sat.CpSolverSolution additional_solutions = 27;
-
getAdditionalSolutionsBuilderList
public java.util.List<CpSolverSolution.Builder> getAdditionalSolutionsBuilderList()
If the parameter fill_additional_solutions_in_response is set, then we copy all the solutions from our internal solution pool here. Note that the one returned in the solution field will likely appear here too. Do not rely on the solutions order as it depends on our internal representation (after postsolve).
repeated .operations_research.sat.CpSolverSolution additional_solutions = 27;
-
getTightenedVariablesList
public java.util.List<IntegerVariableProto> getTightenedVariablesList()
Advanced usage. If the option fill_tightened_domains_in_response is set, then this field will be a copy of the CpModelProto.variables where each domain has been reduced using the information the solver was able to derive. Note that this is only filled with the info derived during a normal search and we do not have any dedicated algorithm to improve it. If the problem is a feasibility problem, then these bounds will be valid for any feasible solution. If the problem is an optimization problem, then these bounds will only be valid for any OPTIMAL solutions, it can exclude sub-optimal feasible ones.
repeated .operations_research.sat.IntegerVariableProto tightened_variables = 21;- Specified by:
getTightenedVariablesListin interfaceCpSolverResponseOrBuilder
-
getTightenedVariablesCount
public int getTightenedVariablesCount()
Advanced usage. If the option fill_tightened_domains_in_response is set, then this field will be a copy of the CpModelProto.variables where each domain has been reduced using the information the solver was able to derive. Note that this is only filled with the info derived during a normal search and we do not have any dedicated algorithm to improve it. If the problem is a feasibility problem, then these bounds will be valid for any feasible solution. If the problem is an optimization problem, then these bounds will only be valid for any OPTIMAL solutions, it can exclude sub-optimal feasible ones.
repeated .operations_research.sat.IntegerVariableProto tightened_variables = 21;- Specified by:
getTightenedVariablesCountin interfaceCpSolverResponseOrBuilder
-
getTightenedVariables
public IntegerVariableProto getTightenedVariables(int index)
Advanced usage. If the option fill_tightened_domains_in_response is set, then this field will be a copy of the CpModelProto.variables where each domain has been reduced using the information the solver was able to derive. Note that this is only filled with the info derived during a normal search and we do not have any dedicated algorithm to improve it. If the problem is a feasibility problem, then these bounds will be valid for any feasible solution. If the problem is an optimization problem, then these bounds will only be valid for any OPTIMAL solutions, it can exclude sub-optimal feasible ones.
repeated .operations_research.sat.IntegerVariableProto tightened_variables = 21;- Specified by:
getTightenedVariablesin interfaceCpSolverResponseOrBuilder
-
setTightenedVariables
public CpSolverResponse.Builder setTightenedVariables(int index, IntegerVariableProto value)
Advanced usage. If the option fill_tightened_domains_in_response is set, then this field will be a copy of the CpModelProto.variables where each domain has been reduced using the information the solver was able to derive. Note that this is only filled with the info derived during a normal search and we do not have any dedicated algorithm to improve it. If the problem is a feasibility problem, then these bounds will be valid for any feasible solution. If the problem is an optimization problem, then these bounds will only be valid for any OPTIMAL solutions, it can exclude sub-optimal feasible ones.
repeated .operations_research.sat.IntegerVariableProto tightened_variables = 21;
-
setTightenedVariables
public CpSolverResponse.Builder setTightenedVariables(int index, IntegerVariableProto.Builder builderForValue)
Advanced usage. If the option fill_tightened_domains_in_response is set, then this field will be a copy of the CpModelProto.variables where each domain has been reduced using the information the solver was able to derive. Note that this is only filled with the info derived during a normal search and we do not have any dedicated algorithm to improve it. If the problem is a feasibility problem, then these bounds will be valid for any feasible solution. If the problem is an optimization problem, then these bounds will only be valid for any OPTIMAL solutions, it can exclude sub-optimal feasible ones.
repeated .operations_research.sat.IntegerVariableProto tightened_variables = 21;
-
addTightenedVariables
public CpSolverResponse.Builder addTightenedVariables(IntegerVariableProto value)
Advanced usage. If the option fill_tightened_domains_in_response is set, then this field will be a copy of the CpModelProto.variables where each domain has been reduced using the information the solver was able to derive. Note that this is only filled with the info derived during a normal search and we do not have any dedicated algorithm to improve it. If the problem is a feasibility problem, then these bounds will be valid for any feasible solution. If the problem is an optimization problem, then these bounds will only be valid for any OPTIMAL solutions, it can exclude sub-optimal feasible ones.
repeated .operations_research.sat.IntegerVariableProto tightened_variables = 21;
-
addTightenedVariables
public CpSolverResponse.Builder addTightenedVariables(int index, IntegerVariableProto value)
Advanced usage. If the option fill_tightened_domains_in_response is set, then this field will be a copy of the CpModelProto.variables where each domain has been reduced using the information the solver was able to derive. Note that this is only filled with the info derived during a normal search and we do not have any dedicated algorithm to improve it. If the problem is a feasibility problem, then these bounds will be valid for any feasible solution. If the problem is an optimization problem, then these bounds will only be valid for any OPTIMAL solutions, it can exclude sub-optimal feasible ones.
repeated .operations_research.sat.IntegerVariableProto tightened_variables = 21;
-
addTightenedVariables
public CpSolverResponse.Builder addTightenedVariables(IntegerVariableProto.Builder builderForValue)
Advanced usage. If the option fill_tightened_domains_in_response is set, then this field will be a copy of the CpModelProto.variables where each domain has been reduced using the information the solver was able to derive. Note that this is only filled with the info derived during a normal search and we do not have any dedicated algorithm to improve it. If the problem is a feasibility problem, then these bounds will be valid for any feasible solution. If the problem is an optimization problem, then these bounds will only be valid for any OPTIMAL solutions, it can exclude sub-optimal feasible ones.
repeated .operations_research.sat.IntegerVariableProto tightened_variables = 21;
-
addTightenedVariables
public CpSolverResponse.Builder addTightenedVariables(int index, IntegerVariableProto.Builder builderForValue)
Advanced usage. If the option fill_tightened_domains_in_response is set, then this field will be a copy of the CpModelProto.variables where each domain has been reduced using the information the solver was able to derive. Note that this is only filled with the info derived during a normal search and we do not have any dedicated algorithm to improve it. If the problem is a feasibility problem, then these bounds will be valid for any feasible solution. If the problem is an optimization problem, then these bounds will only be valid for any OPTIMAL solutions, it can exclude sub-optimal feasible ones.
repeated .operations_research.sat.IntegerVariableProto tightened_variables = 21;
-
addAllTightenedVariables
public CpSolverResponse.Builder addAllTightenedVariables(java.lang.Iterable<? extends IntegerVariableProto> values)
Advanced usage. If the option fill_tightened_domains_in_response is set, then this field will be a copy of the CpModelProto.variables where each domain has been reduced using the information the solver was able to derive. Note that this is only filled with the info derived during a normal search and we do not have any dedicated algorithm to improve it. If the problem is a feasibility problem, then these bounds will be valid for any feasible solution. If the problem is an optimization problem, then these bounds will only be valid for any OPTIMAL solutions, it can exclude sub-optimal feasible ones.
repeated .operations_research.sat.IntegerVariableProto tightened_variables = 21;
-
clearTightenedVariables
public CpSolverResponse.Builder clearTightenedVariables()
Advanced usage. If the option fill_tightened_domains_in_response is set, then this field will be a copy of the CpModelProto.variables where each domain has been reduced using the information the solver was able to derive. Note that this is only filled with the info derived during a normal search and we do not have any dedicated algorithm to improve it. If the problem is a feasibility problem, then these bounds will be valid for any feasible solution. If the problem is an optimization problem, then these bounds will only be valid for any OPTIMAL solutions, it can exclude sub-optimal feasible ones.
repeated .operations_research.sat.IntegerVariableProto tightened_variables = 21;
-
removeTightenedVariables
public CpSolverResponse.Builder removeTightenedVariables(int index)
Advanced usage. If the option fill_tightened_domains_in_response is set, then this field will be a copy of the CpModelProto.variables where each domain has been reduced using the information the solver was able to derive. Note that this is only filled with the info derived during a normal search and we do not have any dedicated algorithm to improve it. If the problem is a feasibility problem, then these bounds will be valid for any feasible solution. If the problem is an optimization problem, then these bounds will only be valid for any OPTIMAL solutions, it can exclude sub-optimal feasible ones.
repeated .operations_research.sat.IntegerVariableProto tightened_variables = 21;
-
getTightenedVariablesBuilder
public IntegerVariableProto.Builder getTightenedVariablesBuilder(int index)
Advanced usage. If the option fill_tightened_domains_in_response is set, then this field will be a copy of the CpModelProto.variables where each domain has been reduced using the information the solver was able to derive. Note that this is only filled with the info derived during a normal search and we do not have any dedicated algorithm to improve it. If the problem is a feasibility problem, then these bounds will be valid for any feasible solution. If the problem is an optimization problem, then these bounds will only be valid for any OPTIMAL solutions, it can exclude sub-optimal feasible ones.
repeated .operations_research.sat.IntegerVariableProto tightened_variables = 21;
-
getTightenedVariablesOrBuilder
public IntegerVariableProtoOrBuilder getTightenedVariablesOrBuilder(int index)
Advanced usage. If the option fill_tightened_domains_in_response is set, then this field will be a copy of the CpModelProto.variables where each domain has been reduced using the information the solver was able to derive. Note that this is only filled with the info derived during a normal search and we do not have any dedicated algorithm to improve it. If the problem is a feasibility problem, then these bounds will be valid for any feasible solution. If the problem is an optimization problem, then these bounds will only be valid for any OPTIMAL solutions, it can exclude sub-optimal feasible ones.
repeated .operations_research.sat.IntegerVariableProto tightened_variables = 21;- Specified by:
getTightenedVariablesOrBuilderin interfaceCpSolverResponseOrBuilder
-
getTightenedVariablesOrBuilderList
public java.util.List<? extends IntegerVariableProtoOrBuilder> getTightenedVariablesOrBuilderList()
Advanced usage. If the option fill_tightened_domains_in_response is set, then this field will be a copy of the CpModelProto.variables where each domain has been reduced using the information the solver was able to derive. Note that this is only filled with the info derived during a normal search and we do not have any dedicated algorithm to improve it. If the problem is a feasibility problem, then these bounds will be valid for any feasible solution. If the problem is an optimization problem, then these bounds will only be valid for any OPTIMAL solutions, it can exclude sub-optimal feasible ones.
repeated .operations_research.sat.IntegerVariableProto tightened_variables = 21;- Specified by:
getTightenedVariablesOrBuilderListin interfaceCpSolverResponseOrBuilder
-
addTightenedVariablesBuilder
public IntegerVariableProto.Builder addTightenedVariablesBuilder()
Advanced usage. If the option fill_tightened_domains_in_response is set, then this field will be a copy of the CpModelProto.variables where each domain has been reduced using the information the solver was able to derive. Note that this is only filled with the info derived during a normal search and we do not have any dedicated algorithm to improve it. If the problem is a feasibility problem, then these bounds will be valid for any feasible solution. If the problem is an optimization problem, then these bounds will only be valid for any OPTIMAL solutions, it can exclude sub-optimal feasible ones.
repeated .operations_research.sat.IntegerVariableProto tightened_variables = 21;
-
addTightenedVariablesBuilder
public IntegerVariableProto.Builder addTightenedVariablesBuilder(int index)
Advanced usage. If the option fill_tightened_domains_in_response is set, then this field will be a copy of the CpModelProto.variables where each domain has been reduced using the information the solver was able to derive. Note that this is only filled with the info derived during a normal search and we do not have any dedicated algorithm to improve it. If the problem is a feasibility problem, then these bounds will be valid for any feasible solution. If the problem is an optimization problem, then these bounds will only be valid for any OPTIMAL solutions, it can exclude sub-optimal feasible ones.
repeated .operations_research.sat.IntegerVariableProto tightened_variables = 21;
-
getTightenedVariablesBuilderList
public java.util.List<IntegerVariableProto.Builder> getTightenedVariablesBuilderList()
Advanced usage. If the option fill_tightened_domains_in_response is set, then this field will be a copy of the CpModelProto.variables where each domain has been reduced using the information the solver was able to derive. Note that this is only filled with the info derived during a normal search and we do not have any dedicated algorithm to improve it. If the problem is a feasibility problem, then these bounds will be valid for any feasible solution. If the problem is an optimization problem, then these bounds will only be valid for any OPTIMAL solutions, it can exclude sub-optimal feasible ones.
repeated .operations_research.sat.IntegerVariableProto tightened_variables = 21;
-
getSufficientAssumptionsForInfeasibilityList
public java.util.List<java.lang.Integer> getSufficientAssumptionsForInfeasibilityList()
A subset of the model "assumptions" field. This will only be filled if the status is INFEASIBLE. This subset of assumption will be enough to still get an infeasible problem. This is related to what is called the irreducible inconsistent subsystem or IIS. Except one is only concerned by the provided assumptions. There is also no guarantee that we return an irreducible (aka minimal subset). However, this is based on SAT explanation and there is a good chance it is not too large. If you really want a minimal subset, a possible way to get one is by changing your model to minimize the number of assumptions at false, but this is likely an harder problem to solve. Important: Currently, this is minimized only in single-thread and if the problem is not an optimization problem, otherwise, it will always include all the assumptions. TODO(user): Allows for returning multiple core at once.
repeated int32 sufficient_assumptions_for_infeasibility = 23;- Specified by:
getSufficientAssumptionsForInfeasibilityListin interfaceCpSolverResponseOrBuilder- Returns:
- A list containing the sufficientAssumptionsForInfeasibility.
-
getSufficientAssumptionsForInfeasibilityCount
public int getSufficientAssumptionsForInfeasibilityCount()
A subset of the model "assumptions" field. This will only be filled if the status is INFEASIBLE. This subset of assumption will be enough to still get an infeasible problem. This is related to what is called the irreducible inconsistent subsystem or IIS. Except one is only concerned by the provided assumptions. There is also no guarantee that we return an irreducible (aka minimal subset). However, this is based on SAT explanation and there is a good chance it is not too large. If you really want a minimal subset, a possible way to get one is by changing your model to minimize the number of assumptions at false, but this is likely an harder problem to solve. Important: Currently, this is minimized only in single-thread and if the problem is not an optimization problem, otherwise, it will always include all the assumptions. TODO(user): Allows for returning multiple core at once.
repeated int32 sufficient_assumptions_for_infeasibility = 23;- Specified by:
getSufficientAssumptionsForInfeasibilityCountin interfaceCpSolverResponseOrBuilder- Returns:
- The count of sufficientAssumptionsForInfeasibility.
-
getSufficientAssumptionsForInfeasibility
public int getSufficientAssumptionsForInfeasibility(int index)
A subset of the model "assumptions" field. This will only be filled if the status is INFEASIBLE. This subset of assumption will be enough to still get an infeasible problem. This is related to what is called the irreducible inconsistent subsystem or IIS. Except one is only concerned by the provided assumptions. There is also no guarantee that we return an irreducible (aka minimal subset). However, this is based on SAT explanation and there is a good chance it is not too large. If you really want a minimal subset, a possible way to get one is by changing your model to minimize the number of assumptions at false, but this is likely an harder problem to solve. Important: Currently, this is minimized only in single-thread and if the problem is not an optimization problem, otherwise, it will always include all the assumptions. TODO(user): Allows for returning multiple core at once.
repeated int32 sufficient_assumptions_for_infeasibility = 23;- Specified by:
getSufficientAssumptionsForInfeasibilityin interfaceCpSolverResponseOrBuilder- Parameters:
index- The index of the element to return.- Returns:
- The sufficientAssumptionsForInfeasibility at the given index.
-
setSufficientAssumptionsForInfeasibility
public CpSolverResponse.Builder setSufficientAssumptionsForInfeasibility(int index, int value)
A subset of the model "assumptions" field. This will only be filled if the status is INFEASIBLE. This subset of assumption will be enough to still get an infeasible problem. This is related to what is called the irreducible inconsistent subsystem or IIS. Except one is only concerned by the provided assumptions. There is also no guarantee that we return an irreducible (aka minimal subset). However, this is based on SAT explanation and there is a good chance it is not too large. If you really want a minimal subset, a possible way to get one is by changing your model to minimize the number of assumptions at false, but this is likely an harder problem to solve. Important: Currently, this is minimized only in single-thread and if the problem is not an optimization problem, otherwise, it will always include all the assumptions. TODO(user): Allows for returning multiple core at once.
repeated int32 sufficient_assumptions_for_infeasibility = 23;- Parameters:
index- The index to set the value at.value- The sufficientAssumptionsForInfeasibility to set.- Returns:
- This builder for chaining.
-
addSufficientAssumptionsForInfeasibility
public CpSolverResponse.Builder addSufficientAssumptionsForInfeasibility(int value)
A subset of the model "assumptions" field. This will only be filled if the status is INFEASIBLE. This subset of assumption will be enough to still get an infeasible problem. This is related to what is called the irreducible inconsistent subsystem or IIS. Except one is only concerned by the provided assumptions. There is also no guarantee that we return an irreducible (aka minimal subset). However, this is based on SAT explanation and there is a good chance it is not too large. If you really want a minimal subset, a possible way to get one is by changing your model to minimize the number of assumptions at false, but this is likely an harder problem to solve. Important: Currently, this is minimized only in single-thread and if the problem is not an optimization problem, otherwise, it will always include all the assumptions. TODO(user): Allows for returning multiple core at once.
repeated int32 sufficient_assumptions_for_infeasibility = 23;- Parameters:
value- The sufficientAssumptionsForInfeasibility to add.- Returns:
- This builder for chaining.
-
addAllSufficientAssumptionsForInfeasibility
public CpSolverResponse.Builder addAllSufficientAssumptionsForInfeasibility(java.lang.Iterable<? extends java.lang.Integer> values)
A subset of the model "assumptions" field. This will only be filled if the status is INFEASIBLE. This subset of assumption will be enough to still get an infeasible problem. This is related to what is called the irreducible inconsistent subsystem or IIS. Except one is only concerned by the provided assumptions. There is also no guarantee that we return an irreducible (aka minimal subset). However, this is based on SAT explanation and there is a good chance it is not too large. If you really want a minimal subset, a possible way to get one is by changing your model to minimize the number of assumptions at false, but this is likely an harder problem to solve. Important: Currently, this is minimized only in single-thread and if the problem is not an optimization problem, otherwise, it will always include all the assumptions. TODO(user): Allows for returning multiple core at once.
repeated int32 sufficient_assumptions_for_infeasibility = 23;- Parameters:
values- The sufficientAssumptionsForInfeasibility to add.- Returns:
- This builder for chaining.
-
clearSufficientAssumptionsForInfeasibility
public CpSolverResponse.Builder clearSufficientAssumptionsForInfeasibility()
A subset of the model "assumptions" field. This will only be filled if the status is INFEASIBLE. This subset of assumption will be enough to still get an infeasible problem. This is related to what is called the irreducible inconsistent subsystem or IIS. Except one is only concerned by the provided assumptions. There is also no guarantee that we return an irreducible (aka minimal subset). However, this is based on SAT explanation and there is a good chance it is not too large. If you really want a minimal subset, a possible way to get one is by changing your model to minimize the number of assumptions at false, but this is likely an harder problem to solve. Important: Currently, this is minimized only in single-thread and if the problem is not an optimization problem, otherwise, it will always include all the assumptions. TODO(user): Allows for returning multiple core at once.
repeated int32 sufficient_assumptions_for_infeasibility = 23;- Returns:
- This builder for chaining.
-
hasIntegerObjective
public boolean hasIntegerObjective()
Contains the integer objective optimized internally. This is only filled if the problem had a floating point objective, and on the final response, not the ones given to callbacks.
.operations_research.sat.CpObjectiveProto integer_objective = 28;- Specified by:
hasIntegerObjectivein interfaceCpSolverResponseOrBuilder- Returns:
- Whether the integerObjective field is set.
-
getIntegerObjective
public CpObjectiveProto getIntegerObjective()
Contains the integer objective optimized internally. This is only filled if the problem had a floating point objective, and on the final response, not the ones given to callbacks.
.operations_research.sat.CpObjectiveProto integer_objective = 28;- Specified by:
getIntegerObjectivein interfaceCpSolverResponseOrBuilder- Returns:
- The integerObjective.
-
setIntegerObjective
public CpSolverResponse.Builder setIntegerObjective(CpObjectiveProto value)
Contains the integer objective optimized internally. This is only filled if the problem had a floating point objective, and on the final response, not the ones given to callbacks.
.operations_research.sat.CpObjectiveProto integer_objective = 28;
-
setIntegerObjective
public CpSolverResponse.Builder setIntegerObjective(CpObjectiveProto.Builder builderForValue)
Contains the integer objective optimized internally. This is only filled if the problem had a floating point objective, and on the final response, not the ones given to callbacks.
.operations_research.sat.CpObjectiveProto integer_objective = 28;
-
mergeIntegerObjective
public CpSolverResponse.Builder mergeIntegerObjective(CpObjectiveProto value)
Contains the integer objective optimized internally. This is only filled if the problem had a floating point objective, and on the final response, not the ones given to callbacks.
.operations_research.sat.CpObjectiveProto integer_objective = 28;
-
clearIntegerObjective
public CpSolverResponse.Builder clearIntegerObjective()
Contains the integer objective optimized internally. This is only filled if the problem had a floating point objective, and on the final response, not the ones given to callbacks.
.operations_research.sat.CpObjectiveProto integer_objective = 28;
-
getIntegerObjectiveBuilder
public CpObjectiveProto.Builder getIntegerObjectiveBuilder()
Contains the integer objective optimized internally. This is only filled if the problem had a floating point objective, and on the final response, not the ones given to callbacks.
.operations_research.sat.CpObjectiveProto integer_objective = 28;
-
getIntegerObjectiveOrBuilder
public CpObjectiveProtoOrBuilder getIntegerObjectiveOrBuilder()
Contains the integer objective optimized internally. This is only filled if the problem had a floating point objective, and on the final response, not the ones given to callbacks.
.operations_research.sat.CpObjectiveProto integer_objective = 28;- Specified by:
getIntegerObjectiveOrBuilderin interfaceCpSolverResponseOrBuilder
-
getInnerObjectiveLowerBound
public long getInnerObjectiveLowerBound()
Advanced usage. A lower bound on the inner integer expression of the objective. This is either a bound on the expression in the returned integer_objective or on the integer expression of the original objective if the problem already has an integer objective.
int64 inner_objective_lower_bound = 29;- Specified by:
getInnerObjectiveLowerBoundin interfaceCpSolverResponseOrBuilder- Returns:
- The innerObjectiveLowerBound.
-
setInnerObjectiveLowerBound
public CpSolverResponse.Builder setInnerObjectiveLowerBound(long value)
Advanced usage. A lower bound on the inner integer expression of the objective. This is either a bound on the expression in the returned integer_objective or on the integer expression of the original objective if the problem already has an integer objective.
int64 inner_objective_lower_bound = 29;- Parameters:
value- The innerObjectiveLowerBound to set.- Returns:
- This builder for chaining.
-
clearInnerObjectiveLowerBound
public CpSolverResponse.Builder clearInnerObjectiveLowerBound()
Advanced usage. A lower bound on the inner integer expression of the objective. This is either a bound on the expression in the returned integer_objective or on the integer expression of the original objective if the problem already has an integer objective.
int64 inner_objective_lower_bound = 29;- Returns:
- This builder for chaining.
-
getNumIntegers
public long getNumIntegers()
Some statistics about the solve. Important: in multithread, this correspond the statistics of the first subsolver. Which is usually the one with the user defined parameters. Or the default-search if none are specified.
int64 num_integers = 30;- Specified by:
getNumIntegersin interfaceCpSolverResponseOrBuilder- Returns:
- The numIntegers.
-
setNumIntegers
public CpSolverResponse.Builder setNumIntegers(long value)
Some statistics about the solve. Important: in multithread, this correspond the statistics of the first subsolver. Which is usually the one with the user defined parameters. Or the default-search if none are specified.
int64 num_integers = 30;- Parameters:
value- The numIntegers to set.- Returns:
- This builder for chaining.
-
clearNumIntegers
public CpSolverResponse.Builder clearNumIntegers()
Some statistics about the solve. Important: in multithread, this correspond the statistics of the first subsolver. Which is usually the one with the user defined parameters. Or the default-search if none are specified.
int64 num_integers = 30;- Returns:
- This builder for chaining.
-
getNumBooleans
public long getNumBooleans()
int64 num_booleans = 10;- Specified by:
getNumBooleansin interfaceCpSolverResponseOrBuilder- Returns:
- The numBooleans.
-
setNumBooleans
public CpSolverResponse.Builder setNumBooleans(long value)
int64 num_booleans = 10;- Parameters:
value- The numBooleans to set.- Returns:
- This builder for chaining.
-
clearNumBooleans
public CpSolverResponse.Builder clearNumBooleans()
int64 num_booleans = 10;- Returns:
- This builder for chaining.
-
getNumConflicts
public long getNumConflicts()
int64 num_conflicts = 11;- Specified by:
getNumConflictsin interfaceCpSolverResponseOrBuilder- Returns:
- The numConflicts.
-
setNumConflicts
public CpSolverResponse.Builder setNumConflicts(long value)
int64 num_conflicts = 11;- Parameters:
value- The numConflicts to set.- Returns:
- This builder for chaining.
-
clearNumConflicts
public CpSolverResponse.Builder clearNumConflicts()
int64 num_conflicts = 11;- Returns:
- This builder for chaining.
-
getNumBranches
public long getNumBranches()
int64 num_branches = 12;- Specified by:
getNumBranchesin interfaceCpSolverResponseOrBuilder- Returns:
- The numBranches.
-
setNumBranches
public CpSolverResponse.Builder setNumBranches(long value)
int64 num_branches = 12;- Parameters:
value- The numBranches to set.- Returns:
- This builder for chaining.
-
clearNumBranches
public CpSolverResponse.Builder clearNumBranches()
int64 num_branches = 12;- Returns:
- This builder for chaining.
-
getNumBinaryPropagations
public long getNumBinaryPropagations()
int64 num_binary_propagations = 13;- Specified by:
getNumBinaryPropagationsin interfaceCpSolverResponseOrBuilder- Returns:
- The numBinaryPropagations.
-
setNumBinaryPropagations
public CpSolverResponse.Builder setNumBinaryPropagations(long value)
int64 num_binary_propagations = 13;- Parameters:
value- The numBinaryPropagations to set.- Returns:
- This builder for chaining.
-
clearNumBinaryPropagations
public CpSolverResponse.Builder clearNumBinaryPropagations()
int64 num_binary_propagations = 13;- Returns:
- This builder for chaining.
-
getNumIntegerPropagations
public long getNumIntegerPropagations()
int64 num_integer_propagations = 14;- Specified by:
getNumIntegerPropagationsin interfaceCpSolverResponseOrBuilder- Returns:
- The numIntegerPropagations.
-
setNumIntegerPropagations
public CpSolverResponse.Builder setNumIntegerPropagations(long value)
int64 num_integer_propagations = 14;- Parameters:
value- The numIntegerPropagations to set.- Returns:
- This builder for chaining.
-
clearNumIntegerPropagations
public CpSolverResponse.Builder clearNumIntegerPropagations()
int64 num_integer_propagations = 14;- Returns:
- This builder for chaining.
-
getNumRestarts
public long getNumRestarts()
int64 num_restarts = 24;- Specified by:
getNumRestartsin interfaceCpSolverResponseOrBuilder- Returns:
- The numRestarts.
-
setNumRestarts
public CpSolverResponse.Builder setNumRestarts(long value)
int64 num_restarts = 24;- Parameters:
value- The numRestarts to set.- Returns:
- This builder for chaining.
-
clearNumRestarts
public CpSolverResponse.Builder clearNumRestarts()
int64 num_restarts = 24;- Returns:
- This builder for chaining.
-
getNumLpIterations
public long getNumLpIterations()
int64 num_lp_iterations = 25;- Specified by:
getNumLpIterationsin interfaceCpSolverResponseOrBuilder- Returns:
- The numLpIterations.
-
setNumLpIterations
public CpSolverResponse.Builder setNumLpIterations(long value)
int64 num_lp_iterations = 25;- Parameters:
value- The numLpIterations to set.- Returns:
- This builder for chaining.
-
clearNumLpIterations
public CpSolverResponse.Builder clearNumLpIterations()
int64 num_lp_iterations = 25;- Returns:
- This builder for chaining.
-
getWallTime
public double getWallTime()
The time counted from the beginning of the Solve() call.
double wall_time = 15;- Specified by:
getWallTimein interfaceCpSolverResponseOrBuilder- Returns:
- The wallTime.
-
setWallTime
public CpSolverResponse.Builder setWallTime(double value)
The time counted from the beginning of the Solve() call.
double wall_time = 15;- Parameters:
value- The wallTime to set.- Returns:
- This builder for chaining.
-
clearWallTime
public CpSolverResponse.Builder clearWallTime()
The time counted from the beginning of the Solve() call.
double wall_time = 15;- Returns:
- This builder for chaining.
-
getUserTime
public double getUserTime()
double user_time = 16;- Specified by:
getUserTimein interfaceCpSolverResponseOrBuilder- Returns:
- The userTime.
-
setUserTime
public CpSolverResponse.Builder setUserTime(double value)
double user_time = 16;- Parameters:
value- The userTime to set.- Returns:
- This builder for chaining.
-
clearUserTime
public CpSolverResponse.Builder clearUserTime()
double user_time = 16;- Returns:
- This builder for chaining.
-
getDeterministicTime
public double getDeterministicTime()
double deterministic_time = 17;- Specified by:
getDeterministicTimein interfaceCpSolverResponseOrBuilder- Returns:
- The deterministicTime.
-
setDeterministicTime
public CpSolverResponse.Builder setDeterministicTime(double value)
double deterministic_time = 17;- Parameters:
value- The deterministicTime to set.- Returns:
- This builder for chaining.
-
clearDeterministicTime
public CpSolverResponse.Builder clearDeterministicTime()
double deterministic_time = 17;- Returns:
- This builder for chaining.
-
getGapIntegral
public double getGapIntegral()
The integral of log(1 + absolute_objective_gap) over time.
double gap_integral = 22;- Specified by:
getGapIntegralin interfaceCpSolverResponseOrBuilder- Returns:
- The gapIntegral.
-
setGapIntegral
public CpSolverResponse.Builder setGapIntegral(double value)
The integral of log(1 + absolute_objective_gap) over time.
double gap_integral = 22;- Parameters:
value- The gapIntegral to set.- Returns:
- This builder for chaining.
-
clearGapIntegral
public CpSolverResponse.Builder clearGapIntegral()
The integral of log(1 + absolute_objective_gap) over time.
double gap_integral = 22;- Returns:
- This builder for chaining.
-
getSolutionInfo
public java.lang.String getSolutionInfo()
Additional information about how the solution was found. It also stores model or parameters errors that caused the model to be invalid.
string solution_info = 20;- Specified by:
getSolutionInfoin interfaceCpSolverResponseOrBuilder- Returns:
- The solutionInfo.
-
getSolutionInfoBytes
public com.google.protobuf.ByteString getSolutionInfoBytes()
Additional information about how the solution was found. It also stores model or parameters errors that caused the model to be invalid.
string solution_info = 20;- Specified by:
getSolutionInfoBytesin interfaceCpSolverResponseOrBuilder- Returns:
- The bytes for solutionInfo.
-
setSolutionInfo
public CpSolverResponse.Builder setSolutionInfo(java.lang.String value)
Additional information about how the solution was found. It also stores model or parameters errors that caused the model to be invalid.
string solution_info = 20;- Parameters:
value- The solutionInfo to set.- Returns:
- This builder for chaining.
-
clearSolutionInfo
public CpSolverResponse.Builder clearSolutionInfo()
Additional information about how the solution was found. It also stores model or parameters errors that caused the model to be invalid.
string solution_info = 20;- Returns:
- This builder for chaining.
-
setSolutionInfoBytes
public CpSolverResponse.Builder setSolutionInfoBytes(com.google.protobuf.ByteString value)
Additional information about how the solution was found. It also stores model or parameters errors that caused the model to be invalid.
string solution_info = 20;- Parameters:
value- The bytes for solutionInfo to set.- Returns:
- This builder for chaining.
-
getSolveLog
public java.lang.String getSolveLog()
The solve log will be filled if the parameter log_to_response is set to true.
string solve_log = 26;- Specified by:
getSolveLogin interfaceCpSolverResponseOrBuilder- Returns:
- The solveLog.
-
getSolveLogBytes
public com.google.protobuf.ByteString getSolveLogBytes()
The solve log will be filled if the parameter log_to_response is set to true.
string solve_log = 26;- Specified by:
getSolveLogBytesin interfaceCpSolverResponseOrBuilder- Returns:
- The bytes for solveLog.
-
setSolveLog
public CpSolverResponse.Builder setSolveLog(java.lang.String value)
The solve log will be filled if the parameter log_to_response is set to true.
string solve_log = 26;- Parameters:
value- The solveLog to set.- Returns:
- This builder for chaining.
-
clearSolveLog
public CpSolverResponse.Builder clearSolveLog()
The solve log will be filled if the parameter log_to_response is set to true.
string solve_log = 26;- Returns:
- This builder for chaining.
-
setSolveLogBytes
public CpSolverResponse.Builder setSolveLogBytes(com.google.protobuf.ByteString value)
The solve log will be filled if the parameter log_to_response is set to true.
string solve_log = 26;- Parameters:
value- The bytes for solveLog to set.- Returns:
- This builder for chaining.
-
setUnknownFields
public final CpSolverResponse.Builder setUnknownFields(com.google.protobuf.UnknownFieldSet unknownFields)
- Specified by:
setUnknownFieldsin interfacecom.google.protobuf.Message.Builder- Overrides:
setUnknownFieldsin classcom.google.protobuf.GeneratedMessageV3.Builder<CpSolverResponse.Builder>
-
mergeUnknownFields
public final CpSolverResponse.Builder mergeUnknownFields(com.google.protobuf.UnknownFieldSet unknownFields)
- Specified by:
mergeUnknownFieldsin interfacecom.google.protobuf.Message.Builder- Overrides:
mergeUnknownFieldsin classcom.google.protobuf.GeneratedMessageV3.Builder<CpSolverResponse.Builder>
-
-