Interface MPSolveInfoOrBuilder

All Superinterfaces:
com.google.protobuf.MessageLiteOrBuilder, com.google.protobuf.MessageOrBuilder
All Known Implementing Classes:
MPSolveInfo, MPSolveInfo.Builder
@Generated public interface MPSolveInfoOrBuilder extends com.google.protobuf.MessageOrBuilder

  • Method Summary

    Modifier and Type
    Method
    Description
    double
    getSolveUserTimeSeconds()
    optional double solve_user_time_seconds = 2;
    double
    getSolveWallTimeSeconds()
    How much wall time (resp. user time) elapsed during the Solve() of the underlying solver library.
    boolean
    hasSolveUserTimeSeconds()
    optional double solve_user_time_seconds = 2;
    boolean
    hasSolveWallTimeSeconds()
    How much wall time (resp. user time) elapsed during the Solve() of the underlying solver library.

    Methods inherited from interface com.google.protobuf.MessageLiteOrBuilder

    isInitialized

    Methods inherited from interface com.google.protobuf.MessageOrBuilder

    findInitializationErrors, getAllFields, getDefaultInstanceForType, getDescriptorForType, getField, getInitializationErrorString, getOneofFieldDescriptor, getRepeatedField, getRepeatedFieldCount, getUnknownFields, hasField, hasOneof

  • Method Details

    • hasSolveWallTimeSeconds

      boolean 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;
      Returns:
      Whether the solveWallTimeSeconds field is set.

    • getSolveWallTimeSeconds

      double 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;
      Returns:
      The solveWallTimeSeconds.

    • hasSolveUserTimeSeconds

      boolean hasSolveUserTimeSeconds()
      optional double solve_user_time_seconds = 2;
      Returns:
      Whether the solveUserTimeSeconds field is set.

    • getSolveUserTimeSeconds

      double getSolveUserTimeSeconds()
      optional double solve_user_time_seconds = 2;
      Returns:
      The solveUserTimeSeconds.