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

Companion

object Companion

Properties

const val ALL_SOLUTIONS: Int

The limit value denoting "no cap on the number of solutions".

val DEFAULT: SolveOptions

The default SolveOptions: allLazily, i.e. all solutions, lazily, without a timeout.

const val MAX_TIMEOUT: Long

The default timeout: no practical limit.

Functions

fun allEagerly(): SolveOptions

SolveOptions for eagerly computing every solution (ALL_SOLUTIONS), without a timeout.

allEagerlyWithTimeout

fun allEagerlyWithTimeout(timeout: TimeDuration): SolveOptions

SolveOptions for eagerly computing every solution, aborting after timeout.

fun allLazily(): SolveOptions

SolveOptions for lazily computing every solution (ALL_SOLUTIONS), without a timeout.

allLazilyWithTimeout

fun allLazilyWithTimeout(timeout: TimeDuration): SolveOptions

SolveOptions for lazily computing every solution, aborting after timeout.

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

Creates SolveOptions with the given lazy/timeout/limit, and no custom options.

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

Creates SolveOptions with the given lazy/timeout/limit, and one or more customOptions.

fun someEagerly(limit: Int): SolveOptions

SolveOptions for eagerly computing at most limit solutions, without a timeout.

someEagerlyWithTimeout

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

SolveOptions for eagerly computing at most limit solutions, aborting after timeout.

fun someLazily(limit: Int): SolveOptions

SolveOptions for lazily computing at most limit solutions, without a timeout.

someLazilyWithTimeout

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

SolveOptions for lazily computing at most limit solutions, aborting after timeout.