ksmt-core/io.ksmt.expr.transformer

Package-level declarations

Types

KExprVisitResult

value class KExprVisitResult<out V>

KNonRecursiveTransformer

abstract class KNonRecursiveTransformer(val ctx: KContext) : KNonRecursiveTransformerBase, KTransformer

Apply specialized non-recursive transformations for all KSMT expressions. See KNonRecursiveTransformerBase for details.

KNonRecursiveTransformerBase

abstract class KNonRecursiveTransformerBase : KTransformer

Non-recursive expression transformer.

KNonRecursiveVisitor

abstract class KNonRecursiveVisitor<V : Any>(val ctx: KContext) : KNonRecursiveVisitorBase<V>

Apply specialized non-recursive visit for all KSMT expressions. See KNonRecursiveVisitorBase for details.

KNonRecursiveVisitorBase

abstract class KNonRecursiveVisitorBase<V : Any> : KVisitor<KExprVisitResult<V>>

Non-recursive expression visitor.

interface KTransformer : KTransformerBase

KTransformerBase

interface KTransformerBase

interface KVisitor<V> : KTransformer

Functions

inline fun <V, E : KExpr<*>> KVisitor<V>.visitExpr(expr: E, visitor: (E) -> V): E