A
C
D
E
F
G
H
I
K
L
M
P
R
S
T
U
V
Z
R
- reasonOfUnknown() - function in io.ksmt.solver.z3.KZ3Solver
- registerUninterpretedSortValue(KUninterpretedSortValue,Long,Long) - function in io.ksmt.solver.z3.ExpressionUninterpretedValuesTracker
- registerUninterpretedSortValue(KUninterpretedSortValue,Long,Long,Function0) - function in io.ksmt.solver.z3.KZ3Context
- registerUninterpretedSortValueInterpreter(KUninterpretedSort,Long) - function in io.ksmt.solver.z3.KZ3Context
- releaseTemporaryAst(Long) - function in io.ksmt.solver.z3.KZ3Context
- Release native object, obtained with temporaryAst