C++ (Cpp) register_trace_class Exemples

Exemple #1

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

Exemple #2

Fichier : trace.cpp Projet : gebner/lean

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

    register_trace_class(name{"debug"});
}

Exemple #3

Fichier : parray.cpp Projet : avigad/lean

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