Esempi in C++ (Cpp) per context::get_fparams

Esempio n. 1

File: pdr_dl_interface.cpp Progetto: Moondee/Artemis

dl_interface::dl_interface(datalog::context& ctx) : 
    m_ctx(ctx), 
    m_pdr_rules(ctx), 
    m_old_rules(ctx),
    m_context(0) {
    m_context = alloc(pdr::context, ctx.get_fparams(), ctx.get_params(), ctx.get_manager());
}

Esempio n. 2

File: pdr_dl_interface.cpp Progetto: jackluo923/juxta

dl_interface::dl_interface(datalog::context& ctx) :
    engine_base(ctx.get_manager(), "pdr"),
    m_ctx(ctx),
    m_pdr_rules(ctx),
    m_old_rules(ctx),
    m_context(0),
    m_refs(ctx.get_manager()) {
    m_context = alloc(pdr::context, ctx.get_fparams(), ctx.get_params(), ctx.get_manager());
}