abstract class NonBacktrackable<E : ExecutionContext> : BinaryRelation<E>
Constructors
<init>
constructor(operator: String)
Parameters
Name | Description |
---|---|
operator: String
|
abstract class NonBacktrackable<E : ExecutionContext> : BinaryRelation<E>
constructor(operator: String)
Parameters
Name | Description |
---|---|
operator: String
|
Template method aimed at computing the application of this relation to three Terms