gui/it.unibo.tuprolog.ui.gui.model/PageHistoryState

PageHistoryState

data class PageHistoryState(val resolutions: List<ResolutionHistoryEntry> = emptyList(), val capacity: Int = 100)

A page's bounded history of concluded resolutions - what its Solutions tree/panel renders.

Constructors

PageHistoryState

constructor(resolutions: List<ResolutionHistoryEntry> = emptyList(), capacity: Int = 100)

Properties

val capacity: Int

val resolutions: List<ResolutionHistoryEntry>

Functions

fun record(entry: ResolutionHistoryEntry): PageHistoryState

Appends entry, dropping the oldest entries beyond capacity.