Functional

abstract class Functional<E : ExecutionContext> : NonBacktrackable<E>

Constructors

<init>

constructor(operator: String)

Parameters

Name Description
operator: String

Methods

computeOneSubstitution

protected abstract fun Request<E>.computeOneSubstitution(first: Term, second: Term, third: Term, fourth: Term): Substitution

Receiver

Name Description
Request<E>

Parameters

Name Description
first: Term
second: Term
third: Term
fourth: Term

ReturnValue

Name Description
Substitution

computeOne

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

Receiver

Name Description
Request<E>

Parameters

Name Description
first: Term
second: Term
third: Term
fourth: Term

ReturnValue

Name Description
Response