Ejemplos de enable_level_caching en C++ (Cpp)

Ejemplo n.º 1

Archivo: expr.cpp Proyecto: sakas--/lean

bool enable_expr_caching(bool f) {
    DEBUG_CODE(bool r1 =) enable_level_caching(f);
    bool r2 = g_expr_cache_enabled;
    lean_assert(r1 == r2);
    expr_cache new_cache;
    get_expr_cache().swap(new_cache);
    if (f) {
        clear_abstract_cache();
        clear_instantiate_cache();
        cache(mk_Prop());
        cache(mk_Type());
    }
    g_expr_cache_enabled = f;
    return r2;
}

Ejemplo n.º 2

Archivo: level.cpp Proyecto: pazthor/lean

void finalize_level() {
    enable_level_caching(false);
    delete g_level_one;
    delete g_level_zero;
}