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

of

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