AbstractEvaluator

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

Functions

defaultValue

common

open override fun defaultValue(term: Term): T

visit

common

open fun visit(term: Atom): T

open fun visit(term: Clause): T

open fun visit(term: Collection): T

open fun visit(term: Cons): T

open fun visit(term: Constant): T

open fun visit(term: Directive): T

open fun visit(term: Empty): T

open fun visit(term: EmptyList): T

open fun visit(term: EmptySet): T

open fun visit(term: Fact): T

open fun visit(term: Indicator): T

open fun visit(term: Integer): T

open fun visit(term: List): T

open fun visit(term: Numeric): T

open fun visit(term: Real): T

open fun visit(term: Rule): T

open fun visit(term: Set): T

open fun visit(term: Struct): T

open fun visit(term: Truth): T

open fun visit(term: Tuple): T

open fun visit(term: Var): T

open override fun visit(term: Term): T

visitAtom

common

open override fun visitAtom(term: Atom): T

visitClause

common

open fun visitClause(term: Clause): T

visitCollection

common

open fun visitCollection(term: Collection): T

visitCons

common

open fun visitCons(term: Cons): T

visitConstant

common

open fun visitConstant(term: Constant): T

visitDirective

common

open fun visitDirective(term: Directive): T

visitEmpty

common

open fun visitEmpty(term: Empty): T

visitEmptyList

common

open fun visitEmptyList(term: EmptyList): T

visitEmptySet

common

open fun visitEmptySet(term: EmptySet): T

visitFact

common

open fun visitFact(term: Fact): T

visitIndicator

common

open override fun visitIndicator(term: Indicator): T

visitInteger

common

open fun visitInteger(term: Integer): T

visitList

common

open fun visitList(term: List): T

visitNumeric

common

open fun visitNumeric(term: Numeric): T

visitReal

common

open fun visitReal(term: Real): T

visitRule

common

open fun visitRule(term: Rule): T

visitSet

common

open fun visitSet(term: Set): T

visitStruct

common

open override fun visitStruct(term: Struct): T

visitTerm

common

open fun visitTerm(term: Term): T

visitTruth

common

open fun visitTruth(term: Truth): T

visitTuple

common

open fun visitTuple(term: Tuple): T

visitVar

common

open fun visitVar(term: Var): T

Inheritors

ArithmeticEvaluator

ExpressionEvaluator

ExpressionReducer