abstract class QuaternaryRelation<E : ExecutionContext> : PrimitiveWrapper<E>
Constructors
<init>
constructor(operator: String)
Parameters
| Name | Description |
|---|---|
operator: String
|
Methods
computeAll
protected abstract fun Request<E>.computeAll(first: Term, second: Term, third: Term, fourth: Term): Sequence
Receiver
| Name | Description |
|---|---|
Request<E>
|
ReturnValue
| Name | Description |
|---|---|
Sequence
|
uncheckedImplementation
protected open fun uncheckedImplementation(request: Request<E>): Sequence
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
|
Template method aimed at computing the application of this relation to three Terms