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

ArithmeticRelation

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

Base class for implementing ISO arithmetic comparison predicates (=:=/2, =\=/2, </2, >/2, =</2, >=/2), i.e. BinaryRelation.Predicatives that first evaluate both arguments as arithmetic expressions (via it.unibo.tuprolog.solve.function.evalAsArithmeticExpression, raising an it.unibo.tuprolog.solve.exception.error.InstantiationError if unbound, or a it.unibo.tuprolog.solve.exception.error.TypeError if not evaluable/numeric) before comparing the resulting Numeric values via computeNumeric.

Inheritors

ArithmeticEqual

ArithmeticGreaterThan

ArithmeticGreaterThanOrEqualTo

ArithmeticLowerThan

ArithmeticLowerThanOrEqualTo

ArithmeticNotEqual

Constructors

ArithmeticRelation

constructor(operator: String)

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

open val help: String

override val implementation: Primitive

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

val signature: Signature

Functions

abstract fun computeNumeric(x: Numeric, y: Numeric): Boolean

Template method comparing the two already-evaluated Numeric operands.