typegraph_stat_print

1596

typegraph_stat_print("pass", tg_pass);

1597

typegraph_stat_print("nodes", n);

1604

typegraph_stat_print("conflicts", stats.tgs_conflicts);

1605

typegraph_stat_print("candidates", stats.tgs_candidates);

2252

typegraph_stat_print("nodes", tg_nnodes - tg_nanchored);

2438

typegraph_stat_print("maximum nodes", est);

2456

typegraph_stat_print("actual nodes", tg_nnodes);

2491

typegraph_stat_print("anchored nodes", tg_nanchored);