solve/it.unibo.tuprolog.solve.function/FunctionWrapper

FunctionWrapper

abstract class FunctionWrapper<C : ExecutionContext> : AbstractWrapper<LogicFunction>

A class wrapping a LogicFunction implementation

Author

Enrico

Constructors

FunctionWrapper

fun FunctionWrapper(signature: Signature)

FunctionWrapper

fun FunctionWrapper( name: String, arity: Int, vararg: Boolean = false)

Properties

descriptionPair

val descriptionPair: Pair<Signature, LogicFunction>

Gets this wrapped primitive description Pair formed by signature and wrapped primitive type

val functor: String

A shorthand to get the signature functor name

override val implementation: LogicFunction

Checked PrologFunction implementation

val signature: Signature

Inheritors