solve/it.unibo.tuprolog.solve.function/LogicFunction/Companion

Companion

object Companion
Content copied to clipboard

Functions

Link copied to clipboard
@JvmStatic
fun enforcingSignature(supportedSignature: Signature, uncheckedFunction: LogicFunction): LogicFunction
Content copied to clipboard

@JvmStatic
fun <C : ExecutionContext> enforcingSignature(supportedSignature: Signature, uncheckedFunction: (Compute.Request<C>) -> Compute.Response): LogicFunction
Content copied to clipboard

Creates a new LogicFunction, behaving exactly as given uncheckedFunction, but accepting only provided supportedSignature as Compute.Request signature, throwing IllegalArgumentException otherwise

Link copied to clipboard
@JvmStatic
fun of(function: (Compute.Request<ExecutionContext>) -> Compute.Response): LogicFunction
Content copied to clipboard