ArithmeticEvaluator

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

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

Link copied to clipboard
fun <E : ExecutionContext> ArithmeticEvaluator(request: Solve.Request<E>)
Link copied to clipboard
fun <E : ExecutionContext> ArithmeticEvaluator(request: Solve.Request<E>, index: Int?)

Types

Link copied to clipboard
object Companion

Functions

Link copied to clipboard
open fun defaultValue(term: <ERROR CLASS>): <ERROR CLASS>
Link copied to clipboard
open fun unevaluable(struct: <ERROR CLASS>): <ERROR CLASS>
Link copied to clipboard
open fun visitAtom(term: <ERROR CLASS>): <ERROR CLASS>
Link copied to clipboard
open fun visitIndicator(term: <ERROR CLASS>): <ERROR CLASS>
Link copied to clipboard
open fun visitStruct(term: <ERROR CLASS>): <ERROR CLASS>
Link copied to clipboard
open fun visitTerm(term: <ERROR CLASS>): <ERROR CLASS>