abstract class ExhaustiveTermVisitor<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
ExhaustiveTermVisitor
abstract class ExhaustiveTermVisitor<T> : AbstractTermVisitor<T>
Methods
of
fun <X> of(defaultValue: (Term)->X): ExhaustiveTermVisitor<X>
Parameters
| Name | Description |
|---|---|
defaultValue: (Term)->X
|
ReturnValue
| Name | Description |
|---|---|
ExhaustiveTermVisitor<X>
|