UnaryPredicate

abstract class UnaryPredicate<E : ExecutionContext> : PrimitiveWrapper<E>

A base class to implement predicates with one argument

Constructors

<init>

constructor(operator: String)

A base class to implement predicates with one argument

Parameters

Name Description
operator: String

Methods

computeAll

protected abstract fun Request<E>.computeAll(first: Term): Sequence<Response>

Template method aimed at computing the application of this predicate to a Term

Receiver

Name Description
Request<E>

Parameters

Name Description
first: Term

ReturnValue

Name Description
Sequence<Response>

uncheckedImplementation

protected fun uncheckedImplementation(request: Request<E>): Sequence<Response>

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

Parameters

Name Description
request: Request<E>

ReturnValue

Name Description
Sequence<Response>