solve/it.unibo.tuprolog.solve/AbstractWrapper

AbstractWrapper

abstract class AbstractWrapper<out Wrapped>(val signature: Signature)

Signature to Wrapped type, abstract wrapper class

Author

Enrico

Parameters

signature

the supported input signature

Constructors

AbstractWrapper

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

AbstractWrapper

fun AbstractWrapper(signature: Signature)

Properties

descriptionPair

val descriptionPair: Pair<Signature, Wrapped>

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

val functor: String

A shorthand to get the signature functor name

abstract val implementation: Wrapped

The wrapped implementation

val signature: Signature

Inheritors

FunctionWrapper

PrimitiveWrapper