solve/it.unibo.tuprolog.solve.function/IntegersBinaryMathFunction

IntegersBinaryMathFunction

abstract class IntegersBinaryMathFunction(name: String) : BinaryMathFunction

Base class to implement math functions accepting only integers

Author

Enrico

Parameters

name

the function name

Inheritors

BitwiseLeftShift

BitwiseRightShift

IntegerDivision

Constructors

IntegersBinaryMathFunction

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

open val help: String

override val implementation: LogicFunction

Checked PrologFunction implementation, retaining this wrapper's help metadata.

val signature: Signature