solve/it.unibo.tuprolog.solve.function/NullaryMathFunction

NullaryMathFunction

abstract class NullaryMathFunction(name: String) : MathFunction

Base class to implement nullary math functions (with no arguments)

Author

Enrico

Parameters

name

the no arguments function name

Constructors

NullaryMathFunction

constructor(name: String)

Properties

descriptionPair

val descriptionPair: Pair<Signature, LogicFunction>

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: LogicFunction

Checked PrologFunction implementation

val signature: Signature