summaryrefslogtreecommitdiffstats
path: root/src/aig/saig/saigIsoFast.c
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2012-02-19 13:16:51 -0800
committerAlan Mishchenko <alanmi@berkeley.edu>2012-02-19 13:16:51 -0800
commit596bbbe6dc3f8311a5166269d651d50ec6b2dff8 (patch)
treebb8c164a318fba0ce751d7a2ca68c004b646ea78 /src/aig/saig/saigIsoFast.c
parent9aab58f6013a2f7973ac8fd5ac017f4f71a82cef (diff)
downloadabc-596bbbe6dc3f8311a5166269d651d50ec6b2dff8.tar.gz
abc-596bbbe6dc3f8311a5166269d651d50ec6b2dff8.tar.bz2
abc-596bbbe6dc3f8311a5166269d651d50ec6b2dff8.zip
Added QuickSort based on 3-way partitioning.
Diffstat (limited to 'src/aig/saig/saigIsoFast.c')
-rw-r--r--src/aig/saig/saigIsoFast.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/saig/saigIsoFast.c b/src/aig/saig/saigIsoFast.c
index a415dcc8..befbf934 100644
--- a/src/aig/saig/saigIsoFast.c
+++ b/src/aig/saig/saigIsoFast.c
@@ -219,7 +219,7 @@ Vec_Int_t * Iso_StoCollectInfo( Iso_Sto_t * p, Aig_Obj_t * pPo )
// printf( "%d ", Vec_IntSize(p->vVisited) );
// sort the costs in the increasing order
- pPerm = Abc_SortCost( Vec_IntArray(p->vVisited), Vec_IntSize(p->vVisited) );
+ pPerm = Abc_MergeSortCost( Vec_IntArray(p->vVisited), Vec_IntSize(p->vVisited) );
assert( Vec_IntEntry(p->vVisited, pPerm[0]) <= Vec_IntEntry(p->vVisited, pPerm[Vec_IntSize(p->vVisited)-1]) );
// create information