
public interface KSortVisitor<T extends Object>

Nested Classes
Modifier and Type	Class	Description

Fields
Modifier and Type	Field	Description

Constructors
Constructor	Description

Enum Constants
Enum Constant	Description

Modifier and Type	Method	Description
`Object`	`visit(KSort sort)`
`abstract T`	`visit(KBoolSort sort)`
`abstract T`	`visit(KIntSort sort)`
`abstract T`	`visit(KRealSort sort)`
`abstract <S extends KBvSort> T`	`visit(S sort)`
`abstract <S extends KFpSort> T`	`visit(S sort)`
`abstract <D extends KSort, R extends KSort> T`	`visit(KArraySort<D, R> sort)`
`abstract <D0 extends KSort, D1 extends KSort, R extends KSort> T`	`visit(KArray2Sort<D0, D1, R> sort)`
`abstract <D0 extends KSort, D1 extends KSort, D2 extends KSort, R extends KSort> T`	`visit(KArray3Sort<D0, D1, D2, R> sort)`
`abstract <R extends KSort> T`	`visit(KArrayNSort<R> sort)`
`abstract T`	`visit(KFpRoundingModeSort sort)`
`abstract T`	`visit(KUninterpretedSort sort)`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

 abstract <S extends KBvSort> T visit(S sort)

 abstract <S extends KFpSort> T visit(S sort)

 abstract <D extends KSort, R extends KSort> T visit(KArraySort<D, R> sort)

 abstract <D0 extends KSort, D1 extends KSort, R extends KSort> T visit(KArray2Sort<D0, D1, R> sort)

 abstract <D0 extends KSort, D1 extends KSort, D2 extends KSort, R extends KSort> T visit(KArray3Sort<D0, D1, D2, R> sort)

 abstract <R extends KSort> T visit(KArrayNSort<R> sort)

 abstract T visit(KFpRoundingModeSort sort)

 abstract T visit(KUninterpretedSort sort)

Interface KSortVisitor