AbstractInvoke

abstract class AbstractInvoke: Functional<ExecutionContext>

Constructors

<init>

constructor(suffix: String)

Parameters

Name Description
suffix: String

Methods

computeOneSubstitution

protected open fun Request<ExecutionContext>.computeOneSubstitution(first: Term, second: Term, third: Term): Substitution

Receiver

Name Description
Request<ExecutionContext>

Parameters

Name Description
first: Term
second: Term
third: Term

ReturnValue

Name Description
Substitution

getInvocationResult

protected abstract fun Value.getInvocationResult(): Term

Receiver

Name Description
Value

ReturnValue

Name Description
Term