diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-08-23 22:20:27 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-08-23 22:20:27 -0700 |
| commit | 12c776ed6e5a17a491fdb986ccce99649a06850e (patch) | |
| tree | 145b38b8bc8af627be07e3d615fb3934cb66a6f7 /src/misc/extra/extra.h | |
| parent | 261bd7f86555e2e0550fd622806d5995a8a8c390 (diff) | |
| download | abc-12c776ed6e5a17a491fdb986ccce99649a06850e.tar.gz abc-12c776ed6e5a17a491fdb986ccce99649a06850e.tar.bz2 abc-12c776ed6e5a17a491fdb986ccce99649a06850e.zip | |
Added new algorithm for NPN semi-canonical form computation.
Diffstat (limited to 'src/misc/extra/extra.h')
| -rw-r--r-- | src/misc/extra/extra.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/misc/extra/extra.h b/src/misc/extra/extra.h index f198c183..8d3ba254 100644 --- a/src/misc/extra/extra.h +++ b/src/misc/extra/extra.h @@ -203,7 +203,8 @@ extern void Extra_BubbleSort( int Order[], int Costs[], int nSize, int fI /* complementation/permutation generation */ extern int * Extra_GreyCodeSchedule( int n ); extern int * Extra_PermSchedule( int n ); -extern word Extra_Truth6Minimum( word t, int * pComp, int * pPerm ); +extern word Extra_Truth6MinimumExact( word t, int * pComp, int * pPerm ); +extern word Extra_Truth6MinimumHeuristic( word t ); /*=== extraUtilCanon.c ========================================================*/ |