/*
   $Id: partition.h,v 1.1.1.1 2003/11/04 23:34:57 mjames Exp $

   $Log: partition.h,v $
   Revision 1.1.1.1  2003/11/04 23:34:57  mjames
   Imported into local repositrory

   Revision 1.5  2002/09/30 13:20:38  MJAMES
   Modified partition rules to include 'default assignment on declaration'
   which maps to inputs being driven with default values on
   productuion of a partition.

   signal c : std_logic := '0';

   becomes

   signal c: std_logic;

   begin
     c<= '0';

   Revision 1.4  2001/12/24 21:28:04  mjames
   Declare clear_partition_nets externally

   Revision 1.3  2001/10/31 22:20:11  mjames
   Tidying up problematical comments caused by CVS
   'intelligent' comment guessing

   Revision 1.2  2001/06/06 12:10:19  mjames
   Move from HPUX

   Revision 1.1.1.1  2000/10/19 21:58:38  mjames
   Mike put it here


 * Revision 1.26  2000/10/04  10:37:13  10:37:13  mjames (Mike James)
 * Modified for Vertical2 : support COMPONENTS and SIGNALS
 *
 * Revision 1.26  2000/10/04  10:37:13  10:37:13  mjames (Mike James)
 * Part of Release PSAVAT01
 *
 * Revision 1.25  2000/10/02  11:04:17  11:04:17  mjames (Mike James)
 * new_vhdl
 *

 * Revision 1.24  2000/09/27  14:42:27  14:42:27  mjames (Mike James)

 * Part of Release Sep_27_ST_2000

 *

 * Revision 1.23  2000/09/21  10:15:57  10:15:57  mjames (Mike James)

 * Part of Release Sep21Alpha

 *

 * Revision 1.22  2000/08/25  09:57:21  09:57:21  mjames (Mike James)

 * Part of Release Aug25_alpha

 *

 * Revision 1.21  2000/08/16  08:57:38  08:57:38  mjames (Mike James)

 * Part of Release CD01_Aug2000

 *

 * Revision 1.20  2000/08/14  14:45:17  14:45:17  mjames (Mike James)

 * Part of Release Aug_14_2000

 *

 * Revision 1.19  2000/08/11  08:30:38  08:30:38  mjames (Mike James)

 * Part of Release Aug_11_2000

 *

 * Revision 1.18  2000/08/09  10:31:55  10:31:55  mjames (Mike James)

 * Part of Release Aug__9_2000

 *

 * Revision 1.17  2000/05/31  11:43:08  11:43:08  mjames (Mike James)

 * Part of Release May_31_2000

 *

 * Revision 1.16  2000/05/08  17:01:44  17:01:44  mjames (Mike James)

 * Part of Release May__8_2000

 *

 * Revision 1.15  2000/05/08  16:59:38  16:59:38  mjames (Mike James)

 * Part of Release May__8_2000

 *

 * Revision 1.14  2000/05/08  16:57:14  16:57:14  mjames (Mike James)

 * Part of Release May__8_2000

 *

 * Revision 1.13  2000/03/08  16:19:21  16:19:21  mjames (Mike James)

 * New version including PC

 *

 * Revision 1.10  2000/01/20  15:58:55  15:58:55  mjames (Mike James)

 * Part of Release R22

 *

 * Revision 1.9  99/12/22  11:15:36  11:15:36  mjames (Mike James)

 * Part of Release Dec_22_1999

 *

 * Revision 1.8  99/11/23  13:52:13  13:52:13  mjames (Mike James)

 * Addded syntax to support special generics for Certify support

 *

 * Revision 1.7  98/02/11  11:26:57  11:26:57  mjames (Mike James)

 * Checked in for version 6.2a

 *

 * Revision 1.6  97/04/23  08:44:41  08:44:41  mjames (Mike James)

 * CHecked in for release rel23041997

 *

 * Revision 1.5  96/12/13  08:44:26  08:44:26  mjames (Mike James)

 * Update to v5.1, added Write ID , exact routing

 *

 * Revision 1.4  96/07/19  14:39:10  14:39:10  mjames (Mike James)

 * Update to give to PRL

 *

 * Revision 1.3  1996/05/29  11:01:17  mjames

 * Altered partition behaviour to make it work better

 *

 * Revision 1.2  96/04/15  14:19:54  14:19:54  mjames (Mike James)

 * modifications

 *

 * Revision 1.1  96/03/29  14:46:55  14:46:55  mjames (Mike James)

 * Initial revision

 *  */

/* reset the partition list */

extern int set_clear_partition (char *expr, int set_clear);

extern void name_routed_nets (void);

extern void clear_partition_nets (void);

/* add the chosen socket to the partition */

extern int add_all_to_partition (void);

/* Remove the net from the port list of the entity */

extern void delete_port (char *netname);

/* force a net to be a port on the partition as I want it outside */

extern void force_port (char *netname);

/* display the partition currently in use */

extern void list_partition (FILE *f);

/* perform the partitioning */

extern void perform_partition (void);