1 files changed, 89 insertions, 0 deletions
diff --git a/src/aig/gia/giaAbs.h b/src/aig/gia/giaAbs.h
new file mode 100644
index 00000000..090d5dca
--- /dev/null
+++ b/src/aig/gia/giaAbs.h
@@ -0,0 +1,89 @@
+/**CFile****************************************************************
+
+  FileName    [giaAbs.h]
+
+  SystemName  [ABC: Logic synthesis and verification system.]
+
+  PackageName [Scalable AIG package.]
+
+  Synopsis    [External declarations.]
+
+  Author      [Alan Mishchenko]
+  
+  Affiliation [UC Berkeley]
+
+  Date        [Ver. 1.0. Started - June 20, 2005.]
+
+  Revision    [$Id: giaAbs.h,v 1.00 2005/06/20 00:00:00 alanmi Exp $]
+
+***********************************************************************/
+ 
+#ifndef __GIA_ABS_H__
+#define __GIA_ABS_H__
+
+
+////////////////////////////////////////////////////////////////////////
+///                          INCLUDES                                ///
+////////////////////////////////////////////////////////////////////////
+
+////////////////////////////////////////////////////////////////////////
+///                         PARAMETERS                               ///
+////////////////////////////////////////////////////////////////////////
+
+
+
+ABC_NAMESPACE_HEADER_START
+
+
+////////////////////////////////////////////////////////////////////////
+///                         BASIC TYPES                              ///
+////////////////////////////////////////////////////////////////////////
+
+// abstraction parameters
+typedef struct Gia_ParAbs_t_ Gia_ParAbs_t;
+struct Gia_ParAbs_t_
+{
+    int            Algo;         // the algorithm to be used
+    int            nFramesMax;   // timeframes for PBA
+    int            nConfMax;     // conflicts for PBA
+    int            fDynamic;     // dynamic unfolding for PBA
+    int            fConstr;      // use constraints
+    int            nFramesBmc;   // timeframes for BMC
+    int            nConfMaxBmc;  // conflicts for BMC
+    int            nStableMax;   // the number of stable frames to quit
+    int            nRatio;       // ratio of flops to quit
+    int            TimeOut;      // approximate timeout in seconds
+    int            TimeOutVT;    // approximate timeout in seconds
+    int            nBobPar;      // Bob's parameter
+    int            fUseBdds;     // use BDDs to refine abstraction
+    int            fUseDprove;   // use 'dprove' to refine abstraction
+    int            fUseStart;    // use starting frame
+    int            fVerbose;     // verbose output
+    int            fVeryVerbose; // printing additional information
+    int            Status;       // the problem status
+    int            nFramesDone;  // the number of frames covered
+};
+
+extern void Gia_ManAbsSetDefaultParams( Gia_ParAbs_t * p );
+
+////////////////////////////////////////////////////////////////////////
+///                      MACRO DEFINITIONS                           ///
+////////////////////////////////////////////////////////////////////////
+
+////////////////////////////////////////////////////////////////////////
+///                    FUNCTION DECLARATIONS                         ///
+////////////////////////////////////////////////////////////////////////
+
+ 
+
+
+ABC_NAMESPACE_HEADER_END
+
+
+
+#endif
+
+////////////////////////////////////////////////////////////////////////
+///                       END OF FILE                                ///
+////////////////////////////////////////////////////////////////////////
+