BinaryMathFunction

abstract class BinaryMathFunction(name: String) : MathFunction

Base class to implement unary math functions

Author

Enrico

Parameters

name

the function name

Constructors

BinaryMathFunction
Link copied to clipboard
common
fun BinaryMathFunction(name: String)
the function name

Properties

descriptionPair
Link copied to clipboard
common
val descriptionPair: Pair<Signature, PrologFunction>
Gets this wrapped primitive description Pair formed by signature and wrapped primitive type
functor
Link copied to clipboard
common
val functor: String
A shorthand to get the signature functor name
signature
Link copied to clipboard
common
val signature: Signature
the supported input signature
wrappedImplementation
Link copied to clipboard
common
override val wrappedImplementation: PrologFunction
Checked PrologFunction implementation

Inheritors

IntegersBinaryMathFunction
Link copied to clipboard
Addition
Link copied to clipboard
Exponentiation
Link copied to clipboard
FloatingPointDivision
Link copied to clipboard
Multiplication
Link copied to clipboard
Subtraction
Link copied to clipboard