solve/it.unibo.tuprolog.solve/SolveOptions

SolveOptions

interface SolveOptions

Types

object Companion

Functions

open fun <X : Any> addOption(key: String, value: X): SolveOptions

open fun <X : Any> addOptions(options: Map<String, X>): SolveOptions

abstract fun setLazy(value: Boolean): SolveOptions

abstract fun setLimit(value: Int): SolveOptions

open fun <X : Any> setOption(key: String, value: X): SolveOptions

abstract fun <X : Any> setOptions(options: Map<String, X>): SolveOptions

abstract fun setTimeout(value: TimeDuration): SolveOptions

Properties

abstract val customOptions: Map<String, Any>

open val isEager: Boolean

abstract val isLazy: Boolean

open val isLimited: Boolean

abstract val limit: Int

abstract val timeout: TimeDuration