• Home
• it.unibo.tuprolog
• solve-jvm
• 0.32.5
• source code
• SolveOptionsImpl.kt

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

commonMain.it.unibo.tuprolog.solve.impl.SolveOptionsImpl.kt Maven / Gradle / Ivy

package it.unibo.tuprolog.solve.impl

import it.unibo.tuprolog.solve.SolveOptions
import it.unibo.tuprolog.solve.TimeDuration

internal data class SolveOptionsImpl(
    override val isLazy: Boolean,
    override val timeout: TimeDuration = SolveOptions.MAX_TIMEOUT,
    override val limit: Int = SolveOptions.ALL_SOLUTIONS,
    override val customOptions: Map = emptyMap(),
) : SolveOptions {
    init {
        require(timeout >= 0L) { "Invalid timeout: $timeout" }
        require(limit != 0) { "Invalid limit: $limit" }
    }

    override fun setLazy(value: Boolean): SolveOptions = copy(isLazy = value)

    override fun setTimeout(value: TimeDuration): SolveOptions = copy(timeout = value)

    override fun setLimit(value: Int): SolveOptions = copy(limit = value)

    override fun  setOptions(options: Map): SolveOptions = copy(customOptions = options)
}