abstract class AbstractTermVisitor<T> : TermVisitor<T>, Any
Constructors
| Name | Description |
|---|---|
constructor()
|
Methods
join
protected abstract 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
|
visitAtom
open fun visitAtom(term: Atom): T
Parameters
| Name | Description |
|---|---|
term: Atom
|
ReturnValue
| Name | Description |
|---|---|
T
|
visitEmptyBlock
open fun visitEmptyBlock(term: EmptyBlock): T
Parameters
| Name | Description |
|---|---|
term: EmptyBlock
|
ReturnValue
| Name | Description |
|---|---|
T
|