Major restructuring of the code.

1 files changed, 0 insertions, 138 deletions

diff --git a/src/aig/fsim/fsimInt.h b/src/aig/fsim/fsimInt.h
deleted file mode 100644
index f5dee298..00000000
--- a/src/aig/fsim/fsimInt.h
+++ /dev/null
@@ -1,138 +0,0 @@
-/**CFile****************************************************************
-
-  FileName    [fsimInt.h]
-
-  SystemName  [ABC: Logic synthesis and verification system.]
-
-  PackageName [Fast sequential AIG simulator.]
-
-  Synopsis    [Internal declarations.]
-
-  Author      [Alan Mishchenko]
-  
-  Affiliation [UC Berkeley]
-
-  Date        [Ver. 1.0. Started - June 20, 2005.]
-
-  Revision    [$Id: fsimInt.h,v 1.00 2005/06/20 00:00:00 alanmi Exp $]
-
-***********************************************************************/
- 
-#ifndef __FSIM_INT_H__
-#define __FSIM_INT_H__
-
-
-////////////////////////////////////////////////////////////////////////
-///                          INCLUDES                                ///
-////////////////////////////////////////////////////////////////////////
-
-#include "saig.h"
-#include "fsim.h"
-
-////////////////////////////////////////////////////////////////////////
-///                         PARAMETERS                               ///
-////////////////////////////////////////////////////////////////////////
-
-
-
-ABC_NAMESPACE_HEADER_START
-
-
-////////////////////////////////////////////////////////////////////////
-///                         BASIC TYPES                              ///
-////////////////////////////////////////////////////////////////////////
-
-// simulation object
-typedef struct Fsim_Obj_t_ Fsim_Obj_t;
-struct Fsim_Obj_t_
-{
-    int             iNode;        // the node ID
-    int             iFan0;        // the first fanin
-    int             iFan1;        // the second fanin
-};
-
-// fast sequential simulation manager
-struct Fsim_Man_t_
-{
-    // parameters
-    Aig_Man_t *     pAig;         // the AIG to be used for simulation
-    int             nWords;       // the number of simulation words
-    // AIG representation
-    int             nPis;         // the number of primary inputs
-    int             nPos;         // the number of primary outputs
-    int             nCis;         // the number of combinational inputs
-    int             nCos;         // the number of combinational outputs
-    int             nNodes;       // the number of internal nodes
-    int             nObjs;        // nCis + nNodes + nCos + 2
-    int *           pFans0;       // fanin0 for all objects
-    int *           pFans1;       // fanin1 for all objects
-    int *           pRefs;        // reference counter for each node
-    int *           pRefsCopy;    // reference counter for each node
-    Vec_Int_t *     vCis2Ids;     // mapping of CIs into their PI ids
-    Vec_Int_t *     vLos;         // register outputs
-    Vec_Int_t *     vLis;         // register inputs
-    // cross-cut representation
-    int             nCrossCut;    // temporary cross-cut variable 
-    int             nCrossCutMax; // maximum cross-cut variable
-    int             nFront;       // the size of frontier
-    // derived AIG representation
-    int             nDataAig;     // the length of allocated data
-    unsigned char * pDataAig;     // AIG representation
-    unsigned char * pDataCur;     // AIG representation (current position)
-    int             iNodePrev;    // previous extracted value
-    int             iNumber;      // the number of the last object
-    Fsim_Obj_t      Obj;          // current object
-    // temporary AIG representation
-    int *           pDataAig2;    // temporary representation
-    int *           pDataCur2;    // AIG representation (current position)
-    // simulation information
-    unsigned *      pDataSim;     // simulation data
-    unsigned *      pDataSimCis;  // simulation data for CIs
-    unsigned *      pDataSimCos;  // simulation data for COs
-    // other information
-    int *           pData1;
-    int *           pData2;
-};
-
-static inline unsigned * Fsim_SimData( Fsim_Man_t * p, int i )    { return p->pDataSim + i * p->nWords;    }
-static inline unsigned * Fsim_SimDataCi( Fsim_Man_t * p, int i )  { return p->pDataSimCis + i * p->nWords; }
-static inline unsigned * Fsim_SimDataCo( Fsim_Man_t * p, int i )  { return p->pDataSimCos + i * p->nWords; }
-
-////////////////////////////////////////////////////////////////////////
-///                      MACRO DEFINITIONS                           ///
-////////////////////////////////////////////////////////////////////////
-
-static inline int  Fsim_Var2Lit( int Var, int fCompl )  { return Var + Var + fCompl; }
-static inline int  Fsim_Lit2Var( int Lit )              { return Lit >> 1;           }
-static inline int  Fsim_LitIsCompl( int Lit )           { return Lit & 1;            }
-static inline int  Fsim_LitNot( int Lit )               { return Lit ^ 1;            }
-static inline int  Fsim_LitNotCond( int Lit, int c )    { return Lit ^ (int)(c > 0); }
-static inline int  Fsim_LitRegular( int Lit )           { return Lit & ~01;          }
-
-#define Fsim_ManForEachObj( p, pObj, i )\
-    for ( i = 2, p->pDataCur = p->pDataAig, p->iNodePrev = 0, pObj = &p->Obj;\
-        i < p->nObjs && Fsim_ManRestoreObj( p, pObj ); i++ )
-
-////////////////////////////////////////////////////////////////////////
-///                    FUNCTION DECLARATIONS                         ///
-////////////////////////////////////////////////////////////////////////
-
-/*=== fsimFront.c ========================================================*/
-extern void                Fsim_ManFront( Fsim_Man_t * p, int fCompressAig );
-/*=== fsimMan.c ==========================================================*/
-extern Fsim_Man_t *        Fsim_ManCreate( Aig_Man_t * pAig );
-extern void                Fsim_ManDelete( Fsim_Man_t * p );
-extern void                Fsim_ManTest( Aig_Man_t * pAig );
- 
-
-
-ABC_NAMESPACE_HEADER_END
-
-
-
-#endif
-
-////////////////////////////////////////////////////////////////////////
-///                       END OF FILE                                ///
-////////////////////////////////////////////////////////////////////////
-