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

Inheritors

FunctionWrapper

PrimitiveWrapper

Constructors

AbstractWrapper

constructor(signature: Signature)

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

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