
/* ###-------------------------------------------------------------------### */
/*									     */
/* file		: titres.h						     */
/*									     */
/* ###-------------------------------------------------------------------### */


char *TitrePrincipal = "N E T L I S T     O P T I M I Z A T I O N";
int   NbrPrincipal = 7;
char *ListPrincipal[] = { 
        "[1] Edit <NO_FILE>",
        "[2] Local optimization with max fanout of <NO_FILE>",
	"[3] Fanout informations",
        "[4] Global optimization with timing analysis of <NO_FILE>",
	"[5] Timing informations",
	"[6] Parameters management on <NO_FILEPAR>",
	"[7] Quit" };

char *TitrePrincipalRelax = "N E T L I S T     O P T I M I Z A T I O N";
int   NbrPrincipalRelax = 4;
char *ListPrincipalRelax[] = { "[1] Edit <NO_FILE>",
        "[2] Local optimization with max fanout of <NO_FILE>",
	"[3] Informations",
	"[4] Parameters management on <NO_FILEPAR>",
	"[5] Return" };

char *TitreInfo = "I N F O R M A T I O N S";
int   NbrInfo = 6;
char *ListInfo[] = { "[1] Gates overtaking the max fanout",
      "[2] Gates overtaking the max RC",
      "[3] Critical path",
      "[4] Exhausitive couple delay",
      "[5] Exhausitive delay", 
      "[6] Return" };
 
char *TitreParam = "P A R A M E T E R S   M A N A G E M E N T";
int   NbrParam = 6;
char *ListParam[] = { "[1] Modify <NO_FILEPAR>",
      "[2] Copy <NO_FILEPAR> on another file of parameters",
      "[3] Remove <NO_FILEPAR>",
      "[4] Load another file of parameters",
      "[5] Save modification on <NO_FILEPAR>", 
      "[6] Return" };
 
char *TitreModif = "M O D I F Y   P A R A M E T E R S   F I L E";
int   NbrModif = 5;
char *ListModif[] = { 
            "[1] Output with capacity : <NO_CAPAPO>",
	    "[2] Input with max fanout : <NO_CAPAPI>",
	    "[3] Fanout factor : <NO_FACTOR>",
	    "[4] Input with delay (ps) : <NO_DELAYPI>",
            "[5] Return" };
