DefaultTermVisitor

abstract class DefaultTermVisitor<T> : AbstractTermVisitor<T>

Constructors

Name Description
constructor()

Methods

join

protected open fun <X : Term> join(term: X, f1: (X)->T, vararg fs: (X)->T): T

Parameters

Name Description
term: X
f1: (X)->T
vararg fs: (X)->T

ReturnValue

Name Description
T

CompanionObject

DefaultTermVisitor

abstract class DefaultTermVisitor<T> : AbstractTermVisitor<T>

Methods

of

fun <X> of(defaultValue: (Term)->X): DefaultTermVisitor<X>

Parameters

Name Description
defaultValue: (Term)->X

ReturnValue

Name Description
DefaultTermVisitor<X>