Function GraphStatistics_DecEdgeCount

src/graph/graph_statistics.h:51–59

decrement the edge counter by amount

// decrement the edge counter by amount
static inline void GraphStatistics_DecEdgeCount
(
	GraphStatistics *stats,
	RelationID r,
	uint64_t amount
) {
	ASSERT(r < array_len(stats->edge_count) && stats->edge_count[r] >= amount);
	stats->edge_count[r] -= amount;
}

// increment the node counter by amount
static inline void GraphStatistics_IncNodeCount