diff options
| author | Bruno Schmitt <bruno@oschmitt.com> | 2016-07-26 23:53:34 -0300 |
|---|---|---|
| committer | Bruno Schmitt <bruno@oschmitt.com> | 2016-07-26 23:53:34 -0300 |
| commit | 5604657bdb17c53800d9b37d27300c9f83de9e12 (patch) | |
| tree | 5a1d0c529f1542dce9c66794c4569dca196a4e5c /src/aig/saig/saigInd.c | |
| parent | 42309cacaa86fca9818d7c8a943afb9fdb6cd712 (diff) | |
| download | abc-5604657bdb17c53800d9b37d27300c9f83de9e12.tar.gz abc-5604657bdb17c53800d9b37d27300c9f83de9e12.tar.bz2 abc-5604657bdb17c53800d9b37d27300c9f83de9e12.zip | |
Make fx able to handle degenerate divisors:
- Constant-1 (a + !a)
- Divisors "a + !ab" and "a!b + b" are equal to "a + b"
Change the way divisors are printed.
Removal of dead code from fx.
Diffstat (limited to 'src/aig/saig/saigInd.c')
0 files changed, 0 insertions, 0 deletions