コード例 #1
0
ファイル: main.cpp プロジェクト: jhomble/redis 
static void thread_main(void *arg)
{
    CTX *ctx = (CTX*) arg;

    ctx->fn(ctx->addr, ctx->id, ctx->num);
    acl_myfree(ctx);
}
コード例 #2
0
ファイル: subpaving.cpp プロジェクト: chadbrewbaker/z3 
 var mk_monomial(unsigned sz, power const * pws) override { return m_ctx.mk_monomial(sz, pws); }
コード例 #3
0
ファイル: subpaving.cpp プロジェクト: chadbrewbaker/z3 
 bool is_int(var x) const override { return m_ctx.is_int(x); }
コード例 #4
0
ファイル: subpaving.cpp プロジェクト: AleksandarZeljic/z3 
 virtual var mk_var(bool is_int) { return m_ctx.mk_var(is_int); }
コード例 #5
0
ファイル: subpaving.cpp プロジェクト: chadbrewbaker/z3 
 void display_bounds(std::ostream & out) const override { m_ctx.display_bounds(out); }
コード例 #6
0
ファイル: subpaving.cpp プロジェクト: chadbrewbaker/z3 
 void collect_param_descrs(param_descrs & r) override { m_ctx.collect_param_descrs(r); }
コード例 #7
0
ファイル: subpaving.cpp プロジェクト: chadbrewbaker/z3 
 void reset_statistics() override { m_ctx.reset_statistics(); }
コード例 #8
0
ファイル: subpaving.cpp プロジェクト: chadbrewbaker/z3 
 void display_constraints(std::ostream & out, bool use_star) const override { m_ctx.display_constraints(out, use_star); }
コード例 #9
0
ファイル: subpaving.cpp プロジェクト: AleksandarZeljic/z3 
 virtual void collect_statistics(statistics & st) const { m_ctx.collect_statistics(st); }
コード例 #10
0
ファイル: subpaving.cpp プロジェクト: AleksandarZeljic/z3 
 virtual void reset_statistics() { m_ctx.reset_statistics(); }
コード例 #11
0
ファイル: subpaving.cpp プロジェクト: AleksandarZeljic/z3 
 virtual void set_display_proc(display_var_proc * p) { m_ctx.set_display_proc(p); }
コード例 #12
0
ファイル: subpaving.cpp プロジェクト: AleksandarZeljic/z3 
 virtual void display_constraints(std::ostream & out, bool use_star) const { m_ctx.display_constraints(out, use_star); }
コード例 #13
0
ファイル: subpaving.cpp プロジェクト: AleksandarZeljic/z3 
 virtual void dec_ref(ineq * a) { m_ctx.dec_ref(reinterpret_cast<typename CTX::ineq*>(a)); }
コード例 #14
0
ファイル: subpaving.cpp プロジェクト: AleksandarZeljic/z3 
 virtual var mk_monomial(unsigned sz, power const * pws) { return m_ctx.mk_monomial(sz, pws); }
コード例 #15
0
ファイル: subpaving.cpp プロジェクト: AleksandarZeljic/z3 
 virtual bool is_int(var x) const { return m_ctx.is_int(x); }
コード例 #16
0
ファイル: subpaving.cpp プロジェクト: chadbrewbaker/z3 
 void dec_ref(ineq * a) override { m_ctx.dec_ref(reinterpret_cast<typename CTX::ineq*>(a)); }
コード例 #17
0
ファイル: subpaving.cpp プロジェクト: chadbrewbaker/z3 
 void add_clause(unsigned sz, ineq * const * atoms) override { m_ctx.add_clause(sz, reinterpret_cast<typename CTX::ineq * const *>(atoms)); }
コード例 #18
0
ファイル: subpaving.cpp プロジェクト: AleksandarZeljic/z3 
 virtual void collect_param_descrs(param_descrs & r) { m_ctx.collect_param_descrs(r); }
コード例 #19
0
ファイル: subpaving.cpp プロジェクト: chadbrewbaker/z3 
 void set_display_proc(display_var_proc * p) override { m_ctx.set_display_proc(p); }
コード例 #20
0
ファイル: subpaving.cpp プロジェクト: AleksandarZeljic/z3 
 virtual void updt_params(params_ref const & p) { m_ctx.updt_params(p); }
コード例 #21
0
ファイル: subpaving.cpp プロジェクト: chadbrewbaker/z3 
 void collect_statistics(statistics & st) const override { m_ctx.collect_statistics(st); }
コード例 #22
0
ファイル: subpaving.cpp プロジェクト: AleksandarZeljic/z3 
 virtual void display_bounds(std::ostream & out) const { m_ctx.display_bounds(out); }
コード例 #23
0
ファイル: subpaving.cpp プロジェクト: chadbrewbaker/z3 
 void updt_params(params_ref const & p) override { m_ctx.updt_params(p); }
コード例 #24
0
ファイル: subpaving.cpp プロジェクト: chadbrewbaker/z3 
 unsigned num_vars() const override { return m_ctx.num_vars(); }
コード例 #25
0
ファイル: subpaving.cpp プロジェクト: chadbrewbaker/z3 
 var mk_var(bool is_int) override { return m_ctx.mk_var(is_int); }
コード例 #26
0
ファイル: subpaving.cpp プロジェクト: AleksandarZeljic/z3 
 virtual unsigned num_vars() const { return m_ctx.num_vars(); }