C++ (Cpp) register_trace_class Beispiele

Beispiel #1

Datei: init_module.cpp Projekt: 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();
}

Beispiel #2

Datei: trace.cpp Projekt: gebner/lean

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

    register_trace_class(name{"debug"});
}

Beispiel #3

Datei: parray.cpp Projekt: avigad/lean

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