abstract class BinaryRelation<E : ExecutionContext> : PrimitiveWrapper<E>
Constructors
<init>
constructor(operator: String)
Base class to implement primitives that relate two Terms and provide a single response
Parameters
| Name | Description |
|---|---|
operator: String
|
Methods
computeAll
protected abstract fun Request<E>.computeAll(first: Term, second: Term): Sequence
Template method aimed at computing the application of this relation to three Terms
Receiver
| Name | Description |
|---|---|
Request<E>
|
ReturnValue
| Name | Description |
|---|---|
Sequence
|
uncheckedImplementation
protected 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
|
Base class to implement primitives that relate two Terms and provide a single response