Searched refs:numedge (Results 1 – 1 of 1) sorted by relevance
1553 int i, j, k, numte, numedge; in transaction_order() local1616 numedge = 0; in transaction_order()1619 numedge++; in transaction_order()1620 POOL_DEBUG(SOLV_DEBUG_STATS, "edges: %d, edge space: %d\n", numedge, od.nedgedata / 2); in transaction_order()