diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2005-08-19 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2005-08-19 08:01:00 -0700 |
| commit | 0e4de190ff4e25f5904a571b79a225363d5fc369 (patch) | |
| tree | a89075fbb01848568534265967c59289c77713a0 /src/map/mapper/mapper.h | |
| parent | dffcc93b8e8779f443762c71098796b01ea7d409 (diff) | |
| download | abc-0e4de190ff4e25f5904a571b79a225363d5fc369.tar.gz abc-0e4de190ff4e25f5904a571b79a225363d5fc369.tar.bz2 abc-0e4de190ff4e25f5904a571b79a225363d5fc369.zip | |
Version abc50819
Diffstat (limited to 'src/map/mapper/mapper.h')
| -rw-r--r-- | src/map/mapper/mapper.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/map/mapper/mapper.h b/src/map/mapper/mapper.h index 9ef8ee17..1322cdfa 100644 --- a/src/map/mapper/mapper.h +++ b/src/map/mapper/mapper.h @@ -152,8 +152,8 @@ extern void Map_NodeSetChoice( Map_Man_t * pMan, Map_Node_t * pNodeOl /*=== resmCanon.c =============================================================*/ extern int Map_CanonComputeSlow( unsigned uTruths[][2], int nVarsMax, int nVarsReal, unsigned uTruth[], unsigned char * puPhases, unsigned uTruthRes[] ); +extern int Map_CanonComputeFast( Map_Man_t * p, int nVarsMax, int nVarsReal, unsigned uTruth[], unsigned char * puPhases, unsigned uTruthRes[] ); /*=== mapperCut.c =============================================================*/ -extern void Map_MappingCreatePiCuts( Map_Man_t * p ); extern Map_Cut_t * Map_CutAlloc( Map_Man_t * p ); /*=== mapperCutUtils.c =============================================================*/ extern void Map_CutCreateFromNode( Map_Man_t * p, Map_Super_t * pSuper, int iRoot, unsigned uPhaseRoot, |