diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-02-19 23:07:29 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-02-19 23:07:29 -0800 |
| commit | 59fe3268a788722dcae9615e014270fe8be3599b (patch) | |
| tree | 6c1d50446cb8d53322462d6f02bde30d034ff3db /src/misc/tim | |
| parent | 99a971835502da86d6a8893f31356f0a2ab9f9fc (diff) | |
| download | abc-59fe3268a788722dcae9615e014270fe8be3599b.tar.gz abc-59fe3268a788722dcae9615e014270fe8be3599b.tar.bz2 abc-59fe3268a788722dcae9615e014270fe8be3599b.zip | |
Adding STG generation (&era -d) and STG encoding (&read_stg <file>).
Diffstat (limited to 'src/misc/tim')
| -rw-r--r-- | src/misc/tim/tim.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/misc/tim/tim.h b/src/misc/tim/tim.h index 66181a9c..bb259d7d 100644 --- a/src/misc/tim/tim.h +++ b/src/misc/tim/tim.h @@ -127,6 +127,7 @@ extern Tim_Man_t * Tim_ManLoad( Vec_Str_t * p, int fHieOnly ); /*=== timMan.c ===========================================================*/ extern Tim_Man_t * Tim_ManStart( int nCis, int nCos ); extern Tim_Man_t * Tim_ManDup( Tim_Man_t * p, int fUnitDelay ); +extern Tim_Man_t * Tim_ManTrim( Tim_Man_t * p, Vec_Int_t * vBoxPres ); extern void Tim_ManCreate( Tim_Man_t * p, void * pLib, Vec_Flt_t * vInArrs, Vec_Flt_t * vOutReqs ); extern int Tim_ManGetArrsReqs( Tim_Man_t * p, Vec_Flt_t ** pvInArrs, Vec_Flt_t ** pvOutReqs ); extern void Tim_ManStop( Tim_Man_t * p ); |