diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-07-10 13:56:05 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-07-10 13:56:05 +0700 |
| commit | 204fac4dca548c75d42c27bd939a565bcf7c3642 (patch) | |
| tree | b06cb74ef51206d5287fef4163e45f81e690f611 /src/map/if/if.h | |
| parent | ebfd70cdf41c5ba10b4cae66a5bcaf289f162732 (diff) | |
| download | abc-204fac4dca548c75d42c27bd939a565bcf7c3642.tar.gz abc-204fac4dca548c75d42c27bd939a565bcf7c3642.tar.bz2 abc-204fac4dca548c75d42c27bd939a565bcf7c3642.zip | |
Other changes to enable new features in the mapper.
Diffstat (limited to 'src/map/if/if.h')
| -rw-r--r-- | src/map/if/if.h | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/map/if/if.h b/src/map/if/if.h index 86d504bc..52cd0c2b 100644 --- a/src/map/if/if.h +++ b/src/map/if/if.h @@ -99,6 +99,7 @@ struct If_Par_t_ int fEnableCheck07;// enable additional checking int fEnableCheck08;// enable additional checking int fEnableCheck10;// enable additional checking + int fEnableRealPos;// enable additional feature int fVerbose; // the verbosity flag // internal parameters int fDelayOpt; // special delay optimization @@ -449,8 +450,8 @@ extern int If_ManPerformMappingSeq( If_Man_t * p ); /*=== ifTime.c ============================================================*/ extern int If_CutDelaySopCost( If_Man_t * p, If_Cut_t * pCut ); extern Vec_Wrd_t * If_CutDelaySopArray( If_Man_t * p, If_Cut_t * pCut ); -extern float If_CutDelay( If_Man_t * p, If_Cut_t * pCut ); -extern void If_CutPropagateRequired( If_Man_t * p, If_Cut_t * pCut, float Required ); +extern float If_CutDelay( If_Man_t * p, If_Obj_t * pObj, If_Cut_t * pCut ); +extern void If_CutPropagateRequired( If_Man_t * p, If_Obj_t * pObj, If_Cut_t * pCut, float Required ); extern void If_CutRotatePins( If_Man_t * p, If_Cut_t * pCut ); /*=== ifTruth.c ===========================================================*/ extern int If_CutComputeTruth( If_Man_t * p, If_Cut_t * pCut, If_Cut_t * pCut0, If_Cut_t * pCut1, int fCompl0, int fCompl1 ); |