diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-11-06 18:04:23 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-11-06 18:04:23 -0800 |
| commit | db7852bba7cb9e7236b4963985eee1fbbe4c5eb5 (patch) | |
| tree | b66295ba4aefb3fdb2ab7ea56caa8d27af5334ae /src/aig/gia/giaTruth.c | |
| parent | 3f7f497351b5b5e276f8ddb93a7778ac651d4be4 (diff) | |
| download | abc-db7852bba7cb9e7236b4963985eee1fbbe4c5eb5.tar.gz abc-db7852bba7cb9e7236b4963985eee1fbbe4c5eb5.tar.bz2 abc-db7852bba7cb9e7236b4963985eee1fbbe4c5eb5.zip | |
Improvements to LMS code.
Diffstat (limited to 'src/aig/gia/giaTruth.c')
| -rw-r--r-- | src/aig/gia/giaTruth.c | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/aig/gia/giaTruth.c b/src/aig/gia/giaTruth.c index d8a1bb49..172fe2f1 100644 --- a/src/aig/gia/giaTruth.c +++ b/src/aig/gia/giaTruth.c @@ -141,7 +141,7 @@ int Gia_ObjCollectInternal( Gia_Man_t * p, Gia_Obj_t * pObj ) SeeAlso [] ***********************************************************************/ -unsigned * Gia_ObjComputeTruthTable( Gia_Man_t * p, Gia_Obj_t * pObj ) +word * Gia_ObjComputeTruthTable( Gia_Man_t * p, Gia_Obj_t * pObj ) { Gia_Obj_t * pTemp, * pRoot; word * pTruth, * pTruthL, * pTruth0, * pTruth1; @@ -205,7 +205,7 @@ unsigned * Gia_ObjComputeTruthTable( Gia_Man_t * p, Gia_Obj_t * pObj ) pTruth = Gla_ObjTruthNode( p, pRoot ); else pTruth = NULL; - return (unsigned *)Gla_ObjTruthDup( p, Gla_ObjTruthFree2(p), pTruth, Gia_ObjIsCo(pObj) && Gia_ObjFaninC0(pObj) ); + return Gla_ObjTruthDup( p, Gla_ObjTruthFree2(p), pTruth, Gia_ObjIsCo(pObj) && Gia_ObjFaninC0(pObj) ); } /**Function************************************************************* @@ -227,7 +227,7 @@ void Gia_ObjComputeTruthTableTest( Gia_Man_t * p ) int i; Gia_ManForEachPo( p, pObj, i ) { - pTruth = Gia_ObjComputeTruthTable( p, pObj ); + pTruth = (unsigned *)Gia_ObjComputeTruthTable( p, pObj ); // Extra_PrintHex( stdout, pTruth, Gia_ManPiNum(p) ); printf( "\n" ); } Abc_PrintTime( 1, "Time", clock() - clk ); @@ -316,7 +316,7 @@ void Gia_ObjComputeTruthTableStop( Gia_Man_t * p ) SeeAlso [] ***********************************************************************/ -unsigned * Gia_ObjComputeTruthTableCut( Gia_Man_t * p, Gia_Obj_t * pRoot, Vec_Int_t * vLeaves ) +word * Gia_ObjComputeTruthTableCut( Gia_Man_t * p, Gia_Obj_t * pRoot, Vec_Int_t * vLeaves ) { Gia_Obj_t * pTemp; word * pTruth, * pTruthL, * pTruth0, * pTruth1; @@ -358,7 +358,7 @@ unsigned * Gia_ObjComputeTruthTableCut( Gia_Man_t * p, Gia_Obj_t * pRoot, Vec_In assert( pTemp->fMark0 == 1 ); pTemp->fMark0 = 0; } - return (unsigned *)Gla_ObjTruthNode( p, pRoot ); + return Gla_ObjTruthNode( p, pRoot ); } //////////////////////////////////////////////////////////////////////// |