diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-01-08 14:46:13 +0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-01-08 14:46:13 +0800 |
commit | 8287b05a09e03c9d5405568548bdfd95c83faafd (patch) | |
tree | d6e0a882bd9987f40888b84378fb00b5be3ed2ed /src/aig/hop/hopTruth.c | |
parent | 19749cb8f8b901070f4da2e0b664ada694ed70a3 (diff) | |
download | abc-8287b05a09e03c9d5405568548bdfd95c83faafd.tar.gz abc-8287b05a09e03c9d5405568548bdfd95c83faafd.tar.bz2 abc-8287b05a09e03c9d5405568548bdfd95c83faafd.zip |
Reintroduced the old abstraction procedure Saig_ManCexAbstractionFlops() formerly called from &abs_start for backward compatibility.
Diffstat (limited to 'src/aig/hop/hopTruth.c')
0 files changed, 0 insertions, 0 deletions