Package it.unibo.tuprolog.solve.function

Types

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

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.

BinaryMathFunction

abstract class BinaryMathFunction(name: String) : MathFunction

Base class to implement unary math functions

Compute

sealed class Compute

A base class for Computation requests and responses

ExpressionEvaluator

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

Evaluates a Term as an expression, w.r.t. the loaded functions provided through request. Throws a TypeError in case a non-evaluable sub-term is met.

ExpressionReducer

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

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

FunctionWrapper