diff options
| author | Baruch Sterin <baruchs@gmail.com> | 2015-11-20 21:06:23 -0800 |
|---|---|---|
| committer | Baruch Sterin <baruchs@gmail.com> | 2015-11-20 21:06:23 -0800 |
| commit | 11581ca9ee8a42277c6514c07c12235e17413d99 (patch) | |
| tree | 546cbd753b6cc4410c6080204b1a098c94bb8986 /src/bdd/cudd/license | |
| parent | 5df0cf98e619d64d110e17ab4e31a986257f47a6 (diff) | |
| download | abc-11581ca9ee8a42277c6514c07c12235e17413d99.tar.gz abc-11581ca9ee8a42277c6514c07c12235e17413d99.tar.bz2 abc-11581ca9ee8a42277c6514c07c12235e17413d99.zip | |
move namespace logic into a separate file. It is useful for users of ABC that need to use symbols without the entire baggage of including abc_global.h
Diffstat (limited to 'src/bdd/cudd/license')
0 files changed, 0 insertions, 0 deletions