C++ (Cpp) Transaction::dfs_state примеры использования

Пример #1

Файл: cpp_analysis.cpp Проект: richardxia/asp-multilevel-debug

void AspEventHandler::check_serializability() {
	assert(cycles_.empty());
	assert(txlist_sorted_.empty());

	txset_in_cycle.clear();

	for(TransactionPtrList::iterator itr = txlist_.begin(); itr != txlist_.end(); ++itr) {
		Transaction* tx = (*itr);
		if(tx->dfs_state() == WHITE) {
			EdgeList* edges = tx->conflict_edges();
			dfs(DFSStackElement(tx, edges->begin(), edges->end()));
		}
	}
}