C++ (Cpp) register_trace_class示例

示例#1

文件： init_module.cpp 项目： soonhokong/lean-osx

void initialize_simplifier_module() {
    register_trace_class("simplifier");

    initialize_simp_util();
    initialize_simp_lemmas();
    initialize_simp_extensions();
    initialize_prop_simplifier();
    initialize_arith_simplifier();
    initialize_theory_simplifier();
    initialize_simplifier();
}

示例#2

文件： trace.cpp 项目： gebner/lean

void initialize_trace() {
    g_trace_classes = new name_set();
    g_trace_aliases = new name_map<name_set>();

    register_trace_class(name{"debug"});
}

示例#3

文件： parray.cpp 项目： avigad/lean

void initialize_parray() {
    register_trace_class(name{"array", "update"});
}