class ExpressionEvaluator<E : ExecutionContext> : AbstractEvaluator<E, Term>
Constructors
<init>
constructor(request: Request<E>, index: Int?)
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.
Parameters
Name | Description |
---|---|
request: Request<E>
|
the request of the primitive in which the evaluation should happen |
index: Int?
|
the index of the argument being evalued in the aforementioned primitive |
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.