Function ResultSet_IndexDeleted

src/resultset/resultset.c:174–185

update resultset index deleted statistics

// update resultset index deleted statistics
void ResultSet_IndexDeleted
(
	ResultSet *set,  // resultset to update
	int status_code  // index deletion status code
) {
	ASSERT(set != NULL);

	set->stats.index_deletion = true;
	if(status_code == INDEX_OK) {
		set->stats.indices_deleted += 1;
	}
}

// update resultset constraint creation statistics
void ResultSet_ConstraintCreated