solve/it.unibo.tuprolog.solve.primitive/PrimitiveWrapper

PrimitiveWrapper

abstract class PrimitiveWrapper<C : ExecutionContext> : AbstractWrapper<Primitive>

Wrapper class for Primitive implementation

Author

Enrico

Giovanni

Constructors

PrimitiveWrapper

fun PrimitiveWrapper(signature: Signature)

PrimitiveWrapper

fun PrimitiveWrapper( name: String, arity: Int, vararg: Boolean = false)

Types

object Companion

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

PredicateWithoutArguments

QuaternaryRelation

QuinaryRelation

TernaryRelation