/**CHeaderFile*****************************************************************

  FileName    [mvfaigInt.h]

  PackageName [mvfaig]

  Synopsis    [Internal definitions for the mvf package using And/Inverter graph.]

  Author      [Mohammad Awedh]

  Copyright [ This file was created at the University of Colorado at
  Boulder.  The University of Colorado at Boulder makes no warranty
  about the suitability of this software for any purpose.  It is
  presented on an AS IS basis.]

******************************************************************************/

#ifndef _MVFAIGINT
#define _MVFAIGINT

/*---------------------------------------------------------------------------*/
/* Nested includes                                                           */
/*---------------------------------------------------------------------------*/

#include "mvfaig.h"
#include "maigInt.h"


/**AutomaticStart*************************************************************/

/*---------------------------------------------------------------------------*/
/* Function prototypes                                                       */
/*---------------------------------------------------------------------------*/


/**AutomaticEnd***************************************************************/

#endif /* _MVFAIGINT */