gui/it.unibo.tuprolog.ui.gui.solver/ResolutionRequest

ResolutionRequest

data class ResolutionRequest(val pageId: PageId, val query: String, val timeout: Duration, val options: Map<String, String>, val stdin: String)

Everything a SolverSession needs to open a ResolutionCursor for one query on one page.

Constructors

ResolutionRequest

constructor(pageId: PageId, query: String, timeout: Duration, options: Map<String, String>, stdin: String)

Properties

val options: Map<String, String>

val pageId: PageId

val query: String

val stdin: String

val timeout: Duration