Class CpSolverResponse
java.lang.Object
com.google.protobuf.AbstractMessageLite
com.google.protobuf.AbstractMessage
com.google.protobuf.GeneratedMessage
com.google.ortools.sat.CpSolverResponse
- All Implemented Interfaces:
CpSolverResponseOrBuilder
,com.google.protobuf.Message
,com.google.protobuf.MessageLite
,com.google.protobuf.MessageLiteOrBuilder
,com.google.protobuf.MessageOrBuilder
,Serializable
@Generated
public final class CpSolverResponse
extends com.google.protobuf.GeneratedMessage
implements CpSolverResponseOrBuilder
The response returned by a solver trying to solve a CpModelProto. Next id: 32Protobuf type
operations_research.sat.CpSolverResponse
- See Also:
-
Nested Class Summary
Nested ClassesModifier and TypeClassDescriptionstatic final class
The response returned by a solver trying to solve a CpModelProto.Nested classes/interfaces inherited from class com.google.protobuf.GeneratedMessage
com.google.protobuf.GeneratedMessage.ExtendableBuilder<MessageT extends com.google.protobuf.GeneratedMessage.ExtendableMessage<MessageT>, BuilderT extends com.google.protobuf.GeneratedMessage.ExtendableBuilder<MessageT,
BuilderT>>, com.google.protobuf.GeneratedMessage.ExtendableMessage<MessageT extends com.google.protobuf.GeneratedMessage.ExtendableMessage<MessageT>>, com.google.protobuf.GeneratedMessage.ExtendableMessageOrBuilder<MessageT extends com.google.protobuf.GeneratedMessage.ExtendableMessage<MessageT>>, com.google.protobuf.GeneratedMessage.FieldAccessorTable, com.google.protobuf.GeneratedMessage.GeneratedExtension<ContainingT extends com.google.protobuf.Message, T>, com.google.protobuf.GeneratedMessage.UnusedPrivateParameter Nested classes/interfaces inherited from class com.google.protobuf.AbstractMessage
com.google.protobuf.AbstractMessage.BuilderParent
Nested classes/interfaces inherited from class com.google.protobuf.AbstractMessageLite
com.google.protobuf.AbstractMessageLite.InternalOneOfEnum
-
Field Summary
FieldsModifier and TypeFieldDescriptionstatic final int
static final int
static final int
static final int
static final int
static final int
static final int
static final int
static final int
static final int
static final int
static final int
static final int
static final int
static final int
static final int
static final int
static final int
static final int
static final int
static final int
static final int
static final int
static final int
Fields inherited from class com.google.protobuf.GeneratedMessage
alwaysUseFieldBuilders, unknownFields
Fields inherited from class com.google.protobuf.AbstractMessage
memoizedSize
Fields inherited from class com.google.protobuf.AbstractMessageLite
memoizedHashCode
-
Method Summary
Modifier and TypeMethodDescriptionboolean
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.int
If the parameter fill_additional_solutions_in_response is set, then we copy all the solutions from our internal solution pool here.If the parameter fill_additional_solutions_in_response is set, then we copy all the solutions from our internal solution pool here.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.List
<? extends CpSolverSolutionOrBuilder> If the parameter fill_additional_solutions_in_response is set, then we copy all the solutions from our internal solution pool here.double
Only make sense for an optimization problem.static CpSolverResponse
static final com.google.protobuf.Descriptors.Descriptor
double
double deterministic_time = 17;
double
The integral of log(1 + absolute_objective_gap) over time.long
Advanced usage.Contains the integer objective optimized internally.Contains the integer objective optimized internally.long
int64 num_binary_propagations = 13;
long
int64 num_booleans = 10;
long
int64 num_branches = 12;
long
int64 num_conflicts = 11;
long
int64 num_fixed_booleans = 31;
long
int64 num_integer_propagations = 14;
long
Some statistics about the solve.long
int64 num_lp_iterations = 25;
long
int64 num_restarts = 24;
double
Only make sense for an optimization problem.com.google.protobuf.Parser
<CpSolverResponse> int
long
getSolution
(int index) A feasible solution to the given problem.int
A feasible solution to the given problem.Additional information about how the solution was found.com.google.protobuf.ByteString
Additional information about how the solution was found.A feasible solution to the given problem.The solve log will be filled if the parameter log_to_response is set to true.com.google.protobuf.ByteString
The solve log will be filled if the parameter log_to_response is set to true.The status of the solve.int
The status of the solve.int
getSufficientAssumptionsForInfeasibility
(int index) A subset of the model "assumptions" field.int
A subset of the model "assumptions" field.A subset of the model "assumptions" field.getTightenedVariables
(int index) Advanced usage.int
Advanced usage.Advanced usage.getTightenedVariablesOrBuilder
(int index) Advanced usage.List
<? extends IntegerVariableProtoOrBuilder> Advanced usage.double
double user_time = 16;
double
The time counted from the beginning of the Solve() call.int
hashCode()
boolean
Contains the integer objective optimized internally.protected com.google.protobuf.GeneratedMessage.FieldAccessorTable
final boolean
static CpSolverResponse.Builder
static CpSolverResponse.Builder
newBuilder
(CpSolverResponse prototype) protected CpSolverResponse.Builder
newBuilderForType
(com.google.protobuf.AbstractMessage.BuilderParent parent) static CpSolverResponse
parseDelimitedFrom
(InputStream input) static CpSolverResponse
parseDelimitedFrom
(InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) static CpSolverResponse
parseFrom
(byte[] data) static CpSolverResponse
parseFrom
(byte[] data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) static CpSolverResponse
parseFrom
(com.google.protobuf.ByteString data) static CpSolverResponse
parseFrom
(com.google.protobuf.ByteString data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) static CpSolverResponse
parseFrom
(com.google.protobuf.CodedInputStream input) static CpSolverResponse
parseFrom
(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) static CpSolverResponse
parseFrom
(InputStream input) static CpSolverResponse
parseFrom
(InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) static CpSolverResponse
parseFrom
(ByteBuffer data) static CpSolverResponse
parseFrom
(ByteBuffer data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) static com.google.protobuf.Parser
<CpSolverResponse> parser()
void
writeTo
(com.google.protobuf.CodedOutputStream output) Methods inherited from class com.google.protobuf.GeneratedMessage
canUseUnsafe, computeStringSize, computeStringSizeNoTag, emptyBooleanList, emptyDoubleList, emptyFloatList, emptyIntList, emptyList, emptyLongList, getAllFields, getDescriptorForType, getField, getOneofFieldDescriptor, getRepeatedField, getRepeatedFieldCount, getUnknownFields, hasField, hasOneof, internalGetMapField, internalGetMapFieldReflection, isStringEmpty, makeMutableCopy, makeMutableCopy, mergeFromAndMakeImmutableInternal, newFileScopedGeneratedExtension, newInstance, newMessageScopedGeneratedExtension, parseDelimitedWithIOException, parseDelimitedWithIOException, parseUnknownField, parseUnknownFieldProto3, parseWithIOException, parseWithIOException, parseWithIOException, parseWithIOException, serializeBooleanMapTo, serializeIntegerMapTo, serializeLongMapTo, serializeStringMapTo, writeReplace, writeString, writeStringNoTag
Methods inherited from class com.google.protobuf.AbstractMessage
findInitializationErrors, getInitializationErrorString, hashFields, toString
Methods inherited from class com.google.protobuf.AbstractMessageLite
addAll, checkByteStringIsUtf8, toByteArray, toByteString, writeDelimitedTo, writeTo
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
Methods inherited from interface com.google.protobuf.MessageLite
toByteArray, toByteString, writeDelimitedTo, writeTo
Methods inherited from interface com.google.protobuf.MessageOrBuilder
findInitializationErrors, getAllFields, getDescriptorForType, getField, getInitializationErrorString, getOneofFieldDescriptor, getRepeatedField, getRepeatedFieldCount, getUnknownFields, hasField, hasOneof
-
Field Details
-
STATUS_FIELD_NUMBER
public static final int STATUS_FIELD_NUMBER- See Also:
-
SOLUTION_FIELD_NUMBER
public static final int SOLUTION_FIELD_NUMBER- See Also:
-
OBJECTIVE_VALUE_FIELD_NUMBER
public static final int OBJECTIVE_VALUE_FIELD_NUMBER- See Also:
-
BEST_OBJECTIVE_BOUND_FIELD_NUMBER
public static final int BEST_OBJECTIVE_BOUND_FIELD_NUMBER- See Also:
-
ADDITIONAL_SOLUTIONS_FIELD_NUMBER
public static final int ADDITIONAL_SOLUTIONS_FIELD_NUMBER- See Also:
-
TIGHTENED_VARIABLES_FIELD_NUMBER
public static final int TIGHTENED_VARIABLES_FIELD_NUMBER- See Also:
-
SUFFICIENT_ASSUMPTIONS_FOR_INFEASIBILITY_FIELD_NUMBER
public static final int SUFFICIENT_ASSUMPTIONS_FOR_INFEASIBILITY_FIELD_NUMBER- See Also:
-
INTEGER_OBJECTIVE_FIELD_NUMBER
public static final int INTEGER_OBJECTIVE_FIELD_NUMBER- See Also:
-
INNER_OBJECTIVE_LOWER_BOUND_FIELD_NUMBER
public static final int INNER_OBJECTIVE_LOWER_BOUND_FIELD_NUMBER- See Also:
-
NUM_INTEGERS_FIELD_NUMBER
public static final int NUM_INTEGERS_FIELD_NUMBER- See Also:
-
NUM_BOOLEANS_FIELD_NUMBER
public static final int NUM_BOOLEANS_FIELD_NUMBER- See Also:
-
NUM_FIXED_BOOLEANS_FIELD_NUMBER
public static final int NUM_FIXED_BOOLEANS_FIELD_NUMBER- See Also:
-
NUM_CONFLICTS_FIELD_NUMBER
public static final int NUM_CONFLICTS_FIELD_NUMBER- See Also:
-
NUM_BRANCHES_FIELD_NUMBER
public static final int NUM_BRANCHES_FIELD_NUMBER- See Also:
-
NUM_BINARY_PROPAGATIONS_FIELD_NUMBER
public static final int NUM_BINARY_PROPAGATIONS_FIELD_NUMBER- See Also:
-
NUM_INTEGER_PROPAGATIONS_FIELD_NUMBER
public static final int NUM_INTEGER_PROPAGATIONS_FIELD_NUMBER- See Also:
-
NUM_RESTARTS_FIELD_NUMBER
public static final int NUM_RESTARTS_FIELD_NUMBER- See Also:
-
NUM_LP_ITERATIONS_FIELD_NUMBER
public static final int NUM_LP_ITERATIONS_FIELD_NUMBER- See Also:
-
WALL_TIME_FIELD_NUMBER
public static final int WALL_TIME_FIELD_NUMBER- See Also:
-
USER_TIME_FIELD_NUMBER
public static final int USER_TIME_FIELD_NUMBER- See Also:
-
DETERMINISTIC_TIME_FIELD_NUMBER
public static final int DETERMINISTIC_TIME_FIELD_NUMBER- See Also:
-
GAP_INTEGRAL_FIELD_NUMBER
public static final int GAP_INTEGRAL_FIELD_NUMBER- See Also:
-
SOLUTION_INFO_FIELD_NUMBER
public static final int SOLUTION_INFO_FIELD_NUMBER- See Also:
-
SOLVE_LOG_FIELD_NUMBER
public static final int SOLVE_LOG_FIELD_NUMBER- See Also:
-
-
Method Details
-
getDescriptor
public static final com.google.protobuf.Descriptors.Descriptor getDescriptor() -
internalGetFieldAccessorTable
protected com.google.protobuf.GeneratedMessage.FieldAccessorTable internalGetFieldAccessorTable()- Specified by:
internalGetFieldAccessorTable
in classcom.google.protobuf.GeneratedMessage
-
getStatusValue
public int getStatusValue()The status of the solve.
.operations_research.sat.CpSolverStatus status = 1;
- Specified by:
getStatusValue
in interfaceCpSolverResponseOrBuilder
- Returns:
- The enum numeric value on the wire for status.
-
getStatus
The status of the solve.
.operations_research.sat.CpSolverStatus status = 1;
- Specified by:
getStatus
in interfaceCpSolverResponseOrBuilder
- Returns:
- The status.
-
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:
getSolutionList
in 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:
getSolutionCount
in 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:
getSolution
in interfaceCpSolverResponseOrBuilder
- Parameters:
index
- The index of the element to return.- Returns:
- The solution at the given index.
-
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:
getObjectiveValue
in interfaceCpSolverResponseOrBuilder
- Returns:
- The objectiveValue.
-
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:
getBestObjectiveBound
in interfaceCpSolverResponseOrBuilder
- Returns:
- The bestObjectiveBound.
-
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:
getAdditionalSolutionsList
in interfaceCpSolverResponseOrBuilder
-
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:
getAdditionalSolutionsOrBuilderList
in 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:
getAdditionalSolutionsCount
in interfaceCpSolverResponseOrBuilder
-
getAdditionalSolutions
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:
getAdditionalSolutions
in interfaceCpSolverResponseOrBuilder
-
getAdditionalSolutionsOrBuilder
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:
getAdditionalSolutionsOrBuilder
in interfaceCpSolverResponseOrBuilder
-
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. Warning: if you didn't set keep_all_feasible_solutions_in_presolve, then these domains might exclude valid feasible solution. Otherwise for a feasibility problem, all feasible solution should be there. Warning: For an optimization problem, these will correspond to valid bounds for the problem of finding an improving solution to the best one found so far. It might be better to solve a feasibility version if one just want to explore the feasible region.
repeated .operations_research.sat.IntegerVariableProto tightened_variables = 21;
- Specified by:
getTightenedVariablesList
in interfaceCpSolverResponseOrBuilder
-
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. Warning: if you didn't set keep_all_feasible_solutions_in_presolve, then these domains might exclude valid feasible solution. Otherwise for a feasibility problem, all feasible solution should be there. Warning: For an optimization problem, these will correspond to valid bounds for the problem of finding an improving solution to the best one found so far. It might be better to solve a feasibility version if one just want to explore the feasible region.
repeated .operations_research.sat.IntegerVariableProto tightened_variables = 21;
- Specified by:
getTightenedVariablesOrBuilderList
in 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. Warning: if you didn't set keep_all_feasible_solutions_in_presolve, then these domains might exclude valid feasible solution. Otherwise for a feasibility problem, all feasible solution should be there. Warning: For an optimization problem, these will correspond to valid bounds for the problem of finding an improving solution to the best one found so far. It might be better to solve a feasibility version if one just want to explore the feasible region.
repeated .operations_research.sat.IntegerVariableProto tightened_variables = 21;
- Specified by:
getTightenedVariablesCount
in interfaceCpSolverResponseOrBuilder
-
getTightenedVariables
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. Warning: if you didn't set keep_all_feasible_solutions_in_presolve, then these domains might exclude valid feasible solution. Otherwise for a feasibility problem, all feasible solution should be there. Warning: For an optimization problem, these will correspond to valid bounds for the problem of finding an improving solution to the best one found so far. It might be better to solve a feasibility version if one just want to explore the feasible region.
repeated .operations_research.sat.IntegerVariableProto tightened_variables = 21;
- Specified by:
getTightenedVariables
in interfaceCpSolverResponseOrBuilder
-
getTightenedVariablesOrBuilder
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. Warning: if you didn't set keep_all_feasible_solutions_in_presolve, then these domains might exclude valid feasible solution. Otherwise for a feasibility problem, all feasible solution should be there. Warning: For an optimization problem, these will correspond to valid bounds for the problem of finding an improving solution to the best one found so far. It might be better to solve a feasibility version if one just want to explore the feasible region.
repeated .operations_research.sat.IntegerVariableProto tightened_variables = 21;
- Specified by:
getTightenedVariablesOrBuilder
in interfaceCpSolverResponseOrBuilder
-
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:
getSufficientAssumptionsForInfeasibilityList
in 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:
getSufficientAssumptionsForInfeasibilityCount
in 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:
getSufficientAssumptionsForInfeasibility
in interfaceCpSolverResponseOrBuilder
- Parameters:
index
- The index of the element to return.- Returns:
- The sufficientAssumptionsForInfeasibility at the given index.
-
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:
hasIntegerObjective
in interfaceCpSolverResponseOrBuilder
- Returns:
- Whether the integerObjective field is set.
-
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:
getIntegerObjective
in interfaceCpSolverResponseOrBuilder
- Returns:
- The integerObjective.
-
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:
getIntegerObjectiveOrBuilder
in interfaceCpSolverResponseOrBuilder
-
getInnerObjectiveLowerBound
public long getInnerObjectiveLowerBound()Advanced usage. A lower bound on the 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. TODO(user): This should be renamed integer_objective_lower_bound.
int64 inner_objective_lower_bound = 29;
- Specified by:
getInnerObjectiveLowerBound
in interfaceCpSolverResponseOrBuilder
- Returns:
- The innerObjectiveLowerBound.
-
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:
getNumIntegers
in interfaceCpSolverResponseOrBuilder
- Returns:
- The numIntegers.
-
getNumBooleans
public long getNumBooleans()int64 num_booleans = 10;
- Specified by:
getNumBooleans
in interfaceCpSolverResponseOrBuilder
- Returns:
- The numBooleans.
-
getNumFixedBooleans
public long getNumFixedBooleans()int64 num_fixed_booleans = 31;
- Specified by:
getNumFixedBooleans
in interfaceCpSolverResponseOrBuilder
- Returns:
- The numFixedBooleans.
-
getNumConflicts
public long getNumConflicts()int64 num_conflicts = 11;
- Specified by:
getNumConflicts
in interfaceCpSolverResponseOrBuilder
- Returns:
- The numConflicts.
-
getNumBranches
public long getNumBranches()int64 num_branches = 12;
- Specified by:
getNumBranches
in interfaceCpSolverResponseOrBuilder
- Returns:
- The numBranches.
-
getNumBinaryPropagations
public long getNumBinaryPropagations()int64 num_binary_propagations = 13;
- Specified by:
getNumBinaryPropagations
in interfaceCpSolverResponseOrBuilder
- Returns:
- The numBinaryPropagations.
-
getNumIntegerPropagations
public long getNumIntegerPropagations()int64 num_integer_propagations = 14;
- Specified by:
getNumIntegerPropagations
in interfaceCpSolverResponseOrBuilder
- Returns:
- The numIntegerPropagations.
-
getNumRestarts
public long getNumRestarts()int64 num_restarts = 24;
- Specified by:
getNumRestarts
in interfaceCpSolverResponseOrBuilder
- Returns:
- The numRestarts.
-
getNumLpIterations
public long getNumLpIterations()int64 num_lp_iterations = 25;
- Specified by:
getNumLpIterations
in interfaceCpSolverResponseOrBuilder
- Returns:
- The numLpIterations.
-
getWallTime
public double getWallTime()The time counted from the beginning of the Solve() call.
double wall_time = 15;
- Specified by:
getWallTime
in interfaceCpSolverResponseOrBuilder
- Returns:
- The wallTime.
-
getUserTime
public double getUserTime()double user_time = 16;
- Specified by:
getUserTime
in interfaceCpSolverResponseOrBuilder
- Returns:
- The userTime.
-
getDeterministicTime
public double getDeterministicTime()double deterministic_time = 17;
- Specified by:
getDeterministicTime
in interfaceCpSolverResponseOrBuilder
- Returns:
- The deterministicTime.
-
getGapIntegral
public double getGapIntegral()The integral of log(1 + absolute_objective_gap) over time.
double gap_integral = 22;
- Specified by:
getGapIntegral
in interfaceCpSolverResponseOrBuilder
- Returns:
- The gapIntegral.
-
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:
getSolutionInfo
in 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:
getSolutionInfoBytes
in interfaceCpSolverResponseOrBuilder
- Returns:
- The bytes for solutionInfo.
-
getSolveLog
The solve log will be filled if the parameter log_to_response is set to true.
string solve_log = 26;
- Specified by:
getSolveLog
in 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:
getSolveLogBytes
in interfaceCpSolverResponseOrBuilder
- Returns:
- The bytes for solveLog.
-
isInitialized
public final boolean isInitialized()- Specified by:
isInitialized
in interfacecom.google.protobuf.MessageLiteOrBuilder
- Overrides:
isInitialized
in classcom.google.protobuf.GeneratedMessage
-
writeTo
- Specified by:
writeTo
in interfacecom.google.protobuf.MessageLite
- Overrides:
writeTo
in classcom.google.protobuf.GeneratedMessage
- Throws:
IOException
-
getSerializedSize
public int getSerializedSize()- Specified by:
getSerializedSize
in interfacecom.google.protobuf.MessageLite
- Overrides:
getSerializedSize
in classcom.google.protobuf.GeneratedMessage
-
equals
- Specified by:
equals
in interfacecom.google.protobuf.Message
- Overrides:
equals
in classcom.google.protobuf.AbstractMessage
-
hashCode
public int hashCode()- Specified by:
hashCode
in interfacecom.google.protobuf.Message
- Overrides:
hashCode
in classcom.google.protobuf.AbstractMessage
-
parseFrom
public static CpSolverResponse parseFrom(ByteBuffer data) throws com.google.protobuf.InvalidProtocolBufferException - Throws:
com.google.protobuf.InvalidProtocolBufferException
-
parseFrom
public static CpSolverResponse parseFrom(ByteBuffer data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws com.google.protobuf.InvalidProtocolBufferException - Throws:
com.google.protobuf.InvalidProtocolBufferException
-
parseFrom
public static CpSolverResponse parseFrom(com.google.protobuf.ByteString data) throws com.google.protobuf.InvalidProtocolBufferException - Throws:
com.google.protobuf.InvalidProtocolBufferException
-
parseFrom
public static CpSolverResponse parseFrom(com.google.protobuf.ByteString data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws com.google.protobuf.InvalidProtocolBufferException - Throws:
com.google.protobuf.InvalidProtocolBufferException
-
parseFrom
public static CpSolverResponse parseFrom(byte[] data) throws com.google.protobuf.InvalidProtocolBufferException - Throws:
com.google.protobuf.InvalidProtocolBufferException
-
parseFrom
public static CpSolverResponse parseFrom(byte[] data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws com.google.protobuf.InvalidProtocolBufferException - Throws:
com.google.protobuf.InvalidProtocolBufferException
-
parseFrom
- Throws:
IOException
-
parseFrom
public static CpSolverResponse parseFrom(InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws IOException - Throws:
IOException
-
parseDelimitedFrom
- Throws:
IOException
-
parseDelimitedFrom
public static CpSolverResponse parseDelimitedFrom(InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws IOException - Throws:
IOException
-
parseFrom
public static CpSolverResponse parseFrom(com.google.protobuf.CodedInputStream input) throws IOException - Throws:
IOException
-
parseFrom
public static CpSolverResponse parseFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws IOException - Throws:
IOException
-
newBuilderForType
- Specified by:
newBuilderForType
in interfacecom.google.protobuf.Message
- Specified by:
newBuilderForType
in interfacecom.google.protobuf.MessageLite
-
newBuilder
-
newBuilder
-
toBuilder
- Specified by:
toBuilder
in interfacecom.google.protobuf.Message
- Specified by:
toBuilder
in interfacecom.google.protobuf.MessageLite
-
newBuilderForType
protected CpSolverResponse.Builder newBuilderForType(com.google.protobuf.AbstractMessage.BuilderParent parent) - Overrides:
newBuilderForType
in classcom.google.protobuf.AbstractMessage
-
getDefaultInstance
-
parser
-
getParserForType
- Specified by:
getParserForType
in interfacecom.google.protobuf.Message
- Specified by:
getParserForType
in interfacecom.google.protobuf.MessageLite
- Overrides:
getParserForType
in classcom.google.protobuf.GeneratedMessage
-
getDefaultInstanceForType
- Specified by:
getDefaultInstanceForType
in interfacecom.google.protobuf.MessageLiteOrBuilder
- Specified by:
getDefaultInstanceForType
in interfacecom.google.protobuf.MessageOrBuilder
-