WithoutSideEffects

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<Substitution>

Receiver

Name Description
Request<E>

Parameters

Name Description
first: Term
second: Term
third: Term

ReturnValue

Name Description
Sequence<Substitution>

computeAll

protected fun Request<E>.computeAll(first: Term, second: Term, third: Term): Sequence<Response>

Template method aimed at computing the application of this relation to three Terms

Receiver

Name Description
Request<E>

Parameters

Name Description
first: Term
second: Term
third: Term

ReturnValue

Name Description
Sequence<Response>