solve/it.unibo.tuprolog.solve.primitive/PrimitiveWrapper/Companion/wrap

wrap

@JvmStatic
fun <C : ExecutionContext> wrap(signature: Signature, primitive: Primitive): PrimitiveWrapper<C>

Utility factory to build a PrimitiveWrapper out of a Signature and a Primitive function

@JvmStatic
fun <C : ExecutionContext> wrap(name: String, arity: Int, vararg: Boolean, primitive: Primitive): PrimitiveWrapper<C>
@JvmStatic
fun <C : ExecutionContext> wrap(name: String, arity: Int, primitive: Primitive): PrimitiveWrapper<C>

Utility factory to build a PrimitiveWrapper out of a Primitive function

Generated by Dokka
© 2026 Copyright