ksmt-core/io.ksmt.decl/KDeclVisitor

KDeclVisitor

interface KDeclVisitor<T>

Functions

Link copied to clipboard
open fun visit(decl: KAndDecl): T
open fun <S : KArithSort> visit(decl: KArithAddDecl<S>): T
open fun <S : KArithSort> visit(decl: KArithDivDecl<S>): T
open fun <S : KArithSort> visit(decl: KArithGeDecl<S>): T
open fun <S : KArithSort> visit(decl: KArithGtDecl<S>): T
open fun <S : KArithSort> visit(decl: KArithLeDecl<S>): T
open fun <S : KArithSort> visit(decl: KArithLtDecl<S>): T
open fun <S : KArithSort> visit(decl: KArithMulDecl<S>): T
open fun <S : KArithSort> visit(decl: KArithPowerDecl<S>): T
open fun <S : KArithSort> visit(decl: KArithSubDecl<S>): T
open fun <S : KArithSort> visit(decl: KArithUnaryMinusDecl<S>): T
open fun <D0 : KSort, D1 : KSort, R : KSort> visit(decl: KArray2SelectDecl<D0, D1, R>): T
open fun <D0 : KSort, D1 : KSort, R : KSort> visit(decl: KArray2StoreDecl<D0, D1, R>): T
open fun <D0 : KSort, D1 : KSort, D2 : KSort, R : KSort> visit(decl: KArray3SelectDecl<D0, D1, D2, R>): T
open fun <D0 : KSort, D1 : KSort, D2 : KSort, R : KSort> visit(decl: KArray3StoreDecl<D0, D1, D2, R>): T
open fun <A : KArraySortBase<R>, R : KSort> visit(decl: KArrayConstDecl<A, R>): T
open fun <R : KSort> visit(decl: KArrayNSelectDecl<R>): T
open fun <R : KSort> visit(decl: KArrayNStoreDecl<R>): T
open fun <D : KSort, R : KSort> visit(decl: KArraySelectDecl<D, R>): T
open fun <D : KSort, R : KSort> visit(decl: KArrayStoreDecl<D, R>): T
open fun visit(decl: KBitVec16ValueDecl): T
open fun visit(decl: KBitVec1ValueDecl): T
open fun visit(decl: KBitVec32ValueDecl): T
open fun visit(decl: KBitVec64ValueDecl): T
open fun visit(decl: KBitVec8ValueDecl): T
open fun visit(decl: KBitVecCustomSizeValueDecl): T
open fun visit(decl: KBv2IntDecl): T
open fun <S : KBvSort> visit(decl: KBvAddDecl<S>): T
open fun <S : KBvSort> visit(decl: KBvAddNoOverflowDecl<S>): T
open fun <S : KBvSort> visit(decl: KBvAddNoUnderflowDecl<S>): T
open fun <S : KBvSort> visit(decl: KBvAndDecl<S>): T
open fun <S : KBvSort> visit(decl: KBvArithShiftRightDecl<S>): T
open fun visit(decl: KBvConcatDecl): T
open fun <S : KBvSort> visit(decl: KBvDivNoOverflowDecl<S>): T
open fun visit(decl: KBvExtractDecl): T
open fun <S : KBvSort> visit(decl: KBvLogicalShiftRightDecl<S>): T
open fun <S : KBvSort> visit(decl: KBvMulDecl<S>): T
open fun <S : KBvSort> visit(decl: KBvMulNoOverflowDecl<S>): T
open fun <S : KBvSort> visit(decl: KBvMulNoUnderflowDecl<S>): T
open fun <S : KBvSort> visit(decl: KBvNAndDecl<S>): T
open fun <S : KBvSort> visit(decl: KBvNegNoOverflowDecl<S>): T
open fun <S : KBvSort> visit(decl: KBvNegationDecl<S>): T
open fun <S : KBvSort> visit(decl: KBvNorDecl<S>): T
open fun <S : KBvSort> visit(decl: KBvNotDecl<S>): T
open fun <S : KBvSort> visit(decl: KBvOrDecl<S>): T
open fun <S : KBvSort> visit(decl: KBvReductionAndDecl<S>): T
open fun <S : KBvSort> visit(decl: KBvReductionOrDecl<S>): T
open fun visit(decl: KBvRepeatDecl): T
open fun <S : KBvSort> visit(decl: KBvRotateLeftDecl<S>): T
open fun <S : KBvSort> visit(decl: KBvRotateLeftIndexedDecl<S>): T
open fun <S : KBvSort> visit(decl: KBvRotateRightDecl<S>): T
open fun <S : KBvSort> visit(decl: KBvRotateRightIndexedDecl<S>): T
open fun <S : KBvSort> visit(decl: KBvShiftLeftDecl<S>): T
open fun <S : KBvSort> visit(decl: KBvSignedDivDecl<S>): T
open fun <S : KBvSort> visit(decl: KBvSignedGreaterDecl<S>): T
open fun <S : KBvSort> visit(decl: KBvSignedGreaterOrEqualDecl<S>): T
open fun <S : KBvSort> visit(decl: KBvSignedLessDecl<S>): T
open fun <S : KBvSort> visit(decl: KBvSignedLessOrEqualDecl<S>): T
open fun <S : KBvSort> visit(decl: KBvSignedModDecl<S>): T
open fun <S : KBvSort> visit(decl: KBvSignedRemDecl<S>): T
open fun <S : KBvSort> visit(decl: KBvSubDecl<S>): T
open fun <S : KBvSort> visit(decl: KBvSubNoOverflowDecl<S>): T
open fun <S : KBvSort> visit(decl: KBvSubNoUnderflowDecl<S>): T
open fun <S : KBvSort> visit(decl: KBvUnsignedDivDecl<S>): T
open fun <S : KBvSort> visit(decl: KBvUnsignedGreaterDecl<S>): T
open fun <S : KBvSort> visit(decl: KBvUnsignedGreaterOrEqualDecl<S>): T
open fun <S : KBvSort> visit(decl: KBvUnsignedLessDecl<S>): T
open fun <S : KBvSort> visit(decl: KBvUnsignedLessOrEqualDecl<S>): T
open fun <S : KBvSort> visit(decl: KBvUnsignedRemDecl<S>): T
open fun <S : KBvSort> visit(decl: KBvXNorDecl<S>): T
open fun <S : KBvSort> visit(decl: KBvXorDecl<S>): T
open fun <S : KSort> visit(decl: KConstDecl<S>): T
open fun <S : KSort> visit(decl: KDecl<S>): Any
open fun <S : KSort> visit(decl: KDistinctDecl<S>): T
open fun <S : KSort> visit(decl: KEqDecl<S>): T
open fun visit(decl: KFalseDecl): T
abstract fun <S : KSort> visit(decl: KFuncDecl<S>): T
open fun visit(decl: KImpliesDecl): T
open fun visit(decl: KIntModDecl): T
open fun visit(decl: KIntNumDecl): T
open fun visit(decl: KIntRemDecl): T
open fun visit(decl: KIntToRealDecl): T
open fun <S : KSort> visit(decl: KIteDecl<S>): T
open fun visit(decl: KNotDecl): T
open fun visit(decl: KOrDecl): T
open fun visit(decl: KRealIsIntDecl): T
open fun visit(decl: KRealNumDecl): T
open fun visit(decl: KRealToIntDecl): T
open fun visit(decl: KSignExtDecl): T
open fun visit(decl: KTrueDecl): T
open fun visit(decl: KXorDecl): T
open fun visit(decl: KZeroExtDecl): T