ArithmeticEvaluator

open class ArithmeticEvaluator: ExpressionEvaluator

Prolog Arithmetic Expression evaluator implementation

Constructors

<init>

constructor(context: ExecutionContext)

Prolog Arithmetic Expression evaluator implementation

Parameters

Name Description
context: ExecutionContext

Methods

visit

open fun visit(term: Indicator): Term

Parameters

Name Description
term: Indicator

ReturnValue

Name Description
Term

staticCheck

protected open fun Term.staticCheck(context: ExecutionContext)

This method implements all the check required by the Prolog Standard for expressions to be considered valid (statically)

Receiver

Name Description
Term

Parameters

Name Description
context: ExecutionContext

ReturnValue

Name Description
Unit

dynamicCheck

protected open fun Term.dynamicCheck(enclosingTerm: Struct, context: ExecutionContext)

This method implements all the check required by the Prolog Standard for expressions to be considered valid (dynamically)

Receiver

Name Description
Term

Parameters

Name Description
enclosingTerm: Struct
context: ExecutionContext

ReturnValue

Name Description
Unit

CompanionObject

ArithmeticEvaluator

open class ArithmeticEvaluator: ExpressionEvaluator

Prolog Arithmetic Expression evaluator implementation

Fields

Name Description
val allowedArithmeticSignatures: /** All allowed arithmetic signatures in Prolog expressions */

All allowed arithmetic signatures in Prolog expressions