ksmt-core
0.5.23
ksmt-core
/
io.ksmt.expr.rewrite
Package-level
declarations
Types
Types
KExpr
Substitutor
Link copied to clipboard
open
class
KExprSubstitutor
(
val
ctx
:
KContext
)
:
KNonRecursiveTransformer
KExpr
Uninterpreted
Decl
Collector
Link copied to clipboard
open
class
KExprUninterpretedDeclCollector
(
val
ctx
:
KContext
)
:
KNonRecursiveTransformer
Collect declarations of used uninterpreted constants and functions.