gui/it.unibo.tuprolog.ui.gui.persistence/PersistedSolution/Halt

Halt

@Serializable

data class Halt(val query: String, val message: String, val logicStackTrace: List<String> = emptyList(), val isTimeout: Boolean = false) : PersistedSolution

An aborted solution, persisted with its error message and stack trace.

Constructors

constructor(query: String, message: String, logicStackTrace: List<String> = emptyList(), isTimeout: Boolean = false)

Properties

val isTimeout: Boolean

logicStackTrace

val logicStackTrace: List<String>

val message: String

val query: String