TermVisitor

interface TermVisitor<T> : Any

Methods

defaultValue

abstract fun defaultValue(term: Term): T

Parameters

Name Description
term: Term

ReturnValue

Name Description
T

visit

open fun visit(term: Term): T

Parameters

Name Description
term: Term

ReturnValue

Name Description
T

visit

open fun visit(term: Var): T

Parameters

Name Description
term: Var

ReturnValue

Name Description
T

visit

open fun visit(term: Constant): T

Parameters

Name Description
term: Constant

ReturnValue

Name Description
T

visit

open fun visit(term: Struct): T

Parameters

Name Description
term: Struct

ReturnValue

Name Description
T

visit

open fun visit(term: Atom): T

Parameters

Name Description
term: Atom

ReturnValue

Name Description
T

visit

open fun visit(term: Truth): T

Parameters

Name Description
term: Truth

ReturnValue

Name Description
T

visit

open fun visit(term: Numeric): T

Parameters

Name Description
term: Numeric

ReturnValue

Name Description
T

visit

open fun visit(term: Integer): T

Parameters

Name Description
term: Integer

ReturnValue

Name Description
T

visit

open fun visit(term: Real): T

Parameters

Name Description
term: Real

ReturnValue

Name Description
T

visit

open fun visit(term: Set): T

Parameters

Name Description
term: Set

ReturnValue

Name Description
T

visit

open fun visit(term: Empty): T

Parameters

Name Description
term: Empty

ReturnValue

Name Description
T

visit

open fun visit(term: EmptySet): T

Parameters

Name Description
term: EmptySet

ReturnValue

Name Description
T

visit

open fun visit(term: List): T

Parameters

Name Description
term: List

ReturnValue

Name Description
T

visit

open fun visit(term: Cons): T

Parameters

Name Description
term: Cons

ReturnValue

Name Description
T

visit

open fun visit(term: EmptyList): T

Parameters

Name Description
term: EmptyList

ReturnValue

Name Description
T

visit

open fun visit(term: Tuple): T

Parameters

Name Description
term: Tuple

ReturnValue

Name Description
T

visit

open fun visit(term: Indicator): T

Parameters

Name Description
term: Indicator

ReturnValue

Name Description
T

visit

open fun visit(term: Clause): T

Parameters

Name Description
term: Clause

ReturnValue

Name Description
T

visit

open fun visit(term: Rule): T

Parameters

Name Description
term: Rule

ReturnValue

Name Description
T

visit

open fun visit(term: Fact): T

Parameters

Name Description
term: Fact

ReturnValue

Name Description
T

visit

open fun visit(term: Directive): T

Parameters

Name Description
term: Directive

ReturnValue

Name Description
T

visitTerm

open fun visitTerm(term: Term): T

Parameters

Name Description
term: Term

ReturnValue

Name Description
T

visitVar

open fun visitVar(term: Var): T

Parameters

Name Description
term: Var

ReturnValue

Name Description
T

visitConstant

open fun visitConstant(term: Constant): T

Parameters

Name Description
term: Constant

ReturnValue

Name Description
T

visitStruct

open fun visitStruct(term: Struct): T

Parameters

Name Description
term: Struct

ReturnValue

Name Description
T

visitAtom

open fun visitAtom(term: Atom): T

Parameters

Name Description
term: Atom

ReturnValue

Name Description
T

visitTruth

open fun visitTruth(term: Truth): T

Parameters

Name Description
term: Truth

ReturnValue

Name Description
T

visitNumeric

open fun visitNumeric(term: Numeric): T

Parameters

Name Description
term: Numeric

ReturnValue

Name Description
T

visitInteger

open fun visitInteger(term: Integer): T

Parameters

Name Description
term: Integer

ReturnValue

Name Description
T

visitReal

open fun visitReal(term: Real): T

Parameters

Name Description
term: Real

ReturnValue

Name Description
T

visitSet

open fun visitSet(term: Set): T

Parameters

Name Description
term: Set

ReturnValue

Name Description
T

visitEmpty

open fun visitEmpty(term: Empty): T

Parameters

Name Description
term: Empty

ReturnValue

Name Description
T

visitEmptySet

open fun visitEmptySet(term: EmptySet): T

Parameters

Name Description
term: EmptySet

ReturnValue

Name Description
T

visitList

open fun visitList(term: List): T

Parameters

Name Description
term: List

ReturnValue

Name Description
T

visitCons

open fun visitCons(term: Cons): T

Parameters

Name Description
term: Cons

ReturnValue

Name Description
T

visitEmptyList

open fun visitEmptyList(term: EmptyList): T

Parameters

Name Description
term: EmptyList

ReturnValue

Name Description
T

visitTuple

open fun visitTuple(term: Tuple): T

Parameters

Name Description
term: Tuple

ReturnValue

Name Description
T

visitIndicator

open fun visitIndicator(term: Indicator): T

Parameters

Name Description
term: Indicator

ReturnValue

Name Description
T

visitClause

open fun visitClause(term: Clause): T

Parameters

Name Description
term: Clause

ReturnValue

Name Description
T

visitRule

open fun visitRule(term: Rule): T

Parameters

Name Description
term: Rule

ReturnValue

Name Description
T

visitFact

open fun visitFact(term: Fact): T

Parameters

Name Description
term: Fact

ReturnValue

Name Description
T

visitDirective

open fun visitDirective(term: Directive): T

Parameters

Name Description
term: Directive

ReturnValue

Name Description
T