FunctionWrapper

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

A class wrapping a LogicFunction implementation

Author

Enrico

Constructors

Link copied to clipboard
fun FunctionWrapper(signature: Signature)
Link copied to clipboard
fun FunctionWrapper(    name: String,     arity: Int,     vararg: Boolean = false)

Properties

Link copied to clipboard
val descriptionPair: Pair<Signature, LogicFunction>

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

Link copied to clipboard
val functor: String

A shorthand to get the signature functor name

Link copied to clipboard
override val implementation: LogicFunction

Checked PrologFunction implementation

Link copied to clipboard
val signature: Signature

Inheritors

Link copied to clipboard