solve/it.unibo.tuprolog.solve.primitive/ArithmeticRelation

ArithmeticRelation

abstract class ArithmeticRelation<E : ExecutionContext>(operator: String) : BinaryRelation.Predicative<E>

Base class for implementing arithmetic relation between Numeric terms

Constructors

ArithmeticRelation

fun ArithmeticRelation(operator: String)

Functions

abstract fun computeNumeric(x: <ERROR CLASS>, y: <ERROR CLASS>): Boolean

Properties

descriptionPair

val descriptionPair: Pair<Signature, Primitive>

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

Checked primitive implementation

val signature: Signature

Inheritors

ArithmeticEqual

ArithmeticGreaterThan

ArithmeticGreaterThanOrEqualTo

ArithmeticLowerThan

ArithmeticLowerThanOrEqualTo

ArithmeticNotEqual