diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-01-21 04:30:10 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-01-21 04:30:10 -0800 |
commit | 8014f25f6db719fa62336f997963532a14c568f6 (patch) | |
tree | c691ee91a3a2d452a2bd24ac89a8c717beaa7af7 /src/base/main/mainInt.h | |
parent | c44cc5de9429e6b4f1c05045fcf43c9cb96437b5 (diff) | |
download | abc-8014f25f6db719fa62336f997963532a14c568f6.tar.gz abc-8014f25f6db719fa62336f997963532a14c568f6.tar.bz2 abc-8014f25f6db719fa62336f997963532a14c568f6.zip |
Major restructuring of the code.
Diffstat (limited to 'src/base/main/mainInt.h')
-rw-r--r-- | src/base/main/mainInt.h | 29 |
1 files changed, 12 insertions, 17 deletions
diff --git a/src/base/main/mainInt.h b/src/base/main/mainInt.h index c008fc8b..979d376c 100644 --- a/src/base/main/mainInt.h +++ b/src/base/main/mainInt.h @@ -18,8 +18,8 @@ ***********************************************************************/ -#ifndef __MAIN_INT_H__ -#define __MAIN_INT_H__ +#ifndef ABC__base__main__mainInt_h +#define ABC__base__main__mainInt_h //////////////////////////////////////////////////////////////////////// @@ -27,15 +27,16 @@ //////////////////////////////////////////////////////////////////////// #include "main.h" -#include "tim.h" -#include "if.h" -#include "aig.h" -#include "gia.h" -#include "ssw.h" -#include "fra.h" -#include "nwkMerge.h" -#include "ntlnwk.h" -#include "ext.h" +#include "src/misc/tim/tim.h" +#include "src/map/if/if.h" +#include "src/aig/aig/aig.h" +#include "src/aig/gia/gia.h" +#include "src/proof/ssw/ssw.h" +#include "src/proof/fra/fra.h" +//#include "src/aig/nwk/nwkMerge.h" +//#include "src/aig/ntl/ntlnwk.h" +#include "src/misc/ext/ext.h" +#include "src/misc/extra/extraBdd.h" ABC_NAMESPACE_HEADER_START @@ -89,12 +90,6 @@ struct Abc_Frame_t_ void * pLibVer; // the current Verilog library // new code - Ntl_Man_t * pAbc8Ntl; // the current design - Nwk_Man_t * pAbc8Nwk; // the current mapped network - Aig_Man_t * pAbc8Aig; // the current AIG - If_Lib_t * pAbc8Lib; // the current LUT library - If_Lib_t * pAbc85Lib; // the current LUT library - Gia_Man_t * pGia; Gia_Man_t * pGia2; Abc_Cex_t * pCex; |