solve/it.unibo.tuprolog.solve.primitive/TernaryRelation

TernaryRelation

abstract class TernaryRelation<E : ExecutionContext>(operator: String) : PrimitiveWrapper<E>

Base class to implement primitives that relate tree Terms

Constructors

TernaryRelation

fun TernaryRelation(operator: String)

Types

abstract class Functional<E : ExecutionContext>(operator: String) : TernaryRelation.NonBacktrackable<E>

NonBacktrackable

abstract class NonBacktrackable<E : ExecutionContext>(operator: String) : TernaryRelation<E>

abstract class Predicative<E : ExecutionContext>(operator: String) : TernaryRelation.NonBacktrackable<E>

WithoutSideEffects

abstract class WithoutSideEffects<E : ExecutionContext>(operator: String) : TernaryRelation<E>

Properties

descriptionPair

val descriptionPair: Pair<Signature, Primitive>

Gets this wrapped primitive description Pair formed by signature and wrapped primitive type

val functor: String

A shorthand to get the signature functor name

override val implementation: Primitive

Checked primitive implementation

val signature: Signature

Inheritors

WithoutSideEffects

NonBacktrackable