solve/it.unibo.tuprolog.solve/AbstractWrapper/AbstractWrapper

AbstractWrapper

fun AbstractWrapper(    name: String,     arity: Int,     vararg: Boolean = false)
Content copied to clipboard


fun AbstractWrapper(signature: Signature)
Content copied to clipboard

Parameters

signature

the supported input signature