abstract class WithoutSideEffects<E : ExecutionContext> : PredicateWithoutArguments<E>
Constructors
<init>
constructor(operator: String)
Parameters
| Name | Description |
|---|---|
operator: String
|
Methods
computeAllSubstitutions
protected abstract fun Request<E>.computeAllSubstitutions(): Sequence
Receiver
| Name | Description |
|---|---|
Request<E>
|
ReturnValue
| Name | Description |
|---|---|
Sequence
|
Template method that should compute the response of the application of this predicate to a term Term