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

common

fun <E : ExecutionContext> ArithmeticEvaluator(request: Solve.Request<E>)

ArithmeticEvaluator

common

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

the request of the primitive in which the evaluation should happen

Types

Companion

common

object Companion

Functions

defaultValue

common

open override fun defaultValue(term: Term): Numeric

visit

common

open fun visit(term: Atom): Numeric

open fun visit(term: Clause): Numeric

open fun visit(term: Collection): Numeric

open fun visit(term: Cons): Numeric

open fun visit(term: Constant): Numeric

open fun visit(term: Directive): Numeric

open fun visit(term: Empty): Numeric

open fun visit(term: EmptyList): Numeric

open fun visit(term: EmptySet): Numeric

open fun visit(term: Fact): Numeric

open fun visit(term: Integer): Numeric

open fun visit(term: List): Numeric

open fun visit(term: Numeric): Numeric

open fun visit(term: Real): Numeric

open fun visit(term: Rule): Numeric

open fun visit(term: Set): Numeric

open fun visit(term: Struct): Numeric

open fun visit(term: Truth): Numeric

open fun visit(term: Tuple): Numeric

open fun visit(term: Var): Numeric

open override fun visit(term: Term): Numeric

open override fun visit(term: Indicator): Numeric

visitAtom

common

open override fun visitAtom(term: Atom): Numeric

visitClause

common

open fun visitClause(term: Clause): Numeric

visitCollection

common

open fun visitCollection(term: Collection): Numeric

visitCons

common

open fun visitCons(term: Cons): Numeric

visitConstant

common

open fun visitConstant(term: Constant): Numeric

visitDirective

common

open fun visitDirective(term: Directive): Numeric

visitEmpty

common

open fun visitEmpty(term: Empty): Numeric

visitEmptyList

common

open fun visitEmptyList(term: EmptyList): Numeric

visitEmptySet

common

open fun visitEmptySet(term: EmptySet): Numeric

visitFact

common

open fun visitFact(term: Fact): Numeric

visitIndicator

common

open override fun visitIndicator(term: Indicator): Numeric

visitInteger

common

open fun visitInteger(term: Integer): Numeric

visitList

common

open fun visitList(term: List): Numeric

visitNumeric

common

open fun visitNumeric(term: Numeric): Numeric

visitReal

common

open fun visitReal(term: Real): Numeric

visitRule

common

open fun visitRule(term: Rule): Numeric

visitSet

common

open fun visitSet(term: Set): Numeric

visitStruct

common

open override fun visitStruct(term: Struct): Numeric

visitTerm

common

open fun visitTerm(term: Term): Numeric

visitTruth

common

open fun visitTruth(term: Truth): Numeric

visitTuple

common

open fun visitTuple(term: Tuple): Numeric

visitVar

common

open fun visitVar(term: Var): Numeric