Google OR-Tools v9.11
a fast and portable software suite for combinatorial optimization
|
Public Member Functions | |
boolean | hasSolveWallTimeSeconds () |
double | getSolveWallTimeSeconds () |
boolean | hasSolveUserTimeSeconds () |
double | getSolveUserTimeSeconds () |
Definition at line 7 of file MPSolveInfoOrBuilder.java.
double com.google.ortools.linearsolver.MPSolveInfoOrBuilder.getSolveUserTimeSeconds | ( | ) |
optional double solve_user_time_seconds = 2;
Implemented in com.google.ortools.linearsolver.MPSolveInfo.Builder, and com.google.ortools.linearsolver.MPSolveInfo.
double com.google.ortools.linearsolver.MPSolveInfoOrBuilder.getSolveWallTimeSeconds | ( | ) |
How much wall time (resp. user time) elapsed during the Solve() of the underlying solver library. "wall" time and "user" time are to be interpreted like for the "time" command in bash (see "help time"). In particular, "user time" is CPU time and can be greater than wall time when using several threads.
optional double solve_wall_time_seconds = 1;
Implemented in com.google.ortools.linearsolver.MPSolveInfo.Builder, and com.google.ortools.linearsolver.MPSolveInfo.
boolean com.google.ortools.linearsolver.MPSolveInfoOrBuilder.hasSolveUserTimeSeconds | ( | ) |
optional double solve_user_time_seconds = 2;
Implemented in com.google.ortools.linearsolver.MPSolveInfo.Builder, and com.google.ortools.linearsolver.MPSolveInfo.
boolean com.google.ortools.linearsolver.MPSolveInfoOrBuilder.hasSolveWallTimeSeconds | ( | ) |
How much wall time (resp. user time) elapsed during the Solve() of the underlying solver library. "wall" time and "user" time are to be interpreted like for the "time" command in bash (see "help time"). In particular, "user time" is CPU time and can be greater than wall time when using several threads.
optional double solve_wall_time_seconds = 1;
Implemented in com.google.ortools.linearsolver.MPSolveInfo.Builder, and com.google.ortools.linearsolver.MPSolveInfo.