#define LNT2LOTOS_EXPERT_TNT 7.1

typedef char *EXP;
#define CAESAR_ADT_UNCANONICAL_EXP
#define CAESAR_ADT_SCALAR_EXP

#define CMP_EXP(E1,E2) ((((E1) == NULL) && ((E2) == NULL)) || \
   (((E1) != NULL) && ((E2) != NULL) && (strcmp ((E1), (E2)) == 0)))
/* cf ADT_CMP_STRING() in "$CADP/incl/adt_string.h" */

#define PRINT_EXP(F,E) fprintf((F), "`%s'", ((E) == NULL) ? "null" : (E))

/*---------------------------------------------------------------------------*/

#define ZERO() "0"

/*---------------------------------------------------------------------------*/

#define X1() "X1"
#define X2() "X2"
#define X3() "X3"
#define X4() "X4"
#define X5() "X5"
#define X6() "X6"
#define X7() "X7"
#define X8() "X8"
#define X9() "X9"
#define X10() "X10"
#define X11() "X11"
#define X12() "X12"
#define X13() "X13"
#define X14() "X14"
#define X15() "X15"
#define X16() "X16"
#define X17() "X17"
#define X18() "X18"
#define X19() "X19"
#define X20() "X20"
#define X21() "X21"
#define X22() "X22"
#define X23() "X23"
#define X24() "X24"
#define X25() "X25"
#define X26() "X26"

/*---------------------------------------------------------------------------*/

#define W1() "W1"
#define W2() "W2"
#define W3() "W3"
#define W4() "W4"
#define W5() "W5"
#define W6() "W6"
#define W7() "W7"

/*---------------------------------------------------------------------------*/

EXP Plus (E1, E2)
EXP E1, E2;
{
     EXP E;
     if (CMP_EXP (E1, ZERO ()))
	  return E2;
     else if (CMP_EXP (E2, ZERO ()))
	  return E1;
     else {
	  E = (EXP) malloc (strlen (E1) + strlen (E2) + 2);
	  if (E == NULL) {
	       printf ("Plus: not enough memory\n");
	       exit (1);
	  }
	  sprintf (E, "%s+%s", E1, E2);
	  return E;
     }
}

/*---------------------------------------------------------------------------*/

EXP Star (E1, E2)
EXP E1, E2;
{
     EXP E;
     E = (EXP) malloc (strlen (E1) + strlen (E2) + 2);
     if (E == NULL) {
	  printf ("Star: not enough memory\n");
	  exit (1);
     }
     sprintf (E, "%s*%s", E1, E2);
     return E;
}

/*---------------------------------------------------------------------------*/

/* a few macros, which must be defined but are never called */

#include <assert.h>

#define UNUSED_EXP() (assert (false), ZERO())

#define CAESAR_ADT_MATCH_Plus(E) UNUSED_EXP()
#define CAESAR_ADT_GET_1_Plus(E) UNUSED_EXP()
#define CAESAR_ADT_GET_2_Plus(E) UNUSED_EXP()

#define CAESAR_ADT_MATCH_Star(E) UNUSED_EXP()
#define CAESAR_ADT_GET_1_Star(E) UNUSED_EXP()
#define CAESAR_ADT_GET_2_Star(E) UNUSED_EXP()

/*---------------------------------------------------------------------------*/