interface TermVisitor<T> : Any
Methods
defaultValue
abstract fun defaultValue(term: Term): T
Parameters
| Name | Description |
|---|---|
term: Term
|
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
|
visitCollection
open fun visitCollection(term: Recursive): T
Parameters
| Name | Description |
|---|---|
term: Recursive
|
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
|
visitBlock
open fun visitBlock(term: Block): T
Parameters
| Name | Description |
|---|---|
term: Block
|
ReturnValue
| Name | Description |
|---|---|
T
|
visitEmpty
open fun visitEmpty(term: Empty): T
Parameters
| Name | Description |
|---|---|
term: Empty
|
ReturnValue
| Name | Description |
|---|---|
T
|
visitEmptyBlock
open fun visitEmptyBlock(term: EmptyBlock): T
Parameters
| Name | Description |
|---|---|
term: EmptyBlock
|
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
|