getProblemId

abstract fun getProblemId(): ProblemId(source)

The problem id that exceeded the threshold for the number of allowed events before we start the summarization.

Since

8.12