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

Companion

object Companion
Content copied to clipboard

Functions

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

@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

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