Interface ConstraintSolverStatisticsOrBuilder

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

  • Method Summary

    Modifier and Type
    Method
    Description
    long
    getBytesUsed()
    Memory usage of the solver.
    double
    getDurationSeconds()
    Total time spent in the solver.
    long
    getNumBranches()
    Number of branches explored.
    long
    getNumFailures()
    Number of failures/backtracks.
    long
    getNumSolutions()
    Number of solutions found.

    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

    • getNumBranches

      long getNumBranches()
       Number of branches explored.
      int64 num_branches = 1;
      Returns:
      The numBranches.

    • getNumFailures

      long getNumFailures()
       Number of failures/backtracks.
      int64 num_failures = 2;
      Returns:
      The numFailures.

    • getNumSolutions

      long getNumSolutions()
       Number of solutions found.
      int64 num_solutions = 3;
      Returns:
      The numSolutions.

    • getBytesUsed

      long getBytesUsed()
       Memory usage of the solver.
      int64 bytes_used = 4;
      Returns:
      The bytesUsed.

    • getDurationSeconds

      double getDurationSeconds()
       Total time spent in the solver.
      double duration_seconds = 5;
      Returns:
      The durationSeconds.