AbstractEvaluator

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

Constructors

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

Functions

Link copied to clipboard
open fun defaultValue(term: <ERROR CLASS>): T
Link copied to clipboard
open fun unevaluable(struct: <ERROR CLASS>): <ERROR CLASS>
Link copied to clipboard
open fun visitAtom(term: <ERROR CLASS>): T
Link copied to clipboard
open fun visitIndicator(term: <ERROR CLASS>): T
Link copied to clipboard
open fun visitStruct(term: <ERROR CLASS>): T
Link copied to clipboard
open fun visitTerm(term: <ERROR CLASS>): T

Inheritors

Link copied to clipboard
Link copied to clipboard
Link copied to clipboard