diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-11-02 12:02:16 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-11-02 12:02:16 -0700 |
| commit | 96d3348d8ffc7324472c9fa8e65d1d4c9e4752df (patch) | |
| tree | 8421dd238219a9cfa6996a26710e3435ae9879bf /src/aig/gia/gia.h | |
| parent | f829eca5483d4bec52bc1f090f8e7def180b3454 (diff) | |
| download | abc-96d3348d8ffc7324472c9fa8e65d1d4c9e4752df.tar.gz abc-96d3348d8ffc7324472c9fa8e65d1d4c9e4752df.tar.bz2 abc-96d3348d8ffc7324472c9fa8e65d1d4c9e4752df.zip | |
Fixing out-of-bound problem when collecting GIA nodes.
Diffstat (limited to 'src/aig/gia/gia.h')
| -rw-r--r-- | src/aig/gia/gia.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/gia.h b/src/aig/gia/gia.h index 35d80047..8c3d761c 100644 --- a/src/aig/gia/gia.h +++ b/src/aig/gia/gia.h @@ -889,7 +889,7 @@ extern float Gia_ManEvaluateSwitching( Gia_Man_t * p ); extern float Gia_ManComputeSwitching( Gia_Man_t * p, int nFrames, int nPref, int fProbOne ); /*=== giaTruth.c ===========================================================*/ extern word Gia_ObjComputeTruthTable6( Gia_Man_t * p, Gia_Obj_t * pObj, Vec_Int_t * vSupp, Vec_Wrd_t * vTruths ); -extern void Gia_ObjCollectInternal( Gia_Man_t * p, Gia_Obj_t * pObj ); +extern int Gia_ObjCollectInternal( Gia_Man_t * p, Gia_Obj_t * pObj ); extern unsigned * Gia_ObjComputeTruthTable( Gia_Man_t * p, Gia_Obj_t * pObj ); extern void Gia_ObjComputeTruthTableStart( Gia_Man_t * p, int nVarsMax ); extern void Gia_ObjComputeTruthTableStop( Gia_Man_t * p ); |