C++ (Cpp) compute_interpolant_and_maybe_checkの例

コード例 #1

ファイル: interpolant_cmds.cpp プロジェクト: AleksandarZeljic/z3

static void compute_interpolant(cmd_context & ctx, const ptr_vector<expr> &exprs, params_ref &m_params) {
    expr_ref foo(make_tree(ctx, exprs),ctx.m());
    compute_interpolant_and_maybe_check(ctx,foo.get(),m_params,false);
}

コード例 #2

ファイル: interpolant_cmds.cpp プロジェクト: CHolmes3/z3

static void compute_interpolant(cmd_context & ctx, const ptr_vector<expr> &exprs, params_ref &m_params) {
    expr *foo = make_tree(ctx, exprs);
    ctx.m().inc_ref(foo);
    compute_interpolant_and_maybe_check(ctx,foo,m_params,false);
    ctx.m().dec_ref(foo);
}