Grammar

    0 $accept: input $end

    1 input: /* empty */
    2      | input statement

    3 statement: QUIT
    4          | ID ASSIGN expression EOL
    5          | ID MINUSASSIGN expression EOL
    6          | ID ORASSIGN expression EOL
    7          | expression EOL
    8          | boolexpression EOL
    9          | error EOL

   10 expression: ID
   11           | dbmZERO LEFTP NUMBER RIGHTP
   12           | dbmINF LEFTP NUMBER RIGHTP
   13           | dbmconstraints
   14           | LEFTP expression RIGHTP
   15           | expression OR expression
   16           | expression MINUS expression
   17           | expression AND expression
   18           | UP LEFTP expression RIGHTP
   19           | DOWN LEFTP expression RIGHTP
   20           | MUP LEFTP expression RIGHTP
   21           | LEFTP boolexpression QUESTION expression CHOICE expression RIGHTP
   22           | expression WHERE CLOCK NUMBER ASSIGN dbmINF
   23           | expression WHERE CLOCK NUMBER ASSIGN NUMBER
   24           | expression WHERE CLOCK NUMBER ASSIGN CLOCK NUMBER
   25           | expression WHERE CLOCK NUMBER PLUSASSIGN number
   26           | expression WHERE CLOCK NUMBER MINUSASSIGN number
   27           | expression WHERE CLOCK NUMBER ASSIGN CLOCK NUMBER PLUS NUMBER
   28           | PREDT LEFTP expression COMMA expression RIGHTP

   29 boolexpression: expression IN expression
   30               | expression EQUAL expression
   31               | EMPTY LEFTP expression RIGHTP
   32               | boolexpression LAND boolexpression
   33               | boolexpression LOR boolexpression
   34               | LEFTP boolexpression RIGHTP
   35               | LNOT boolexpression
   36               | dbmTRUE
   37               | dbmFALSE

   38 dbmconstraints: /* empty */
   39               | dbmconstraints constraint

   40 constraint: LESSEQ number
   41           | LESS number
   42           | LESS dbmINF

   43 number: NUMBER
   44       | MINUS NUMBER
   45       | PLUS NUMBER