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"});
}