commonMain.it.unibo.tuprolog.solve.data.CustomDataStore.kt Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of solve-jvm Show documentation

Resolution-agnostic API for logic solvers

There is a newer version: 1.0.4

package it.unibo.tuprolog.solve.data

import kotlin.js.JsName
import kotlin.jvm.JvmStatic

data class CustomDataStore private constructor(
    @JsName("persistent")
    val persistent: CustomData = emptyMap(),
    @JsName("durable")
    val durable: CustomData = emptyMap(),
    @JsName("ephemeral")
    val ephemeral: CustomData = emptyMap(),
) {
    companion object {
        @JsName("empty")
        @JvmStatic
        fun empty(): CustomDataStore = CustomDataStore()
    }

    @JsName("discardEphemeral")
    fun discardEphemeral(): CustomDataStore = copy(ephemeral = emptyMap())

    @JsName("preservePersistent")
    fun preservePersistent(): CustomDataStore = copy(durable = emptyMap(), ephemeral = emptyMap())
}