Exemplos de lean_trace_inc_depth em C++ (Cpp)

Exemplo n.º 1

Arquivo: simplifier.cpp Projeto: cpehle/lean

result simplifier::simplify(expr const & e, bool is_root) {
    check_system("simplifier");
    m_num_steps++;
    lean_trace_inc_depth("simplifier");
    lean_trace_d("simplifier", tout() << m_rel << ": " << ppb(e) << "\n";);

Exemplo n.º 2

Arquivo: dsimplify.cpp Projeto: avigad/lean

expr dsimplify_core_fn::visit(expr const & e) {
    check_system("dsimplify");
    inc_num_steps();

    lean_trace_inc_depth("dsimplify");
    lean_dsimp_trace(m_ctx, "dsimplify", tout() << e << "\n";);

Exemplo n.º 3

Arquivo: defeq_simplifier.cpp Projeto: skbaek/lean

 /* Simplification */
 expr defeq_simplify(expr const & _e) {
     expr e = _e;
     lean_trace_inc_depth("defeq_simplifier");
     lean_trace_d("defeq_simplifier", tout() << e << "\n";);