solve/it.unibo.tuprolog.solve.function/ArithmeticEvaluator

ArithmeticEvaluator

class ArithmeticEvaluator<E : ExecutionContext>(request: Solve.Request<E>, index: Int?) : AbstractEvaluator<E, Numeric>

Evaluates an expression as a Numeric term. Throws a TypeError in case a non-evaluable sub-term is met. Throws a TypeError in case the evaluation produces a non-numeric term.

Parameters

request

the request of the primitive in which the evaluation should happen

index

the index of the argument being evalued in the aforementioned primitive

Constructors

ArithmeticEvaluator

constructor(request: Solve.Request<E>, index: Int?)

constructor(request: Solve.Request<E>)

Types

Companion

object Companion

Functions

defaultValue

open override fun defaultValue(term: Term): Numeric

unevaluable

open fun unevaluable(struct: Struct): Term

Called when struct matches no LogicFunction in loadedFunctions; by default raises a TypeError (TypeError.Expected.EVALUABLE). Overridden by ExpressionReducer to leave non-evaluable sub-terms untouched instead of failing.