ExpressionReducer

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

Reduces a Term as an expression by evaluating all the evaluable sub-terms it contains w.r.t. the loaded functions provided through request. If the input expression is non-evaluable, it remains unaffected and no error is thrown

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

ExpressionReducer

common

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

the request of the primitive in which the evaluation should happen

Functions

defaultValue

common

open override fun defaultValue(term: Term): Term

visit

common

open fun visit(term: Atom): Term

open fun visit(term: Clause): Term

open fun visit(term: Collection): Term

open fun visit(term: Cons): Term

open fun visit(term: Constant): Term

open fun visit(term: Directive): Term

open fun visit(term: Empty): Term

open fun visit(term: EmptyList): Term

open fun visit(term: EmptySet): Term

open fun visit(term: Fact): Term

open fun visit(term: Indicator): Term

open fun visit(term: Integer): Term

open fun visit(term: List): Term

open fun visit(term: Numeric): Term

open fun visit(term: Real): Term

open fun visit(term: Rule): Term

open fun visit(term: Set): Term

open fun visit(term: Struct): Term

open fun visit(term: Truth): Term

open fun visit(term: Tuple): Term

open fun visit(term: Var): Term

open override fun visit(term: Term): Term

visitAtom

common

open override fun visitAtom(term: Atom): Term

visitClause

common

open fun visitClause(term: Clause): Term

visitCollection

common

open fun visitCollection(term: Collection): Term

visitCons

common

open fun visitCons(term: Cons): Term

visitConstant

common

open fun visitConstant(term: Constant): Term

visitDirective

common

open fun visitDirective(term: Directive): Term

visitEmpty

common

open fun visitEmpty(term: Empty): Term

visitEmptyList

common

open fun visitEmptyList(term: EmptyList): Term

visitEmptySet

common

open fun visitEmptySet(term: EmptySet): Term

visitFact

common

open fun visitFact(term: Fact): Term

visitIndicator

common

open override fun visitIndicator(term: Indicator): Term

visitInteger

common

open fun visitInteger(term: Integer): Term

visitList

common

open fun visitList(term: List): Term

visitNumeric

common

open fun visitNumeric(term: Numeric): Term

visitReal

common

open fun visitReal(term: Real): Term

visitRule

common

open fun visitRule(term: Rule): Term

visitSet

common

open fun visitSet(term: Set): Term

visitStruct

common

open override fun visitStruct(term: Struct): Term

visitTerm

common

open fun visitTerm(term: Term): Term

visitTruth

common

open fun visitTruth(term: Truth): Term

visitTuple

common

open fun visitTuple(term: Tuple): Term

visitVar

common

open fun visitVar(term: Var): Term