WarningStreamState
data class WarningStreamState(val values: List<WarningPresentation> = emptyList(), val revision: Long = 0, val seenRevision: Long = 0)
An append-only list of solver warnings with an unread-changes counter for a lower-tab badge.
Constructors
Link copied to clipboard
constructor(values: List<WarningPresentation> = emptyList(), revision: Long = 0, seenRevision: Long = 0)