solve/it.unibo.tuprolog.solve/SolveOptions/Companion

Companion

object Companion

Functions

fun allEagerly(): SolveOptions

allEagerlyWithTimeout

fun allEagerlyWithTimeout(timeout: TimeDuration): SolveOptions

fun allLazily(): SolveOptions

allLazilyWithTimeout

fun allLazilyWithTimeout(timeout: TimeDuration): SolveOptions

fun of( lazy: Boolean, timeout: TimeDuration = MAX_TIMEOUT, limit: Int = ALL_SOLUTIONS): SolveOptions

fun <X : Any> of( lazy: Boolean, timeout: TimeDuration = MAX_TIMEOUT, limit: Int = ALL_SOLUTIONS, customOption: Pair<String, X>, vararg customOptions: Pair<String, X>): SolveOptions

fun someEagerly(limit: Int): SolveOptions

someEagerlyWithTimeout

fun someEagerlyWithTimeout(limit: Int, timeout: TimeDuration): SolveOptions

fun someLazily(limit: Int): SolveOptions

someLazilyWithTimeout

fun someLazilyWithTimeout(limit: Int, timeout: TimeDuration): SolveOptions

Properties

const val ALL_SOLUTIONS: Int

val DEFAULT: SolveOptions

const val MAX_TIMEOUT: Long