diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-03-30 12:07:49 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-03-30 12:07:49 -0700 |
commit | 2f926f2fafba8dc2ec073c51b5ac9fdabd9ad201 (patch) | |
tree | 52433920b47875bfb0ed7befc022ac60c3e86138 /src/map/if/if.h | |
parent | 7d500c8920c87bb04731960e065d2b8f7748050b (diff) | |
download | abc-2f926f2fafba8dc2ec073c51b5ac9fdabd9ad201.tar.gz abc-2f926f2fafba8dc2ec073c51b5ac9fdabd9ad201.tar.bz2 abc-2f926f2fafba8dc2ec073c51b5ac9fdabd9ad201.zip |
Improving cut computation.
Diffstat (limited to 'src/map/if/if.h')
-rw-r--r-- | src/map/if/if.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/map/if/if.h b/src/map/if/if.h index 320139a0..feb560f7 100644 --- a/src/map/if/if.h +++ b/src/map/if/if.h @@ -481,9 +481,11 @@ static inline void If_AndClear( If_And_t * pNode ) { * extern int If_ManPerformMapping( If_Man_t * p ); extern int If_ManPerformMappingComb( If_Man_t * p ); /*=== ifCut.c ============================================================*/ +extern int If_CutVerifyCuts( If_Set_t * pCutSet, int fOrdered ); extern int If_CutFilter( If_Set_t * pCutSet, If_Cut_t * pCut ); extern void If_CutSort( If_Man_t * p, If_Set_t * pCutSet, If_Cut_t * pCut ); extern void If_CutOrder( If_Cut_t * pCut ); +extern int If_CutMergeOrdered( If_Man_t * p, If_Cut_t * pCut0, If_Cut_t * pCut1, If_Cut_t * pCut ); extern int If_CutMerge( If_Man_t * p, If_Cut_t * pCut0, If_Cut_t * pCut1, If_Cut_t * pCut ); extern int If_CutCheck( If_Cut_t * pCut ); extern void If_CutPrint( If_Cut_t * pCut ); |