Java Reference

Java Reference

Detailed Description

The response returned by a solver trying to solve a CpModelProto.
TODO(user): support returning multiple solutions. Look at the Stubby
streaming API as we probably wants to get them as they are found.
Next id: 27

Protobuf type

operations_research.sat.CpSolverResponse

Definition at line 16 of file CpSolverResponse.java.

Classes

class  Builder
 

Public Member Functions

.lang.Override final com.google.protobuf.UnknownFieldSet getUnknownFields ()
 
.lang.Override int getStatusValue ()
 
.lang.Override com.google.ortools.sat.CpSolverStatus getStatus ()
 
.lang.Override java.util.List< java.lang.Long > getSolutionList ()
 
int getSolutionCount ()
 
long getSolution (int index)
 
.lang.Override double getObjectiveValue ()
 
.lang.Override double getBestObjectiveBound ()
 
.lang.Override java.util.List< java.lang.Long > getSolutionLowerBoundsList ()
 
int getSolutionLowerBoundsCount ()
 
long getSolutionLowerBounds (int index)
 
.lang.Override java.util.List< java.lang.Long > getSolutionUpperBoundsList ()
 repeated int64 solution_upper_bounds = 19; More...
 
int getSolutionUpperBoundsCount ()
 repeated int64 solution_upper_bounds = 19; More...
 
long getSolutionUpperBounds (int index)
 repeated int64 solution_upper_bounds = 19; More...
 
.lang.Override java.util.List< com.google.ortools.sat.IntegerVariableProtogetTightenedVariablesList ()
 
.lang.Override java.util.List<? extends com.google.ortools.sat.IntegerVariableProtoOrBuildergetTightenedVariablesOrBuilderList ()
 
.lang.Override int getTightenedVariablesCount ()
 
.lang.Override com.google.ortools.sat.IntegerVariableProto getTightenedVariables (int index)
 
.lang.Override com.google.ortools.sat.IntegerVariableProtoOrBuilder getTightenedVariablesOrBuilder (int index)
 
.lang.Override java.util.List< java.lang.Integer > getSufficientAssumptionsForInfeasibilityList ()
 
int getSufficientAssumptionsForInfeasibilityCount ()
 
int getSufficientAssumptionsForInfeasibility (int index)
 
.lang.Override boolean getAllSolutionsWereFound ()
 
.lang.Override long getNumBooleans ()
 
.lang.Override long getNumConflicts ()
 int64 num_conflicts = 11; More...
 
.lang.Override long getNumBranches ()
 int64 num_branches = 12; More...
 
.lang.Override long getNumBinaryPropagations ()
 int64 num_binary_propagations = 13; More...
 
.lang.Override long getNumIntegerPropagations ()
 int64 num_integer_propagations = 14; More...
 
.lang.Override long getNumRestarts ()
 int64 num_restarts = 24; More...
 
.lang.Override long getNumLpIterations ()
 int64 num_lp_iterations = 25; More...
 
.lang.Override double getWallTime ()
 double wall_time = 15; More...
 
.lang.Override double getUserTime ()
 double user_time = 16; More...
 
.lang.Override double getDeterministicTime ()
 double deterministic_time = 17; More...
 
.lang.Override double getPrimalIntegral ()
 double primal_integral = 22; More...
 
.lang.Override java.lang.String getSolutionInfo ()
 
.lang.Override com.google.protobuf.ByteString getSolutionInfoBytes ()
 
.lang.Override java.lang.String getLogs ()
 
.lang.Override com.google.protobuf.ByteString getLogsBytes ()
 
.lang.Override final boolean isInitialized ()
 
.lang.Override void writeTo (com.google.protobuf.CodedOutputStream output) throws java.io.IOException
 
.lang.Override int getSerializedSize ()
 
.lang.Override boolean equals (final java.lang.Object obj)
 
.lang.Override int hashCode ()
 
.lang.Override Builder newBuilderForType ()
 
.lang.Override Builder toBuilder ()
 
.lang.Override com.google.protobuf.Parser< CpSolverResponsegetParserForType ()
 
.lang.Override com.google.ortools.sat.CpSolverResponse getDefaultInstanceForType ()
 

Static Public Member Functions

static final com.google.protobuf.Descriptors.Descriptor getDescriptor ()
 
static com.google.ortools.sat.CpSolverResponse parseFrom (java.nio.ByteBuffer data) throws com.google.protobuf.InvalidProtocolBufferException
 
static com.google.ortools.sat.CpSolverResponse parseFrom (java.nio.ByteBuffer data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws com.google.protobuf.InvalidProtocolBufferException
 
static com.google.ortools.sat.CpSolverResponse parseFrom (com.google.protobuf.ByteString data) throws com.google.protobuf.InvalidProtocolBufferException
 
static com.google.ortools.sat.CpSolverResponse parseFrom (com.google.protobuf.ByteString data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws com.google.protobuf.InvalidProtocolBufferException
 
static com.google.ortools.sat.CpSolverResponse parseFrom (byte[] data) throws com.google.protobuf.InvalidProtocolBufferException
 
static com.google.ortools.sat.CpSolverResponse parseFrom (byte[] data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws com.google.protobuf.InvalidProtocolBufferException
 
static com.google.ortools.sat.CpSolverResponse parseFrom (java.io.InputStream input) throws java.io.IOException
 
static com.google.ortools.sat.CpSolverResponse parseFrom (java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException
 
static com.google.ortools.sat.CpSolverResponse parseDelimitedFrom (java.io.InputStream input) throws java.io.IOException
 
static com.google.ortools.sat.CpSolverResponse parseDelimitedFrom (java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException
 
static com.google.ortools.sat.CpSolverResponse parseFrom (com.google.protobuf.CodedInputStream input) throws java.io.IOException
 
static com.google.ortools.sat.CpSolverResponse parseFrom (com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException
 
static Builder newBuilder ()
 
static Builder newBuilder (com.google.ortools.sat.CpSolverResponse prototype)
 
static com.google.ortools.sat.CpSolverResponse getDefaultInstance ()
 
static com.google.protobuf.Parser< CpSolverResponseparser ()
 

Static Public Attributes

static final int STATUS_FIELD_NUMBER = 1
 
static final int SOLUTION_FIELD_NUMBER = 2
 
static final int OBJECTIVE_VALUE_FIELD_NUMBER = 3
 
static final int BEST_OBJECTIVE_BOUND_FIELD_NUMBER = 4
 
static final int SOLUTION_LOWER_BOUNDS_FIELD_NUMBER = 18
 
static final int SOLUTION_UPPER_BOUNDS_FIELD_NUMBER = 19
 
static final int TIGHTENED_VARIABLES_FIELD_NUMBER = 21
 
static final int SUFFICIENT_ASSUMPTIONS_FOR_INFEASIBILITY_FIELD_NUMBER = 23
 
static final int ALL_SOLUTIONS_WERE_FOUND_FIELD_NUMBER = 5
 
static final int NUM_BOOLEANS_FIELD_NUMBER = 10
 
static final int NUM_CONFLICTS_FIELD_NUMBER = 11
 
static final int NUM_BRANCHES_FIELD_NUMBER = 12
 
static final int NUM_BINARY_PROPAGATIONS_FIELD_NUMBER = 13
 
static final int NUM_INTEGER_PROPAGATIONS_FIELD_NUMBER = 14
 
static final int NUM_RESTARTS_FIELD_NUMBER = 24
 
static final int NUM_LP_ITERATIONS_FIELD_NUMBER = 25
 
static final int WALL_TIME_FIELD_NUMBER = 15
 
static final int USER_TIME_FIELD_NUMBER = 16
 
static final int DETERMINISTIC_TIME_FIELD_NUMBER = 17
 
static final int PRIMAL_INTEGRAL_FIELD_NUMBER = 22
 
static final int SOLUTION_INFO_FIELD_NUMBER = 20
 
static final int LOGS_FIELD_NUMBER = 26
 

Protected Member Functions

.lang.Override java.lang.Object newInstance (UnusedPrivateParameter unused)
 
.lang.Override com.google.protobuf.GeneratedMessageV3.FieldAccessorTable internalGetFieldAccessorTable ()
 
.lang.Override Builder newBuilderForType (com.google.protobuf.GeneratedMessageV3.BuilderParent parent)
 

Member Function Documentation

◆ equals()

.lang.Override boolean equals ( final java.lang.Object  obj)

Definition at line 1142 of file CpSolverResponse.java.

◆ getAllSolutionsWereFound()

.lang.Override boolean getAllSolutionsWereFound ( )
This will be true iff the solver was asked to find all solutions to a
satisfiability problem (or all optimal solutions to an optimization
problem), and it was successful in doing so.
TODO(user): Remove as we also use the OPTIMAL vs FEASIBLE status for that.

bool all_solutions_were_found = 5;

Returns
The allSolutionsWereFound.

Implements CpSolverResponseOrBuilder.

Definition at line 681 of file CpSolverResponse.java.

◆ getBestObjectiveBound()

.lang.Override 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;

Returns
The bestObjectiveBound.

Implements CpSolverResponseOrBuilder.

Definition at line 402 of file CpSolverResponse.java.

◆ getDefaultInstance()

static com.google.ortools.sat.CpSolverResponse getDefaultInstance ( )
static

Definition at line 3543 of file CpSolverResponse.java.

◆ getDefaultInstanceForType()

.lang.Override com.google.ortools.sat.CpSolverResponse getDefaultInstanceForType ( )

Definition at line 3568 of file CpSolverResponse.java.

◆ getDescriptor()

static final com.google.protobuf.Descriptors.Descriptor getDescriptor ( )
static

Definition at line 283 of file CpSolverResponse.java.

◆ getDeterministicTime()

.lang.Override double getDeterministicTime ( )

double deterministic_time = 17;

Returns
The deterministicTime.

Implements CpSolverResponseOrBuilder.

Definition at line 795 of file CpSolverResponse.java.

◆ getLogs()

.lang.Override java.lang.String getLogs ( )
Optional logs of the solver. They will be filled only if the parameter
'fill_logs_in_response' is set.

string logs = 26;

Returns
The logs.

Implements CpSolverResponseOrBuilder.

Definition at line 868 of file CpSolverResponse.java.

◆ getLogsBytes()

.lang.Override com.google.protobuf.ByteString getLogsBytes ( )
Optional logs of the solver. They will be filled only if the parameter
'fill_logs_in_response' is set.

string logs = 26;

Returns
The bytes for logs.

Implements CpSolverResponseOrBuilder.

Definition at line 891 of file CpSolverResponse.java.

◆ getNumBinaryPropagations()

.lang.Override long getNumBinaryPropagations ( )

int64 num_binary_propagations = 13;

Returns
The numBinaryPropagations.

Implements CpSolverResponseOrBuilder.

Definition at line 729 of file CpSolverResponse.java.

◆ getNumBooleans()

.lang.Override long getNumBooleans ( )
Some statistics about the solve.

int64 num_booleans = 10;

Returns
The numBooleans.

Implements CpSolverResponseOrBuilder.

Definition at line 696 of file CpSolverResponse.java.

◆ getNumBranches()

.lang.Override long getNumBranches ( )

int64 num_branches = 12;

Returns
The numBranches.

Implements CpSolverResponseOrBuilder.

Definition at line 718 of file CpSolverResponse.java.

◆ getNumConflicts()

.lang.Override long getNumConflicts ( )

int64 num_conflicts = 11;

Returns
The numConflicts.

Implements CpSolverResponseOrBuilder.

Definition at line 707 of file CpSolverResponse.java.

◆ getNumIntegerPropagations()

.lang.Override long getNumIntegerPropagations ( )

int64 num_integer_propagations = 14;

Returns
The numIntegerPropagations.

Implements CpSolverResponseOrBuilder.

Definition at line 740 of file CpSolverResponse.java.

◆ getNumLpIterations()

.lang.Override long getNumLpIterations ( )

int64 num_lp_iterations = 25;

Returns
The numLpIterations.

Implements CpSolverResponseOrBuilder.

Definition at line 762 of file CpSolverResponse.java.

◆ getNumRestarts()

.lang.Override long getNumRestarts ( )

int64 num_restarts = 24;

Returns
The numRestarts.

Implements CpSolverResponseOrBuilder.

Definition at line 751 of file CpSolverResponse.java.

◆ getObjectiveValue()

.lang.Override 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;

Returns
The objectiveValue.

Implements CpSolverResponseOrBuilder.

Definition at line 385 of file CpSolverResponse.java.

◆ getParserForType()

.lang.Override com.google.protobuf.Parser<CpSolverResponse> getParserForType ( )

Definition at line 3563 of file CpSolverResponse.java.

◆ getPrimalIntegral()

.lang.Override double getPrimalIntegral ( )

double primal_integral = 22;

Returns
The primalIntegral.

Implements CpSolverResponseOrBuilder.

Definition at line 806 of file CpSolverResponse.java.

◆ getSerializedSize()

.lang.Override int getSerializedSize ( )

Definition at line 1005 of file CpSolverResponse.java.

◆ getSolution()

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;

Parameters
indexThe index of the element to return.
Returns
The solution at the given index.

Implements CpSolverResponseOrBuilder.

Definition at line 366 of file CpSolverResponse.java.

◆ getSolutionCount()

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;

Returns
The count of solution.

Implements CpSolverResponseOrBuilder.

Definition at line 351 of file CpSolverResponse.java.

◆ getSolutionInfo()

.lang.Override java.lang.String getSolutionInfo ( )
Additional information about how the solution was found.

string solution_info = 20;

Returns
The solutionInfo.

Implements CpSolverResponseOrBuilder.

Definition at line 821 of file CpSolverResponse.java.

◆ getSolutionInfoBytes()

.lang.Override com.google.protobuf.ByteString getSolutionInfoBytes ( )
Additional information about how the solution was found.

string solution_info = 20;

Returns
The bytes for solutionInfo.

Implements CpSolverResponseOrBuilder.

Definition at line 843 of file CpSolverResponse.java.

◆ getSolutionList()

.lang.Override 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;

Returns
A list containing the solution.

Implements CpSolverResponseOrBuilder.

Definition at line 337 of file CpSolverResponse.java.

◆ getSolutionLowerBounds()

long getSolutionLowerBounds ( int  index)
Advanced usage.
If the problem has some variables that are not fixed at the end of the
search (because of a particular search strategy in the CpModelProto) then
this will be used instead of filling the solution above. The two fields
will then contains the lower and upper bounds of each variable as they were
when the best "solution" was found.

repeated int64 solution_lower_bounds = 18;

Parameters
indexThe index of the element to return.
Returns
The solutionLowerBounds at the given index.

Implements CpSolverResponseOrBuilder.

Definition at line 456 of file CpSolverResponse.java.

◆ getSolutionLowerBoundsCount()

int getSolutionLowerBoundsCount ( )
Advanced usage.
If the problem has some variables that are not fixed at the end of the
search (because of a particular search strategy in the CpModelProto) then
this will be used instead of filling the solution above. The two fields
will then contains the lower and upper bounds of each variable as they were
when the best "solution" was found.

repeated int64 solution_lower_bounds = 18;

Returns
The count of solutionLowerBounds.

Implements CpSolverResponseOrBuilder.

Definition at line 439 of file CpSolverResponse.java.

◆ getSolutionLowerBoundsList()

.lang.Override java.util.List<java.lang.Long> getSolutionLowerBoundsList ( )
Advanced usage.
If the problem has some variables that are not fixed at the end of the
search (because of a particular search strategy in the CpModelProto) then
this will be used instead of filling the solution above. The two fields
will then contains the lower and upper bounds of each variable as they were
when the best "solution" was found.

repeated int64 solution_lower_bounds = 18;

Returns
A list containing the solutionLowerBounds.

Implements CpSolverResponseOrBuilder.

Definition at line 423 of file CpSolverResponse.java.

◆ getSolutionUpperBounds()

long getSolutionUpperBounds ( int  index)

repeated int64 solution_upper_bounds = 19;

Parameters
indexThe index of the element to return.
Returns
The solutionUpperBounds at the given index.

Implements CpSolverResponseOrBuilder.

Definition at line 484 of file CpSolverResponse.java.

◆ getSolutionUpperBoundsCount()

int getSolutionUpperBoundsCount ( )

repeated int64 solution_upper_bounds = 19;

Returns
The count of solutionUpperBounds.

Implements CpSolverResponseOrBuilder.

Definition at line 476 of file CpSolverResponse.java.

◆ getSolutionUpperBoundsList()

.lang.Override java.util.List<java.lang.Long> getSolutionUpperBoundsList ( )

repeated int64 solution_upper_bounds = 19;

Returns
A list containing the solutionUpperBounds.

Implements CpSolverResponseOrBuilder.

Definition at line 469 of file CpSolverResponse.java.

◆ getStatus()

.lang.Override com.google.ortools.sat.CpSolverStatus getStatus ( )
The status of the solve.

.operations_research.sat.CpSolverStatus status = 1;

Returns
The status.

Implements CpSolverResponseOrBuilder.

Definition at line 316 of file CpSolverResponse.java.

◆ getStatusValue()

.lang.Override int getStatusValue ( )
The status of the solve.

.operations_research.sat.CpSolverStatus status = 1;

Returns
The enum numeric value on the wire for status.

Implements CpSolverResponseOrBuilder.

Definition at line 305 of file CpSolverResponse.java.

◆ getSufficientAssumptionsForInfeasibility()

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.
TODO(user): Allows for returning multiple core at once.

repeated int32 sufficient_assumptions_for_infeasibility = 23;

Parameters
indexThe index of the element to return.
Returns
The sufficientAssumptionsForInfeasibility at the given index.

Implements CpSolverResponseOrBuilder.

Definition at line 662 of file CpSolverResponse.java.

◆ getSufficientAssumptionsForInfeasibilityCount()

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.
TODO(user): Allows for returning multiple core at once.

repeated int32 sufficient_assumptions_for_infeasibility = 23;

Returns
The count of sufficientAssumptionsForInfeasibility.

Implements CpSolverResponseOrBuilder.

Definition at line 639 of file CpSolverResponse.java.

◆ getSufficientAssumptionsForInfeasibilityList()

.lang.Override 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.
TODO(user): Allows for returning multiple core at once.

repeated int32 sufficient_assumptions_for_infeasibility = 23;

Returns
A list containing the sufficientAssumptionsForInfeasibility.

Implements CpSolverResponseOrBuilder.

Definition at line 617 of file CpSolverResponse.java.

◆ getTightenedVariables()

.lang.Override com.google.ortools.sat.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;

Implements CpSolverResponseOrBuilder.

Definition at line 569 of file CpSolverResponse.java.

◆ getTightenedVariablesCount()

.lang.Override 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;

Implements CpSolverResponseOrBuilder.

Definition at line 549 of file CpSolverResponse.java.

◆ getTightenedVariablesList()

.lang.Override java.util.List<com.google.ortools.sat.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;

Implements CpSolverResponseOrBuilder.

Definition at line 508 of file CpSolverResponse.java.

◆ getTightenedVariablesOrBuilder()

.lang.Override com.google.ortools.sat.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;

Implements CpSolverResponseOrBuilder.

Definition at line 589 of file CpSolverResponse.java.

◆ getTightenedVariablesOrBuilderList()

.lang.Override java.util.List<? extends com.google.ortools.sat.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;

Implements CpSolverResponseOrBuilder.

Definition at line 529 of file CpSolverResponse.java.

◆ getUnknownFields()

.lang.Override final com.google.protobuf.UnknownFieldSet getUnknownFields ( )

Definition at line 45 of file CpSolverResponse.java.

◆ getUserTime()

.lang.Override double getUserTime ( )

double user_time = 16;

Returns
The userTime.

Implements CpSolverResponseOrBuilder.

Definition at line 784 of file CpSolverResponse.java.

◆ getWallTime()

.lang.Override double getWallTime ( )

double wall_time = 15;

Returns
The wallTime.

Implements CpSolverResponseOrBuilder.

Definition at line 773 of file CpSolverResponse.java.

◆ hashCode()

.lang.Override int hashCode ( )

Definition at line 1205 of file CpSolverResponse.java.

◆ internalGetFieldAccessorTable()

.lang.Override com.google.protobuf.GeneratedMessageV3.FieldAccessorTable internalGetFieldAccessorTable ( )
protected

Definition at line 289 of file CpSolverResponse.java.

◆ isInitialized()

.lang.Override final boolean isInitialized ( )

Definition at line 906 of file CpSolverResponse.java.

◆ newBuilder() [1/2]

static Builder newBuilder ( )
static

Definition at line 1356 of file CpSolverResponse.java.

◆ newBuilder() [2/2]

static Builder newBuilder ( com.google.ortools.sat.CpSolverResponse  prototype)
static

Definition at line 1359 of file CpSolverResponse.java.

◆ newBuilderForType() [1/2]

.lang.Override Builder newBuilderForType ( )

Definition at line 1355 of file CpSolverResponse.java.

◆ newBuilderForType() [2/2]

.lang.Override Builder newBuilderForType ( com.google.protobuf.GeneratedMessageV3.BuilderParent  parent)
protected

Definition at line 1369 of file CpSolverResponse.java.

◆ newInstance()

.lang.Override java.lang.Object newInstance ( UnusedPrivateParameter  unused)
protected

Definition at line 38 of file CpSolverResponse.java.

◆ parseDelimitedFrom() [1/2]

static com.google.ortools.sat.CpSolverResponse parseDelimitedFrom ( java.io.InputStream  input) throws java.io.IOException
static

Definition at line 1328 of file CpSolverResponse.java.

◆ parseDelimitedFrom() [2/2]

static com.google.ortools.sat.CpSolverResponse parseDelimitedFrom ( java.io.InputStream  input,
com.google.protobuf.ExtensionRegistryLite  extensionRegistry 
) throws java.io.IOException
static

Definition at line 1333 of file CpSolverResponse.java.

◆ parseFrom() [1/10]

static com.google.ortools.sat.CpSolverResponse parseFrom ( byte[]  data) throws com.google.protobuf.InvalidProtocolBufferException
static

Definition at line 1306 of file CpSolverResponse.java.

◆ parseFrom() [2/10]

static com.google.ortools.sat.CpSolverResponse parseFrom ( byte[]  data,
com.google.protobuf.ExtensionRegistryLite  extensionRegistry 
) throws com.google.protobuf.InvalidProtocolBufferException
static

Definition at line 1310 of file CpSolverResponse.java.

◆ parseFrom() [3/10]

static com.google.ortools.sat.CpSolverResponse parseFrom ( com.google.protobuf.ByteString  data) throws com.google.protobuf.InvalidProtocolBufferException
static

Definition at line 1295 of file CpSolverResponse.java.

◆ parseFrom() [4/10]

static com.google.ortools.sat.CpSolverResponse parseFrom ( com.google.protobuf.ByteString  data,
com.google.protobuf.ExtensionRegistryLite  extensionRegistry 
) throws com.google.protobuf.InvalidProtocolBufferException
static

Definition at line 1300 of file CpSolverResponse.java.

◆ parseFrom() [5/10]

static com.google.ortools.sat.CpSolverResponse parseFrom ( com.google.protobuf.CodedInputStream  input) throws java.io.IOException
static

Definition at line 1340 of file CpSolverResponse.java.

◆ parseFrom() [6/10]

static com.google.ortools.sat.CpSolverResponse parseFrom ( com.google.protobuf.CodedInputStream  input,
com.google.protobuf.ExtensionRegistryLite  extensionRegistry 
) throws java.io.IOException
static

Definition at line 1346 of file CpSolverResponse.java.

◆ parseFrom() [7/10]

static com.google.ortools.sat.CpSolverResponse parseFrom ( java.io.InputStream  input) throws java.io.IOException
static

Definition at line 1316 of file CpSolverResponse.java.

◆ parseFrom() [8/10]

static com.google.ortools.sat.CpSolverResponse parseFrom ( java.io.InputStream  input,
com.google.protobuf.ExtensionRegistryLite  extensionRegistry 
) throws java.io.IOException
static

Definition at line 1321 of file CpSolverResponse.java.

◆ parseFrom() [9/10]

static com.google.ortools.sat.CpSolverResponse parseFrom ( java.nio.ByteBuffer  data) throws com.google.protobuf.InvalidProtocolBufferException
static

Definition at line 1284 of file CpSolverResponse.java.

◆ parseFrom() [10/10]

static com.google.ortools.sat.CpSolverResponse parseFrom ( java.nio.ByteBuffer  data,
com.google.protobuf.ExtensionRegistryLite  extensionRegistry 
) throws com.google.protobuf.InvalidProtocolBufferException
static

Definition at line 1289 of file CpSolverResponse.java.

◆ parser()

static com.google.protobuf.Parser<CpSolverResponse> parser ( )
static

Definition at line 3558 of file CpSolverResponse.java.

◆ toBuilder()

.lang.Override Builder toBuilder ( )

Definition at line 1363 of file CpSolverResponse.java.

◆ writeTo()

.lang.Override void writeTo ( com.google.protobuf.CodedOutputStream  output) throws java.io.IOException

Definition at line 916 of file CpSolverResponse.java.

Member Data Documentation

◆ ALL_SOLUTIONS_WERE_FOUND_FIELD_NUMBER

final int ALL_SOLUTIONS_WERE_FOUND_FIELD_NUMBER = 5
static

Definition at line 667 of file CpSolverResponse.java.

◆ BEST_OBJECTIVE_BOUND_FIELD_NUMBER

final int BEST_OBJECTIVE_BOUND_FIELD_NUMBER = 4
static

Definition at line 389 of file CpSolverResponse.java.

◆ DETERMINISTIC_TIME_FIELD_NUMBER

final int DETERMINISTIC_TIME_FIELD_NUMBER = 17
static

Definition at line 788 of file CpSolverResponse.java.

◆ LOGS_FIELD_NUMBER

final int LOGS_FIELD_NUMBER = 26
static

Definition at line 856 of file CpSolverResponse.java.

◆ NUM_BINARY_PROPAGATIONS_FIELD_NUMBER

final int NUM_BINARY_PROPAGATIONS_FIELD_NUMBER = 13
static

Definition at line 722 of file CpSolverResponse.java.

◆ NUM_BOOLEANS_FIELD_NUMBER

final int NUM_BOOLEANS_FIELD_NUMBER = 10
static

Definition at line 685 of file CpSolverResponse.java.

◆ NUM_BRANCHES_FIELD_NUMBER

final int NUM_BRANCHES_FIELD_NUMBER = 12
static

Definition at line 711 of file CpSolverResponse.java.

◆ NUM_CONFLICTS_FIELD_NUMBER

final int NUM_CONFLICTS_FIELD_NUMBER = 11
static

Definition at line 700 of file CpSolverResponse.java.

◆ NUM_INTEGER_PROPAGATIONS_FIELD_NUMBER

final int NUM_INTEGER_PROPAGATIONS_FIELD_NUMBER = 14
static

Definition at line 733 of file CpSolverResponse.java.

◆ NUM_LP_ITERATIONS_FIELD_NUMBER

final int NUM_LP_ITERATIONS_FIELD_NUMBER = 25
static

Definition at line 755 of file CpSolverResponse.java.

◆ NUM_RESTARTS_FIELD_NUMBER

final int NUM_RESTARTS_FIELD_NUMBER = 24
static

Definition at line 744 of file CpSolverResponse.java.

◆ OBJECTIVE_VALUE_FIELD_NUMBER

final int OBJECTIVE_VALUE_FIELD_NUMBER = 3
static

Definition at line 371 of file CpSolverResponse.java.

◆ PRIMAL_INTEGRAL_FIELD_NUMBER

final int PRIMAL_INTEGRAL_FIELD_NUMBER = 22
static

Definition at line 799 of file CpSolverResponse.java.

◆ SOLUTION_FIELD_NUMBER

final int SOLUTION_FIELD_NUMBER = 2
static

Definition at line 322 of file CpSolverResponse.java.

◆ SOLUTION_INFO_FIELD_NUMBER

final int SOLUTION_INFO_FIELD_NUMBER = 20
static

Definition at line 810 of file CpSolverResponse.java.

◆ SOLUTION_LOWER_BOUNDS_FIELD_NUMBER

final int SOLUTION_LOWER_BOUNDS_FIELD_NUMBER = 18
static

Definition at line 406 of file CpSolverResponse.java.

◆ SOLUTION_UPPER_BOUNDS_FIELD_NUMBER

final int SOLUTION_UPPER_BOUNDS_FIELD_NUMBER = 19
static

Definition at line 461 of file CpSolverResponse.java.

◆ STATUS_FIELD_NUMBER

final int STATUS_FIELD_NUMBER = 1
static

Definition at line 295 of file CpSolverResponse.java.

◆ SUFFICIENT_ASSUMPTIONS_FOR_INFEASIBILITY_FIELD_NUMBER

final int SUFFICIENT_ASSUMPTIONS_FOR_INFEASIBILITY_FIELD_NUMBER = 23
static

Definition at line 594 of file CpSolverResponse.java.

◆ TIGHTENED_VARIABLES_FIELD_NUMBER

final int TIGHTENED_VARIABLES_FIELD_NUMBER = 21
static

Definition at line 489 of file CpSolverResponse.java.

◆ USER_TIME_FIELD_NUMBER

final int USER_TIME_FIELD_NUMBER = 16
static

Definition at line 777 of file CpSolverResponse.java.

◆ WALL_TIME_FIELD_NUMBER

final int WALL_TIME_FIELD_NUMBER = 15
static

Definition at line 766 of file CpSolverResponse.java.


The documentation for this class was generated from the following file: