Interface ConstraintSolverStatisticsOrBuilder

    • Method Summary

      All Methods Instance Methods Abstract Methods 
      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 Detail

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