Interface MPSolveInfoOrBuilder

  • All Superinterfaces:
    com.google.protobuf.MessageLiteOrBuilder, com.google.protobuf.MessageOrBuilder
    All Known Implementing Classes:
    MPSolveInfo, MPSolveInfo.Builder

    public interface MPSolveInfoOrBuilder
    extends com.google.protobuf.MessageOrBuilder
    • Method Summary

      All Methods Instance Methods Abstract Methods 
      Modifier and Type Method Description
      double getSolveUserTimeSeconds()
      optional double solve_user_time_seconds = 2;
      double getSolveWallTimeSeconds()
      How much wall time (resp.
      boolean hasSolveUserTimeSeconds()
      optional double solve_user_time_seconds = 2;
      boolean hasSolveWallTimeSeconds()
      How much wall time (resp.
      • 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 Detail

      • 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.