solve/it.unibo.tuprolog.solve.function/AbstractEvaluator

AbstractEvaluator

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

Constructors

AbstractEvaluator

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

Functions

open fun defaultValue(term: <ERROR CLASS>): T

open fun unevaluable(struct: <ERROR CLASS>): <ERROR CLASS>

open fun visitAtom(term: <ERROR CLASS>): T

open fun visitIndicator(term: <ERROR CLASS>): T

open fun visitStruct(term: <ERROR CLASS>): T

open fun visitTerm(term: <ERROR CLASS>): T

Inheritors

ArithmeticEvaluator

ExpressionEvaluator

ExpressionReducer