mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 04:03:39 +00:00
Code Activity

Add missing functions

Browse source
This commit is contained in:
Andreas Humenberger 2019-12-02 14:52:29 +01:00
parent d5e8b810cb
commit 0b8d269e90
1 changed files with 6 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
src/api/julia/z3jl.cpp
View file

@ -220,6 +220,7 @@ JLCXX_MODULE define_julia_module(jlcxx::Module &m)
m.add_type<expr>("Expr", jlcxx::julia_type<ast>()) m.add_type<expr>("Expr", jlcxx::julia_type<ast>())
.constructor<context &>() .constructor<context &>()
.MM(expr, get_sort)
.MM(expr, is_bool) .MM(expr, is_bool)
.MM(expr, is_int) .MM(expr, is_int)
.MM(expr, is_real) .MM(expr, is_real)
@ -473,4 +474,9 @@ JLCXX_MODULE define_julia_module(jlcxx::Module &m)
m.add_type<apply_result>("ApplyResult", jlcxx::julia_type<object>()) m.add_type<apply_result>("ApplyResult", jlcxx::julia_type<object>())
.GETINDEX(apply_result) .GETINDEX(apply_result)
.MM(apply_result, size); .MM(apply_result, size);
m.method("set_param", static_cast<void (*)(char const * param, char const * value)>(&set_param));
m.method("set_param", static_cast<void (*)(char const * param, bool value)>(&set_param));
m.method("set_param", static_cast<void (*)(char const * param, int value)>(&set_param));
m.method("reset_params", &reset_params);
} }