FunctionWrapper

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

A class wrapping a LogicFunction implementation

Fields

Name Description
val implementation: LogicFunction

Checked PrologFunction implementation

Constructors

<init>

constructor(signature: Signature)

Parameters

Name Description
signature: Signature

<init>

constructor(name: String, arity: Int, vararg: Boolean)

Parameters

Name Description
name: String
arity: Int
vararg: Boolean

Methods

uncheckedImplementation

protected abstract fun uncheckedImplementation(request: Request<C>): Response

The function expressing the implementation of the PrologFunction, without any check for application to correct signature

Parameters

Name Description
request: Request<C>

ReturnValue

Name Description
Response