text: /**CFile****************************************************************
  
    FileName    [giaIiff.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: giaIiff.h,v 1.00 2005/06/20 00:00:00 alanmi Exp $]
  
  ***********************************************************************/
   
  #ifndef ABC__aig__gia__giaIiff_h
  #define ABC__aig__gia__giaIiff_h
  
  
  ////////////////////////////////////////////////////////////////////////
  ///                          INCLUDES                                ///
  ////////////////////////////////////////////////////////////////////////
  
  ABC_NAMESPACE_HEADER_START
  
  ////////////////////////////////////////////////////////////////////////
  ///                         PARAMETERS                               ///
  ////////////////////////////////////////////////////////////////////////
  
  ////////////////////////////////////////////////////////////////////////
  ///                         BASIC TYPES                              ///
  ////////////////////////////////////////////////////////////////////////
  
  ////////////////////////////////////////////////////////////////////////
  ///                      MACRO DEFINITIONS                           ///
  ////////////////////////////////////////////////////////////////////////
   
  ////////////////////////////////////////////////////////////////////////
  ///                    FUNCTION DECLARATIONS                         ///
  ////////////////////////////////////////////////////////////////////////
  
  ABC_NAMESPACE_HEADER_END
  
  #endif
  
  ////////////////////////////////////////////////////////////////////////
  ///                       END OF FILE                                ///
  ////////////////////////////////////////////////////////////////////////
  
  