abstract class WithoutSideEffects<E : ExecutionContext> : TernaryRelation<E>
Constructors
<init>
constructor(operator: String)
Parameters
Name | Description |
---|---|
operator: String
|
Methods
computeAllSubstitutions
protected abstract fun Request<E>.computeAllSubstitutions(first: Term, second: Term, third: Term): Sequence
Receiver
Name | Description |
---|---|
Request<E>
|
ReturnValue
Name | Description |
---|---|
Sequence
|
Template method aimed at computing the application of this relation to three Terms