diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2007-02-02 08:01:00 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2007-02-02 08:01:00 -0800 |
| commit | 8da52b6f202444711da6b1f1baac92e0a516c8e6 (patch) | |
| tree | caa6bf9d35cb8f10785c9e2fc9dd0a179704db33 /src/aig/ivy/ivy.h | |
| parent | 12578e622f62bde4cfc1d3b055aa8747e5c9590b (diff) | |
| download | abc-8da52b6f202444711da6b1f1baac92e0a516c8e6.tar.gz abc-8da52b6f202444711da6b1f1baac92e0a516c8e6.tar.bz2 abc-8da52b6f202444711da6b1f1baac92e0a516c8e6.zip | |
Version abc70202
Diffstat (limited to 'src/aig/ivy/ivy.h')
| -rw-r--r-- | src/aig/ivy/ivy.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/aig/ivy/ivy.h b/src/aig/ivy/ivy.h index 9e944028..6aa7fa9f 100644 --- a/src/aig/ivy/ivy.h +++ b/src/aig/ivy/ivy.h @@ -152,6 +152,7 @@ struct Ivy_FraigParams_t_ typedef struct Ivy_Cut_t_ Ivy_Cut_t; struct Ivy_Cut_t_ { + int nLatches; short nSize; short nSizeMax; int pArray[IVY_CUT_INPUT]; @@ -541,6 +542,7 @@ extern Ivy_Obj_t * Ivy_ObjRecognizeMux( Ivy_Obj_t * pObj, Ivy_Obj_t ** ppObj extern Ivy_Obj_t * Ivy_ObjReal( Ivy_Obj_t * pObj ); extern void Ivy_ObjPrintVerbose( Ivy_Man_t * p, Ivy_Obj_t * pObj, int fHaig ); extern void Ivy_ManPrintVerbose( Ivy_Man_t * p, int fHaig ); +extern int Ivy_CutTruthPrint( Ivy_Man_t * p, Ivy_Cut_t * pCut, unsigned uTruth ); #ifdef __cplusplus } |