solve/it.unibo.tuprolog.solve.stdlib.primitive/ArithmeticLowerThanOrEqualTo

ArithmeticLowerThanOrEqualTo

object ArithmeticLowerThanOrEqualTo : ArithmeticRelation<ExecutionContext>

Implementation of '=<'/2 predicate

Functions

open override 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