diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-02-19 13:19:35 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-02-19 13:19:35 -0800 |
| commit | c2b2e99284727cc0b1c8122b267746cf598846ab (patch) | |
| tree | 78f7e5e30b3174eff68ff8667f083ff29353189e /src/misc/util/abc_global.h | |
| parent | 596bbbe6dc3f8311a5166269d651d50ec6b2dff8 (diff) | |
| download | abc-c2b2e99284727cc0b1c8122b267746cf598846ab.tar.gz abc-c2b2e99284727cc0b1c8122b267746cf598846ab.tar.bz2 abc-c2b2e99284727cc0b1c8122b267746cf598846ab.zip | |
Added QuickSort based on 3-way partitioning.
Diffstat (limited to 'src/misc/util/abc_global.h')
| -rw-r--r-- | src/misc/util/abc_global.h | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/misc/util/abc_global.h b/src/misc/util/abc_global.h index 031dda33..38a27fe7 100644 --- a/src/misc/util/abc_global.h +++ b/src/misc/util/abc_global.h @@ -327,11 +327,11 @@ static inline int Abc_PrimeCudd( unsigned int p ) // sorting extern void Abc_MergeSort( int * pInput, int nSize ); extern int * Abc_MergeSortCost( int * pCosts, int nSize ); -extern void Abc_QuickSort1( word * pData, int nSize, int fDecrement ); -extern void Abc_QuickSort2( word * pData, int nSize, int fDecrement ); -extern void Abc_QuickSort3( word * pData, int nSize, int fDecrement ); -extern void Abc_QuickSortCostData( int * pCosts, int nSize, int fDecrement, word * pData, int * pResult ); -extern int * Abc_QuickSortCost( int * pCosts, int nSize, int fDecrement ); +extern void Abc_QuickSort1( word * pData, int nSize, int fDecrease ); +extern void Abc_QuickSort2( word * pData, int nSize, int fDecrease ); +extern void Abc_QuickSort3( word * pData, int nSize, int fDecrease ); +extern void Abc_QuickSortCostData( int * pCosts, int nSize, int fDecrease, word * pData, int * pResult ); +extern int * Abc_QuickSortCost( int * pCosts, int nSize, int fDecrease ); ABC_NAMESPACE_HEADER_END |