documentation
Toggle table of contents
3.0.5
common
Target filter
common
Switch theme
Search in API
Skip to content
documentation
gui
/
it.unibo.tuprolog.ui.gui.persistence
/
PersistedSolution
/
Yes
Yes
@
Serializable
data
class
Yes
(
val
query
:
String
,
val
bindings
:
List
<
PersistedBinding
>
=
emptyList()
,
val
solvedQuery
:
String
?
=
null
,
val
metadata
:
Map
<
String
,
String
>
=
emptyMap()
)
:
PersistedSolution
A successful solution, persisted with its already-formatted solved query and bindings.
Members
Constructors
Yes
Link copied to clipboard
constructor
(
query
:
String
,
bindings
:
List
<
PersistedBinding
>
=
emptyList()
,
solvedQuery
:
String
?
=
null
,
metadata
:
Map
<
String
,
String
>
=
emptyMap()
)
Properties
bindings
Link copied to clipboard
val
bindings
:
List
<
PersistedBinding
>
metadata
Link copied to clipboard
val
metadata
:
Map
<
String
,
String
>
query
Link copied to clipboard
val
query
:
String
solved
Query
Link copied to clipboard
val
solvedQuery
:
String
?