solve/it.unibo.tuprolog.solve.primitive/Primitive/Companion/enforcingSignature

enforcingSignature

@JvmStatic
fun <C : ExecutionContext> enforcingSignature(supportedSignature: Signature, uncheckedPrimitive: (Solve.Request<C>) -> Sequence<Solve.Response>): Primitive
Content copied to clipboard

Creates a new Primitive, behaving exactly as given uncheckedPrimitive, but accepting only provided supportedSignature as Solve.Request signature, throwing IllegalArgumentException otherwise


@JvmStatic
fun enforcingSignature(supportedSignature: Signature, uncheckedPrimitive: Primitive): Primitive
Content copied to clipboard