gui/it.unibo.tuprolog.ui.gui.persistence/PersistedResolution

PersistedResolution

@Serializable

data class PersistedResolution(val query: String, val solutions: List<PersistedSolution>, val terminalStatus: String, val error: String? = null)

Mirrors ResolutionHistoryEntry's shape for JSON persistence; converted back via toResolutionHistoryEntry.

Constructors

PersistedResolution

constructor(query: String, solutions: List<PersistedSolution>, terminalStatus: String, error: String? = null)

Properties

val error: String?

val query: String

val solutions: List<PersistedSolution>

val terminalStatus: String

Functions

toResolutionHistoryEntry

fun PersistedResolution.toResolutionHistoryEntry(): ResolutionHistoryEntry

ResolutionStatus.COMPLETED is the safe fallback for a status name this build no longer recognizes.