diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-08-02 12:01:49 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-08-02 12:01:49 +0700 |
| commit | 64f31f98bf5b317dc08f0e96bf1aa617053c918d (patch) | |
| tree | 49d0259a572dd2a76dbb2a72c11a14d652367bc6 /src/aig/saig/saig.h | |
| parent | 6c6c0b06868110f1d635bb4da40647494fbe6905 (diff) | |
| download | abc-64f31f98bf5b317dc08f0e96bf1aa617053c918d.tar.gz abc-64f31f98bf5b317dc08f0e96bf1aa617053c918d.tar.bz2 abc-64f31f98bf5b317dc08f0e96bf1aa617053c918d.zip | |
Added API to access the CEX vector.
Diffstat (limited to 'src/aig/saig/saig.h')
0 files changed, 0 insertions, 0 deletions