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): Substitution
Receiver
| Name | Description |
|---|---|
Request<E>
|
ReturnValue
| Name | Description |
|---|---|
Substitution
|