solve/it.unibo.tuprolog.solve.primitive/UnaryPredicate

UnaryPredicate

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

A base class to implement predicates with one argument, sparing implementers from manually pulling first out of Solve.Request.arguments. Follows the same design (and same ladder of nested subclasses -- WithoutSideEffects, NonBacktrackable, Functional, Predicative) as BinaryRelation; see its KDoc for the full rationale. TypeTester and TypeEnsurer further specialize Predicative for X type-checking predicates (e.g. atom/1, var/1) and type-enforcing ones respectively.

Inheritors

WithoutSideEffects

NonBacktrackable

Constructors

constructor(operator: String)

Types

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

See BinaryRelation.Functional.

NonBacktrackable

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

See BinaryRelation.NonBacktrackable.

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

See BinaryRelation.Predicative.

WithoutSideEffects

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

See BinaryRelation.WithoutSideEffects.

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