NonBacktrackable

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

Constructors

<init>

constructor(operator: String)

Parameters

Name Description
operator: String

Methods

computeOne

protected abstract fun Request<E>.computeOne(): Response

Receiver

Name Description
Request<E>

ReturnValue

Name Description
Response

computeAll

protected fun Request<E>.computeAll(): Sequence<Response>

Template method that should compute the response of the application of this predicate to a term Term

Receiver

Name Description
Request<E>

ReturnValue

Name Description
Sequence<Response>