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

enforcingSignature

@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


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