void print_storage_statistics() { sc_elements_stat stat; sc_storage_get_elements_stat(&stat); printf("--- Storage statistics: ---\n \tNodes: %u (%u deleted)\n\tArcs: %u (%u deleted)\n\tEmpty: %u\n---\n", stat.node_count, stat.node_deleted, stat.arc_count, stat.arc_deleted, stat.empty_count); }
sc_result sc_memory_stat(sc_memory_context const * ctx, sc_stat *stat) { return sc_storage_get_elements_stat(ctx, stat); }