ditch generated files

Salvador Abreu
1 parent 3d23f341
Showing 6 changed files with 11 additions and 6056 deletions Show diff stats
TODO
fz/.gitignore
fz/lexer.yy.cpp
fz/parser.tab.cpp
fz/parser.tab.hh
fz/parser.yxx
@@ -0,0 +1,6 @@
+TODO list
+
+- port flatzinc parser from Gecode
+- implement necessary new constraints to suit flatzinc
+
+DONE list
@@ -0,0 +1,4 @@
+*.tab.cpp
+*.tab.hh
+*.yy.cpp
+fz
@@ -1,2451 +0,0 @@
-#line 2 "lexer.yy.cpp"
-
-#line 4 "lexer.yy.cpp"
-
-#define  YY_INT_ALIGNED short int
-
-/* A lexical scanner generated by flex */
-
-#define FLEX_SCANNER
-#define YY_FLEX_MAJOR_VERSION 2
-#define YY_FLEX_MINOR_VERSION 5
-#define YY_FLEX_SUBMINOR_VERSION 35
-#if YY_FLEX_SUBMINOR_VERSION > 0
-#define FLEX_BETA
-#endif
-
-/* First, we deal with  platform-specific or compiler-specific issues. */
-
-/* begin standard C headers. */
-#include <stdio.h>
-#include <string.h>
-#include <errno.h>
-#include <stdlib.h>
-
-/* end standard C headers. */
-
-/* flex integer type definitions */
-
-#ifndef FLEXINT_H
-#define FLEXINT_H
-
-/* C99 systems have <inttypes.h>. Non-C99 systems may or may not. */
-
-#if defined (__STDC_VERSION__) && __STDC_VERSION__ >= 199901L
-
-/* C99 says to define __STDC_LIMIT_MACROS before including stdint.h,
- * if you want the limit (max/min) macros for int types. 
- */
-#ifndef __STDC_LIMIT_MACROS
-#define __STDC_LIMIT_MACROS 1
-#endif
-
-#include <inttypes.h>
-typedef int8_t flex_int8_t;
-typedef uint8_t flex_uint8_t;
-typedef int16_t flex_int16_t;
-typedef uint16_t flex_uint16_t;
-typedef int32_t flex_int32_t;
-typedef uint32_t flex_uint32_t;
-#else
-typedef signed char flex_int8_t;
-typedef short int flex_int16_t;
-typedef int flex_int32_t;
-typedef unsigned char flex_uint8_t; 
-typedef unsigned short int flex_uint16_t;
-typedef unsigned int flex_uint32_t;
-#endif /* ! C99 */
-
-/* Limits of integral types. */
-#ifndef INT8_MIN
-#define INT8_MIN               (-128)
-#endif
-#ifndef INT16_MIN
-#define INT16_MIN              (-32767-1)
-#endif
-#ifndef INT32_MIN
-#define INT32_MIN              (-2147483647-1)
-#endif
-#ifndef INT8_MAX
-#define INT8_MAX               (127)
-#endif
-#ifndef INT16_MAX
-#define INT16_MAX              (32767)
-#endif
-#ifndef INT32_MAX
-#define INT32_MAX              (2147483647)
-#endif
-#ifndef UINT8_MAX
-#define UINT8_MAX              (255U)
-#endif
-#ifndef UINT16_MAX
-#define UINT16_MAX             (65535U)
-#endif
-#ifndef UINT32_MAX
-#define UINT32_MAX             (4294967295U)
-#endif
-
-#endif /* ! FLEXINT_H */
-
-#ifdef __cplusplus
-
-/* The "const" storage-class-modifier is valid. */
-#define YY_USE_CONST
-
-#else	/* ! __cplusplus */
-
-/* C99 requires __STDC__ to be defined as 1. */
-#if defined (__STDC__)
-
-#define YY_USE_CONST
-
-#endif	/* defined (__STDC__) */
-#endif	/* ! __cplusplus */
-
-#ifdef YY_USE_CONST
-#define yyconst const
-#else
-#define yyconst
-#endif
-
-/* Returned upon end-of-file. */
-#define YY_NULL 0
-
-/* Promotes a possibly negative, possibly signed char to an unsigned
- * integer for use as an array index.  If the signed char is negative,
- * we want to instead treat it as an 8-bit unsigned char, hence the
- * double cast.
- */
-#define YY_SC_TO_UI(c) ((unsigned int) (unsigned char) c)
-
-/* An opaque pointer. */
-#ifndef YY_TYPEDEF_YY_SCANNER_T
-#define YY_TYPEDEF_YY_SCANNER_T
-typedef void* yyscan_t;
-#endif
-
-/* For convenience, these vars (plus the bison vars far below)
-   are macros in the reentrant scanner. */
-#define yyin yyg->yyin_r
-#define yyout yyg->yyout_r
-#define yyextra yyg->yyextra_r
-#define yyleng yyg->yyleng_r
-#define yytext yyg->yytext_r
-#define yylineno (YY_CURRENT_BUFFER_LVALUE->yy_bs_lineno)
-#define yycolumn (YY_CURRENT_BUFFER_LVALUE->yy_bs_column)
-#define yy_flex_debug yyg->yy_flex_debug_r
-
-/* Enter a start condition.  This macro really ought to take a parameter,
- * but we do it the disgusting crufty way forced on us by the ()-less
- * definition of BEGIN.
- */
-#define BEGIN yyg->yy_start = 1 + 2 *
-
-/* Translate the current start state into a value that can be later handed
- * to BEGIN to return to the state.  The YYSTATE alias is for lex
- * compatibility.
- */
-#define YY_START ((yyg->yy_start - 1) / 2)
-#define YYSTATE YY_START
-
-/* Action number for EOF rule of a given start state. */
-#define YY_STATE_EOF(state) (YY_END_OF_BUFFER + state + 1)
-
-/* Special action meaning "start processing a new file". */
-#define YY_NEW_FILE yyrestart(yyin ,yyscanner )
-
-#define YY_END_OF_BUFFER_CHAR 0
-
-/* Size of default input buffer. */
-#ifndef YY_BUF_SIZE
-#define YY_BUF_SIZE 16384
-#endif
-
-/* The state buf must be large enough to hold one state per character in the main buffer.
- */
-#define YY_STATE_BUF_SIZE   ((YY_BUF_SIZE + 2) * sizeof(yy_state_type))
-
-#ifndef YY_TYPEDEF_YY_BUFFER_STATE
-#define YY_TYPEDEF_YY_BUFFER_STATE
-typedef struct yy_buffer_state *YY_BUFFER_STATE;
-#endif
-
-#define EOB_ACT_CONTINUE_SCAN 0
-#define EOB_ACT_END_OF_FILE 1
-#define EOB_ACT_LAST_MATCH 2
-
-    /* Note: We specifically omit the test for yy_rule_can_match_eol because it requires
-     *       access to the local variable yy_act. Since yyless() is a macro, it would break
-     *       existing scanners that call yyless() from OUTSIDE yylex. 
-     *       One obvious solution it to make yy_act a global. I tried that, and saw
-     *       a 5% performance hit in a non-yylineno scanner, because yy_act is
-     *       normally declared as a register variable-- so it is not worth it.
-     */
-    #define  YY_LESS_LINENO(n) \
-            do { \
-                int yyl;\
-                for ( yyl = n; yyl < yyleng; ++yyl )\
-                    if ( yytext[yyl] == '\n' )\
-                        --yylineno;\
-            }while(0)
-    
-/* Return all but the first "n" matched characters back to the input stream. */
-#define yyless(n) \
-	do \
-		{ \
-		/* Undo effects of setting up yytext. */ \
-        int yyless_macro_arg = (n); \
-        YY_LESS_LINENO(yyless_macro_arg);\
-		*yy_cp = yyg->yy_hold_char; \
-		YY_RESTORE_YY_MORE_OFFSET \
-		yyg->yy_c_buf_p = yy_cp = yy_bp + yyless_macro_arg - YY_MORE_ADJ; \
-		YY_DO_BEFORE_ACTION; /* set up yytext again */ \
-		} \
-	while ( 0 )
-
-#define unput(c) yyunput( c, yyg->yytext_ptr , yyscanner )
-
-#ifndef YY_TYPEDEF_YY_SIZE_T
-#define YY_TYPEDEF_YY_SIZE_T
-typedef size_t yy_size_t;
-#endif
-
-#ifndef YY_STRUCT_YY_BUFFER_STATE
-#define YY_STRUCT_YY_BUFFER_STATE
-struct yy_buffer_state
-	{
-	FILE *yy_input_file;
-
-	char *yy_ch_buf;		/* input buffer */
-	char *yy_buf_pos;		/* current position in input buffer */
-
-	/* Size of input buffer in bytes, not including room for EOB
-	 * characters.
-	 */
-	yy_size_t yy_buf_size;
-
-	/* Number of characters read into yy_ch_buf, not including EOB
-	 * characters.
-	 */
-	int yy_n_chars;
-
-	/* Whether we "own" the buffer - i.e., we know we created it,
-	 * and can realloc() it to grow it, and should free() it to
-	 * delete it.
-	 */
-	int yy_is_our_buffer;
-
-	/* Whether this is an "interactive" input source; if so, and
-	 * if we're using stdio for input, then we want to use getc()
-	 * instead of fread(), to make sure we stop fetching input after
-	 * each newline.
-	 */
-	int yy_is_interactive;
-
-	/* Whether we're considered to be at the beginning of a line.
-	 * If so, '^' rules will be active on the next match, otherwise
-	 * not.
-	 */
-	int yy_at_bol;
-
-    int yy_bs_lineno; /**< The line count. */
-    int yy_bs_column; /**< The column count. */
-    
-	/* Whether to try to fill the input buffer when we reach the
-	 * end of it.
-	 */
-	int yy_fill_buffer;
-
-	int yy_buffer_status;
-
-#define YY_BUFFER_NEW 0
-#define YY_BUFFER_NORMAL 1
-	/* When an EOF's been seen but there's still some text to process
-	 * then we mark the buffer as YY_EOF_PENDING, to indicate that we
-	 * shouldn't try reading from the input source any more.  We might
-	 * still have a bunch of tokens to match, though, because of
-	 * possible backing-up.
-	 *
-	 * When we actually see the EOF, we change the status to "new"
-	 * (via yyrestart()), so that the user can continue scanning by
-	 * just pointing yyin at a new input file.
-	 */
-#define YY_BUFFER_EOF_PENDING 2
-
-	};
-#endif /* !YY_STRUCT_YY_BUFFER_STATE */
-
-/* We provide macros for accessing buffer states in case in the
- * future we want to put the buffer states in a more general
- * "scanner state".
- *
- * Returns the top of the stack, or NULL.
- */
-#define YY_CURRENT_BUFFER ( yyg->yy_buffer_stack \
-                          ? yyg->yy_buffer_stack[yyg->yy_buffer_stack_top] \
-                          : NULL)
-
-/* Same as previous macro, but useful when we know that the buffer stack is not
- * NULL or when we need an lvalue. For internal use only.
- */
-#define YY_CURRENT_BUFFER_LVALUE yyg->yy_buffer_stack[yyg->yy_buffer_stack_top]
-
-void yyrestart (FILE *input_file ,yyscan_t yyscanner );
-void yy_switch_to_buffer (YY_BUFFER_STATE new_buffer ,yyscan_t yyscanner );
-YY_BUFFER_STATE yy_create_buffer (FILE *file,int size ,yyscan_t yyscanner );
-void yy_delete_buffer (YY_BUFFER_STATE b ,yyscan_t yyscanner );
-void yy_flush_buffer (YY_BUFFER_STATE b ,yyscan_t yyscanner );
-void yypush_buffer_state (YY_BUFFER_STATE new_buffer ,yyscan_t yyscanner );
-void yypop_buffer_state (yyscan_t yyscanner );
-
-static void yyensure_buffer_stack (yyscan_t yyscanner );
-static void yy_load_buffer_state (yyscan_t yyscanner );
-static void yy_init_buffer (YY_BUFFER_STATE b,FILE *file ,yyscan_t yyscanner );
-
-#define YY_FLUSH_BUFFER yy_flush_buffer(YY_CURRENT_BUFFER ,yyscanner)
-
-YY_BUFFER_STATE yy_scan_buffer (char *base,yy_size_t size ,yyscan_t yyscanner );
-YY_BUFFER_STATE yy_scan_string (yyconst char *yy_str ,yyscan_t yyscanner );
-YY_BUFFER_STATE yy_scan_bytes (yyconst char *bytes,int len ,yyscan_t yyscanner );
-
-void *yyalloc (yy_size_t ,yyscan_t yyscanner );
-void *yyrealloc (void *,yy_size_t ,yyscan_t yyscanner );
-void yyfree (void * ,yyscan_t yyscanner );
-
-#define yy_new_buffer yy_create_buffer
-
-#define yy_set_interactive(is_interactive) \
-	{ \
-	if ( ! YY_CURRENT_BUFFER ){ \
-        yyensure_buffer_stack (yyscanner); \
-		YY_CURRENT_BUFFER_LVALUE =    \
-            yy_create_buffer(yyin,YY_BUF_SIZE ,yyscanner); \
-	} \
-	YY_CURRENT_BUFFER_LVALUE->yy_is_interactive = is_interactive; \
-	}
-
-#define yy_set_bol(at_bol) \
-	{ \
-	if ( ! YY_CURRENT_BUFFER ){\
-        yyensure_buffer_stack (yyscanner); \
-		YY_CURRENT_BUFFER_LVALUE =    \
-            yy_create_buffer(yyin,YY_BUF_SIZE ,yyscanner); \
-	} \
-	YY_CURRENT_BUFFER_LVALUE->yy_at_bol = at_bol; \
-	}
-
-#define YY_AT_BOL() (YY_CURRENT_BUFFER_LVALUE->yy_at_bol)
-
-/* Begin user sect3 */
-
-#define yywrap(n) 1
-#define YY_SKIP_YYWRAP
-
-typedef unsigned char YY_CHAR;
-
-typedef int yy_state_type;
-
-#define yytext_ptr yytext_r
-
-static yy_state_type yy_get_previous_state (yyscan_t yyscanner );
-static yy_state_type yy_try_NUL_trans (yy_state_type current_state  ,yyscan_t yyscanner);
-static int yy_get_next_buffer (yyscan_t yyscanner );
-static void yy_fatal_error (yyconst char msg[] ,yyscan_t yyscanner );
-
-/* Done after the current pattern has been matched and before the
- * corresponding action - sets up yytext.
- */
-#define YY_DO_BEFORE_ACTION \
-	yyg->yytext_ptr = yy_bp; \
-	yyleng = (size_t) (yy_cp - yy_bp); \
-	yyg->yy_hold_char = *yy_cp; \
-	*yy_cp = '\0'; \
-	yyg->yy_c_buf_p = yy_cp;
-
-#define YY_NUM_RULES 56
-#define YY_END_OF_BUFFER 57
-/* This struct is not used in this scanner,
-   but its presence is necessary. */
-struct yy_trans_info
-	{
-	flex_int32_t yy_verify;
-	flex_int32_t yy_nxt;
-	};
-static yyconst flex_int16_t yy_accept[221] =
-    {   0,
-        0,    0,   57,   55,    2,    1,   55,    3,   12,   55,
-       12,    6,    6,   12,   52,   55,   52,   52,   52,   52,
-       52,   52,   52,   52,   52,   52,   52,   52,   52,   52,
-       52,   52,    0,   54,    3,    6,    6,   13,    0,    0,
-        0,    0,   14,   52,   53,    0,   52,   52,   52,   52,
-       52,   52,   52,   52,   52,   52,   52,   28,   52,   52,
-       52,   52,   34,   52,   52,   52,   52,   52,   52,   52,
-       52,   52,   52,   52,   52,   52,   52,   52,   52,    9,
-        0,   11,    8,    7,   53,   52,   16,   52,   52,   52,
-       52,   52,   52,   52,   52,   52,   52,   52,   52,   30,
-
-       31,   52,   52,   52,   37,   52,   52,   52,   40,   52,
-       52,   52,   52,   52,   52,   52,   52,   49,   52,    0,
-       52,   52,   18,   19,   52,   52,   22,   52,   25,   52,
-       52,   52,   52,   52,   52,   52,   52,   52,   52,   42,
-       52,   52,   45,   46,    4,   52,   48,   52,   52,    0,
-       10,   52,   17,   52,   52,   52,   24,    5,   26,   52,
-       52,   52,   52,   52,   52,   52,   52,   52,   43,   52,
-       47,   52,   51,   52,   52,   52,   23,   52,   52,   52,
-       52,   36,   52,   39,   52,   52,   44,   52,   52,   52,
-       21,   52,   29,   52,   52,   52,   35,   52,   52,   52,
-
-       52,   27,   32,   33,   52,   52,   52,   52,   52,   38,
-       41,   52,   15,   20,   52,   52,   52,   52,   50,    0
-    } ;
-
-static yyconst flex_int32_t yy_ec[256] =
-    {   0,
-        1,    1,    1,    1,    1,    1,    1,    1,    2,    3,
-        1,    1,    2,    1,    1,    1,    1,    1,    1,    1,
-        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
-        1,    2,    1,    4,    1,    1,    5,    1,    1,    6,
-        6,    1,    7,    6,    8,    9,    1,   10,   11,   11,
-       11,   11,   11,   11,   11,   12,   12,   13,    6,    1,
-        6,    1,    1,    1,   14,   14,   14,   14,   15,   14,
-       16,   16,   16,   16,   16,   16,   16,   16,   16,   16,
-       16,   16,   16,   16,   16,   16,   16,   16,   16,   16,
-        6,    1,    6,    1,   17,    1,   18,   19,   20,   21,
-
-       22,   23,   24,   25,   26,   16,   16,   27,   28,   29,
-       30,   31,   16,   32,   33,   34,   35,   36,   37,   38,
-       39,   40,    6,    1,    6,    1,    1,    1,    1,    1,
-        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
-        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
-        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
-        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
-        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
-        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
-        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
-
-        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
-        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
-        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
-        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
-        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
-        1,    1,    1,    1,    1
-    } ;
-
-static yyconst flex_int32_t yy_meta[41] =
-    {   0,
-        1,    1,    2,    1,    1,    1,    1,    1,    1,    3,
-        3,    3,    1,    4,    4,    5,    5,    4,    4,    4,
-        4,    4,    4,    5,    5,    5,    5,    5,    5,    5,
-        5,    5,    5,    5,    5,    5,    5,    5,    5,    5
-    } ;
-
-static yyconst flex_int16_t yy_base[227] =
-    {   0,
-        0,    0,  276,  277,  277,  277,  271,    0,  277,   31,
-      265,   35,   18,  260,    0,  255,   20,  241,   33,  248,
-       26,   40,   31,  247,   43,   36,   44,  246,   52,   56,
-      249,  241,  261,  277,    0,    0,    0,  277,   73,   82,
-       69,    0,  277,    0,    0,  247,   58,  231,  232,  228,
-      231,  236,  225,   75,  230,  226,  226,    0,   78,  220,
-      215,  223,    0,  217,  218,  227,  228,  213,  212,  215,
-      217,  211,  209,  219,  205,  208,  207,  205,  214,   89,
-       95,  103,   92,    0,    0,  205,    0,  216,  206,  210,
-      198,  212,  207,  202,  199,  193,  207,  204,  196,    0,
-
-        0,  196,  195,  189,    0,  198,  188,  191,    0,  179,
-      179,  188,  179,  183,  189,  183,  187,  182,  175,  109,
-      172,  166,    0,    0,  170,  168,  176,  178,    0,  178,
-      165,  164,  162,  168,  167,  159,  167,  160,  158,  173,
-      167,  159,    0,    0,    0,  165,    0,  168,  163,  112,
-      115,  166,    0,  151,  155,  158,    0,    0,    0,  154,
-      158,  152,  151,  142,  155,  153,  150,  152,    0,  147,
-        0,  141,    0,  135,  150,  133,    0,  136,  143,  124,
-      123,    0,  144,    0,  122,  130,    0,  125,  132,  131,
-        0,  127,    0,  133,  132,  119,    0,  123,  134,  120,
-
-      120,    0,    0,    0,  126,  113,   97,   89,   75,    0,
-        0,   86,    0,    0,   52,   38,   34,   43,    0,  277,
-      127,  132,  135,  137,  140,  142
-    } ;
-
-static yyconst flex_int16_t yy_def[227] =
-    {   0,
-      220,    1,  220,  220,  220,  220,  221,  222,  220,  220,
-      220,  220,   12,  220,  223,  224,  223,  223,  223,  223,
-      223,  223,  223,  223,  223,  223,  223,  223,  223,  223,
-      223,  223,  221,  220,  222,   12,   13,  220,  220,  220,
-      220,  225,  220,  223,  226,  224,  223,  223,  223,  223,
-      223,  223,  223,  223,  223,  223,  223,  223,  223,  223,
-      223,  223,  223,  223,  223,  223,  223,  223,  223,  223,
-      223,  223,  223,  223,  223,  223,  223,  223,  223,  220,
-      220,  220,  220,  225,  226,  223,  223,  223,  223,  223,
-      223,  223,  223,  223,  223,  223,  223,  223,  223,  223,
-
-      223,  223,  223,  223,  223,  223,  223,  223,  223,  223,
-      223,  223,  223,  223,  223,  223,  223,  223,  223,  220,
-      223,  223,  223,  223,  223,  223,  223,  223,  223,  223,
-      223,  223,  223,  223,  223,  223,  223,  223,  223,  223,
-      223,  223,  223,  223,  223,  223,  223,  223,  223,  220,
-      220,  223,  223,  223,  223,  223,  223,  223,  223,  223,
-      223,  223,  223,  223,  223,  223,  223,  223,  223,  223,
-      223,  223,  223,  223,  223,  223,  223,  223,  223,  223,
-      223,  223,  223,  223,  223,  223,  223,  223,  223,  223,
-      223,  223,  223,  223,  223,  223,  223,  223,  223,  223,
-
-      223,  223,  223,  223,  223,  223,  223,  223,  223,  223,
-      223,  223,  223,  223,  223,  223,  223,  223,  223,    0,
-      220,  220,  220,  220,  220,  220
-    } ;
-
-static yyconst flex_int16_t yy_nxt[318] =
-    {   0,
-        4,    5,    6,    7,    8,    9,    4,   10,   11,   12,
-       13,   13,   14,   15,   15,   15,   16,   17,   18,   19,
-       20,   21,   22,   15,   15,   23,   24,   25,   15,   26,
-       27,   28,   29,   30,   15,   31,   32,   15,   15,   15,
-       36,   37,   37,   39,   37,   37,   37,  220,   47,   40,
-       50,   48,   53,   58,   54,  220,   40,   55,   63,   59,
-       61,   65,   51,  219,   41,  218,   56,  217,   62,   68,
-       64,  216,   42,   69,   57,   66,   70,   73,   83,   83,
-       74,   71,   80,   80,   80,   72,   86,   75,   81,   81,
-       76,   82,   82,   82,   77,   94,   87,   99,   80,   80,
-
-       80,   83,   83,  120,   82,   82,   82,  215,  214,   95,
-      120,  100,   82,   82,   82,  150,  150,  213,  151,  151,
-      151,  151,  151,  151,  151,  151,  151,   33,  212,   33,
-       33,   33,   35,  211,   35,   35,   35,   44,   44,   44,
-       45,   45,   84,   84,   85,   85,   85,  210,  209,  208,
-      207,  206,  205,  204,  203,  202,  201,  200,  199,  198,
-      197,  196,  195,  194,  193,  192,  191,  190,  189,  188,
-      187,  186,  185,  184,  183,  182,  181,  180,  179,  178,
-      177,  176,  175,  174,  173,  172,  171,  170,  169,  168,
-      167,  166,  165,  164,  163,  162,  161,  160,  159,  158,
-
-      157,  156,  155,  154,  153,  152,  149,  148,  147,  146,
-      145,  144,  143,  142,  141,  140,  139,  138,  137,  136,
-      135,  134,  133,  132,  131,  130,  129,  128,  127,  126,
-      125,  124,  123,  122,  121,  119,  118,  117,  116,  115,
-      114,  113,  112,  111,  110,  109,  108,  107,  106,  105,
-      104,  103,  102,  101,   98,   97,   96,   93,   92,   91,
-       90,   89,   88,   46,   34,   79,   78,   67,   60,   52,
-       49,   46,   43,   38,   34,  220,    3,  220,  220,  220,
-      220,  220,  220,  220,  220,  220,  220,  220,  220,  220,
-      220,  220,  220,  220,  220,  220,  220,  220,  220,  220,
-
-      220,  220,  220,  220,  220,  220,  220,  220,  220,  220,
-      220,  220,  220,  220,  220,  220,  220
-    } ;
-
-static yyconst flex_int16_t yy_chk[318] =
-    {   0,
-        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
-        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
-        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
-        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
-       10,   10,   10,   12,   12,   12,   12,   13,   17,   12,
-       19,   17,   21,   23,   21,   13,   12,   22,   26,   23,
-       25,   27,   19,  218,   12,  217,   22,  216,   25,   29,
-       26,  215,   12,   29,   22,   27,   29,   30,   41,   41,
-       30,   29,   39,   39,   39,   29,   47,   30,   40,   40,
-       30,   40,   40,   40,   30,   54,   47,   59,   80,   80,
-
-       80,   83,   83,   80,   81,   81,   81,  212,  209,   54,
-       80,   59,   82,   82,   82,  120,  120,  208,  120,  120,
-      120,  150,  150,  150,  151,  151,  151,  221,  207,  221,
-      221,  221,  222,  206,  222,  222,  222,  223,  223,  223,
-      224,  224,  225,  225,  226,  226,  226,  205,  201,  200,
-      199,  198,  196,  195,  194,  192,  190,  189,  188,  186,
-      185,  183,  181,  180,  179,  178,  176,  175,  174,  172,
-      170,  168,  167,  166,  165,  164,  163,  162,  161,  160,
-      156,  155,  154,  152,  149,  148,  146,  142,  141,  140,
-      139,  138,  137,  136,  135,  134,  133,  132,  131,  130,
-
-      128,  127,  126,  125,  122,  121,  119,  118,  117,  116,
-      115,  114,  113,  112,  111,  110,  108,  107,  106,  104,
-      103,  102,   99,   98,   97,   96,   95,   94,   93,   92,
-       91,   90,   89,   88,   86,   79,   78,   77,   76,   75,
-       74,   73,   72,   71,   70,   69,   68,   67,   66,   65,
-       64,   62,   61,   60,   57,   56,   55,   53,   52,   51,
-       50,   49,   48,   46,   33,   32,   31,   28,   24,   20,
-       18,   16,   14,   11,    7,    3,  220,  220,  220,  220,
-      220,  220,  220,  220,  220,  220,  220,  220,  220,  220,
-      220,  220,  220,  220,  220,  220,  220,  220,  220,  220,
-
-      220,  220,  220,  220,  220,  220,  220,  220,  220,  220,
-      220,  220,  220,  220,  220,  220,  220
-    } ;
-
-/* Table of booleans, true if rule could match eol. */
-static yyconst flex_int32_t yy_rule_can_match_eol[57] =
-    {   0,
-1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 
-    0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 
-    0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,     };
-
-/* The intent behind this definition is that it'll catch
- * any uses of REJECT which flex missed.
- */
-#define REJECT reject_used_but_not_detected
-#define yymore() yymore_used_but_not_detected
-#define YY_MORE_ADJ 0
-#define YY_RESTORE_YY_MORE_OFFSET
-#line 1 "lexer.lxx"
-/* -*- mode: C++; c-basic-offset: 2; indent-tabs-mode: nil -*- */
-/*
- *  Main authors:
- *     Guido Tack <tack@gecode.org>
- *
- *  Copyright:
- *     Guido Tack, 2007
- *
- *  Last modified:
- *     $Date: 2012-03-09 09:58:49 +1100 (Fri, 09 Mar 2012) $ by $Author: tack $
- *     $Revision: 12564 $
- *
- *  This file is part of Gecode, the generic constraint
- *  development environment:
- *     http://www.gecode.org
- *
- *  Permission is hereby granted, free of charge, to any person obtaining
- *  a copy of this software and associated documentation files (the
- *  "Software"), to deal in the Software without restriction, including
- *  without limitation the rights to use, copy, modify, merge, publish,
- *  distribute, sublicense, and/or sell copies of the Software, and to
- *  permit persons to whom the Software is furnished to do so, subject to
- *  the following conditions:
- *
- *  The above copyright notice and this permission notice shall be
- *  included in all copies or substantial portions of the Software.
- *
- *  THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
- *  EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
- *  MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
- *  NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
- *  LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
- *  OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
- *  WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
- *
- */
-#line 44 "lexer.lxx"
-
-void yyerror(void*, const char*);
-#define yyerror(s) yyerror(yyextra, s)
-
-#include "parser.hh"
-
-const char* stringbuf;
-int stringbuflen;
-int stringbufpos;
-
-int yy_input_proc(char* buf, int size, yyscan_t yyscanner);
-#define YY_INPUT(buf, result, max_size) \
-  result = yy_input_proc(buf, max_size, yyscanner);
-#line 644 "lexer.yy.cpp"
-
-#define INITIAL 0
-
-#ifndef YY_NO_UNISTD_H
-/* Special case for "unistd.h", since it is non-ANSI. We include it way
- * down here because we want the user's section 1 to have been scanned first.
- * The user has a chance to override it with an option.
- */
-#include <unistd.h>
-#endif
-
-#ifndef YY_EXTRA_TYPE
-#define YY_EXTRA_TYPE void *
-#endif
-
-/* Holds the entire state of the reentrant scanner. */
-struct yyguts_t
-    {
-
-    /* User-defined. Not touched by flex. */
-    YY_EXTRA_TYPE yyextra_r;
-
-    /* The rest are the same as the globals declared in the non-reentrant scanner. */
-    FILE *yyin_r, *yyout_r;
-    size_t yy_buffer_stack_top; /**< index of top of stack. */
-    size_t yy_buffer_stack_max; /**< capacity of stack. */
-    YY_BUFFER_STATE * yy_buffer_stack; /**< Stack as an array. */
-    char yy_hold_char;
-    int yy_n_chars;
-    int yyleng_r;
-    char *yy_c_buf_p;
-    int yy_init;
-    int yy_start;
-    int yy_did_buffer_switch_on_eof;
-    int yy_start_stack_ptr;
-    int yy_start_stack_depth;
-    int *yy_start_stack;
-    yy_state_type yy_last_accepting_state;
-    char* yy_last_accepting_cpos;
-
-    int yylineno_r;
-    int yy_flex_debug_r;
-
-    char *yytext_r;
-    int yy_more_flag;
-    int yy_more_len;
-
-    YYSTYPE * yylval_r;
-
-    }; /* end struct yyguts_t */
-
-static int yy_init_globals (yyscan_t yyscanner );
-
-    /* This must go here because YYSTYPE and YYLTYPE are included
-     * from bison output in section 1.*/
-    #    define yylval yyg->yylval_r
-    
-int yylex_init (yyscan_t* scanner);
-
-int yylex_init_extra (YY_EXTRA_TYPE user_defined,yyscan_t* scanner);
-
-/* Accessor methods to globals.
-   These are made visible to non-reentrant scanners for convenience. */
-
-int yylex_destroy (yyscan_t yyscanner );
-
-int yyget_debug (yyscan_t yyscanner );
-
-void yyset_debug (int debug_flag ,yyscan_t yyscanner );
-
-YY_EXTRA_TYPE yyget_extra (yyscan_t yyscanner );
-
-void yyset_extra (YY_EXTRA_TYPE user_defined ,yyscan_t yyscanner );
-
-FILE *yyget_in (yyscan_t yyscanner );
-
-void yyset_in  (FILE * in_str ,yyscan_t yyscanner );
-
-FILE *yyget_out (yyscan_t yyscanner );
-
-void yyset_out  (FILE * out_str ,yyscan_t yyscanner );
-
-int yyget_leng (yyscan_t yyscanner );
-
-char *yyget_text (yyscan_t yyscanner );
-
-int yyget_lineno (yyscan_t yyscanner );
-
-void yyset_lineno (int line_number ,yyscan_t yyscanner );
-
-YYSTYPE * yyget_lval (yyscan_t yyscanner );
-
-void yyset_lval (YYSTYPE * yylval_param ,yyscan_t yyscanner );
-
-/* Macros after this point can all be overridden by user definitions in
- * section 1.
- */
-
-#ifndef YY_SKIP_YYWRAP
-#ifdef __cplusplus
-extern "C" int yywrap (yyscan_t yyscanner );
-#else
-extern int yywrap (yyscan_t yyscanner );
-#endif
-#endif
-
-    static void yyunput (int c,char *buf_ptr  ,yyscan_t yyscanner);
-    
-#ifndef yytext_ptr
-static void yy_flex_strncpy (char *,yyconst char *,int ,yyscan_t yyscanner);
-#endif
-
-#ifdef YY_NEED_STRLEN
-static int yy_flex_strlen (yyconst char * ,yyscan_t yyscanner);
-#endif
-
-#ifndef YY_NO_INPUT
-
-#ifdef __cplusplus
-static int yyinput (yyscan_t yyscanner );
-#else
-static int input (yyscan_t yyscanner );
-#endif
-
-#endif
-
-/* Amount of stuff to slurp up with each read. */
-#ifndef YY_READ_BUF_SIZE
-#define YY_READ_BUF_SIZE 8192
-#endif
-
-/* Copy whatever the last rule matched to the standard output. */
-#ifndef ECHO
-/* This used to be an fputs(), but since the string might contain NUL's,
- * we now use fwrite().
- */
-#define ECHO fwrite( yytext, yyleng, 1, yyout )
-#endif
-
-/* Gets input and stuffs it into "buf".  number of characters read, or YY_NULL,
- * is returned in "result".
- */
-#ifndef YY_INPUT
-#define YY_INPUT(buf,result,max_size) \
-	if ( YY_CURRENT_BUFFER_LVALUE->yy_is_interactive ) \
-		{ \
-		int c = '*'; \
-		yy_size_t n; \
-		for ( n = 0; n < max_size && \
-			     (c = getc( yyin )) != EOF && c != '\n'; ++n ) \
-			buf[n] = (char) c; \
-		if ( c == '\n' ) \
-			buf[n++] = (char) c; \
-		if ( c == EOF && ferror( yyin ) ) \
-			YY_FATAL_ERROR( "input in flex scanner failed" ); \
-		result = n; \
-		} \
-	else \
-		{ \
-		errno=0; \
-		while ( (result = fread(buf, 1, max_size, yyin))==0 && ferror(yyin)) \
-			{ \
-			if( errno != EINTR) \
-				{ \
-				YY_FATAL_ERROR( "input in flex scanner failed" ); \
-				break; \
-				} \
-			errno=0; \
-			clearerr(yyin); \
-			} \
-		}\
-\
-
-#endif
-
-/* No semi-colon after return; correct usage is to write "yyterminate();" -
- * we don't want an extra ';' after the "return" because that will cause
- * some compilers to complain about unreachable statements.
- */
-#ifndef yyterminate
-#define yyterminate() return YY_NULL
-#endif
-
-/* Number of entries by which start-condition stack grows. */
-#ifndef YY_START_STACK_INCR
-#define YY_START_STACK_INCR 25
-#endif
-
-/* Report a fatal error. */
-#ifndef YY_FATAL_ERROR
-#define YY_FATAL_ERROR(msg) yy_fatal_error( msg , yyscanner)
-#endif
-
-/* end tables serialization structures and prototypes */
-
-/* Default declaration of generated scanner - a define so the user can
- * easily add parameters.
- */
-#ifndef YY_DECL
-#define YY_DECL_IS_OURS 1
-
-extern int yylex \
-               (YYSTYPE * yylval_param ,yyscan_t yyscanner);
-
-#define YY_DECL int yylex \
-               (YYSTYPE * yylval_param , yyscan_t yyscanner)
-#endif /* !YY_DECL */
-
-/* Code executed at the beginning of each rule, after yytext and yyleng
- * have been set up.
- */
-#ifndef YY_USER_ACTION
-#define YY_USER_ACTION
-#endif
-
-/* Code executed at the end of each rule. */
-#ifndef YY_BREAK
-#define YY_BREAK break;
-#endif
-
-#define YY_RULE_SETUP \
-	YY_USER_ACTION
-
-/** The main scanner function which does all the work.
- */
-YY_DECL
-{
-	register yy_state_type yy_current_state;
-	register char *yy_cp, *yy_bp;
-	register int yy_act;
-    struct yyguts_t * yyg = (struct yyguts_t*)yyscanner;
-
-#line 59 "lexer.lxx"
-
-
-#line 880 "lexer.yy.cpp"
-
-    yylval = yylval_param;
-
-	if ( !yyg->yy_init )
-		{
-		yyg->yy_init = 1;
-
-#ifdef YY_USER_INIT
-		YY_USER_INIT;
-#endif
-
-		if ( ! yyg->yy_start )
-			yyg->yy_start = 1;	/* first start state */
-
-		if ( ! yyin )
-			yyin = stdin;
-
-		if ( ! yyout )
-			yyout = stdout;
-
-		if ( ! YY_CURRENT_BUFFER ) {
-			yyensure_buffer_stack (yyscanner);
-			YY_CURRENT_BUFFER_LVALUE =
-				yy_create_buffer(yyin,YY_BUF_SIZE ,yyscanner);
-		}
-
-		yy_load_buffer_state(yyscanner );
-		}
-
-	while ( 1 )		/* loops until end-of-file is reached */
-		{
-		yy_cp = yyg->yy_c_buf_p;
-
-		/* Support of yytext. */
-		*yy_cp = yyg->yy_hold_char;
-
-		/* yy_bp points to the position in yy_ch_buf of the start of
-		 * the current run.
-		 */
-		yy_bp = yy_cp;
-
-		yy_current_state = yyg->yy_start;
-yy_match:
-		do
-			{
-			register YY_CHAR yy_c = yy_ec[YY_SC_TO_UI(*yy_cp)];
-			if ( yy_accept[yy_current_state] )
-				{
-				yyg->yy_last_accepting_state = yy_current_state;
-				yyg->yy_last_accepting_cpos = yy_cp;
-				}
-			while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
-				{
-				yy_current_state = (int) yy_def[yy_current_state];
-				if ( yy_current_state >= 221 )
-					yy_c = yy_meta[(unsigned int) yy_c];
-				}
-			yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
-			++yy_cp;
-			}
-		while ( yy_base[yy_current_state] != 277 );
-
-yy_find_action:
-		yy_act = yy_accept[yy_current_state];
-		if ( yy_act == 0 )
-			{ /* have to back up */
-			yy_cp = yyg->yy_last_accepting_cpos;
-			yy_current_state = yyg->yy_last_accepting_state;
-			yy_act = yy_accept[yy_current_state];
-			}
-
-		YY_DO_BEFORE_ACTION;
-
-		if ( yy_act != YY_END_OF_BUFFER && yy_rule_can_match_eol[yy_act] )
-			{
-			yy_size_t yyl;
-			for ( yyl = 0; yyl < yyleng; ++yyl )
-				if ( yytext[yyl] == '\n' )
-					   
-    do{ yylineno++;
-        yycolumn=0;
-    }while(0)
-;
-			}
-
-do_action:	/* This label is used only to access EOF actions. */
-
-		switch ( yy_act )
-	{ /* beginning of action switch */
-			case 0: /* must back up */
-			/* undo the effects of YY_DO_BEFORE_ACTION */
-			*yy_cp = yyg->yy_hold_char;
-			yy_cp = yyg->yy_last_accepting_cpos;
-			yy_current_state = yyg->yy_last_accepting_state;
-			goto yy_find_action;
-
-case 1:
-/* rule 1 can match eol */
-YY_RULE_SETUP
-#line 61 "lexer.lxx"
-{ /*yylineno++;*/ /* ignore EOL */ }
-	YY_BREAK
-case 2:
-YY_RULE_SETUP
-#line 62 "lexer.lxx"
-{ /* ignore whitespace */ }
-	YY_BREAK
-case 3:
-YY_RULE_SETUP
-#line 63 "lexer.lxx"
-{ /* ignore comments */ }
-	YY_BREAK
-case 4:
-YY_RULE_SETUP
-#line 65 "lexer.lxx"
-{ yylval->iValue = 1; return FZ_BOOL_LIT; }
-	YY_BREAK
-case 5:
-YY_RULE_SETUP
-#line 66 "lexer.lxx"
-{ yylval->iValue = 0; return FZ_BOOL_LIT; }
-	YY_BREAK
-case 6:
-YY_RULE_SETUP
-#line 67 "lexer.lxx"
-{ yylval->iValue = atoi(yytext); return FZ_INT_LIT; }
-	YY_BREAK
-case 7:
-YY_RULE_SETUP
-#line 68 "lexer.lxx"
-{ yylval->iValue = atoi(yytext); return FZ_INT_LIT; }
-	YY_BREAK
-case 8:
-YY_RULE_SETUP
-#line 69 "lexer.lxx"
-{ yylval->iValue = atoi(yytext); return FZ_INT_LIT; }
-	YY_BREAK
-case 9:
-YY_RULE_SETUP
-#line 70 "lexer.lxx"
-{ yylval->dValue = strtod(yytext,NULL);
-                    return FZ_FLOAT_LIT; }
-	YY_BREAK
-case 10:
-YY_RULE_SETUP
-#line 72 "lexer.lxx"
-{ yylval->dValue = strtod(yytext,NULL);
-                                   return FZ_FLOAT_LIT; }
-	YY_BREAK
-case 11:
-YY_RULE_SETUP
-#line 74 "lexer.lxx"
-{ yylval->dValue = strtod(yytext,NULL);
-                           return FZ_FLOAT_LIT; }
-	YY_BREAK
-case 12:
-YY_RULE_SETUP
-#line 76 "lexer.lxx"
-{ return *yytext; }
-	YY_BREAK
-case 13:
-YY_RULE_SETUP
-#line 77 "lexer.lxx"
-{ return FZ_DOTDOT; }
-	YY_BREAK
-case 14:
-YY_RULE_SETUP
-#line 78 "lexer.lxx"
-{ return FZ_COLONCOLON; }
-	YY_BREAK
-case 15:
-YY_RULE_SETUP
-#line 79 "lexer.lxx"
-{ return FZ_ANNOTATION; }
-	YY_BREAK
-case 16:
-YY_RULE_SETUP
-#line 80 "lexer.lxx"
-{ return FZ_ANY; }
-	YY_BREAK
-case 17:
-YY_RULE_SETUP
-#line 81 "lexer.lxx"
-{ return FZ_ARRAY; }
-	YY_BREAK
-case 18:
-YY_RULE_SETUP
-#line 82 "lexer.lxx"
-{ return FZ_BOOL; }
-	YY_BREAK
-case 19:
-YY_RULE_SETUP
-#line 83 "lexer.lxx"
-{ return FZ_CASE; }
-	YY_BREAK
-case 20:
-YY_RULE_SETUP
-#line 84 "lexer.lxx"
-{ return FZ_CONSTRAINT; }
-	YY_BREAK
-case 21:
-YY_RULE_SETUP
-#line 85 "lexer.lxx"
-{ return FZ_DEFAULT; }
-	YY_BREAK
-case 22:
-YY_RULE_SETUP
-#line 86 "lexer.lxx"
-{ return FZ_ELSE; }
-	YY_BREAK
-case 23:
-YY_RULE_SETUP
-#line 87 "lexer.lxx"
-{ return FZ_ELSEIF; }
-	YY_BREAK
-case 24:
-YY_RULE_SETUP
-#line 88 "lexer.lxx"
-{ return FZ_ENDIF; }
-	YY_BREAK
-case 25:
-YY_RULE_SETUP
-#line 89 "lexer.lxx"
-{ return FZ_ENUM; }
-	YY_BREAK
-case 26:
-YY_RULE_SETUP
-#line 90 "lexer.lxx"
-{ return FZ_FLOAT; }
-	YY_BREAK
-case 27:
-YY_RULE_SETUP
-#line 91 "lexer.lxx"
-{ return FZ_FUNCTION; }
-	YY_BREAK
-case 28:
-YY_RULE_SETUP
-#line 92 "lexer.lxx"
-{ return FZ_IF; }
-	YY_BREAK
-case 29:
-YY_RULE_SETUP
-#line 93 "lexer.lxx"
-{ return FZ_INCLUDE; }
-	YY_BREAK
-case 30:
-YY_RULE_SETUP
-#line 94 "lexer.lxx"
-{ return FZ_INT; }
-	YY_BREAK
-case 31:
-YY_RULE_SETUP
-#line 95 "lexer.lxx"
-{ return FZ_LET; }
-	YY_BREAK
-case 32:
-YY_RULE_SETUP
-#line 96 "lexer.lxx"
-{ yylval->bValue = false; return FZ_MAXIMIZE; }
-	YY_BREAK
-case 33:
-YY_RULE_SETUP
-#line 97 "lexer.lxx"
-{ yylval->bValue = true; return FZ_MINIMIZE; }
-	YY_BREAK
-case 34:
-YY_RULE_SETUP
-#line 98 "lexer.lxx"
-{ return FZ_OF; }
-	YY_BREAK
-case 35:
-YY_RULE_SETUP
-#line 99 "lexer.lxx"
-{ return FZ_SATISFY; }
-	YY_BREAK
-case 36:
-YY_RULE_SETUP
-#line 100 "lexer.lxx"
-{ return FZ_OUTPUT; }
-	YY_BREAK
-case 37:
-YY_RULE_SETUP
-#line 101 "lexer.lxx"
-{ yylval->bValue = false; return FZ_PAR; }
-	YY_BREAK
-case 38:
-YY_RULE_SETUP
-#line 102 "lexer.lxx"
-{ return FZ_PREDICATE; }
-	YY_BREAK
-case 39:
-YY_RULE_SETUP
-#line 103 "lexer.lxx"
-{ return FZ_RECORD; }
-	YY_BREAK
-case 40:
-YY_RULE_SETUP
-#line 104 "lexer.lxx"
-{ return FZ_SET; }
-	YY_BREAK
-case 41:
-YY_RULE_SETUP
-#line 105 "lexer.lxx"
-{ return FZ_SHOWCOND; }
-	YY_BREAK
-case 42:
-YY_RULE_SETUP
-#line 106 "lexer.lxx"
-{ return FZ_SHOW; }
-	YY_BREAK
-case 43:
-YY_RULE_SETUP
-#line 107 "lexer.lxx"
-{ return FZ_SOLVE; }
-	YY_BREAK
-case 44:
-YY_RULE_SETUP
-#line 108 "lexer.lxx"
-{ return FZ_STRING; }
-	YY_BREAK
-case 45:
-YY_RULE_SETUP
-#line 109 "lexer.lxx"
-{ return FZ_TEST; }
-	YY_BREAK
-case 46:
-YY_RULE_SETUP
-#line 110 "lexer.lxx"
-{ return FZ_THEN; }
-	YY_BREAK
-case 47:
-YY_RULE_SETUP
-#line 111 "lexer.lxx"
-{ return FZ_TUPLE; }
-	YY_BREAK
-case 48:
-YY_RULE_SETUP
-#line 112 "lexer.lxx"
-{ return FZ_TYPE; }
-	YY_BREAK
-case 49:
-YY_RULE_SETUP
-#line 113 "lexer.lxx"
-{ yylval->bValue = true; return FZ_VAR; }
-	YY_BREAK
-case 50:
-YY_RULE_SETUP
-#line 114 "lexer.lxx"
-{ return FZ_VARIANT_RECORD; }
-	YY_BREAK
-case 51:
-YY_RULE_SETUP
-#line 115 "lexer.lxx"
-{ return FZ_WHERE; }
-	YY_BREAK
-case 52:
-YY_RULE_SETUP
-#line 116 "lexer.lxx"
-{ yylval->sValue = strdup(yytext); return FZ_ID; }
-	YY_BREAK
-case 53:
-YY_RULE_SETUP
-#line 117 "lexer.lxx"
-{ yylval->sValue = strdup(yytext); return FZ_U_ID; }
-	YY_BREAK
-case 54:
-YY_RULE_SETUP
-#line 118 "lexer.lxx"
-{
-                    yylval->sValue = strdup(yytext+1);
-                    yylval->sValue[strlen(yytext)-2] = 0; 
-                    return FZ_STRING_LIT; }
-	YY_BREAK
-case 55:
-YY_RULE_SETUP
-#line 122 "lexer.lxx"
-{ yyerror("Unknown character"); }
-	YY_BREAK
-case 56:
-YY_RULE_SETUP
-#line 123 "lexer.lxx"
-ECHO;
-	YY_BREAK
-#line 1264 "lexer.yy.cpp"
-case YY_STATE_EOF(INITIAL):
-	yyterminate();
-
-	case YY_END_OF_BUFFER:
-		{
-		/* Amount of text matched not including the EOB char. */
-		int yy_amount_of_matched_text = (int) (yy_cp - yyg->yytext_ptr) - 1;
-
-		/* Undo the effects of YY_DO_BEFORE_ACTION. */
-		*yy_cp = yyg->yy_hold_char;
-		YY_RESTORE_YY_MORE_OFFSET
-
-		if ( YY_CURRENT_BUFFER_LVALUE->yy_buffer_status == YY_BUFFER_NEW )
-			{
-			/* We're scanning a new file or input source.  It's
-			 * possible that this happened because the user
-			 * just pointed yyin at a new source and called
-			 * yylex().  If so, then we have to assure
-			 * consistency between YY_CURRENT_BUFFER and our
-			 * globals.  Here is the right place to do so, because
-			 * this is the first action (other than possibly a
-			 * back-up) that will match for the new input source.
-			 */
-			yyg->yy_n_chars = YY_CURRENT_BUFFER_LVALUE->yy_n_chars;
-			YY_CURRENT_BUFFER_LVALUE->yy_input_file = yyin;
-			YY_CURRENT_BUFFER_LVALUE->yy_buffer_status = YY_BUFFER_NORMAL;
-			}
-
-		/* Note that here we test for yy_c_buf_p "<=" to the position
-		 * of the first EOB in the buffer, since yy_c_buf_p will
-		 * already have been incremented past the NUL character
-		 * (since all states make transitions on EOB to the
-		 * end-of-buffer state).  Contrast this with the test
-		 * in input().
-		 */
-		if ( yyg->yy_c_buf_p <= &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[yyg->yy_n_chars] )
-			{ /* This was really a NUL. */
-			yy_state_type yy_next_state;
-
-			yyg->yy_c_buf_p = yyg->yytext_ptr + yy_amount_of_matched_text;
-
-			yy_current_state = yy_get_previous_state( yyscanner );
-
-			/* Okay, we're now positioned to make the NUL
-			 * transition.  We couldn't have
-			 * yy_get_previous_state() go ahead and do it
-			 * for us because it doesn't know how to deal
-			 * with the possibility of jamming (and we don't
-			 * want to build jamming into it because then it
-			 * will run more slowly).
-			 */
-
-			yy_next_state = yy_try_NUL_trans( yy_current_state , yyscanner);
-
-			yy_bp = yyg->yytext_ptr + YY_MORE_ADJ;
-
-			if ( yy_next_state )
-				{
-				/* Consume the NUL. */
-				yy_cp = ++yyg->yy_c_buf_p;
-				yy_current_state = yy_next_state;
-				goto yy_match;
-				}
-
-			else
-				{
-				yy_cp = yyg->yy_c_buf_p;
-				goto yy_find_action;
-				}
-			}
-
-		else switch ( yy_get_next_buffer( yyscanner ) )
-			{
-			case EOB_ACT_END_OF_FILE:
-				{
-				yyg->yy_did_buffer_switch_on_eof = 0;
-
-				if ( yywrap(yyscanner ) )
-					{
-					/* Note: because we've taken care in
-					 * yy_get_next_buffer() to have set up
-					 * yytext, we can now set up
-					 * yy_c_buf_p so that if some total
-					 * hoser (like flex itself) wants to
-					 * call the scanner after we return the
-					 * YY_NULL, it'll still work - another
-					 * YY_NULL will get returned.
-					 */
-					yyg->yy_c_buf_p = yyg->yytext_ptr + YY_MORE_ADJ;
-
-					yy_act = YY_STATE_EOF(YY_START);
-					goto do_action;
-					}
-
-				else
-					{
-					if ( ! yyg->yy_did_buffer_switch_on_eof )
-						YY_NEW_FILE;
-					}
-				break;
-				}
-
-			case EOB_ACT_CONTINUE_SCAN:
-				yyg->yy_c_buf_p =
-					yyg->yytext_ptr + yy_amount_of_matched_text;
-
-				yy_current_state = yy_get_previous_state( yyscanner );
-
-				yy_cp = yyg->yy_c_buf_p;
-				yy_bp = yyg->yytext_ptr + YY_MORE_ADJ;
-				goto yy_match;
-
-			case EOB_ACT_LAST_MATCH:
-				yyg->yy_c_buf_p =
-				&YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[yyg->yy_n_chars];
-
-				yy_current_state = yy_get_previous_state( yyscanner );
-
-				yy_cp = yyg->yy_c_buf_p;
-				yy_bp = yyg->yytext_ptr + YY_MORE_ADJ;
-				goto yy_find_action;
-			}
-		break;
-		}
-
-	default:
-		YY_FATAL_ERROR(
-			"fatal flex scanner internal error--no action found" );
-	} /* end of action switch */
-		} /* end of scanning one token */
-} /* end of yylex */
-
-/* yy_get_next_buffer - try to read in a new buffer
- *
- * Returns a code representing an action:
- *	EOB_ACT_LAST_MATCH -
- *	EOB_ACT_CONTINUE_SCAN - continue scanning from current position
- *	EOB_ACT_END_OF_FILE - end of file
- */
-static int yy_get_next_buffer (yyscan_t yyscanner)
-{
-    struct yyguts_t * yyg = (struct yyguts_t*)yyscanner;
-	register char *dest = YY_CURRENT_BUFFER_LVALUE->yy_ch_buf;
-	register char *source = yyg->yytext_ptr;
-	register int number_to_move, i;
-	int ret_val;
-
-	if ( yyg->yy_c_buf_p > &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[yyg->yy_n_chars + 1] )
-		YY_FATAL_ERROR(
-		"fatal flex scanner internal error--end of buffer missed" );
-
-	if ( YY_CURRENT_BUFFER_LVALUE->yy_fill_buffer == 0 )
-		{ /* Don't try to fill the buffer, so this is an EOF. */
-		if ( yyg->yy_c_buf_p - yyg->yytext_ptr - YY_MORE_ADJ == 1 )
-			{
-			/* We matched a single character, the EOB, so
-			 * treat this as a final EOF.
-			 */
-			return EOB_ACT_END_OF_FILE;
-			}
-
-		else
-			{
-			/* We matched some text prior to the EOB, first
-			 * process it.
-			 */
-			return EOB_ACT_LAST_MATCH;
-			}
-		}
-
-	/* Try to read more data. */
-
-	/* First move last chars to start of buffer. */
-	number_to_move = (int) (yyg->yy_c_buf_p - yyg->yytext_ptr) - 1;
-
-	for ( i = 0; i < number_to_move; ++i )
-		*(dest++) = *(source++);
-
-	if ( YY_CURRENT_BUFFER_LVALUE->yy_buffer_status == YY_BUFFER_EOF_PENDING )
-		/* don't do the read, it's not guaranteed to return an EOF,
-		 * just force an EOF
-		 */
-		YY_CURRENT_BUFFER_LVALUE->yy_n_chars = yyg->yy_n_chars = 0;
-
-	else
-		{
-			int num_to_read =
-			YY_CURRENT_BUFFER_LVALUE->yy_buf_size - number_to_move - 1;
-
-		while ( num_to_read <= 0 )
-			{ /* Not enough room in the buffer - grow it. */
-
-			/* just a shorter name for the current buffer */
-			YY_BUFFER_STATE b = YY_CURRENT_BUFFER;
-
-			int yy_c_buf_p_offset =
-				(int) (yyg->yy_c_buf_p - b->yy_ch_buf);
-
-			if ( b->yy_is_our_buffer )
-				{
-				int new_size = b->yy_buf_size * 2;
-
-				if ( new_size <= 0 )
-					b->yy_buf_size += b->yy_buf_size / 8;
-				else
-					b->yy_buf_size *= 2;
-
-				b->yy_ch_buf = (char *)
-					/* Include room in for 2 EOB chars. */
-					yyrealloc((void *) b->yy_ch_buf,b->yy_buf_size + 2 ,yyscanner );
-				}
-			else
-				/* Can't grow it, we don't own it. */
-				b->yy_ch_buf = 0;
-
-			if ( ! b->yy_ch_buf )
-				YY_FATAL_ERROR(
-				"fatal error - scanner input buffer overflow" );
-
-			yyg->yy_c_buf_p = &b->yy_ch_buf[yy_c_buf_p_offset];
-
-			num_to_read = YY_CURRENT_BUFFER_LVALUE->yy_buf_size -
-						number_to_move - 1;
-
-			}
-
-		if ( num_to_read > YY_READ_BUF_SIZE )
-			num_to_read = YY_READ_BUF_SIZE;
-
-		/* Read in more data. */
-		YY_INPUT( (&YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[number_to_move]),
-			yyg->yy_n_chars, (size_t) num_to_read );
-
-		YY_CURRENT_BUFFER_LVALUE->yy_n_chars = yyg->yy_n_chars;
-		}
-
-	if ( yyg->yy_n_chars == 0 )
-		{
-		if ( number_to_move == YY_MORE_ADJ )
-			{
-			ret_val = EOB_ACT_END_OF_FILE;
-			yyrestart(yyin  ,yyscanner);
-			}
-
-		else
-			{
-			ret_val = EOB_ACT_LAST_MATCH;
-			YY_CURRENT_BUFFER_LVALUE->yy_buffer_status =
-				YY_BUFFER_EOF_PENDING;
-			}
-		}
-
-	else
-		ret_val = EOB_ACT_CONTINUE_SCAN;
-
-	if ((yy_size_t) (yyg->yy_n_chars + number_to_move) > YY_CURRENT_BUFFER_LVALUE->yy_buf_size) {
-		/* Extend the array by 50%, plus the number we really need. */
-		yy_size_t new_size = yyg->yy_n_chars + number_to_move + (yyg->yy_n_chars >> 1);
-		YY_CURRENT_BUFFER_LVALUE->yy_ch_buf = (char *) yyrealloc((void *) YY_CURRENT_BUFFER_LVALUE->yy_ch_buf,new_size ,yyscanner );
-		if ( ! YY_CURRENT_BUFFER_LVALUE->yy_ch_buf )
-			YY_FATAL_ERROR( "out of dynamic memory in yy_get_next_buffer()" );
-	}
-
-	yyg->yy_n_chars += number_to_move;
-	YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[yyg->yy_n_chars] = YY_END_OF_BUFFER_CHAR;
-	YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[yyg->yy_n_chars + 1] = YY_END_OF_BUFFER_CHAR;
-
-	yyg->yytext_ptr = &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[0];
-
-	return ret_val;
-}
-
-/* yy_get_previous_state - get the state just before the EOB char was reached */
-
-    static yy_state_type yy_get_previous_state (yyscan_t yyscanner)
-{
-	register yy_state_type yy_current_state;
-	register char *yy_cp;
-    struct yyguts_t * yyg = (struct yyguts_t*)yyscanner;
-
-	yy_current_state = yyg->yy_start;
-
-	for ( yy_cp = yyg->yytext_ptr + YY_MORE_ADJ; yy_cp < yyg->yy_c_buf_p; ++yy_cp )
-		{
-		register YY_CHAR yy_c = (*yy_cp ? yy_ec[YY_SC_TO_UI(*yy_cp)] : 1);
-		if ( yy_accept[yy_current_state] )
-			{
-			yyg->yy_last_accepting_state = yy_current_state;
-			yyg->yy_last_accepting_cpos = yy_cp;
-			}
-		while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
-			{
-			yy_current_state = (int) yy_def[yy_current_state];
-			if ( yy_current_state >= 221 )
-				yy_c = yy_meta[(unsigned int) yy_c];
-			}
-		yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
-		}
-
-	return yy_current_state;
-}
-
-/* yy_try_NUL_trans - try to make a transition on the NUL character
- *
- * synopsis
- *	next_state = yy_try_NUL_trans( current_state );
- */
-    static yy_state_type yy_try_NUL_trans  (yy_state_type yy_current_state , yyscan_t yyscanner)
-{
-	register int yy_is_jam;
-    struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; /* This var may be unused depending upon options. */
-	register char *yy_cp = yyg->yy_c_buf_p;
-
-	register YY_CHAR yy_c = 1;
-	if ( yy_accept[yy_current_state] )
-		{
-		yyg->yy_last_accepting_state = yy_current_state;
-		yyg->yy_last_accepting_cpos = yy_cp;
-		}
-	while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
-		{
-		yy_current_state = (int) yy_def[yy_current_state];
-		if ( yy_current_state >= 221 )
-			yy_c = yy_meta[(unsigned int) yy_c];
-		}
-	yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
-	yy_is_jam = (yy_current_state == 220);
-
-	return yy_is_jam ? 0 : yy_current_state;
-}
-
-    static void yyunput (int c, register char * yy_bp , yyscan_t yyscanner)
-{
-	register char *yy_cp;
-    struct yyguts_t * yyg = (struct yyguts_t*)yyscanner;
-
-    yy_cp = yyg->yy_c_buf_p;
-
-	/* undo effects of setting up yytext */
-	*yy_cp = yyg->yy_hold_char;
-
-	if ( yy_cp < YY_CURRENT_BUFFER_LVALUE->yy_ch_buf + 2 )
-		{ /* need to shift things up to make room */
-		/* +2 for EOB chars. */
-		register int number_to_move = yyg->yy_n_chars + 2;
-		register char *dest = &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[
-					YY_CURRENT_BUFFER_LVALUE->yy_buf_size + 2];
-		register char *source =
-				&YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[number_to_move];
-
-		while ( source > YY_CURRENT_BUFFER_LVALUE->yy_ch_buf )
-			*--dest = *--source;
-
-		yy_cp += (int) (dest - source);
-		yy_bp += (int) (dest - source);
-		YY_CURRENT_BUFFER_LVALUE->yy_n_chars =
-			yyg->yy_n_chars = YY_CURRENT_BUFFER_LVALUE->yy_buf_size;
-
-		if ( yy_cp < YY_CURRENT_BUFFER_LVALUE->yy_ch_buf + 2 )
-			YY_FATAL_ERROR( "flex scanner push-back overflow" );
-		}
-
-	*--yy_cp = (char) c;
-
-    if ( c == '\n' ){
-        --yylineno;
-    }
-
-	yyg->yytext_ptr = yy_bp;
-	yyg->yy_hold_char = *yy_cp;
-	yyg->yy_c_buf_p = yy_cp;
-}
-
-#ifndef YY_NO_INPUT
-#ifdef __cplusplus
-    static int yyinput (yyscan_t yyscanner)
-#else
-    static int input  (yyscan_t yyscanner)
-#endif
-
-{
-	int c;
-    struct yyguts_t * yyg = (struct yyguts_t*)yyscanner;
-
-	*yyg->yy_c_buf_p = yyg->yy_hold_char;
-
-	if ( *yyg->yy_c_buf_p == YY_END_OF_BUFFER_CHAR )
-		{
-		/* yy_c_buf_p now points to the character we want to return.
-		 * If this occurs *before* the EOB characters, then it's a
-		 * valid NUL; if not, then we've hit the end of the buffer.
-		 */
-		if ( yyg->yy_c_buf_p < &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[yyg->yy_n_chars] )
-			/* This was really a NUL. */
-			*yyg->yy_c_buf_p = '\0';
-
-		else
-			{ /* need more input */
-			int offset = yyg->yy_c_buf_p - yyg->yytext_ptr;
-			++yyg->yy_c_buf_p;
-
-			switch ( yy_get_next_buffer( yyscanner ) )
-				{
-				case EOB_ACT_LAST_MATCH:
-					/* This happens because yy_g_n_b()
-					 * sees that we've accumulated a
-					 * token and flags that we need to
-					 * try matching the token before
-					 * proceeding.  But for input(),
-					 * there's no matching to consider.
-					 * So convert the EOB_ACT_LAST_MATCH
-					 * to EOB_ACT_END_OF_FILE.
-					 */
-
-					/* Reset buffer status. */
-					yyrestart(yyin ,yyscanner);
-
-					/*FALLTHROUGH*/
-
-				case EOB_ACT_END_OF_FILE:
-					{
-					if ( yywrap(yyscanner ) )
-						return EOF;
-
-					if ( ! yyg->yy_did_buffer_switch_on_eof )
-						YY_NEW_FILE;
-#ifdef __cplusplus
-					return yyinput(yyscanner);
-#else
-					return input(yyscanner);
-#endif
-					}
-
-				case EOB_ACT_CONTINUE_SCAN:
-					yyg->yy_c_buf_p = yyg->yytext_ptr + offset;
-					break;
-				}
-			}
-		}
-
-	c = *(unsigned char *) yyg->yy_c_buf_p;	/* cast for 8-bit char's */
-	*yyg->yy_c_buf_p = '\0';	/* preserve yytext */
-	yyg->yy_hold_char = *++yyg->yy_c_buf_p;
-
-	if ( c == '\n' )
-		   
-    do{ yylineno++;
-        yycolumn=0;
-    }while(0)
-;
-
-	return c;
-}
-#endif	/* ifndef YY_NO_INPUT */
-
-/** Immediately switch to a different input stream.
- * @param input_file A readable stream.
- * @param yyscanner The scanner object.
- * @note This function does not reset the start condition to @c INITIAL .
- */
-    void yyrestart  (FILE * input_file , yyscan_t yyscanner)
-{
-    struct yyguts_t * yyg = (struct yyguts_t*)yyscanner;
-
-	if ( ! YY_CURRENT_BUFFER ){
-        yyensure_buffer_stack (yyscanner);
-		YY_CURRENT_BUFFER_LVALUE =
-            yy_create_buffer(yyin,YY_BUF_SIZE ,yyscanner);
-	}
-
-	yy_init_buffer(YY_CURRENT_BUFFER,input_file ,yyscanner);
-	yy_load_buffer_state(yyscanner );
-}
-
-/** Switch to a different input buffer.
- * @param new_buffer The new input buffer.
- * @param yyscanner The scanner object.
- */
-    void yy_switch_to_buffer  (YY_BUFFER_STATE  new_buffer , yyscan_t yyscanner)
-{
-    struct yyguts_t * yyg = (struct yyguts_t*)yyscanner;
-
-	/* TODO. We should be able to replace this entire function body
-	 * with
-	 *		yypop_buffer_state();
-	 *		yypush_buffer_state(new_buffer);
-     */
-	yyensure_buffer_stack (yyscanner);
-	if ( YY_CURRENT_BUFFER == new_buffer )
-		return;
-
-	if ( YY_CURRENT_BUFFER )
-		{
-		/* Flush out information for old buffer. */
-		*yyg->yy_c_buf_p = yyg->yy_hold_char;
-		YY_CURRENT_BUFFER_LVALUE->yy_buf_pos = yyg->yy_c_buf_p;
-		YY_CURRENT_BUFFER_LVALUE->yy_n_chars = yyg->yy_n_chars;
-		}
-
-	YY_CURRENT_BUFFER_LVALUE = new_buffer;
-	yy_load_buffer_state(yyscanner );
-
-	/* We don't actually know whether we did this switch during
-	 * EOF (yywrap()) processing, but the only time this flag
-	 * is looked at is after yywrap() is called, so it's safe
-	 * to go ahead and always set it.
-	 */
-	yyg->yy_did_buffer_switch_on_eof = 1;
-}
-
-static void yy_load_buffer_state  (yyscan_t yyscanner)
-{
-    struct yyguts_t * yyg = (struct yyguts_t*)yyscanner;
-	yyg->yy_n_chars = YY_CURRENT_BUFFER_LVALUE->yy_n_chars;
-	yyg->yytext_ptr = yyg->yy_c_buf_p = YY_CURRENT_BUFFER_LVALUE->yy_buf_pos;
-	yyin = YY_CURRENT_BUFFER_LVALUE->yy_input_file;
-	yyg->yy_hold_char = *yyg->yy_c_buf_p;
-}
-
-/** Allocate and initialize an input buffer state.
- * @param file A readable stream.
- * @param size The character buffer size in bytes. When in doubt, use @c YY_BUF_SIZE.
- * @param yyscanner The scanner object.
- * @return the allocated buffer state.
- */
-    YY_BUFFER_STATE yy_create_buffer  (FILE * file, int  size , yyscan_t yyscanner)
-{
-	YY_BUFFER_STATE b;
-    
-	b = (YY_BUFFER_STATE) yyalloc(sizeof( struct yy_buffer_state ) ,yyscanner );
-	if ( ! b )
-		YY_FATAL_ERROR( "out of dynamic memory in yy_create_buffer()" );
-
-	b->yy_buf_size = size;
-
-	/* yy_ch_buf has to be 2 characters longer than the size given because
-	 * we need to put in 2 end-of-buffer characters.
-	 */
-	b->yy_ch_buf = (char *) yyalloc(b->yy_buf_size + 2 ,yyscanner );
-	if ( ! b->yy_ch_buf )
-		YY_FATAL_ERROR( "out of dynamic memory in yy_create_buffer()" );
-
-	b->yy_is_our_buffer = 1;
-
-	yy_init_buffer(b,file ,yyscanner);
-
-	return b;
-}
-
-/** Destroy the buffer.
- * @param b a buffer created with yy_create_buffer()
- * @param yyscanner The scanner object.
- */
-    void yy_delete_buffer (YY_BUFFER_STATE  b , yyscan_t yyscanner)
-{
-    struct yyguts_t * yyg = (struct yyguts_t*)yyscanner;
-
-	if ( ! b )
-		return;
-
-	if ( b == YY_CURRENT_BUFFER ) /* Not sure if we should pop here. */
-		YY_CURRENT_BUFFER_LVALUE = (YY_BUFFER_STATE) 0;
-
-	if ( b->yy_is_our_buffer )
-		yyfree((void *) b->yy_ch_buf ,yyscanner );
-
-	yyfree((void *) b ,yyscanner );
-}
-
-#ifndef __cplusplus
-extern int isatty (int );
-#endif /* __cplusplus */
-    
-/* Initializes or reinitializes a buffer.
- * This function is sometimes called more than once on the same buffer,
- * such as during a yyrestart() or at EOF.
- */
-    static void yy_init_buffer  (YY_BUFFER_STATE  b, FILE * file , yyscan_t yyscanner)
-
-{
-	int oerrno = errno;
-    struct yyguts_t * yyg = (struct yyguts_t*)yyscanner;
-
-	yy_flush_buffer(b ,yyscanner);
-
-	b->yy_input_file = file;
-	b->yy_fill_buffer = 1;
-
-    /* If b is the current buffer, then yy_init_buffer was _probably_
-     * called from yyrestart() or through yy_get_next_buffer.
-     * In that case, we don't want to reset the lineno or column.
-     */
-    if (b != YY_CURRENT_BUFFER){
-        b->yy_bs_lineno = 1;
-        b->yy_bs_column = 0;
-    }
-
-        b->yy_is_interactive = file ? (isatty( fileno(file) ) > 0) : 0;
-    
-	errno = oerrno;
-}
-
-/** Discard all buffered characters. On the next scan, YY_INPUT will be called.
- * @param b the buffer state to be flushed, usually @c YY_CURRENT_BUFFER.
- * @param yyscanner The scanner object.
- */
-    void yy_flush_buffer (YY_BUFFER_STATE  b , yyscan_t yyscanner)
-{
-    struct yyguts_t * yyg = (struct yyguts_t*)yyscanner;
-	if ( ! b )
-		return;
-
-	b->yy_n_chars = 0;
-
-	/* We always need two end-of-buffer characters.  The first causes
-	 * a transition to the end-of-buffer state.  The second causes
-	 * a jam in that state.
-	 */
-	b->yy_ch_buf[0] = YY_END_OF_BUFFER_CHAR;
-	b->yy_ch_buf[1] = YY_END_OF_BUFFER_CHAR;
-
-	b->yy_buf_pos = &b->yy_ch_buf[0];
-
-	b->yy_at_bol = 1;
-	b->yy_buffer_status = YY_BUFFER_NEW;
-
-	if ( b == YY_CURRENT_BUFFER )
-		yy_load_buffer_state(yyscanner );
-}
-
-/** Pushes the new state onto the stack. The new state becomes
- *  the current state. This function will allocate the stack
- *  if necessary.
- *  @param new_buffer The new state.
- *  @param yyscanner The scanner object.
- */
-void yypush_buffer_state (YY_BUFFER_STATE new_buffer , yyscan_t yyscanner)
-{
-    struct yyguts_t * yyg = (struct yyguts_t*)yyscanner;
-	if (new_buffer == NULL)
-		return;
-
-	yyensure_buffer_stack(yyscanner);
-
-	/* This block is copied from yy_switch_to_buffer. */
-	if ( YY_CURRENT_BUFFER )
-		{
-		/* Flush out information for old buffer. */
-		*yyg->yy_c_buf_p = yyg->yy_hold_char;
-		YY_CURRENT_BUFFER_LVALUE->yy_buf_pos = yyg->yy_c_buf_p;
-		YY_CURRENT_BUFFER_LVALUE->yy_n_chars = yyg->yy_n_chars;
-		}
-
-	/* Only push if top exists. Otherwise, replace top. */
-	if (YY_CURRENT_BUFFER)
-		yyg->yy_buffer_stack_top++;
-	YY_CURRENT_BUFFER_LVALUE = new_buffer;
-
-	/* copied from yy_switch_to_buffer. */
-	yy_load_buffer_state(yyscanner );
-	yyg->yy_did_buffer_switch_on_eof = 1;
-}
-
-/** Removes and deletes the top of the stack, if present.
- *  The next element becomes the new top.
- *  @param yyscanner The scanner object.
- */
-void yypop_buffer_state (yyscan_t yyscanner)
-{
-    struct yyguts_t * yyg = (struct yyguts_t*)yyscanner;
-	if (!YY_CURRENT_BUFFER)
-		return;
-
-	yy_delete_buffer(YY_CURRENT_BUFFER ,yyscanner);
-	YY_CURRENT_BUFFER_LVALUE = NULL;
-	if (yyg->yy_buffer_stack_top > 0)
-		--yyg->yy_buffer_stack_top;
-
-	if (YY_CURRENT_BUFFER) {
-		yy_load_buffer_state(yyscanner );
-		yyg->yy_did_buffer_switch_on_eof = 1;
-	}
-}
-
-/* Allocates the stack if it does not exist.
- *  Guarantees space for at least one push.
- */
-static void yyensure_buffer_stack (yyscan_t yyscanner)
-{
-	int num_to_alloc;
-    struct yyguts_t * yyg = (struct yyguts_t*)yyscanner;
-
-	if (!yyg->yy_buffer_stack) {
-
-		/* First allocation is just for 2 elements, since we don't know if this
-		 * scanner will even need a stack. We use 2 instead of 1 to avoid an
-		 * immediate realloc on the next call.
-         */
-		num_to_alloc = 1;
-		yyg->yy_buffer_stack = (struct yy_buffer_state**)yyalloc
-								(num_to_alloc * sizeof(struct yy_buffer_state*)
-								, yyscanner);
-		if ( ! yyg->yy_buffer_stack )
-			YY_FATAL_ERROR( "out of dynamic memory in yyensure_buffer_stack()" );
-								  
-		memset(yyg->yy_buffer_stack, 0, num_to_alloc * sizeof(struct yy_buffer_state*));
-				
-		yyg->yy_buffer_stack_max = num_to_alloc;
-		yyg->yy_buffer_stack_top = 0;
-		return;
-	}
-
-	if (yyg->yy_buffer_stack_top >= (yyg->yy_buffer_stack_max) - 1){
-
-		/* Increase the buffer to prepare for a possible push. */
-		int grow_size = 8 /* arbitrary grow size */;
-
-		num_to_alloc = yyg->yy_buffer_stack_max + grow_size;
-		yyg->yy_buffer_stack = (struct yy_buffer_state**)yyrealloc
-								(yyg->yy_buffer_stack,
-								num_to_alloc * sizeof(struct yy_buffer_state*)
-								, yyscanner);
-		if ( ! yyg->yy_buffer_stack )
-			YY_FATAL_ERROR( "out of dynamic memory in yyensure_buffer_stack()" );
-
-		/* zero only the new slots.*/
-		memset(yyg->yy_buffer_stack + yyg->yy_buffer_stack_max, 0, grow_size * sizeof(struct yy_buffer_state*));
-		yyg->yy_buffer_stack_max = num_to_alloc;
-	}
-}
-
-/** Setup the input buffer state to scan directly from a user-specified character buffer.
- * @param base the character buffer
- * @param size the size in bytes of the character buffer
- * @param yyscanner The scanner object.
- * @return the newly allocated buffer state object. 
- */
-YY_BUFFER_STATE yy_scan_buffer  (char * base, yy_size_t  size , yyscan_t yyscanner)
-{
-	YY_BUFFER_STATE b;
-    
-	if ( size < 2 ||
-	     base[size-2] != YY_END_OF_BUFFER_CHAR ||
-	     base[size-1] != YY_END_OF_BUFFER_CHAR )
-		/* They forgot to leave room for the EOB's. */
-		return 0;
-
-	b = (YY_BUFFER_STATE) yyalloc(sizeof( struct yy_buffer_state ) ,yyscanner );
-	if ( ! b )
-		YY_FATAL_ERROR( "out of dynamic memory in yy_scan_buffer()" );
-
-	b->yy_buf_size = size - 2;	/* "- 2" to take care of EOB's */
-	b->yy_buf_pos = b->yy_ch_buf = base;
-	b->yy_is_our_buffer = 0;
-	b->yy_input_file = 0;
-	b->yy_n_chars = b->yy_buf_size;
-	b->yy_is_interactive = 0;
-	b->yy_at_bol = 1;
-	b->yy_fill_buffer = 0;
-	b->yy_buffer_status = YY_BUFFER_NEW;
-
-	yy_switch_to_buffer(b ,yyscanner );
-
-	return b;
-}
-
-/** Setup the input buffer state to scan a string. The next call to yylex() will
- * scan from a @e copy of @a str.
- * @param yystr a NUL-terminated string to scan
- * @param yyscanner The scanner object.
- * @return the newly allocated buffer state object.
- * @note If you want to scan bytes that may contain NUL values, then use
- *       yy_scan_bytes() instead.
- */
-YY_BUFFER_STATE yy_scan_string (yyconst char * yystr , yyscan_t yyscanner)
-{
-    
-	return yy_scan_bytes(yystr,strlen(yystr) ,yyscanner);
-}
-
-/** Setup the input buffer state to scan the given bytes. The next call to yylex() will
- * scan from a @e copy of @a bytes.
- * @param bytes the byte buffer to scan
- * @param len the number of bytes in the buffer pointed to by @a bytes.
- * @param yyscanner The scanner object.
- * @return the newly allocated buffer state object.
- */
-YY_BUFFER_STATE yy_scan_bytes  (yyconst char * yybytes, int  _yybytes_len , yyscan_t yyscanner)
-{
-	YY_BUFFER_STATE b;
-	char *buf;
-	yy_size_t n;
-	int i;
-    
-	/* Get memory for full buffer, including space for trailing EOB's. */
-	n = _yybytes_len + 2;
-	buf = (char *) yyalloc(n ,yyscanner );
-	if ( ! buf )
-		YY_FATAL_ERROR( "out of dynamic memory in yy_scan_bytes()" );
-
-	for ( i = 0; i < _yybytes_len; ++i )
-		buf[i] = yybytes[i];
-
-	buf[_yybytes_len] = buf[_yybytes_len+1] = YY_END_OF_BUFFER_CHAR;
-
-	b = yy_scan_buffer(buf,n ,yyscanner);
-	if ( ! b )
-		YY_FATAL_ERROR( "bad buffer in yy_scan_bytes()" );
-
-	/* It's okay to grow etc. this buffer, and we should throw it
-	 * away when we're done.
-	 */
-	b->yy_is_our_buffer = 1;
-
-	return b;
-}
-
-#ifndef YY_EXIT_FAILURE
-#define YY_EXIT_FAILURE 2
-#endif
-
-static void yy_fatal_error (yyconst char* msg , yyscan_t yyscanner)
-{
-    	(void) fprintf( stderr, "%s\n", msg );
-	exit( YY_EXIT_FAILURE );
-}
-
-/* Redefine yyless() so it works in section 3 code. */
-
-#undef yyless
-#define yyless(n) \
-	do \
-		{ \
-		/* Undo effects of setting up yytext. */ \
-        int yyless_macro_arg = (n); \
-        YY_LESS_LINENO(yyless_macro_arg);\
-		yytext[yyleng] = yyg->yy_hold_char; \
-		yyg->yy_c_buf_p = yytext + yyless_macro_arg; \
-		yyg->yy_hold_char = *yyg->yy_c_buf_p; \
-		*yyg->yy_c_buf_p = '\0'; \
-		yyleng = yyless_macro_arg; \
-		} \
-	while ( 0 )
-
-/* Accessor  methods (get/set functions) to struct members. */
-
-/** Get the user-defined data for this scanner.
- * @param yyscanner The scanner object.
- */
-YY_EXTRA_TYPE yyget_extra  (yyscan_t yyscanner)
-{
-    struct yyguts_t * yyg = (struct yyguts_t*)yyscanner;
-    return yyextra;
-}
-
-/** Get the current line number.
- * @param yyscanner The scanner object.
- */
-int yyget_lineno  (yyscan_t yyscanner)
-{
-    struct yyguts_t * yyg = (struct yyguts_t*)yyscanner;
-    
-        if (! YY_CURRENT_BUFFER)
-            return 0;
-    
-    return yylineno;
-}
-
-/** Get the current column number.
- * @param yyscanner The scanner object.
- */
-int yyget_column  (yyscan_t yyscanner)
-{
-    struct yyguts_t * yyg = (struct yyguts_t*)yyscanner;
-    
-        if (! YY_CURRENT_BUFFER)
-            return 0;
-    
-    return yycolumn;
-}
-
-/** Get the input stream.
- * @param yyscanner The scanner object.
- */
-FILE *yyget_in  (yyscan_t yyscanner)
-{
-    struct yyguts_t * yyg = (struct yyguts_t*)yyscanner;
-    return yyin;
-}
-
-/** Get the output stream.
- * @param yyscanner The scanner object.
- */
-FILE *yyget_out  (yyscan_t yyscanner)
-{
-    struct yyguts_t * yyg = (struct yyguts_t*)yyscanner;
-    return yyout;
-}
-
-/** Get the length of the current token.
- * @param yyscanner The scanner object.
- */
-int yyget_leng  (yyscan_t yyscanner)
-{
-    struct yyguts_t * yyg = (struct yyguts_t*)yyscanner;
-    return yyleng;
-}
-
-/** Get the current token.
- * @param yyscanner The scanner object.
- */
-
-char *yyget_text  (yyscan_t yyscanner)
-{
-    struct yyguts_t * yyg = (struct yyguts_t*)yyscanner;
-    return yytext;
-}
-
-/** Set the user-defined data. This data is never touched by the scanner.
- * @param user_defined The data to be associated with this scanner.
- * @param yyscanner The scanner object.
- */
-void yyset_extra (YY_EXTRA_TYPE  user_defined , yyscan_t yyscanner)
-{
-    struct yyguts_t * yyg = (struct yyguts_t*)yyscanner;
-    yyextra = user_defined ;
-}
-
-/** Set the current line number.
- * @param line_number
- * @param yyscanner The scanner object.
- */
-void yyset_lineno (int  line_number , yyscan_t yyscanner)
-{
-    struct yyguts_t * yyg = (struct yyguts_t*)yyscanner;
-
-        /* lineno is only valid if an input buffer exists. */
-        if (! YY_CURRENT_BUFFER )
-           yy_fatal_error( "yyset_lineno called with no buffer" , yyscanner); 
-    
-    yylineno = line_number;
-}
-
-/** Set the current column.
- * @param line_number
- * @param yyscanner The scanner object.
- */
-void yyset_column (int  column_no , yyscan_t yyscanner)
-{
-    struct yyguts_t * yyg = (struct yyguts_t*)yyscanner;
-
-        /* column is only valid if an input buffer exists. */
-        if (! YY_CURRENT_BUFFER )
-           yy_fatal_error( "yyset_column called with no buffer" , yyscanner); 
-    
-    yycolumn = column_no;
-}
-
-/** Set the input stream. This does not discard the current
- * input buffer.
- * @param in_str A readable stream.
- * @param yyscanner The scanner object.
- * @see yy_switch_to_buffer
- */
-void yyset_in (FILE *  in_str , yyscan_t yyscanner)
-{
-    struct yyguts_t * yyg = (struct yyguts_t*)yyscanner;
-    yyin = in_str ;
-}
-
-void yyset_out (FILE *  out_str , yyscan_t yyscanner)
-{
-    struct yyguts_t * yyg = (struct yyguts_t*)yyscanner;
-    yyout = out_str ;
-}
-
-int yyget_debug  (yyscan_t yyscanner)
-{
-    struct yyguts_t * yyg = (struct yyguts_t*)yyscanner;
-    return yy_flex_debug;
-}
-
-void yyset_debug (int  bdebug , yyscan_t yyscanner)
-{
-    struct yyguts_t * yyg = (struct yyguts_t*)yyscanner;
-    yy_flex_debug = bdebug ;
-}
-
-/* Accessor methods for yylval and yylloc */
-
-YYSTYPE * yyget_lval  (yyscan_t yyscanner)
-{
-    struct yyguts_t * yyg = (struct yyguts_t*)yyscanner;
-    return yylval;
-}
-
-void yyset_lval (YYSTYPE *  yylval_param , yyscan_t yyscanner)
-{
-    struct yyguts_t * yyg = (struct yyguts_t*)yyscanner;
-    yylval = yylval_param;
-}
-
-/* User-visible API */
-
-/* yylex_init is special because it creates the scanner itself, so it is
- * the ONLY reentrant function that doesn't take the scanner as the last argument.
- * That's why we explicitly handle the declaration, instead of using our macros.
- */
-
-int yylex_init(yyscan_t* ptr_yy_globals)
-
-{
-    if (ptr_yy_globals == NULL){
-        errno = EINVAL;
-        return 1;
-    }
-
-    *ptr_yy_globals = (yyscan_t) yyalloc ( sizeof( struct yyguts_t ), NULL );
-
-    if (*ptr_yy_globals == NULL){
-        errno = ENOMEM;
-        return 1;
-    }
-
-    /* By setting to 0xAA, we expose bugs in yy_init_globals. Leave at 0x00 for releases. */
-    memset(*ptr_yy_globals,0x00,sizeof(struct yyguts_t));
-
-    return yy_init_globals ( *ptr_yy_globals );
-}
-
-/* yylex_init_extra has the same functionality as yylex_init, but follows the
- * convention of taking the scanner as the last argument. Note however, that
- * this is a *pointer* to a scanner, as it will be allocated by this call (and
- * is the reason, too, why this function also must handle its own declaration).
- * The user defined value in the first argument will be available to yyalloc in
- * the yyextra field.
- */
-
-int yylex_init_extra(YY_EXTRA_TYPE yy_user_defined,yyscan_t* ptr_yy_globals )
-
-{
-    struct yyguts_t dummy_yyguts;
-
-    yyset_extra (yy_user_defined, &dummy_yyguts);
-
-    if (ptr_yy_globals == NULL){
-        errno = EINVAL;
-        return 1;
-    }
-	
-    *ptr_yy_globals = (yyscan_t) yyalloc ( sizeof( struct yyguts_t ), &dummy_yyguts );
-	
-    if (*ptr_yy_globals == NULL){
-        errno = ENOMEM;
-        return 1;
-    }
-    
-    /* By setting to 0xAA, we expose bugs in
-    yy_init_globals. Leave at 0x00 for releases. */
-    memset(*ptr_yy_globals,0x00,sizeof(struct yyguts_t));
-    
-    yyset_extra (yy_user_defined, *ptr_yy_globals);
-    
-    return yy_init_globals ( *ptr_yy_globals );
-}
-
-static int yy_init_globals (yyscan_t yyscanner)
-{
-    struct yyguts_t * yyg = (struct yyguts_t*)yyscanner;
-    /* Initialization is the same as for the non-reentrant scanner.
-     * This function is called from yylex_destroy(), so don't allocate here.
-     */
-
-    yyg->yy_buffer_stack = 0;
-    yyg->yy_buffer_stack_top = 0;
-    yyg->yy_buffer_stack_max = 0;
-    yyg->yy_c_buf_p = (char *) 0;
-    yyg->yy_init = 0;
-    yyg->yy_start = 0;
-
-    yyg->yy_start_stack_ptr = 0;
-    yyg->yy_start_stack_depth = 0;
-    yyg->yy_start_stack =  NULL;
-
-/* Defined in main.c */
-#ifdef YY_STDINIT
-    yyin = stdin;
-    yyout = stdout;
-#else
-    yyin = (FILE *) 0;
-    yyout = (FILE *) 0;
-#endif
-
-    /* For future reference: Set errno on error, since we are called by
-     * yylex_init()
-     */
-    return 0;
-}
-
-/* yylex_destroy is for both reentrant and non-reentrant scanners. */
-int yylex_destroy  (yyscan_t yyscanner)
-{
-    struct yyguts_t * yyg = (struct yyguts_t*)yyscanner;
-
-    /* Pop the buffer stack, destroying each element. */
-	while(YY_CURRENT_BUFFER){
-		yy_delete_buffer(YY_CURRENT_BUFFER ,yyscanner );
-		YY_CURRENT_BUFFER_LVALUE = NULL;
-		yypop_buffer_state(yyscanner);
-	}
-
-	/* Destroy the stack itself. */
-	yyfree(yyg->yy_buffer_stack ,yyscanner);
-	yyg->yy_buffer_stack = NULL;
-
-    /* Destroy the start condition stack. */
-        yyfree(yyg->yy_start_stack ,yyscanner );
-        yyg->yy_start_stack = NULL;
-
-    /* Reset the globals. This is important in a non-reentrant scanner so the next time
-     * yylex() is called, initialization will occur. */
-    yy_init_globals( yyscanner);
-
-    /* Destroy the main struct (reentrant only). */
-    yyfree ( yyscanner , yyscanner );
-    yyscanner = NULL;
-    return 0;
-}
-
-/*
- * Internal utility routines.
- */
-
-#ifndef yytext_ptr
-static void yy_flex_strncpy (char* s1, yyconst char * s2, int n , yyscan_t yyscanner)
-{
-	register int i;
-	for ( i = 0; i < n; ++i )
-		s1[i] = s2[i];
-}
-#endif
-
-#ifdef YY_NEED_STRLEN
-static int yy_flex_strlen (yyconst char * s , yyscan_t yyscanner)
-{
-	register int n;
-	for ( n = 0; s[n]; ++n )
-		;
-
-	return n;
-}
-#endif
-
-void *yyalloc (yy_size_t  size , yyscan_t yyscanner)
-{
-	return (void *) malloc( size );
-}
-
-void *yyrealloc  (void * ptr, yy_size_t  size , yyscan_t yyscanner)
-{
-	/* The cast to (char *) in the following accommodates both
-	 * implementations that use char* generic pointers, and those
-	 * that use void* generic pointers.  It works with the latter
-	 * because both ANSI C and C++ allow castless assignment from
-	 * any pointer type to void*, and deal with argument conversions
-	 * as though doing an assignment.
-	 */
-	return (void *) realloc( (char *) ptr, size );
-}
-
-void yyfree (void * ptr , yyscan_t yyscanner)
-{
-	free( (char *) ptr );	/* see yyrealloc() for (char *) cast */
-}
-
-#define YYTABLES_NAME "yytables"
-
-#line 123 "lexer.lxx"
-
-
-int yy_input_proc(char* buf, int size, yyscan_t yyscanner) {
-  FlatZinc::ParserState* parm = 
-    static_cast<FlatZinc::ParserState*>(yyget_extra(yyscanner));
-  return parm->fillBuffer(buf, size);
-  // work around warning that yyunput is unused
-  yyunput (0,buf,yyscanner);
-}
-
@@ -1,3441 +0,0 @@
-/* A Bison parser, made by GNU Bison 2.3.  */
-
-/* Skeleton implementation for Bison's Yacc-like parsers in C
-
-   Copyright (C) 1984, 1989, 1990, 2000, 2001, 2002, 2003, 2004, 2005, 2006
-   Free Software Foundation, Inc.
-
-   This program is free software; you can redistribute it and/or modify
-   it under the terms of the GNU General Public License as published by
-   the Free Software Foundation; either version 2, or (at your option)
-   any later version.
-
-   This program is distributed in the hope that it will be useful,
-   but WITHOUT ANY WARRANTY; without even the implied warranty of
-   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
-   GNU General Public License for more details.
-
-   You should have received a copy of the GNU General Public License
-   along with this program; if not, write to the Free Software
-   Foundation, Inc., 51 Franklin Street, Fifth Floor,
-   Boston, MA 02110-1301, USA.  */
-
-/* As a special exception, you may create a larger work that contains
-   part or all of the Bison parser skeleton and distribute that work
-   under terms of your choice, so long as that work isn't itself a
-   parser generator using the skeleton or a modified version thereof
-   as a parser skeleton.  Alternatively, if you modify or redistribute
-   the parser skeleton itself, you may (at your option) remove this
-   special exception, which will cause the skeleton and the resulting
-   Bison output files to be licensed under the GNU General Public
-   License without this special exception.
-
-   This special exception was added by the Free Software Foundation in
-   version 2.2 of Bison.  */
-
-/* C LALR(1) parser skeleton written by Richard Stallman, by
-   simplifying the original so-called "semantic" parser.  */
-
-/* All symbols defined below should begin with yy or YY, to avoid
-   infringing on user name space.  This should be done even for local
-   variables, as they might otherwise be expanded by user macros.
-   There are some unavoidable exceptions within include files to
-   define necessary library symbols; they are noted "INFRINGES ON
-   USER NAME SPACE" below.  */
-
-/* Identify Bison output.  */
-#define YYBISON 1
-
-/* Bison version.  */
-#define YYBISON_VERSION "2.3"
-
-/* Skeleton name.  */
-#define YYSKELETON_NAME "yacc.c"
-
-/* Pure parsers.  */
-#define YYPURE 1
-
-/* Using locations.  */
-#define YYLSP_NEEDED 0
-
-
-
-/* Tokens.  */
-#ifndef YYTOKENTYPE
-# define YYTOKENTYPE
-   /* Put the tokens into the symbol table, so that GDB and other debuggers
-      know about them.  */
-   enum yytokentype {
-     FZ_INT_LIT = 258,
-     FZ_BOOL_LIT = 259,
-     FZ_FLOAT_LIT = 260,
-     FZ_ID = 261,
-     FZ_U_ID = 262,
-     FZ_STRING_LIT = 263,
-     FZ_VAR = 264,
-     FZ_PAR = 265,
-     FZ_ANNOTATION = 266,
-     FZ_ANY = 267,
-     FZ_ARRAY = 268,
-     FZ_BOOL = 269,
-     FZ_CASE = 270,
-     FZ_COLONCOLON = 271,
-     FZ_CONSTRAINT = 272,
-     FZ_DEFAULT = 273,
-     FZ_DOTDOT = 274,
-     FZ_ELSE = 275,
-     FZ_ELSEIF = 276,
-     FZ_ENDIF = 277,
-     FZ_ENUM = 278,
-     FZ_FLOAT = 279,
-     FZ_FUNCTION = 280,
-     FZ_IF = 281,
-     FZ_INCLUDE = 282,
-     FZ_INT = 283,
-     FZ_LET = 284,
-     FZ_MAXIMIZE = 285,
-     FZ_MINIMIZE = 286,
-     FZ_OF = 287,
-     FZ_SATISFY = 288,
-     FZ_OUTPUT = 289,
-     FZ_PREDICATE = 290,
-     FZ_RECORD = 291,
-     FZ_SET = 292,
-     FZ_SHOW = 293,
-     FZ_SHOWCOND = 294,
-     FZ_SOLVE = 295,
-     FZ_STRING = 296,
-     FZ_TEST = 297,
-     FZ_THEN = 298,
-     FZ_TUPLE = 299,
-     FZ_TYPE = 300,
-     FZ_VARIANT_RECORD = 301,
-     FZ_WHERE = 302
-   };
-#endif
-/* Tokens.  */
-#define FZ_INT_LIT 258
-#define FZ_BOOL_LIT 259
-#define FZ_FLOAT_LIT 260
-#define FZ_ID 261
-#define FZ_U_ID 262
-#define FZ_STRING_LIT 263
-#define FZ_VAR 264
-#define FZ_PAR 265
-#define FZ_ANNOTATION 266
-#define FZ_ANY 267
-#define FZ_ARRAY 268
-#define FZ_BOOL 269
-#define FZ_CASE 270
-#define FZ_COLONCOLON 271
-#define FZ_CONSTRAINT 272
-#define FZ_DEFAULT 273
-#define FZ_DOTDOT 274
-#define FZ_ELSE 275
-#define FZ_ELSEIF 276
-#define FZ_ENDIF 277
-#define FZ_ENUM 278
-#define FZ_FLOAT 279
-#define FZ_FUNCTION 280
-#define FZ_IF 281
-#define FZ_INCLUDE 282
-#define FZ_INT 283
-#define FZ_LET 284
-#define FZ_MAXIMIZE 285
-#define FZ_MINIMIZE 286
-#define FZ_OF 287
-#define FZ_SATISFY 288
-#define FZ_OUTPUT 289
-#define FZ_PREDICATE 290
-#define FZ_RECORD 291
-#define FZ_SET 292
-#define FZ_SHOW 293
-#define FZ_SHOWCOND 294
-#define FZ_SOLVE 295
-#define FZ_STRING 296
-#define FZ_TEST 297
-#define FZ_THEN 298
-#define FZ_TUPLE 299
-#define FZ_TYPE 300
-#define FZ_VARIANT_RECORD 301
-#define FZ_WHERE 302
-
-
-
-
-/* Copy the first part of user declarations.  */
-#line 40 "parser.yxx"
-
-#define YYPARSE_PARAM parm
-#define YYLEX_PARAM static_cast<ParserState*>(parm)->yyscanner
-#include "flatzinc.hh"
-#include "parser.hh"
-#include <iostream>
-#include <fstream>
-#include <sstream>
-
-#include <stdio.h>
-#include <stdlib.h>
-#include <fcntl.h>
-#include <unistd.h>
-#include <sys/types.h>
-#include <sys/mman.h>
-#include <sys/stat.h>
-
-using namespace std;
-
-int yyparse(void*);
-int yylex(YYSTYPE*, void* scanner);
-int yylex_init (void** scanner);
-int yylex_destroy (void* scanner);
-int yyget_lineno (void* scanner);
-void yyset_extra (void* user_defined ,void* yyscanner );
-
-extern int yydebug;
-
-using namespace FlatZinc;
-
-void yyerror(void* parm, const char *str) {
-  ParserState* pp = static_cast<ParserState*>(parm);
-  pp->err << "Error: " << str
-          << " in line no. " << yyget_lineno(pp->yyscanner)
-          << std::endl;
-  pp->hadError = true;
-}
-
-void yyassert(ParserState* pp, bool cond, const char* str)
-{
-  if (!cond) {
-    pp->err << "Error: " << str
-            << " in line no. " << yyget_lineno(pp->yyscanner)
-            << std::endl;
-    pp->hadError = true;
-  }
-}
-
-/*
- * The symbol tables
- *
- */
-
-AST::Node* getArrayElement(ParserState* pp, string id, unsigned int offset) {
-  if (offset > 0) {
-    vector<int> tmp;
-    if (pp->intvararrays.get(id, tmp) && offset<=tmp.size())
-      return new AST::IntVar(tmp[offset-1]);
-    if (pp->boolvararrays.get(id, tmp) && offset<=tmp.size())
-      return new AST::BoolVar(tmp[offset-1]);
-    if (pp->setvararrays.get(id, tmp) && offset<=tmp.size())
-      return new AST::SetVar(tmp[offset-1]);
-
-    if (pp->intvalarrays.get(id, tmp) && offset<=tmp.size())
-      return new AST::IntLit(tmp[offset-1]);
-    if (pp->boolvalarrays.get(id, tmp) && offset<=tmp.size())
-      return new AST::BoolLit(tmp[offset-1]);
-    vector<AST::SetLit> tmpS;
-    if (pp->setvalarrays.get(id, tmpS) && offset<=tmpS.size())
-      return new AST::SetLit(tmpS[offset-1]);    
-  }
-
-  pp->err << "Error: array access to " << id << " invalid"
-          << " in line no. "
-          << yyget_lineno(pp->yyscanner) << std::endl;
-  pp->hadError = true;
-  return new AST::IntVar(0); // keep things consistent
-}
-AST::Node* getVarRefArg(ParserState* pp, string id, bool annotation = false) {
-  int tmp;
-  if (pp->intvarTable.get(id, tmp))
-    return new AST::IntVar(tmp);
-  if (pp->boolvarTable.get(id, tmp))
-    return new AST::BoolVar(tmp);
-  if (pp->setvarTable.get(id, tmp))
-    return new AST::SetVar(tmp);
-  if (annotation)
-    return new AST::Atom(id);
-  pp->err << "Error: undefined variable " << id
-          << " in line no. "
-          << yyget_lineno(pp->yyscanner) << std::endl;
-  pp->hadError = true;
-  return new AST::IntVar(0); // keep things consistent
-}
-
-void addDomainConstraint(ParserState* pp, std::string id, AST::Node* var,
-                         Option<AST::SetLit* >& dom) {
-  if (!dom())
-    return;
-  AST::Array* args = new AST::Array(2);
-  args->a[0] = var;
-  args->a[1] = dom.some();
-  pp->domainConstraints.push_back(new ConExpr(id, args));
-}
-
-/*
- * Initialize the root gecode space
- *
- */
-
-void initfg(ParserState* pp) {
-  if (!pp->hadError)
-    pp->fg->init(pp->intvars.size(),
-                 pp->boolvars.size(),
-                 pp->setvars.size());
-
-  for (unsigned int i=0; i<pp->intvars.size(); i++) {
-    if (!pp->hadError) {
-      try {
-        pp->fg->newIntVar(static_cast<IntVarSpec*>(pp->intvars[i].second));
-      } catch (FlatZinc::Error& e) {
-        yyerror(pp, e.toString().c_str());
-      }
-    }
-    if (pp->intvars[i].first[0] != '[') {
-      delete pp->intvars[i].second;
-      pp->intvars[i].second = NULL;
-    }
-  }
-  for (unsigned int i=0; i<pp->boolvars.size(); i++) {
-    if (!pp->hadError) {
-      try {
-        pp->fg->newBoolVar(
-          static_cast<BoolVarSpec*>(pp->boolvars[i].second));
-      } catch (FlatZinc::Error& e) {
-        yyerror(pp, e.toString().c_str());
-      }
-    }
-    if (pp->boolvars[i].first[0] != '[') {
-      delete pp->boolvars[i].second;
-      pp->boolvars[i].second = NULL;
-    }
-  }
-  for (unsigned int i=0; i<pp->setvars.size(); i++) {
-    if (!pp->hadError) {
-      try {
-        pp->fg->newSetVar(static_cast<SetVarSpec*>(pp->setvars[i].second));
-      } catch (FlatZinc::Error& e) {
-        yyerror(pp, e.toString().c_str());
-      }
-    }      
-    if (pp->setvars[i].first[0] != '[') {
-      delete pp->setvars[i].second;
-      pp->setvars[i].second = NULL;
-    }
-  }
-  for (unsigned int i=pp->domainConstraints.size(); i--;) {
-    if (!pp->hadError) {
-      try {
-        assert(pp->domainConstraints[i]->args->a.size() == 2);
-        pp->fg->postConstraint(*pp->domainConstraints[i], NULL);
-        delete pp->domainConstraints[i];
-      } catch (FlatZinc::Error& e) {
-        yyerror(pp, e.toString().c_str());        
-      }
-    }
-  }
-}
-
-void fillPrinter(ParserState& pp, FlatZinc::Printer& p) {
-  p.init(pp.getOutput());
-}
-
-AST::Node* arrayOutput(AST::Call* ann) {
-  AST::Array* a = NULL;
-  
-  if (ann->args->isArray()) {
-    a = ann->args->getArray();
-  } else {
-    a = new AST::Array(ann->args);
-  }
-  
-  std::ostringstream oss;
-  
-  oss << "array" << a->a.size() << "d(";
-  for (unsigned int i=0; i<a->a.size(); i++) {
-    AST::SetLit* s = a->a[i]->getSet();
-    if (s->empty())
-      oss << "{}, ";
-    else if (s->interval)
-      oss << s->min << ".." << s->max << ", ";
-    else {
-      oss << "{";
-      for (unsigned int j=0; j<s->s.size(); j++) {
-        oss << s->s[j];
-        if (j<s->s.size()-1)
-          oss << ",";
-      }
-      oss << "}, ";
-    }
-  }
-
-  if (!ann->args->isArray()) {
-    a->a[0] = NULL;
-    delete a;
-  }
-  return new AST::String(oss.str());
-}
-
-/*
- * The main program
- *
- */
-
-namespace FlatZinc {
-
-  FlatZincModel* parse(const std::string& filename, Printer& p, std::ostream& err,
-                       FlatZincModel* fzs) {
-#ifdef HAVE_MMAP
-    int fd;
-    char* data;
-    struct stat sbuf;
-    fd = open(filename.c_str(), O_RDONLY);
-    if (fd == -1) {
-      err << "Cannot open file " << filename << endl;
-      return NULL;
-    }
-    if (stat(filename.c_str(), &sbuf) == -1) {
-      err << "Cannot stat file " << filename << endl;
-      return NULL;      
-    }
-    data = (char*)mmap((caddr_t)0, sbuf.st_size, PROT_READ, MAP_SHARED, fd,0);
-    if (data == (caddr_t)(-1)) {
-      err << "Cannot mmap file " << filename << endl;
-      return NULL;      
-    }
-
-    if (fzs == NULL) {
-      fzs = new FlatZincModel();
-    }
-    ParserState pp(data, sbuf.st_size, err, fzs);
-#else
-    std::ifstream file;
-    file.open(filename.c_str());
-    if (!file.is_open()) {
-      err << "Cannot open file " << filename << endl;
-      return NULL;
-    }
-    std::string s = string(istreambuf_iterator<char>(file),
-                           istreambuf_iterator<char>());
-    if (fzs == NULL) {
-      fzs = new FlatZincModel();
-    }
-    ParserState pp(s, err, fzs);
-#endif
-    yylex_init(&pp.yyscanner);
-    yyset_extra(&pp, pp.yyscanner);
-    // yydebug = 1;
-    yyparse(&pp);
-    fillPrinter(pp, p);
-    
-    if (pp.yyscanner)
-      yylex_destroy(pp.yyscanner);
-    return pp.hadError ? NULL : pp.fg;
-  }
-
-  FlatZincModel* parse(std::istream& is, Printer& p, std::ostream& err,
-                       FlatZincModel* fzs) {
-    std::string s = string(istreambuf_iterator<char>(is),
-                           istreambuf_iterator<char>());
-
-    if (fzs == NULL) {
-      fzs = new FlatZincModel();
-    }
-    ParserState pp(s, err, fzs);
-    yylex_init(&pp.yyscanner);
-    yyset_extra(&pp, pp.yyscanner);
-    // yydebug = 1;
-    yyparse(&pp);
-    fillPrinter(pp, p);
-    
-    if (pp.yyscanner)
-      yylex_destroy(pp.yyscanner);
-    return pp.hadError ? NULL : pp.fg;
-  }
-
-}
-
-
-
-/* Enabling traces.  */
-#ifndef YYDEBUG
-# define YYDEBUG 1
-#endif
-
-/* Enabling verbose error messages.  */
-#ifdef YYERROR_VERBOSE
-# undef YYERROR_VERBOSE
-# define YYERROR_VERBOSE 1
-#else
-# define YYERROR_VERBOSE 1
-#endif
-
-/* Enabling the token table.  */
-#ifndef YYTOKEN_TABLE
-# define YYTOKEN_TABLE 0
-#endif
-
-#if ! defined YYSTYPE && ! defined YYSTYPE_IS_DECLARED
-typedef union YYSTYPE
-#line 330 "parser.yxx"
-{ int iValue; char* sValue; bool bValue; double dValue;
-         std::vector<int>* setValue;
-         FlatZinc::AST::SetLit* setLit;
-         std::vector<double>* floatSetValue;
-         std::vector<FlatZinc::AST::SetLit>* setValueList;
-         FlatZinc::Option<FlatZinc::AST::SetLit* > oSet;
-         FlatZinc::VarSpec* varSpec;
-         FlatZinc::Option<FlatZinc::AST::Node*> oArg;
-         std::vector<FlatZinc::VarSpec*>* varSpecVec;
-         FlatZinc::Option<std::vector<FlatZinc::VarSpec*>* > oVarSpecVec;
-         FlatZinc::AST::Node* arg;
-         FlatZinc::AST::Array* argVec;
-       }
-/* Line 193 of yacc.c.  */
-#line 494 "parser.tab.cpp"
-	YYSTYPE;
-# define yystype YYSTYPE /* obsolescent; will be withdrawn */
-# define YYSTYPE_IS_DECLARED 1
-# define YYSTYPE_IS_TRIVIAL 1
-#endif
-
-
-
-/* Copy the second part of user declarations.  */
-
-
-/* Line 216 of yacc.c.  */
-#line 507 "parser.tab.cpp"
-
-#ifdef short
-# undef short
-#endif
-
-#ifdef YYTYPE_UINT8
-typedef YYTYPE_UINT8 yytype_uint8;
-#else
-typedef unsigned char yytype_uint8;
-#endif
-
-#ifdef YYTYPE_INT8
-typedef YYTYPE_INT8 yytype_int8;
-#elif (defined __STDC__ || defined __C99__FUNC__ \
-     || defined __cplusplus || defined _MSC_VER)
-typedef signed char yytype_int8;
-#else
-typedef short int yytype_int8;
-#endif
-
-#ifdef YYTYPE_UINT16
-typedef YYTYPE_UINT16 yytype_uint16;
-#else
-typedef unsigned short int yytype_uint16;
-#endif
-
-#ifdef YYTYPE_INT16
-typedef YYTYPE_INT16 yytype_int16;
-#else
-typedef short int yytype_int16;
-#endif
-
-#ifndef YYSIZE_T
-# ifdef __SIZE_TYPE__
-#  define YYSIZE_T __SIZE_TYPE__
-# elif defined size_t
-#  define YYSIZE_T size_t
-# elif ! defined YYSIZE_T && (defined __STDC__ || defined __C99__FUNC__ \
-     || defined __cplusplus || defined _MSC_VER)
-#  include <stddef.h> /* INFRINGES ON USER NAME SPACE */
-#  define YYSIZE_T size_t
-# else
-#  define YYSIZE_T unsigned int
-# endif
-#endif
-
-#define YYSIZE_MAXIMUM ((YYSIZE_T) -1)
-
-#ifndef YY_
-# if defined YYENABLE_NLS && YYENABLE_NLS
-#  if ENABLE_NLS
-#   include <libintl.h> /* INFRINGES ON USER NAME SPACE */
-#   define YY_(msgid) dgettext ("bison-runtime", msgid)
-#  endif
-# endif
-# ifndef YY_
-#  define YY_(msgid) msgid
-# endif
-#endif
-
-/* Suppress unused-variable warnings by "using" E.  */
-#if ! defined lint || defined __GNUC__
-# define YYUSE(e) ((void) (e))
-#else
-# define YYUSE(e) /* empty */
-#endif
-
-/* Identity function, used to suppress warnings about constant conditions.  */
-#ifndef lint
-# define YYID(n) (n)
-#else
-#if (defined __STDC__ || defined __C99__FUNC__ \
-     || defined __cplusplus || defined _MSC_VER)
-static int
-YYID (int i)
-#else
-static int
-YYID (i)
-    int i;
-#endif
-{
-  return i;
-}
-#endif
-
-#if ! defined yyoverflow || YYERROR_VERBOSE
-
-/* The parser invokes alloca or malloc; define the necessary symbols.  */
-
-# ifdef YYSTACK_USE_ALLOCA
-#  if YYSTACK_USE_ALLOCA
-#   ifdef __GNUC__
-#    define YYSTACK_ALLOC __builtin_alloca
-#   elif defined __BUILTIN_VA_ARG_INCR
-#    include <alloca.h> /* INFRINGES ON USER NAME SPACE */
-#   elif defined _AIX
-#    define YYSTACK_ALLOC __alloca
-#   elif defined _MSC_VER
-#    include <malloc.h> /* INFRINGES ON USER NAME SPACE */
-#    define alloca _alloca
-#   else
-#    define YYSTACK_ALLOC alloca
-#    if ! defined _ALLOCA_H && ! defined _STDLIB_H && (defined __STDC__ || defined __C99__FUNC__ \
-     || defined __cplusplus || defined _MSC_VER)
-#     include <stdlib.h> /* INFRINGES ON USER NAME SPACE */
-#     ifndef _STDLIB_H
-#      define _STDLIB_H 1
-#     endif
-#    endif
-#   endif
-#  endif
-# endif
-
-# ifdef YYSTACK_ALLOC
-   /* Pacify GCC's `empty if-body' warning.  */
-#  define YYSTACK_FREE(Ptr) do { /* empty */; } while (YYID (0))
-#  ifndef YYSTACK_ALLOC_MAXIMUM
-    /* The OS might guarantee only one guard page at the bottom of the stack,
-       and a page size can be as small as 4096 bytes.  So we cannot safely
-       invoke alloca (N) if N exceeds 4096.  Use a slightly smaller number
-       to allow for a few compiler-allocated temporary stack slots.  */
-#   define YYSTACK_ALLOC_MAXIMUM 4032 /* reasonable circa 2006 */
-#  endif
-# else
-#  define YYSTACK_ALLOC YYMALLOC
-#  define YYSTACK_FREE YYFREE
-#  ifndef YYSTACK_ALLOC_MAXIMUM
-#   define YYSTACK_ALLOC_MAXIMUM YYSIZE_MAXIMUM
-#  endif
-#  if (defined __cplusplus && ! defined _STDLIB_H \
-       && ! ((defined YYMALLOC || defined malloc) \
-	     && (defined YYFREE || defined free)))
-#   include <stdlib.h> /* INFRINGES ON USER NAME SPACE */
-#   ifndef _STDLIB_H
-#    define _STDLIB_H 1
-#   endif
-#  endif
-#  ifndef YYMALLOC
-#   define YYMALLOC malloc
-#   if ! defined malloc && ! defined _STDLIB_H && (defined __STDC__ || defined __C99__FUNC__ \
-     || defined __cplusplus || defined _MSC_VER)
-void *malloc (YYSIZE_T); /* INFRINGES ON USER NAME SPACE */
-#   endif
-#  endif
-#  ifndef YYFREE
-#   define YYFREE free
-#   if ! defined free && ! defined _STDLIB_H && (defined __STDC__ || defined __C99__FUNC__ \
-     || defined __cplusplus || defined _MSC_VER)
-void free (void *); /* INFRINGES ON USER NAME SPACE */
-#   endif
-#  endif
-# endif
-#endif /* ! defined yyoverflow || YYERROR_VERBOSE */
-
-
-#if (! defined yyoverflow \
-     && (! defined __cplusplus \
-	 || (defined YYSTYPE_IS_TRIVIAL && YYSTYPE_IS_TRIVIAL)))
-
-/* A type that is properly aligned for any stack member.  */
-union yyalloc
-{
-  yytype_int16 yyss;
-  YYSTYPE yyvs;
-  };
-
-/* The size of the maximum gap between one aligned stack and the next.  */
-# define YYSTACK_GAP_MAXIMUM (sizeof (union yyalloc) - 1)
-
-/* The size of an array large to enough to hold all stacks, each with
-   N elements.  */
-# define YYSTACK_BYTES(N) \
-     ((N) * (sizeof (yytype_int16) + sizeof (YYSTYPE)) \
-      + YYSTACK_GAP_MAXIMUM)
-
-/* Copy COUNT objects from FROM to TO.  The source and destination do
-   not overlap.  */
-# ifndef YYCOPY
-#  if defined __GNUC__ && 1 < __GNUC__
-#   define YYCOPY(To, From, Count) \
-      __builtin_memcpy (To, From, (Count) * sizeof (*(From)))
-#  else
-#   define YYCOPY(To, From, Count)		\
-      do					\
-	{					\
-	  YYSIZE_T yyi;				\
-	  for (yyi = 0; yyi < (Count); yyi++)	\
-	    (To)[yyi] = (From)[yyi];		\
-	}					\
-      while (YYID (0))
-#  endif
-# endif
-
-/* Relocate STACK from its old location to the new one.  The
-   local variables YYSIZE and YYSTACKSIZE give the old and new number of
-   elements in the stack, and YYPTR gives the new location of the
-   stack.  Advance YYPTR to a properly aligned location for the next
-   stack.  */
-# define YYSTACK_RELOCATE(Stack)					\
-    do									\
-      {									\
-	YYSIZE_T yynewbytes;						\
-	YYCOPY (&yyptr->Stack, Stack, yysize);				\
-	Stack = &yyptr->Stack;						\
-	yynewbytes = yystacksize * sizeof (*Stack) + YYSTACK_GAP_MAXIMUM; \
-	yyptr += yynewbytes / sizeof (*yyptr);				\
-      }									\
-    while (YYID (0))
-
-#endif
-
-/* YYFINAL -- State number of the termination state.  */
-#define YYFINAL  7
-/* YYLAST -- Last index in YYTABLE.  */
-#define YYLAST   337
-
-/* YYNTOKENS -- Number of terminals.  */
-#define YYNTOKENS  58
-/* YYNNTS -- Number of nonterminals.  */
-#define YYNNTS  67
-/* YYNRULES -- Number of rules.  */
-#define YYNRULES  156
-/* YYNRULES -- Number of states.  */
-#define YYNSTATES  336
-
-/* YYTRANSLATE(YYLEX) -- Bison symbol number corresponding to YYLEX.  */
-#define YYUNDEFTOK  2
-#define YYMAXUTOK   302
-
-#define YYTRANSLATE(YYX)						\
-  ((unsigned int) (YYX) <= YYMAXUTOK ? yytranslate[YYX] : YYUNDEFTOK)
-
-/* YYTRANSLATE[YYLEX] -- Bison symbol number corresponding to YYLEX.  */
-static const yytype_uint8 yytranslate[] =
-{
-       0,     2,     2,     2,     2,     2,     2,     2,     2,     2,
-       2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
-       2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
-       2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
-      49,    50,     2,     2,    51,     2,     2,     2,     2,     2,
-       2,     2,     2,     2,     2,     2,     2,     2,    52,    48,
-       2,    55,     2,     2,     2,     2,     2,     2,     2,     2,
-       2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
-       2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
-       2,    53,     2,    54,     2,     2,     2,     2,     2,     2,
-       2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
-       2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
-       2,     2,     2,    56,     2,    57,     2,     2,     2,     2,
-       2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
-       2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
-       2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
-       2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
-       2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
-       2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
-       2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
-       2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
-       2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
-       2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
-       2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
-       2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
-       2,     2,     2,     2,     2,     2,     1,     2,     3,     4,
-       5,     6,     7,     8,     9,    10,    11,    12,    13,    14,
-      15,    16,    17,    18,    19,    20,    21,    22,    23,    24,
-      25,    26,    27,    28,    29,    30,    31,    32,    33,    34,
-      35,    36,    37,    38,    39,    40,    41,    42,    43,    44,
-      45,    46,    47
-};
-
-#if YYDEBUG
-/* YYPRHS[YYN] -- Index of the first RHS symbol of rule number YYN in
-   YYRHS.  */
-static const yytype_uint16 yyprhs[] =
-{
-       0,     0,     3,     9,    10,    12,    15,    19,    20,    22,
-      25,    29,    30,    32,    35,    39,    45,    46,    49,    51,
-      55,    59,    66,    74,    77,    79,    81,    85,    87,    89,
-      91,    95,    97,   101,   103,   105,   112,   119,   126,   135,
-     142,   149,   158,   172,   186,   200,   216,   232,   248,   264,
-     282,   284,   286,   291,   292,   295,   297,   301,   302,   304,
-     308,   310,   312,   317,   318,   321,   323,   327,   331,   333,
-     335,   340,   341,   344,   346,   350,   354,   356,   358,   363,
-     364,   367,   369,   373,   377,   378,   381,   382,   385,   386,
-     389,   390,   393,   400,   404,   409,   411,   415,   419,   421,
-     426,   428,   433,   437,   441,   442,   445,   447,   451,   452,
-     455,   457,   461,   462,   465,   467,   471,   472,   475,   477,
-     481,   483,   487,   489,   493,   494,   497,   499,   501,   503,
-     505,   507,   512,   513,   516,   518,   522,   524,   529,   531,
-     533,   534,   536,   539,   543,   548,   550,   552,   556,   558,
-     562,   564,   566,   568,   570,   572,   577
-};
-
-/* YYRHS -- A `-1'-separated list of the rules' RHS.  */
-static const yytype_int8 yyrhs[] =
-{
-      59,     0,    -1,    60,    62,    64,    98,    48,    -1,    -1,
-      61,    -1,    66,    48,    -1,    61,    66,    48,    -1,    -1,
-      63,    -1,    75,    48,    -1,    63,    75,    48,    -1,    -1,
-      65,    -1,    97,    48,    -1,    65,    97,    48,    -1,    35,
-       6,    49,    67,    50,    -1,    -1,    68,    79,    -1,    69,
-      -1,    68,    51,    69,    -1,    70,    52,     6,    -1,    13,
-      53,    72,    54,    32,    71,    -1,    13,    53,    72,    54,
-      32,     9,    71,    -1,     9,    71,    -1,    71,    -1,    99,
-      -1,    37,    32,    99,    -1,    14,    -1,    24,    -1,    73,
-      -1,    72,    51,    73,    -1,    28,    -1,     3,    19,     3,
-      -1,     6,    -1,     7,    -1,     9,    99,    52,    74,   119,
-     113,    -1,     9,   100,    52,    74,   119,   113,    -1,     9,
-     101,    52,    74,   119,   113,    -1,     9,    37,    32,    99,
-      52,    74,   119,   113,    -1,    28,    52,    74,   119,    55,
-     114,    -1,    14,    52,    74,   119,    55,   114,    -1,    37,
-      32,    28,    52,    74,   119,    55,   114,    -1,    13,    53,
-       3,    19,     3,    54,    32,     9,    99,    52,    74,   119,
-      93,    -1,    13,    53,     3,    19,     3,    54,    32,     9,
-     100,    52,    74,   119,    94,    -1,    13,    53,     3,    19,
-       3,    54,    32,     9,   101,    52,    74,   119,    95,    -1,
-      13,    53,     3,    19,     3,    54,    32,     9,    37,    32,
-      99,    52,    74,   119,    96,    -1,    13,    53,     3,    19,
-       3,    54,    32,    28,    52,    74,   119,    55,    53,   103,
-      54,    -1,    13,    53,     3,    19,     3,    54,    32,    14,
-      52,    74,   119,    55,    53,   105,    54,    -1,    13,    53,
-       3,    19,     3,    54,    32,    24,    52,    74,   119,    55,
-      53,   107,    54,    -1,    13,    53,     3,    19,     3,    54,
-      32,    37,    32,    28,    52,    74,   119,    55,    53,   109,
-      54,    -1,     3,    -1,    74,    -1,    74,    53,     3,    54,
-      -1,    -1,    78,    79,    -1,    76,    -1,    78,    51,    76,
-      -1,    -1,    51,    -1,    53,    77,    54,    -1,     5,    -1,
-      74,    -1,    74,    53,     3,    54,    -1,    -1,    83,    79,
-      -1,    81,    -1,    83,    51,    81,    -1,    53,    82,    54,
-      -1,     4,    -1,    74,    -1,    74,    53,     3,    54,    -1,
-      -1,    87,    79,    -1,    85,    -1,    87,    51,    85,    -1,
-      53,    86,    54,    -1,   102,    -1,    74,    -1,    74,    53,
-       3,    54,    -1,    -1,    91,    79,    -1,    89,    -1,    91,
-      51,    89,    -1,    53,    90,    54,    -1,    -1,    55,    80,
-      -1,    -1,    55,    88,    -1,    -1,    55,    84,    -1,    -1,
-      55,    92,    -1,    17,     6,    49,   111,    50,   119,    -1,
-      40,   119,    33,    -1,    40,   119,   118,   117,    -1,    28,
-      -1,    56,   103,    57,    -1,     3,    19,     3,    -1,    14,
-      -1,    56,   106,    79,    57,    -1,    24,    -1,    56,   108,
-      79,    57,    -1,    56,   103,    57,    -1,     3,    19,     3,
-      -1,    -1,   104,    79,    -1,     3,    -1,   104,    51,     3,
-      -1,    -1,   106,    79,    -1,     4,    -1,   106,    51,     4,
-      -1,    -1,   108,    79,    -1,     5,    -1,   108,    51,     5,
-      -1,    -1,   110,    79,    -1,   102,    -1,   110,    51,   102,
-      -1,   112,    -1,   111,    51,   112,    -1,   114,    -1,    53,
-     115,    54,    -1,    -1,    55,   114,    -1,     4,    -1,     3,
-      -1,     5,    -1,   102,    -1,    74,    -1,    74,    53,   114,
-      54,    -1,    -1,   116,    79,    -1,   114,    -1,   116,    51,
-     114,    -1,    74,    -1,    74,    53,     3,    54,    -1,    31,
-      -1,    30,    -1,    -1,   120,    -1,    16,   121,    -1,   120,
-      16,   121,    -1,     6,    49,   122,    50,    -1,   123,    -1,
-     121,    -1,   122,    51,   121,    -1,   124,    -1,    53,   122,
-      54,    -1,     4,    -1,     3,    -1,     5,    -1,   102,    -1,
-      74,    -1,    74,    53,   124,    54,    -1,     8,    -1
-};
-
-/* YYRLINE[YYN] -- source line where rule number YYN was defined.  */
-static const yytype_uint16 yyrline[] =
-{
-       0,   430,   430,   432,   434,   437,   438,   442,   443,   447,
-     448,   450,   452,   455,   456,   463,   465,   467,   470,   471,
-     474,   477,   478,   479,   480,   483,   484,   485,   486,   489,
-     490,   493,   494,   500,   500,   503,   532,   561,   566,   596,
-     603,   610,   619,   678,   730,   737,   794,   807,   820,   827,
-     841,   845,   860,   884,   885,   889,   891,   894,   894,   896,
-     900,   902,   917,   941,   942,   946,   948,   952,   956,   958,
-     973,   997,   998,  1002,  1004,  1007,  1010,  1012,  1027,  1051,
-    1052,  1056,  1058,  1061,  1066,  1067,  1072,  1073,  1078,  1079,
-    1084,  1085,  1089,  1103,  1116,  1138,  1140,  1142,  1148,  1150,
-    1163,  1164,  1171,  1173,  1180,  1181,  1185,  1187,  1192,  1193,
-    1197,  1199,  1204,  1205,  1209,  1211,  1216,  1217,  1221,  1223,
-    1231,  1233,  1237,  1239,  1244,  1245,  1249,  1251,  1253,  1255,
-    1257,  1306,  1320,  1321,  1325,  1327,  1335,  1346,  1368,  1369,
-    1377,  1378,  1382,  1384,  1388,  1392,  1396,  1398,  1402,  1404,
-    1408,  1410,  1412,  1414,  1416,  1459,  1470
-};
-#endif
-
-#if YYDEBUG || YYERROR_VERBOSE || YYTOKEN_TABLE
-/* YYTNAME[SYMBOL-NUM] -- String name of the symbol SYMBOL-NUM.
-   First, the terminals, then, starting at YYNTOKENS, nonterminals.  */
-static const char *const yytname[] =
-{
-  "$end", "error", "$undefined", "FZ_INT_LIT", "FZ_BOOL_LIT",
-  "FZ_FLOAT_LIT", "FZ_ID", "FZ_U_ID", "FZ_STRING_LIT", "FZ_VAR", "FZ_PAR",
-  "FZ_ANNOTATION", "FZ_ANY", "FZ_ARRAY", "FZ_BOOL", "FZ_CASE",
-  "FZ_COLONCOLON", "FZ_CONSTRAINT", "FZ_DEFAULT", "FZ_DOTDOT", "FZ_ELSE",
-  "FZ_ELSEIF", "FZ_ENDIF", "FZ_ENUM", "FZ_FLOAT", "FZ_FUNCTION", "FZ_IF",
-  "FZ_INCLUDE", "FZ_INT", "FZ_LET", "FZ_MAXIMIZE", "FZ_MINIMIZE", "FZ_OF",
-  "FZ_SATISFY", "FZ_OUTPUT", "FZ_PREDICATE", "FZ_RECORD", "FZ_SET",
-  "FZ_SHOW", "FZ_SHOWCOND", "FZ_SOLVE", "FZ_STRING", "FZ_TEST", "FZ_THEN",
-  "FZ_TUPLE", "FZ_TYPE", "FZ_VARIANT_RECORD", "FZ_WHERE", "';'", "'('",
-  "')'", "','", "':'", "'['", "']'", "'='", "'{'", "'}'", "$accept",
-  "model", "preddecl_items", "preddecl_items_head", "vardecl_items",
-  "vardecl_items_head", "constraint_items", "constraint_items_head",
-  "preddecl_item", "pred_arg_list", "pred_arg_list_head", "pred_arg",
-  "pred_arg_type", "pred_arg_simple_type", "pred_array_init",
-  "pred_array_init_arg", "var_par_id", "vardecl_item", "int_init",
-  "int_init_list", "int_init_list_head", "list_tail",
-  "int_var_array_literal", "float_init", "float_init_list",
-  "float_init_list_head", "float_var_array_literal", "bool_init",
-  "bool_init_list", "bool_init_list_head", "bool_var_array_literal",
-  "set_init", "set_init_list", "set_init_list_head",
-  "set_var_array_literal", "vardecl_int_var_array_init",
-  "vardecl_bool_var_array_init", "vardecl_float_var_array_init",
-  "vardecl_set_var_array_init", "constraint_item", "solve_item",
-  "int_ti_expr_tail", "bool_ti_expr_tail", "float_ti_expr_tail",
-  "set_literal", "int_list", "int_list_head", "bool_list",
-  "bool_list_head", "float_list", "float_list_head", "set_literal_list",
-  "set_literal_list_head", "flat_expr_list", "flat_expr",
-  "non_array_expr_opt", "non_array_expr", "non_array_expr_list",
-  "non_array_expr_list_head", "solve_expr", "minmax", "annotations",
-  "annotations_head", "annotation", "annotation_list", "annotation_expr",
-  "ann_non_array_expr", 0
-};
-#endif
-
-# ifdef YYPRINT
-/* YYTOKNUM[YYLEX-NUM] -- Internal token number corresponding to
-   token YYLEX-NUM.  */
-static const yytype_uint16 yytoknum[] =
-{
-       0,   256,   257,   258,   259,   260,   261,   262,   263,   264,
-     265,   266,   267,   268,   269,   270,   271,   272,   273,   274,
-     275,   276,   277,   278,   279,   280,   281,   282,   283,   284,
-     285,   286,   287,   288,   289,   290,   291,   292,   293,   294,
-     295,   296,   297,   298,   299,   300,   301,   302,    59,    40,
-      41,    44,    58,    91,    93,    61,   123,   125
-};
-# endif
-
-/* YYR1[YYN] -- Symbol number of symbol that rule YYN derives.  */
-static const yytype_uint8 yyr1[] =
-{
-       0,    58,    59,    60,    60,    61,    61,    62,    62,    63,
-      63,    64,    64,    65,    65,    66,    67,    67,    68,    68,
-      69,    70,    70,    70,    70,    71,    71,    71,    71,    72,
-      72,    73,    73,    74,    74,    75,    75,    75,    75,    75,
-      75,    75,    75,    75,    75,    75,    75,    75,    75,    75,
-      76,    76,    76,    77,    77,    78,    78,    79,    79,    80,
-      81,    81,    81,    82,    82,    83,    83,    84,    85,    85,
-      85,    86,    86,    87,    87,    88,    89,    89,    89,    90,
-      90,    91,    91,    92,    93,    93,    94,    94,    95,    95,
-      96,    96,    97,    98,    98,    99,    99,    99,   100,   100,
-     101,   101,   102,   102,   103,   103,   104,   104,   105,   105,
-     106,   106,   107,   107,   108,   108,   109,   109,   110,   110,
-     111,   111,   112,   112,   113,   113,   114,   114,   114,   114,
-     114,   114,   115,   115,   116,   116,   117,   117,   118,   118,
-     119,   119,   120,   120,   121,   121,   122,   122,   123,   123,
-     124,   124,   124,   124,   124,   124,   124
-};
-
-/* YYR2[YYN] -- Number of symbols composing right hand side of rule YYN.  */
-static const yytype_uint8 yyr2[] =
-{
-       0,     2,     5,     0,     1,     2,     3,     0,     1,     2,
-       3,     0,     1,     2,     3,     5,     0,     2,     1,     3,
-       3,     6,     7,     2,     1,     1,     3,     1,     1,     1,
-       3,     1,     3,     1,     1,     6,     6,     6,     8,     6,
-       6,     8,    13,    13,    13,    15,    15,    15,    15,    17,
-       1,     1,     4,     0,     2,     1,     3,     0,     1,     3,
-       1,     1,     4,     0,     2,     1,     3,     3,     1,     1,
-       4,     0,     2,     1,     3,     3,     1,     1,     4,     0,
-       2,     1,     3,     3,     0,     2,     0,     2,     0,     2,
-       0,     2,     6,     3,     4,     1,     3,     3,     1,     4,
-       1,     4,     3,     3,     0,     2,     1,     3,     0,     2,
-       1,     3,     0,     2,     1,     3,     0,     2,     1,     3,
-       1,     3,     1,     3,     0,     2,     1,     1,     1,     1,
-       1,     4,     0,     2,     1,     3,     1,     4,     1,     1,
-       0,     1,     2,     3,     4,     1,     1,     3,     1,     3,
-       1,     1,     1,     1,     1,     4,     1
-};
-
-/* YYDEFACT[STATE-NAME] -- Default rule to reduce with in state
-   STATE-NUM when YYTABLE doesn't specify something else to do.  Zero
-   means the default is an error.  */
-static const yytype_uint8 yydefact[] =
-{
-       3,     0,     0,     7,     4,     0,     0,     1,     0,     0,
-       0,     0,     0,    11,     8,     0,     0,     5,    16,     0,
-      98,   100,    95,     0,   104,     0,     0,     0,     0,     0,
-       0,     0,     0,     0,    12,     0,     0,     9,     6,     0,
-       0,    27,    28,     0,   104,     0,    57,    18,     0,    24,
-      25,     0,     0,   106,   110,   114,     0,    57,    57,    57,
-       0,     0,     0,     0,    33,    34,   140,   140,     0,     0,
-     140,     0,     0,    13,    10,    23,     0,     0,    15,    58,
-      17,     0,    97,     0,    96,    58,   105,    58,     0,    58,
-       0,   140,   140,   140,     0,     0,     0,   141,     0,     0,
-       0,     0,     2,    14,     0,    31,     0,    29,    26,    19,
-      20,     0,   107,   111,    99,   115,   101,   124,   124,   124,
-       0,   151,   150,   152,    33,   156,     0,   104,   154,   153,
-     142,   145,   148,     0,     0,     0,   140,   127,   126,   128,
-     132,   130,   129,     0,   120,   122,   139,   138,    93,     0,
-       0,     0,     0,   140,     0,    35,    36,    37,     0,     0,
-       0,   146,     0,     0,     0,    40,   143,    39,     0,   134,
-       0,    57,     0,   140,     0,   136,    94,    32,    30,     0,
-     124,   125,     0,   103,     0,     0,   149,   102,     0,     0,
-     123,    58,   133,     0,    92,   121,     0,     0,    21,    38,
-       0,     0,     0,     0,     0,   144,   147,   155,    41,   135,
-     131,     0,    22,     0,     0,     0,     0,     0,     0,     0,
-       0,   137,     0,     0,     0,     0,   140,   140,   140,     0,
-       0,   140,   140,   140,     0,     0,     0,     0,     0,    84,
-      86,    88,     0,     0,     0,   140,   140,     0,    42,     0,
-      43,     0,    44,   108,   112,   104,     0,    90,    53,    85,
-      71,    87,    63,    89,     0,    57,     0,    57,     0,     0,
-       0,    45,    50,    51,    55,     0,    57,    68,    69,    73,
-       0,    57,    60,    61,    65,     0,    57,    47,   109,    48,
-     113,    46,   116,    79,    91,     0,    59,    58,    54,     0,
-      75,    58,    72,     0,    67,    58,    64,     0,   118,     0,
-      57,    77,    81,     0,    57,    76,     0,    56,     0,    74,
-       0,    66,    49,    58,   117,     0,    83,    58,    80,    52,
-      70,    62,   119,     0,    82,    78
-};
-
-/* YYDEFGOTO[NTERM-NUM].  */
-static const yytype_int16 yydefgoto[] =
-{
-      -1,     2,     3,     4,    13,    14,    33,    34,     5,    45,
-      46,    47,    48,    49,   106,   107,   141,    15,   274,   275,
-     276,    80,   259,   284,   285,   286,   263,   279,   280,   281,
-     261,   312,   313,   314,   294,   248,   250,   252,   271,    35,
-      71,    50,    26,    27,   142,    56,    57,   264,    58,   266,
-      59,   309,   310,   143,   144,   155,   145,   170,   171,   176,
-     149,    96,    97,   161,   162,   131,   132
-};
-
-/* YYPACT[STATE-NUM] -- Index in YYTABLE of the portion describing
-   STATE-NUM.  */
-#define YYPACT_NINF -120
-static const yytype_int16 yypact[] =
-{
-       0,    34,    46,   101,     0,     1,    12,  -120,    97,    -3,
-      29,    33,    71,    96,   101,    68,    74,  -120,    50,   100,
-    -120,  -120,  -120,    94,    64,    76,    78,    80,   136,    23,
-      23,   112,   151,   119,    96,   113,   114,  -120,  -120,   144,
-     110,  -120,  -120,   132,   163,   117,   118,  -120,   126,  -120,
-    -120,   167,    24,  -120,  -120,  -120,   122,   120,   129,   131,
-      23,    23,    23,   164,  -120,  -120,   168,   168,   133,   137,
-     168,   139,   149,  -120,  -120,  -120,    15,    24,  -120,    50,
-    -120,   186,  -120,   146,  -120,   198,  -120,   201,   150,   209,
-     158,   168,   168,   168,   203,     9,   162,   202,   165,    23,
-      51,    53,  -120,  -120,   200,  -120,   -15,  -120,  -120,  -120,
-    -120,    23,  -120,  -120,  -120,  -120,  -120,   169,   169,   169,
-     174,   204,  -120,  -120,   187,  -120,     9,   163,   182,  -120,
-    -120,  -120,  -120,   170,     9,   170,   168,   204,  -120,  -120,
-     170,   184,  -120,    44,  -120,  -120,  -120,  -120,  -120,    23,
-     236,    15,   208,   168,   170,  -120,  -120,  -120,   210,   238,
-       9,  -120,   -10,   189,    85,  -120,  -120,  -120,   190,  -120,
-     193,   192,   170,   168,    51,   195,  -120,  -120,  -120,   109,
-     169,  -120,    10,  -120,    58,     9,  -120,  -120,   196,   170,
-    -120,   170,  -120,   197,  -120,  -120,   246,   144,  -120,  -120,
-     188,   205,   206,   207,   220,  -120,  -120,  -120,  -120,  -120,
-    -120,   199,  -120,   222,   211,   213,   214,    23,    23,    23,
-     227,  -120,    24,    23,    23,    23,   168,   168,   168,   215,
-     217,   168,   168,   168,   216,   218,   219,    23,    23,   223,
-     224,   225,   228,   229,   233,   168,   168,   234,  -120,   239,
-    -120,   240,  -120,   257,   265,   163,   241,   242,    19,  -120,
-     148,  -120,   138,  -120,   221,   129,   237,   131,   245,   247,
-     248,  -120,  -120,   251,  -120,   252,   226,  -120,   254,  -120,
-     255,   243,  -120,   258,  -120,   256,   244,  -120,  -120,  -120,
-    -120,  -120,    17,    95,  -120,   259,  -120,    19,  -120,   302,
-    -120,   148,  -120,   305,  -120,   138,  -120,   204,  -120,   260,
-     261,   262,  -120,   263,   267,  -120,   266,  -120,   268,  -120,
-     269,  -120,  -120,    17,  -120,   310,  -120,    95,  -120,  -120,
-    -120,  -120,  -120,   270,  -120,  -120
-};
-
-/* YYPGOTO[NTERM-NUM].  */
-static const yytype_int16 yypgoto[] =
-{
-    -120,  -120,  -120,  -120,  -120,  -120,  -120,  -120,   312,  -120,
-    -120,   249,  -120,   -37,  -120,   175,   -29,   307,    22,  -120,
-    -120,   -54,  -120,    20,  -120,  -120,  -120,    26,  -120,  -120,
-    -120,     2,  -120,  -120,  -120,  -120,  -120,  -120,  -120,   296,
-    -120,    -1,   134,   135,   -89,  -119,  -120,  -120,    79,  -120,
-      77,  -120,  -120,  -120,   159,  -108,  -112,  -120,  -120,  -120,
-    -120,    57,  -120,   -86,   176,  -120,   173
-};
-
-/* YYTABLE[YYPACT[STATE-NUM]].  What to do in state STATE-NUM.  If
-   positive, shift that token.  If negative, reduce the rule which
-   number is the opposite.  If zero, do what YYDEFACT says.
-   If YYTABLE_NINF, syntax error.  */
-#define YYTABLE_NINF -1
-static const yytype_uint16 yytable[] =
-{
-      66,    67,    75,    86,    88,    90,   129,    25,   163,   130,
-     156,   157,   121,   122,   123,   124,    65,   125,   104,   200,
-     307,   165,   272,   167,   201,    64,    65,    19,   169,    64,
-      65,    91,    92,    93,   202,     1,   151,   129,   203,   152,
-       6,   185,   181,   105,   186,   129,     7,   204,   166,    17,
-      28,    83,    22,    19,   137,   138,   139,    64,    65,    39,
-     193,    18,   126,    40,    41,   127,   128,    53,    54,    55,
-     136,   129,   199,   127,    42,   129,   108,   208,    22,   209,
-      44,    29,   153,   146,   147,    30,   148,    43,   121,   122,
-     123,    64,    65,   125,   173,   174,   129,   128,   307,   206,
-      19,    64,    65,    31,   140,   128,    44,   127,   205,   185,
-       8,    20,    19,    32,     9,    10,    37,   192,   197,    51,
-     175,    21,    38,    41,    98,    22,    52,   101,    60,    11,
-      61,   128,    62,    42,    23,   128,   268,    22,    12,    63,
-      68,   127,   198,   282,    64,    65,    43,    19,   117,   118,
-     119,   127,   277,    24,    64,    65,   128,    69,    41,    70,
-     212,    73,    74,    76,    77,    44,    53,    78,    42,    79,
-      82,    85,    22,   137,   138,   139,    64,    65,    81,    84,
-      87,    43,    89,    94,    95,    99,   100,   102,   226,   227,
-     228,    19,   110,   168,   231,   232,   233,   103,   111,   214,
-      44,   112,    20,   308,   315,   113,   120,   114,   245,   246,
-     180,   288,    21,   290,   115,   116,    22,   133,   134,   150,
-     135,   230,   298,   159,   154,   213,   127,   302,   158,   273,
-     194,   278,   306,   283,   332,   164,   160,   172,   315,   177,
-     179,   183,   182,   191,    24,   189,   187,   190,   196,   211,
-     207,   210,   220,   221,   222,   229,   324,   217,   218,   219,
-     328,    54,   316,   223,   311,   224,   225,   237,   273,   238,
-      55,   242,   278,   243,   244,   287,   283,   297,   247,   249,
-     251,   253,   254,   234,   235,   236,   255,   258,   239,   240,
-     241,   289,   260,   262,   301,   305,   269,   270,   311,   291,
-     292,   293,   256,   257,   295,   318,   296,   299,   320,   300,
-     304,   303,   323,   333,   322,   325,    16,   326,   327,   317,
-     329,    36,   330,   331,   335,   321,   178,   319,   109,   334,
-      72,   267,   265,   195,   215,   216,   184,   188
-};
-
-static const yytype_uint16 yycheck[] =
-{
-      29,    30,    39,    57,    58,    59,    95,     8,   127,    95,
-     118,   119,     3,     4,     5,     6,     7,     8,     3,     9,
-       3,   133,     3,   135,    14,     6,     7,     3,   140,     6,
-       7,    60,    61,    62,    24,    35,    51,   126,    28,    54,
-       6,    51,   154,    28,    54,   134,     0,    37,   134,    48,
-      53,    52,    28,     3,     3,     4,     5,     6,     7,     9,
-     172,    49,    53,    13,    14,    56,    95,     3,     4,     5,
-      99,   160,   180,    56,    24,   164,    77,   189,    28,   191,
-      56,    52,   111,    30,    31,    52,    33,    37,     3,     4,
-       5,     6,     7,     8,    50,    51,   185,   126,     3,   185,
-       3,     6,     7,    32,    53,   134,    56,    56,    50,    51,
-       9,    14,     3,    17,    13,    14,    48,   171,     9,    19,
-     149,    24,    48,    14,    67,    28,    32,    70,    52,    28,
-      52,   160,    52,    24,    37,   164,   255,    28,    37,     3,
-      28,    56,   179,     5,     6,     7,    37,     3,    91,    92,
-      93,    56,     4,    56,     6,     7,   185,     6,    14,    40,
-     197,    48,    48,    53,    32,    56,     3,    50,    24,    51,
-       3,    51,    28,     3,     4,     5,     6,     7,    52,    57,
-      51,    37,    51,    19,    16,    52,    49,    48,   217,   218,
-     219,     3,     6,   136,   223,   224,   225,    48,    52,   200,
-      56,     3,    14,   292,   293,     4,     3,    57,   237,   238,
-     153,   265,    24,   267,     5,    57,    28,    55,    16,    19,
-      55,   222,   276,    19,    55,    37,    56,   281,    54,   258,
-     173,   260,   286,   262,   323,    53,    49,    53,   327,     3,
-      32,     3,    32,    51,    56,    55,    57,    54,    53,     3,
-      54,    54,    32,    54,    32,    28,   310,    52,    52,    52,
-     314,     4,     3,    52,   293,    52,    52,    52,   297,    52,
-       5,    55,   301,    55,    55,    54,   305,    51,    55,    55,
-      55,    53,    53,   226,   227,   228,    53,    53,   231,   232,
-     233,    54,    53,    53,    51,    51,    55,    55,   327,    54,
-      53,    53,   245,   246,    53,     3,    54,    53,     3,    54,
-      54,    53,    51,     3,    54,    53,     4,    54,    51,   297,
-      54,    14,    54,    54,    54,   305,   151,   301,    79,   327,
-      34,   254,   253,   174,   200,   200,   160,   164
-};
-
-/* YYSTOS[STATE-NUM] -- The (internal number of the) accessing
-   symbol of state STATE-NUM.  */
-static const yytype_uint8 yystos[] =
-{
-       0,    35,    59,    60,    61,    66,     6,     0,     9,    13,
-      14,    28,    37,    62,    63,    75,    66,    48,    49,     3,
-      14,    24,    28,    37,    56,    99,   100,   101,    53,    52,
-      52,    32,    17,    64,    65,    97,    75,    48,    48,     9,
-      13,    14,    24,    37,    56,    67,    68,    69,    70,    71,
-      99,    19,    32,     3,     4,     5,   103,   104,   106,   108,
-      52,    52,    52,     3,     6,     7,    74,    74,    28,     6,
-      40,    98,    97,    48,    48,    71,    53,    32,    50,    51,
-      79,    52,     3,    99,    57,    51,    79,    51,    79,    51,
-      79,    74,    74,    74,    19,    16,   119,   120,   119,    52,
-      49,   119,    48,    48,     3,    28,    72,    73,    99,    69,
-       6,    52,     3,     4,    57,     5,    57,   119,   119,   119,
-       3,     3,     4,     5,     6,     8,    53,    56,    74,   102,
-     121,   123,   124,    55,    16,    55,    74,     3,     4,     5,
-      53,    74,   102,   111,   112,   114,    30,    31,    33,   118,
-      19,    51,    54,    74,    55,   113,   113,   113,    54,    19,
-      49,   121,   122,   103,    53,   114,   121,   114,   119,   114,
-     115,   116,    53,    50,    51,    74,   117,     3,    73,    32,
-     119,   114,    32,     3,   122,    51,    54,    57,   124,    55,
-      54,    51,    79,   114,   119,   112,    53,     9,    71,   113,
-       9,    14,    24,    28,    37,    50,   121,    54,   114,   114,
-      54,     3,    71,    37,    99,   100,   101,    52,    52,    52,
-      32,    54,    32,    52,    52,    52,    74,    74,    74,    28,
-      99,    74,    74,    74,   119,   119,   119,    52,    52,   119,
-     119,   119,    55,    55,    55,    74,    74,    55,    93,    55,
-      94,    55,    95,    53,    53,    53,   119,   119,    53,    80,
-      53,    88,    53,    84,   105,   106,   107,   108,   103,    55,
-      55,    96,     3,    74,    76,    77,    78,     4,    74,    85,
-      86,    87,     5,    74,    81,    82,    83,    54,    79,    54,
-      79,    54,    53,    53,    92,    53,    54,    51,    79,    53,
-      54,    51,    79,    53,    54,    51,    79,     3,   102,   109,
-     110,    74,    89,    90,    91,   102,     3,    76,     3,    85,
-       3,    81,    54,    51,    79,    53,    54,    51,    79,    54,
-      54,    54,   102,     3,    89,    54
-};
-
-#define yyerrok		(yyerrstatus = 0)
-#define yyclearin	(yychar = YYEMPTY)
-#define YYEMPTY		(-2)
-#define YYEOF		0
-
-#define YYACCEPT	goto yyacceptlab
-#define YYABORT		goto yyabortlab
-#define YYERROR		goto yyerrorlab
-
-
-/* Like YYERROR except do call yyerror.  This remains here temporarily
-   to ease the transition to the new meaning of YYERROR, for GCC.
-   Once GCC version 2 has supplanted version 1, this can go.  */
-
-#define YYFAIL		goto yyerrlab
-
-#define YYRECOVERING()  (!!yyerrstatus)
-
-#define YYBACKUP(Token, Value)					\
-do								\
-  if (yychar == YYEMPTY && yylen == 1)				\
-    {								\
-      yychar = (Token);						\
-      yylval = (Value);						\
-      yytoken = YYTRANSLATE (yychar);				\
-      YYPOPSTACK (1);						\
-      goto yybackup;						\
-    }								\
-  else								\
-    {								\
-      yyerror (parm, YY_("syntax error: cannot back up")); \
-      YYERROR;							\
-    }								\
-while (YYID (0))
-
-
-#define YYTERROR	1
-#define YYERRCODE	256
-
-
-/* YYLLOC_DEFAULT -- Set CURRENT to span from RHS[1] to RHS[N].
-   If N is 0, then set CURRENT to the empty location which ends
-   the previous symbol: RHS[0] (always defined).  */
-
-#define YYRHSLOC(Rhs, K) ((Rhs)[K])
-#ifndef YYLLOC_DEFAULT
-# define YYLLOC_DEFAULT(Current, Rhs, N)				\
-    do									\
-      if (YYID (N))                                                    \
-	{								\
-	  (Current).first_line   = YYRHSLOC (Rhs, 1).first_line;	\
-	  (Current).first_column = YYRHSLOC (Rhs, 1).first_column;	\
-	  (Current).last_line    = YYRHSLOC (Rhs, N).last_line;		\
-	  (Current).last_column  = YYRHSLOC (Rhs, N).last_column;	\
-	}								\
-      else								\
-	{								\
-	  (Current).first_line   = (Current).last_line   =		\
-	    YYRHSLOC (Rhs, 0).last_line;				\
-	  (Current).first_column = (Current).last_column =		\
-	    YYRHSLOC (Rhs, 0).last_column;				\
-	}								\
-    while (YYID (0))
-#endif
-
-
-/* YY_LOCATION_PRINT -- Print the location on the stream.
-   This macro was not mandated originally: define only if we know
-   we won't break user code: when these are the locations we know.  */
-
-#ifndef YY_LOCATION_PRINT
-# if defined YYLTYPE_IS_TRIVIAL && YYLTYPE_IS_TRIVIAL
-#  define YY_LOCATION_PRINT(File, Loc)			\
-     fprintf (File, "%d.%d-%d.%d",			\
-	      (Loc).first_line, (Loc).first_column,	\
-	      (Loc).last_line,  (Loc).last_column)
-# else
-#  define YY_LOCATION_PRINT(File, Loc) ((void) 0)
-# endif
-#endif
-
-
-/* YYLEX -- calling `yylex' with the right arguments.  */
-
-#ifdef YYLEX_PARAM
-# define YYLEX yylex (&yylval, YYLEX_PARAM)
-#else
-# define YYLEX yylex (&yylval)
-#endif
-
-/* Enable debugging if requested.  */
-#if YYDEBUG
-
-# ifndef YYFPRINTF
-#  include <stdio.h> /* INFRINGES ON USER NAME SPACE */
-#  define YYFPRINTF fprintf
-# endif
-
-# define YYDPRINTF(Args)			\
-do {						\
-  if (yydebug)					\
-    YYFPRINTF Args;				\
-} while (YYID (0))
-
-# define YY_SYMBOL_PRINT(Title, Type, Value, Location)			  \
-do {									  \
-  if (yydebug)								  \
-    {									  \
-      YYFPRINTF (stderr, "%s ", Title);					  \
-      yy_symbol_print (stderr,						  \
-		  Type, Value, parm); \
-      YYFPRINTF (stderr, "\n");						  \
-    }									  \
-} while (YYID (0))
-
-
-/*--------------------------------.
-| Print this symbol on YYOUTPUT.  |
-`--------------------------------*/
-
-/*ARGSUSED*/
-#if (defined __STDC__ || defined __C99__FUNC__ \
-     || defined __cplusplus || defined _MSC_VER)
-static void
-yy_symbol_value_print (FILE *yyoutput, int yytype, YYSTYPE const * const yyvaluep, void *parm)
-#else
-static void
-yy_symbol_value_print (yyoutput, yytype, yyvaluep, parm)
-    FILE *yyoutput;
-    int yytype;
-    YYSTYPE const * const yyvaluep;
-    void *parm;
-#endif
-{
-  if (!yyvaluep)
-    return;
-  YYUSE (parm);
-# ifdef YYPRINT
-  if (yytype < YYNTOKENS)
-    YYPRINT (yyoutput, yytoknum[yytype], *yyvaluep);
-# else
-  YYUSE (yyoutput);
-# endif
-  switch (yytype)
-    {
-      default:
-	break;
-    }
-}
-
-
-/*--------------------------------.
-| Print this symbol on YYOUTPUT.  |
-`--------------------------------*/
-
-#if (defined __STDC__ || defined __C99__FUNC__ \
-     || defined __cplusplus || defined _MSC_VER)
-static void
-yy_symbol_print (FILE *yyoutput, int yytype, YYSTYPE const * const yyvaluep, void *parm)
-#else
-static void
-yy_symbol_print (yyoutput, yytype, yyvaluep, parm)
-    FILE *yyoutput;
-    int yytype;
-    YYSTYPE const * const yyvaluep;
-    void *parm;
-#endif
-{
-  if (yytype < YYNTOKENS)
-    YYFPRINTF (yyoutput, "token %s (", yytname[yytype]);
-  else
-    YYFPRINTF (yyoutput, "nterm %s (", yytname[yytype]);
-
-  yy_symbol_value_print (yyoutput, yytype, yyvaluep, parm);
-  YYFPRINTF (yyoutput, ")");
-}
-
-/*------------------------------------------------------------------.
-| yy_stack_print -- Print the state stack from its BOTTOM up to its |
-| TOP (included).                                                   |
-`------------------------------------------------------------------*/
-
-#if (defined __STDC__ || defined __C99__FUNC__ \
-     || defined __cplusplus || defined _MSC_VER)
-static void
-yy_stack_print (yytype_int16 *bottom, yytype_int16 *top)
-#else
-static void
-yy_stack_print (bottom, top)
-    yytype_int16 *bottom;
-    yytype_int16 *top;
-#endif
-{
-  YYFPRINTF (stderr, "Stack now");
-  for (; bottom <= top; ++bottom)
-    YYFPRINTF (stderr, " %d", *bottom);
-  YYFPRINTF (stderr, "\n");
-}
-
-# define YY_STACK_PRINT(Bottom, Top)				\
-do {								\
-  if (yydebug)							\
-    yy_stack_print ((Bottom), (Top));				\
-} while (YYID (0))
-
-
-/*------------------------------------------------.
-| Report that the YYRULE is going to be reduced.  |
-`------------------------------------------------*/
-
-#if (defined __STDC__ || defined __C99__FUNC__ \
-     || defined __cplusplus || defined _MSC_VER)
-static void
-yy_reduce_print (YYSTYPE *yyvsp, int yyrule, void *parm)
-#else
-static void
-yy_reduce_print (yyvsp, yyrule, parm)
-    YYSTYPE *yyvsp;
-    int yyrule;
-    void *parm;
-#endif
-{
-  int yynrhs = yyr2[yyrule];
-  int yyi;
-  unsigned long int yylno = yyrline[yyrule];
-  YYFPRINTF (stderr, "Reducing stack by rule %d (line %lu):\n",
-	     yyrule - 1, yylno);
-  /* The symbols being reduced.  */
-  for (yyi = 0; yyi < yynrhs; yyi++)
-    {
-      fprintf (stderr, "   $%d = ", yyi + 1);
-      yy_symbol_print (stderr, yyrhs[yyprhs[yyrule] + yyi],
-		       &(yyvsp[(yyi + 1) - (yynrhs)])
-		       		       , parm);
-      fprintf (stderr, "\n");
-    }
-}
-
-# define YY_REDUCE_PRINT(Rule)		\
-do {					\
-  if (yydebug)				\
-    yy_reduce_print (yyvsp, Rule, parm); \
-} while (YYID (0))
-
-/* Nonzero means print parse trace.  It is left uninitialized so that
-   multiple parsers can coexist.  */
-int yydebug;
-#else /* !YYDEBUG */
-# define YYDPRINTF(Args)
-# define YY_SYMBOL_PRINT(Title, Type, Value, Location)
-# define YY_STACK_PRINT(Bottom, Top)
-# define YY_REDUCE_PRINT(Rule)
-#endif /* !YYDEBUG */
-
-
-/* YYINITDEPTH -- initial size of the parser's stacks.  */
-#ifndef	YYINITDEPTH
-# define YYINITDEPTH 200
-#endif
-
-/* YYMAXDEPTH -- maximum size the stacks can grow to (effective only
-   if the built-in stack extension method is used).
-
-   Do not make this value too large; the results are undefined if
-   YYSTACK_ALLOC_MAXIMUM < YYSTACK_BYTES (YYMAXDEPTH)
-   evaluated with infinite-precision integer arithmetic.  */
-
-#ifndef YYMAXDEPTH
-# define YYMAXDEPTH 10000
-#endif
-
-
-
-#if YYERROR_VERBOSE
-
-# ifndef yystrlen
-#  if defined __GLIBC__ && defined _STRING_H
-#   define yystrlen strlen
-#  else
-/* Return the length of YYSTR.  */
-#if (defined __STDC__ || defined __C99__FUNC__ \
-     || defined __cplusplus || defined _MSC_VER)
-static YYSIZE_T
-yystrlen (const char *yystr)
-#else
-static YYSIZE_T
-yystrlen (yystr)
-    const char *yystr;
-#endif
-{
-  YYSIZE_T yylen;
-  for (yylen = 0; yystr[yylen]; yylen++)
-    continue;
-  return yylen;
-}
-#  endif
-# endif
-
-# ifndef yystpcpy
-#  if defined __GLIBC__ && defined _STRING_H && defined _GNU_SOURCE
-#   define yystpcpy stpcpy
-#  else
-/* Copy YYSRC to YYDEST, returning the address of the terminating '\0' in
-   YYDEST.  */
-#if (defined __STDC__ || defined __C99__FUNC__ \
-     || defined __cplusplus || defined _MSC_VER)
-static char *
-yystpcpy (char *yydest, const char *yysrc)
-#else
-static char *
-yystpcpy (yydest, yysrc)
-    char *yydest;
-    const char *yysrc;
-#endif
-{
-  char *yyd = yydest;
-  const char *yys = yysrc;
-
-  while ((*yyd++ = *yys++) != '\0')
-    continue;
-
-  return yyd - 1;
-}
-#  endif
-# endif
-
-# ifndef yytnamerr
-/* Copy to YYRES the contents of YYSTR after stripping away unnecessary
-   quotes and backslashes, so that it's suitable for yyerror.  The
-   heuristic is that double-quoting is unnecessary unless the string
-   contains an apostrophe, a comma, or backslash (other than
-   backslash-backslash).  YYSTR is taken from yytname.  If YYRES is
-   null, do not copy; instead, return the length of what the result
-   would have been.  */
-static YYSIZE_T
-yytnamerr (char *yyres, const char *yystr)
-{
-  if (*yystr == '"')
-    {
-      YYSIZE_T yyn = 0;
-      char const *yyp = yystr;
-
-      for (;;)
-	switch (*++yyp)
-	  {
-	  case '\'':
-	  case ',':
-	    goto do_not_strip_quotes;
-
-	  case '\\':
-	    if (*++yyp != '\\')
-	      goto do_not_strip_quotes;
-	    /* Fall through.  */
-	  default:
-	    if (yyres)
-	      yyres[yyn] = *yyp;
-	    yyn++;
-	    break;
-
-	  case '"':
-	    if (yyres)
-	      yyres[yyn] = '\0';
-	    return yyn;
-	  }
-    do_not_strip_quotes: ;
-    }
-
-  if (! yyres)
-    return yystrlen (yystr);
-
-  return yystpcpy (yyres, yystr) - yyres;
-}
-# endif
-
-/* Copy into YYRESULT an error message about the unexpected token
-   YYCHAR while in state YYSTATE.  Return the number of bytes copied,
-   including the terminating null byte.  If YYRESULT is null, do not
-   copy anything; just return the number of bytes that would be
-   copied.  As a special case, return 0 if an ordinary "syntax error"
-   message will do.  Return YYSIZE_MAXIMUM if overflow occurs during
-   size calculation.  */
-static YYSIZE_T
-yysyntax_error (char *yyresult, int yystate, int yychar)
-{
-  int yyn = yypact[yystate];
-
-  if (! (YYPACT_NINF < yyn && yyn <= YYLAST))
-    return 0;
-  else
-    {
-      int yytype = YYTRANSLATE (yychar);
-      YYSIZE_T yysize0 = yytnamerr (0, yytname[yytype]);
-      YYSIZE_T yysize = yysize0;
-      YYSIZE_T yysize1;
-      int yysize_overflow = 0;
-      enum { YYERROR_VERBOSE_ARGS_MAXIMUM = 5 };
-      char const *yyarg[YYERROR_VERBOSE_ARGS_MAXIMUM];
-      int yyx;
-
-# if 0
-      /* This is so xgettext sees the translatable formats that are
-	 constructed on the fly.  */
-      YY_("syntax error, unexpected %s");
-      YY_("syntax error, unexpected %s, expecting %s");
-      YY_("syntax error, unexpected %s, expecting %s or %s");
-      YY_("syntax error, unexpected %s, expecting %s or %s or %s");
-      YY_("syntax error, unexpected %s, expecting %s or %s or %s or %s");
-# endif
-      char *yyfmt;
-      char const *yyf;
-      static char const yyunexpected[] = "syntax error, unexpected %s";
-      static char const yyexpecting[] = ", expecting %s";
-      static char const yyor[] = " or %s";
-      char yyformat[sizeof yyunexpected
-		    + sizeof yyexpecting - 1
-		    + ((YYERROR_VERBOSE_ARGS_MAXIMUM - 2)
-		       * (sizeof yyor - 1))];
-      char const *yyprefix = yyexpecting;
-
-      /* Start YYX at -YYN if negative to avoid negative indexes in
-	 YYCHECK.  */
-      int yyxbegin = yyn < 0 ? -yyn : 0;
-
-      /* Stay within bounds of both yycheck and yytname.  */
-      int yychecklim = YYLAST - yyn + 1;
-      int yyxend = yychecklim < YYNTOKENS ? yychecklim : YYNTOKENS;
-      int yycount = 1;
-
-      yyarg[0] = yytname[yytype];
-      yyfmt = yystpcpy (yyformat, yyunexpected);
-
-      for (yyx = yyxbegin; yyx < yyxend; ++yyx)
-	if (yycheck[yyx + yyn] == yyx && yyx != YYTERROR)
-	  {
-	    if (yycount == YYERROR_VERBOSE_ARGS_MAXIMUM)
-	      {
-		yycount = 1;
-		yysize = yysize0;
-		yyformat[sizeof yyunexpected - 1] = '\0';
-		break;
-	      }
-	    yyarg[yycount++] = yytname[yyx];
-	    yysize1 = yysize + yytnamerr (0, yytname[yyx]);
-	    yysize_overflow |= (yysize1 < yysize);
-	    yysize = yysize1;
-	    yyfmt = yystpcpy (yyfmt, yyprefix);
-	    yyprefix = yyor;
-	  }
-
-      yyf = YY_(yyformat);
-      yysize1 = yysize + yystrlen (yyf);
-      yysize_overflow |= (yysize1 < yysize);
-      yysize = yysize1;
-
-      if (yysize_overflow)
-	return YYSIZE_MAXIMUM;
-
-      if (yyresult)
-	{
-	  /* Avoid sprintf, as that infringes on the user's name space.
-	     Don't have undefined behavior even if the translation
-	     produced a string with the wrong number of "%s"s.  */
-	  char *yyp = yyresult;
-	  int yyi = 0;
-	  while ((*yyp = *yyf) != '\0')
-	    {
-	      if (*yyp == '%' && yyf[1] == 's' && yyi < yycount)
-		{
-		  yyp += yytnamerr (yyp, yyarg[yyi++]);
-		  yyf += 2;
-		}
-	      else
-		{
-		  yyp++;
-		  yyf++;
-		}
-	    }
-	}
-      return yysize;
-    }
-}
-#endif /* YYERROR_VERBOSE */
-
-
-/*-----------------------------------------------.
-| Release the memory associated to this symbol.  |
-`-----------------------------------------------*/
-
-/*ARGSUSED*/
-#if (defined __STDC__ || defined __C99__FUNC__ \
-     || defined __cplusplus || defined _MSC_VER)
-static void
-yydestruct (const char *yymsg, int yytype, YYSTYPE *yyvaluep, void *parm)
-#else
-static void
-yydestruct (yymsg, yytype, yyvaluep, parm)
-    const char *yymsg;
-    int yytype;
-    YYSTYPE *yyvaluep;
-    void *parm;
-#endif
-{
-  YYUSE (yyvaluep);
-  YYUSE (parm);
-
-  if (!yymsg)
-    yymsg = "Deleting";
-  YY_SYMBOL_PRINT (yymsg, yytype, yyvaluep, yylocationp);
-
-  switch (yytype)
-    {
-
-      default:
-	break;
-    }
-}
-
-
-/* Prevent warnings from -Wmissing-prototypes.  */
-
-#ifdef YYPARSE_PARAM
-#if defined __STDC__ || defined __cplusplus
-int yyparse (void *YYPARSE_PARAM);
-#else
-int yyparse ();
-#endif
-#else /* ! YYPARSE_PARAM */
-#if defined __STDC__ || defined __cplusplus
-int yyparse (void *parm);
-#else
-int yyparse ();
-#endif
-#endif /* ! YYPARSE_PARAM */
-
-
-
-
-
-
-/*----------.
-| yyparse.  |
-`----------*/
-
-#ifdef YYPARSE_PARAM
-#if (defined __STDC__ || defined __C99__FUNC__ \
-     || defined __cplusplus || defined _MSC_VER)
-int
-yyparse (void *YYPARSE_PARAM)
-#else
-int
-yyparse (YYPARSE_PARAM)
-    void *YYPARSE_PARAM;
-#endif
-#else /* ! YYPARSE_PARAM */
-#if (defined __STDC__ || defined __C99__FUNC__ \
-     || defined __cplusplus || defined _MSC_VER)
-int
-yyparse (void *parm)
-#else
-int
-yyparse (parm)
-    void *parm;
-#endif
-#endif
-{
-  /* The look-ahead symbol.  */
-int yychar;
-
-/* The semantic value of the look-ahead symbol.  */
-YYSTYPE yylval;
-
-/* Number of syntax errors so far.  */
-int yynerrs;
-
-  int yystate;
-  int yyn;
-  int yyresult;
-  /* Number of tokens to shift before error messages enabled.  */
-  int yyerrstatus;
-  /* Look-ahead token as an internal (translated) token number.  */
-  int yytoken = 0;
-#if YYERROR_VERBOSE
-  /* Buffer for error messages, and its allocated size.  */
-  char yymsgbuf[128];
-  char *yymsg = yymsgbuf;
-  YYSIZE_T yymsg_alloc = sizeof yymsgbuf;
-#endif
-
-  /* Three stacks and their tools:
-     `yyss': related to states,
-     `yyvs': related to semantic values,
-     `yyls': related to locations.
-
-     Refer to the stacks thru separate pointers, to allow yyoverflow
-     to reallocate them elsewhere.  */
-
-  /* The state stack.  */
-  yytype_int16 yyssa[YYINITDEPTH];
-  yytype_int16 *yyss = yyssa;
-  yytype_int16 *yyssp;
-
-  /* The semantic value stack.  */
-  YYSTYPE yyvsa[YYINITDEPTH];
-  YYSTYPE *yyvs = yyvsa;
-  YYSTYPE *yyvsp;
-
-
-
-#define YYPOPSTACK(N)   (yyvsp -= (N), yyssp -= (N))
-
-  YYSIZE_T yystacksize = YYINITDEPTH;
-
-  /* The variables used to return semantic value and location from the
-     action routines.  */
-  YYSTYPE yyval;
-
-
-  /* The number of symbols on the RHS of the reduced rule.
-     Keep to zero when no symbol should be popped.  */
-  int yylen = 0;
-
-  YYDPRINTF ((stderr, "Starting parse\n"));
-
-  yystate = 0;
-  yyerrstatus = 0;
-  yynerrs = 0;
-  yychar = YYEMPTY;		/* Cause a token to be read.  */
-
-  /* Initialize stack pointers.
-     Waste one element of value and location stack
-     so that they stay on the same level as the state stack.
-     The wasted elements are never initialized.  */
-
-  yyssp = yyss;
-  yyvsp = yyvs;
-
-  goto yysetstate;
-
-/*------------------------------------------------------------.
-| yynewstate -- Push a new state, which is found in yystate.  |
-`------------------------------------------------------------*/
- yynewstate:
-  /* In all cases, when you get here, the value and location stacks
-     have just been pushed.  So pushing a state here evens the stacks.  */
-  yyssp++;
-
- yysetstate:
-  *yyssp = yystate;
-
-  if (yyss + yystacksize - 1 <= yyssp)
-    {
-      /* Get the current used size of the three stacks, in elements.  */
-      YYSIZE_T yysize = yyssp - yyss + 1;
-
-#ifdef yyoverflow
-      {
-	/* Give user a chance to reallocate the stack.  Use copies of
-	   these so that the &'s don't force the real ones into
-	   memory.  */
-	YYSTYPE *yyvs1 = yyvs;
-	yytype_int16 *yyss1 = yyss;
-
-
-	/* Each stack pointer address is followed by the size of the
-	   data in use in that stack, in bytes.  This used to be a
-	   conditional around just the two extra args, but that might
-	   be undefined if yyoverflow is a macro.  */
-	yyoverflow (YY_("memory exhausted"),
-		    &yyss1, yysize * sizeof (*yyssp),
-		    &yyvs1, yysize * sizeof (*yyvsp),
-
-		    &yystacksize);
-
-	yyss = yyss1;
-	yyvs = yyvs1;
-      }
-#else /* no yyoverflow */
-# ifndef YYSTACK_RELOCATE
-      goto yyexhaustedlab;
-# else
-      /* Extend the stack our own way.  */
-      if (YYMAXDEPTH <= yystacksize)
-	goto yyexhaustedlab;
-      yystacksize *= 2;
-      if (YYMAXDEPTH < yystacksize)
-	yystacksize = YYMAXDEPTH;
-
-      {
-	yytype_int16 *yyss1 = yyss;
-	union yyalloc *yyptr =
-	  (union yyalloc *) YYSTACK_ALLOC (YYSTACK_BYTES (yystacksize));
-	if (! yyptr)
-	  goto yyexhaustedlab;
-	YYSTACK_RELOCATE (yyss);
-	YYSTACK_RELOCATE (yyvs);
-
-#  undef YYSTACK_RELOCATE
-	if (yyss1 != yyssa)
-	  YYSTACK_FREE (yyss1);
-      }
-# endif
-#endif /* no yyoverflow */
-
-      yyssp = yyss + yysize - 1;
-      yyvsp = yyvs + yysize - 1;
-
-
-      YYDPRINTF ((stderr, "Stack size increased to %lu\n",
-		  (unsigned long int) yystacksize));
-
-      if (yyss + yystacksize - 1 <= yyssp)
-	YYABORT;
-    }
-
-  YYDPRINTF ((stderr, "Entering state %d\n", yystate));
-
-  goto yybackup;
-
-/*-----------.
-| yybackup.  |
-`-----------*/
-yybackup:
-
-  /* Do appropriate processing given the current state.  Read a
-     look-ahead token if we need one and don't already have one.  */
-
-  /* First try to decide what to do without reference to look-ahead token.  */
-  yyn = yypact[yystate];
-  if (yyn == YYPACT_NINF)
-    goto yydefault;
-
-  /* Not known => get a look-ahead token if don't already have one.  */
-
-  /* YYCHAR is either YYEMPTY or YYEOF or a valid look-ahead symbol.  */
-  if (yychar == YYEMPTY)
-    {
-      YYDPRINTF ((stderr, "Reading a token: "));
-      yychar = YYLEX;
-    }
-
-  if (yychar <= YYEOF)
-    {
-      yychar = yytoken = YYEOF;
-      YYDPRINTF ((stderr, "Now at end of input.\n"));
-    }
-  else
-    {
-      yytoken = YYTRANSLATE (yychar);
-      YY_SYMBOL_PRINT ("Next token is", yytoken, &yylval, &yylloc);
-    }
-
-  /* If the proper action on seeing token YYTOKEN is to reduce or to
-     detect an error, take that action.  */
-  yyn += yytoken;
-  if (yyn < 0 || YYLAST < yyn || yycheck[yyn] != yytoken)
-    goto yydefault;
-  yyn = yytable[yyn];
-  if (yyn <= 0)
-    {
-      if (yyn == 0 || yyn == YYTABLE_NINF)
-	goto yyerrlab;
-      yyn = -yyn;
-      goto yyreduce;
-    }
-
-  if (yyn == YYFINAL)
-    YYACCEPT;
-
-  /* Count tokens shifted since error; after three, turn off error
-     status.  */
-  if (yyerrstatus)
-    yyerrstatus--;
-
-  /* Shift the look-ahead token.  */
-  YY_SYMBOL_PRINT ("Shifting", yytoken, &yylval, &yylloc);
-
-  /* Discard the shifted token unless it is eof.  */
-  if (yychar != YYEOF)
-    yychar = YYEMPTY;
-
-  yystate = yyn;
-  *++yyvsp = yylval;
-
-  goto yynewstate;
-
-
-/*-----------------------------------------------------------.
-| yydefault -- do the default action for the current state.  |
-`-----------------------------------------------------------*/
-yydefault:
-  yyn = yydefact[yystate];
-  if (yyn == 0)
-    goto yyerrlab;
-  goto yyreduce;
-
-
-/*-----------------------------.
-| yyreduce -- Do a reduction.  |
-`-----------------------------*/
-yyreduce:
-  /* yyn is the number of a rule to reduce with.  */
-  yylen = yyr2[yyn];
-
-  /* If YYLEN is nonzero, implement the default value of the action:
-     `$$ = $1'.
-
-     Otherwise, the following line sets YYVAL to garbage.
-     This behavior is undocumented and Bison
-     users should not rely upon it.  Assigning to YYVAL
-     unconditionally makes the parser a bit smaller, and it avoids a
-     GCC warning that YYVAL may be used uninitialized.  */
-  yyval = yyvsp[1-yylen];
-
-
-  YY_REDUCE_PRINT (yyn);
-  switch (yyn)
-    {
-        case 7:
-#line 442 "parser.yxx"
-    { initfg(static_cast<ParserState*>(parm)); ;}
-    break;
-
-  case 8:
-#line 444 "parser.yxx"
-    { initfg(static_cast<ParserState*>(parm)); ;}
-    break;
-
-  case 35:
-#line 504 "parser.yxx"
-    {
-        ParserState* pp = static_cast<ParserState*>(parm);
-        bool print = (yyvsp[(5) - (6)].argVec)->hasAtom("output_var");
-        bool introduced = (yyvsp[(5) - (6)].argVec)->hasAtom("var_is_introduced");
-        pp->intvarTable.put((yyvsp[(4) - (6)].sValue), pp->intvars.size());
-        if (print) {
-          pp->output(std::string((yyvsp[(4) - (6)].sValue)), new AST::IntVar(pp->intvars.size()));
-        }
-        if ((yyvsp[(6) - (6)].oArg)()) {
-          AST::Node* arg = (yyvsp[(6) - (6)].oArg).some();
-          if (arg->isInt()) {
-            pp->intvars.push_back(varspec((yyvsp[(4) - (6)].sValue),
-              new IntVarSpec(arg->getInt(),introduced)));
-          } else if (arg->isIntVar()) {
-            pp->intvars.push_back(varspec((yyvsp[(4) - (6)].sValue),
-              new IntVarSpec(Alias(arg->getIntVar()),introduced)));
-          } else {
-            yyassert(pp, false, "Invalid var int initializer.");
-          }
-          if (!pp->hadError)
-            addDomainConstraint(pp, "int_in",
-                                new AST::IntVar(pp->intvars.size()-1), (yyvsp[(2) - (6)].oSet));
-          delete arg;
-        } else {
-          pp->intvars.push_back(varspec((yyvsp[(4) - (6)].sValue), new IntVarSpec((yyvsp[(2) - (6)].oSet),introduced)));
-        }
-        delete (yyvsp[(5) - (6)].argVec); free((yyvsp[(4) - (6)].sValue));
-      ;}
-    break;
-
-  case 36:
-#line 533 "parser.yxx"
-    {
-        ParserState* pp = static_cast<ParserState*>(parm);
-        bool print = (yyvsp[(5) - (6)].argVec)->hasAtom("output_var");
-        bool introduced = (yyvsp[(5) - (6)].argVec)->hasAtom("var_is_introduced");
-        pp->boolvarTable.put((yyvsp[(4) - (6)].sValue), pp->boolvars.size());
-        if (print) {
-          pp->output(std::string((yyvsp[(4) - (6)].sValue)), new AST::BoolVar(pp->boolvars.size()));
-        }
-        if ((yyvsp[(6) - (6)].oArg)()) {
-          AST::Node* arg = (yyvsp[(6) - (6)].oArg).some();
-          if (arg->isBool()) {
-            pp->boolvars.push_back(varspec((yyvsp[(4) - (6)].sValue),
-              new BoolVarSpec(arg->getBool(),introduced)));            
-          } else if (arg->isBoolVar()) {
-            pp->boolvars.push_back(varspec((yyvsp[(4) - (6)].sValue),
-              new BoolVarSpec(Alias(arg->getBoolVar()),introduced)));
-          } else {
-            yyassert(pp, false, "Invalid var bool initializer.");
-          }
-          if (!pp->hadError)
-            addDomainConstraint(pp, "int_in",
-                                new AST::BoolVar(pp->boolvars.size()-1), (yyvsp[(2) - (6)].oSet));
-          delete arg;
-        } else {
-          pp->boolvars.push_back(varspec((yyvsp[(4) - (6)].sValue), new BoolVarSpec((yyvsp[(2) - (6)].oSet),introduced)));
-        }
-        delete (yyvsp[(5) - (6)].argVec); free((yyvsp[(4) - (6)].sValue));
-      ;}
-    break;
-
-  case 37:
-#line 562 "parser.yxx"
-    { ParserState* pp = static_cast<ParserState*>(parm);
-        yyassert(pp, false, "Floats not supported.");
-        delete (yyvsp[(5) - (6)].argVec); free((yyvsp[(4) - (6)].sValue));
-      ;}
-    break;
-
-  case 38:
-#line 567 "parser.yxx"
-    { 
-        ParserState* pp = static_cast<ParserState*>(parm);
-        bool print = (yyvsp[(7) - (8)].argVec)->hasAtom("output_var");
-        bool introduced = (yyvsp[(7) - (8)].argVec)->hasAtom("var_is_introduced");
-        pp->setvarTable.put((yyvsp[(6) - (8)].sValue), pp->setvars.size());
-        if (print) {
-          pp->output(std::string((yyvsp[(6) - (8)].sValue)), new AST::SetVar(pp->setvars.size()));
-        }
-        if ((yyvsp[(8) - (8)].oArg)()) {
-          AST::Node* arg = (yyvsp[(8) - (8)].oArg).some();
-          if (arg->isSet()) {
-            pp->setvars.push_back(varspec((yyvsp[(6) - (8)].sValue),
-              new SetVarSpec(arg->getSet(),introduced)));
-          } else if (arg->isSetVar()) {
-            pp->setvars.push_back(varspec((yyvsp[(6) - (8)].sValue),
-              new SetVarSpec(Alias(arg->getSetVar()),introduced)));
-            delete arg;
-          } else {
-            yyassert(pp, false, "Invalid var set initializer.");
-            delete arg;
-          }
-          if (!pp->hadError)
-            addDomainConstraint(pp, "set_subset",
-                                new AST::SetVar(pp->setvars.size()-1), (yyvsp[(4) - (8)].oSet));
-        } else {
-          pp->setvars.push_back(varspec((yyvsp[(6) - (8)].sValue), new SetVarSpec((yyvsp[(4) - (8)].oSet),introduced)));
-        }
-        delete (yyvsp[(7) - (8)].argVec); free((yyvsp[(6) - (8)].sValue));
-      ;}
-    break;
-
-  case 39:
-#line 597 "parser.yxx"
-    {
-        ParserState* pp = static_cast<ParserState*>(parm);
-        yyassert(pp, (yyvsp[(6) - (6)].arg)->isInt(), "Invalid int initializer.");
-        pp->intvals.put((yyvsp[(3) - (6)].sValue), (yyvsp[(6) - (6)].arg)->getInt());
-        delete (yyvsp[(4) - (6)].argVec); free((yyvsp[(3) - (6)].sValue));        
-      ;}
-    break;
-
-  case 40:
-#line 604 "parser.yxx"
-    {
-        ParserState* pp = static_cast<ParserState*>(parm);
-        yyassert(pp, (yyvsp[(6) - (6)].arg)->isBool(), "Invalid bool initializer.");
-        pp->boolvals.put((yyvsp[(3) - (6)].sValue), (yyvsp[(6) - (6)].arg)->getBool());
-        delete (yyvsp[(4) - (6)].argVec); free((yyvsp[(3) - (6)].sValue));        
-      ;}
-    break;
-
-  case 41:
-#line 611 "parser.yxx"
-    {
-        ParserState* pp = static_cast<ParserState*>(parm);
-        yyassert(pp, (yyvsp[(8) - (8)].arg)->isSet(), "Invalid set initializer.");
-        AST::SetLit* set = (yyvsp[(8) - (8)].arg)->getSet();
-        pp->setvals.put((yyvsp[(5) - (8)].sValue), *set);
-        delete set;
-        delete (yyvsp[(6) - (8)].argVec); free((yyvsp[(5) - (8)].sValue));        
-      ;}
-    break;
-
-  case 42:
-#line 621 "parser.yxx"
-    {
-        ParserState* pp = static_cast<ParserState*>(parm);
-        yyassert(pp, (yyvsp[(3) - (13)].iValue)==1, "Arrays must start at 1");
-        if (!pp->hadError) {
-          bool print = (yyvsp[(12) - (13)].argVec)->hasCall("output_array");
-          vector<int> vars((yyvsp[(5) - (13)].iValue));
-          if (!pp->hadError) {
-            if ((yyvsp[(13) - (13)].oVarSpecVec)()) {
-              vector<VarSpec*>* vsv = (yyvsp[(13) - (13)].oVarSpecVec).some();
-              yyassert(pp, vsv->size() == static_cast<unsigned int>((yyvsp[(5) - (13)].iValue)),
-                       "Initializer size does not match array dimension");
-              if (!pp->hadError) {
-                for (int i=0; i<(yyvsp[(5) - (13)].iValue); i++) {
-                  IntVarSpec* ivsv = static_cast<IntVarSpec*>((*vsv)[i]);
-                  if (ivsv->alias) {
-                    vars[i] = ivsv->i;
-                  } else {
-                    vars[i] = pp->intvars.size();
-                    pp->intvars.push_back(varspec((yyvsp[(11) - (13)].sValue), ivsv));
-                  }
-                  if (!pp->hadError && (yyvsp[(9) - (13)].oSet)()) {
-                    Option<AST::SetLit*> opt =
-                      Option<AST::SetLit*>::some(new AST::SetLit(*(yyvsp[(9) - (13)].oSet).some()));                    
-                    addDomainConstraint(pp, "int_in",
-                                        new AST::IntVar(vars[i]),
-                                        opt);
-                  }
-                }
-              }
-              delete vsv;
-            } else {
-              if ((yyvsp[(5) - (13)].iValue)>0) {
-                IntVarSpec* ispec = new IntVarSpec((yyvsp[(9) - (13)].oSet),!print);
-                string arrayname = "["; arrayname += (yyvsp[(11) - (13)].sValue);
-                for (int i=0; i<(yyvsp[(5) - (13)].iValue)-1; i++) {
-                  vars[i] = pp->intvars.size();
-                  pp->intvars.push_back(varspec(arrayname, ispec));
-                }
-                vars[(yyvsp[(5) - (13)].iValue)-1] = pp->intvars.size();
-                pp->intvars.push_back(varspec((yyvsp[(11) - (13)].sValue), ispec));
-              }
-            }
-          }
-          if (print) {
-            AST::Array* a = new AST::Array();
-            a->a.push_back(arrayOutput((yyvsp[(12) - (13)].argVec)->getCall("output_array")));
-            AST::Array* output = new AST::Array();
-            for (int i=0; i<(yyvsp[(5) - (13)].iValue); i++)
-              output->a.push_back(new AST::IntVar(vars[i]));
-            a->a.push_back(output);
-            a->a.push_back(new AST::String(")"));
-            pp->output(std::string((yyvsp[(11) - (13)].sValue)), a);
-          }
-          pp->intvararrays.put((yyvsp[(11) - (13)].sValue), vars);
-        }
-        delete (yyvsp[(12) - (13)].argVec); free((yyvsp[(11) - (13)].sValue));
-      ;}
-    break;
-
-  case 43:
-#line 680 "parser.yxx"
-    {
-        ParserState* pp = static_cast<ParserState*>(parm);
-        bool print = (yyvsp[(12) - (13)].argVec)->hasCall("output_array");
-        yyassert(pp, (yyvsp[(3) - (13)].iValue)==1, "Arrays must start at 1");
-        if (!pp->hadError) {
-          vector<int> vars((yyvsp[(5) - (13)].iValue));
-          if ((yyvsp[(13) - (13)].oVarSpecVec)()) {
-            vector<VarSpec*>* vsv = (yyvsp[(13) - (13)].oVarSpecVec).some();
-            yyassert(pp, vsv->size() == static_cast<unsigned int>((yyvsp[(5) - (13)].iValue)),
-                     "Initializer size does not match array dimension");
-            if (!pp->hadError) {
-              for (int i=0; i<(yyvsp[(5) - (13)].iValue); i++) {
-                BoolVarSpec* bvsv = static_cast<BoolVarSpec*>((*vsv)[i]);
-                if (bvsv->alias)
-                  vars[i] = bvsv->i;
-                else {
-                  vars[i] = pp->boolvars.size();
-                  pp->boolvars.push_back(varspec((yyvsp[(11) - (13)].sValue), (*vsv)[i]));
-                }
-                if (!pp->hadError && (yyvsp[(9) - (13)].oSet)()) {
-                  Option<AST::SetLit*> opt =
-                    Option<AST::SetLit*>::some(new AST::SetLit(*(yyvsp[(9) - (13)].oSet).some()));                    
-                  addDomainConstraint(pp, "int_in",
-                                      new AST::BoolVar(vars[i]),
-                                      opt);
-                }
-              }
-            }
-            delete vsv;
-          } else {
-            for (int i=0; i<(yyvsp[(5) - (13)].iValue); i++) {
-              vars[i] = pp->boolvars.size();
-              pp->boolvars.push_back(varspec((yyvsp[(11) - (13)].sValue),
-                                             new BoolVarSpec((yyvsp[(9) - (13)].oSet),!print)));
-            }          
-          }
-          if (print) {
-            AST::Array* a = new AST::Array();
-            a->a.push_back(arrayOutput((yyvsp[(12) - (13)].argVec)->getCall("output_array")));
-            AST::Array* output = new AST::Array();
-            for (int i=0; i<(yyvsp[(5) - (13)].iValue); i++)
-              output->a.push_back(new AST::BoolVar(vars[i]));
-            a->a.push_back(output);
-            a->a.push_back(new AST::String(")"));
-            pp->output(std::string((yyvsp[(11) - (13)].sValue)), a);
-          }
-          pp->boolvararrays.put((yyvsp[(11) - (13)].sValue), vars);
-        }
-        delete (yyvsp[(12) - (13)].argVec); free((yyvsp[(11) - (13)].sValue));
-      ;}
-    break;
-
-  case 44:
-#line 732 "parser.yxx"
-    { 
-        ParserState* pp = static_cast<ParserState*>(parm);
-        yyassert(pp, false, "Floats not supported.");
-        delete (yyvsp[(12) - (13)].argVec); free((yyvsp[(11) - (13)].sValue));
-      ;}
-    break;
-
-  case 45:
-#line 739 "parser.yxx"
-    { 
-        ParserState* pp = static_cast<ParserState*>(parm);
-        bool print = (yyvsp[(14) - (15)].argVec)->hasCall("output_array");
-        yyassert(pp, (yyvsp[(3) - (15)].iValue)==1, "Arrays must start at 1");
-        if (!pp->hadError) {
-          vector<int> vars((yyvsp[(5) - (15)].iValue));
-          if ((yyvsp[(15) - (15)].oVarSpecVec)()) {
-            vector<VarSpec*>* vsv = (yyvsp[(15) - (15)].oVarSpecVec).some();
-            yyassert(pp, vsv->size() == static_cast<unsigned int>((yyvsp[(5) - (15)].iValue)),
-                     "Initializer size does not match array dimension");
-            if (!pp->hadError) {
-              for (int i=0; i<(yyvsp[(5) - (15)].iValue); i++) {
-                SetVarSpec* svsv = static_cast<SetVarSpec*>((*vsv)[i]);
-                if (svsv->alias)
-                  vars[i] = svsv->i;
-                else {
-                  vars[i] = pp->setvars.size();
-                  pp->setvars.push_back(varspec((yyvsp[(13) - (15)].sValue), (*vsv)[i]));
-                }
-                if (!pp->hadError && (yyvsp[(11) - (15)].oSet)()) {
-                  Option<AST::SetLit*> opt =
-                    Option<AST::SetLit*>::some(new AST::SetLit(*(yyvsp[(11) - (15)].oSet).some()));                    
-                  addDomainConstraint(pp, "set_subset",
-                                      new AST::SetVar(vars[i]),
-                                      opt);
-                }
-              }
-            }
-            delete vsv;
-          } else {
-            if ((yyvsp[(5) - (15)].iValue)>0) {
-              SetVarSpec* ispec = new SetVarSpec((yyvsp[(11) - (15)].oSet),!print);
-              string arrayname = "["; arrayname += (yyvsp[(13) - (15)].sValue);
-              for (int i=0; i<(yyvsp[(5) - (15)].iValue)-1; i++) {
-                vars[i] = pp->setvars.size();
-                pp->setvars.push_back(varspec(arrayname, ispec));
-              }
-              vars[(yyvsp[(5) - (15)].iValue)-1] = pp->setvars.size();
-              pp->setvars.push_back(varspec((yyvsp[(13) - (15)].sValue), ispec));
-            }
-          }
-          if (print) {
-            AST::Array* a = new AST::Array();
-            a->a.push_back(arrayOutput((yyvsp[(14) - (15)].argVec)->getCall("output_array")));
-            AST::Array* output = new AST::Array();
-            for (int i=0; i<(yyvsp[(5) - (15)].iValue); i++)
-              output->a.push_back(new AST::SetVar(vars[i]));
-            a->a.push_back(output);
-            a->a.push_back(new AST::String(")"));
-            pp->output(std::string((yyvsp[(13) - (15)].sValue)), a);
-          }
-          pp->setvararrays.put((yyvsp[(13) - (15)].sValue), vars);
-        }
-        delete (yyvsp[(14) - (15)].argVec); free((yyvsp[(13) - (15)].sValue));
-      ;}
-    break;
-
-  case 46:
-#line 796 "parser.yxx"
-    {
-        ParserState* pp = static_cast<ParserState*>(parm);
-        yyassert(pp, (yyvsp[(3) - (15)].iValue)==1, "Arrays must start at 1");
-        yyassert(pp, (yyvsp[(14) - (15)].setValue)->size() == static_cast<unsigned int>((yyvsp[(5) - (15)].iValue)),
-                 "Initializer size does not match array dimension");
-        if (!pp->hadError)
-          pp->intvalarrays.put((yyvsp[(10) - (15)].sValue), *(yyvsp[(14) - (15)].setValue));
-        delete (yyvsp[(14) - (15)].setValue);
-        free((yyvsp[(10) - (15)].sValue));
-        delete (yyvsp[(11) - (15)].argVec);
-      ;}
-    break;
-
-  case 47:
-#line 809 "parser.yxx"
-    {
-        ParserState* pp = static_cast<ParserState*>(parm);
-        yyassert(pp, (yyvsp[(3) - (15)].iValue)==1, "Arrays must start at 1");
-        yyassert(pp, (yyvsp[(14) - (15)].setValue)->size() == static_cast<unsigned int>((yyvsp[(5) - (15)].iValue)),
-                 "Initializer size does not match array dimension");
-        if (!pp->hadError)
-          pp->boolvalarrays.put((yyvsp[(10) - (15)].sValue), *(yyvsp[(14) - (15)].setValue));
-        delete (yyvsp[(14) - (15)].setValue);
-        free((yyvsp[(10) - (15)].sValue));
-        delete (yyvsp[(11) - (15)].argVec);
-      ;}
-    break;
-
-  case 48:
-#line 822 "parser.yxx"
-    {
-        ParserState* pp = static_cast<ParserState*>(parm);
-        yyassert(pp, false, "Floats not supported.");
-        delete (yyvsp[(11) - (15)].argVec); free((yyvsp[(10) - (15)].sValue));
-      ;}
-    break;
-
-  case 49:
-#line 829 "parser.yxx"
-    {
-        ParserState* pp = static_cast<ParserState*>(parm);
-        yyassert(pp, (yyvsp[(3) - (17)].iValue)==1, "Arrays must start at 1");
-        yyassert(pp, (yyvsp[(16) - (17)].setValueList)->size() == static_cast<unsigned int>((yyvsp[(5) - (17)].iValue)),
-                 "Initializer size does not match array dimension");
-        if (!pp->hadError)
-          pp->setvalarrays.put((yyvsp[(12) - (17)].sValue), *(yyvsp[(16) - (17)].setValueList));
-        delete (yyvsp[(16) - (17)].setValueList);
-        delete (yyvsp[(13) - (17)].argVec); free((yyvsp[(12) - (17)].sValue));
-      ;}
-    break;
-
-  case 50:
-#line 842 "parser.yxx"
-    { 
-        (yyval.varSpec) = new IntVarSpec((yyvsp[(1) - (1)].iValue),false);
-      ;}
-    break;
-
-  case 51:
-#line 846 "parser.yxx"
-    { 
-        int v = 0;
-        ParserState* pp = static_cast<ParserState*>(parm);
-        if (pp->intvarTable.get((yyvsp[(1) - (1)].sValue), v))
-          (yyval.varSpec) = new IntVarSpec(Alias(v),false);
-        else {
-          pp->err << "Error: undefined identifier " << (yyvsp[(1) - (1)].sValue)
-                  << " in line no. "
-                  << yyget_lineno(pp->yyscanner) << std::endl;
-          pp->hadError = true;
-          (yyval.varSpec) = new IntVarSpec(0,false); // keep things consistent
-        }
-        free((yyvsp[(1) - (1)].sValue));
-      ;}
-    break;
-
-  case 52:
-#line 861 "parser.yxx"
-    { 
-        vector<int> v;
-        ParserState* pp = static_cast<ParserState*>(parm);
-        if (pp->intvararrays.get((yyvsp[(1) - (4)].sValue), v)) {
-          yyassert(pp,static_cast<unsigned int>((yyvsp[(3) - (4)].iValue)) > 0 && 
-                      static_cast<unsigned int>((yyvsp[(3) - (4)].iValue)) <= v.size(),
-                   "array access out of bounds");
-          if (!pp->hadError)
-            (yyval.varSpec) = new IntVarSpec(Alias(v[(yyvsp[(3) - (4)].iValue)-1]),false);
-          else
-            (yyval.varSpec) = new IntVarSpec(0,false); // keep things consistent
-        } else {
-          pp->err << "Error: undefined array identifier " << (yyvsp[(1) - (4)].sValue)
-                  << " in line no. "
-                  << yyget_lineno(pp->yyscanner) << std::endl;
-          pp->hadError = true;
-          (yyval.varSpec) = new IntVarSpec(0,false); // keep things consistent
-        }
-        free((yyvsp[(1) - (4)].sValue));
-      ;}
-    break;
-
-  case 53:
-#line 884 "parser.yxx"
-    { (yyval.varSpecVec) = new vector<VarSpec*>(0); ;}
-    break;
-
-  case 54:
-#line 886 "parser.yxx"
-    { (yyval.varSpecVec) = (yyvsp[(1) - (2)].varSpecVec); ;}
-    break;
-
-  case 55:
-#line 890 "parser.yxx"
-    { (yyval.varSpecVec) = new vector<VarSpec*>(1); (*(yyval.varSpecVec))[0] = (yyvsp[(1) - (1)].varSpec); ;}
-    break;
-
-  case 56:
-#line 892 "parser.yxx"
-    { (yyval.varSpecVec) = (yyvsp[(1) - (3)].varSpecVec); (yyval.varSpecVec)->push_back((yyvsp[(3) - (3)].varSpec)); ;}
-    break;
-
-  case 59:
-#line 897 "parser.yxx"
-    { (yyval.varSpecVec) = (yyvsp[(2) - (3)].varSpecVec); ;}
-    break;
-
-  case 60:
-#line 901 "parser.yxx"
-    { (yyval.varSpec) = new FloatVarSpec((yyvsp[(1) - (1)].dValue),false); ;}
-    break;
-
-  case 61:
-#line 903 "parser.yxx"
-    { 
-        int v = 0;
-        ParserState* pp = static_cast<ParserState*>(parm);
-        if (pp->floatvarTable.get((yyvsp[(1) - (1)].sValue), v))
-          (yyval.varSpec) = new FloatVarSpec(Alias(v),false);
-        else {
-          pp->err << "Error: undefined identifier " << (yyvsp[(1) - (1)].sValue)
-                  << " in line no. "
-                  << yyget_lineno(pp->yyscanner) << std::endl;
-          pp->hadError = true;
-          (yyval.varSpec) = new FloatVarSpec(0.0,false);
-        }
-        free((yyvsp[(1) - (1)].sValue));
-      ;}
-    break;
-
-  case 62:
-#line 918 "parser.yxx"
-    { 
-        vector<int> v;
-        ParserState* pp = static_cast<ParserState*>(parm);
-        if (pp->floatvararrays.get((yyvsp[(1) - (4)].sValue), v)) {
-          yyassert(pp,static_cast<unsigned int>((yyvsp[(3) - (4)].iValue)) > 0 && 
-                      static_cast<unsigned int>((yyvsp[(3) - (4)].iValue)) <= v.size(),
-                   "array access out of bounds");
-          if (!pp->hadError)
-            (yyval.varSpec) = new FloatVarSpec(Alias(v[(yyvsp[(3) - (4)].iValue)-1]),false);
-          else
-            (yyval.varSpec) = new FloatVarSpec(0.0,false);
-        } else {
-          pp->err << "Error: undefined array identifier " << (yyvsp[(1) - (4)].sValue)
-                  << " in line no. "
-                  << yyget_lineno(pp->yyscanner) << std::endl;
-          pp->hadError = true;
-          (yyval.varSpec) = new FloatVarSpec(0.0,false);
-        }
-        free((yyvsp[(1) - (4)].sValue));
-      ;}
-    break;
-
-  case 63:
-#line 941 "parser.yxx"
-    { (yyval.varSpecVec) = new vector<VarSpec*>(0); ;}
-    break;
-
-  case 64:
-#line 943 "parser.yxx"
-    { (yyval.varSpecVec) = (yyvsp[(1) - (2)].varSpecVec); ;}
-    break;
-
-  case 65:
-#line 947 "parser.yxx"
-    { (yyval.varSpecVec) = new vector<VarSpec*>(1); (*(yyval.varSpecVec))[0] = (yyvsp[(1) - (1)].varSpec); ;}
-    break;
-
-  case 66:
-#line 949 "parser.yxx"
-    { (yyval.varSpecVec) = (yyvsp[(1) - (3)].varSpecVec); (yyval.varSpecVec)->push_back((yyvsp[(3) - (3)].varSpec)); ;}
-    break;
-
-  case 67:
-#line 953 "parser.yxx"
-    { (yyval.varSpecVec) = (yyvsp[(2) - (3)].varSpecVec); ;}
-    break;
-
-  case 68:
-#line 957 "parser.yxx"
-    { (yyval.varSpec) = new BoolVarSpec((yyvsp[(1) - (1)].iValue),false); ;}
-    break;
-
-  case 69:
-#line 959 "parser.yxx"
-    { 
-        int v = 0;
-        ParserState* pp = static_cast<ParserState*>(parm);
-        if (pp->boolvarTable.get((yyvsp[(1) - (1)].sValue), v))
-          (yyval.varSpec) = new BoolVarSpec(Alias(v),false);
-        else {
-          pp->err << "Error: undefined identifier " << (yyvsp[(1) - (1)].sValue)
-                  << " in line no. "
-                  << yyget_lineno(pp->yyscanner) << std::endl;
-          pp->hadError = true;
-          (yyval.varSpec) = new BoolVarSpec(false,false);
-        }
-        free((yyvsp[(1) - (1)].sValue));
-      ;}
-    break;
-
-  case 70:
-#line 974 "parser.yxx"
-    { 
-        vector<int> v;
-        ParserState* pp = static_cast<ParserState*>(parm);
-        if (pp->boolvararrays.get((yyvsp[(1) - (4)].sValue), v)) {
-          yyassert(pp,static_cast<unsigned int>((yyvsp[(3) - (4)].iValue)) > 0 && 
-                      static_cast<unsigned int>((yyvsp[(3) - (4)].iValue)) <= v.size(),
-                   "array access out of bounds");
-          if (!pp->hadError)
-            (yyval.varSpec) = new BoolVarSpec(Alias(v[(yyvsp[(3) - (4)].iValue)-1]),false);
-          else
-            (yyval.varSpec) = new BoolVarSpec(false,false);
-        } else {
-          pp->err << "Error: undefined array identifier " << (yyvsp[(1) - (4)].sValue)
-                  << " in line no. "
-                  << yyget_lineno(pp->yyscanner) << std::endl;
-          pp->hadError = true;
-          (yyval.varSpec) = new BoolVarSpec(false,false);
-        }
-        free((yyvsp[(1) - (4)].sValue));
-      ;}
-    break;
-
-  case 71:
-#line 997 "parser.yxx"
-    { (yyval.varSpecVec) = new vector<VarSpec*>(0); ;}
-    break;
-
-  case 72:
-#line 999 "parser.yxx"
-    { (yyval.varSpecVec) = (yyvsp[(1) - (2)].varSpecVec); ;}
-    break;
-
-  case 73:
-#line 1003 "parser.yxx"
-    { (yyval.varSpecVec) = new vector<VarSpec*>(1); (*(yyval.varSpecVec))[0] = (yyvsp[(1) - (1)].varSpec); ;}
-    break;
-
-  case 74:
-#line 1005 "parser.yxx"
-    { (yyval.varSpecVec) = (yyvsp[(1) - (3)].varSpecVec); (yyval.varSpecVec)->push_back((yyvsp[(3) - (3)].varSpec)); ;}
-    break;
-
-  case 75:
-#line 1007 "parser.yxx"
-    { (yyval.varSpecVec) = (yyvsp[(2) - (3)].varSpecVec); ;}
-    break;
-
-  case 76:
-#line 1011 "parser.yxx"
-    { (yyval.varSpec) = new SetVarSpec((yyvsp[(1) - (1)].setLit),false); ;}
-    break;
-
-  case 77:
-#line 1013 "parser.yxx"
-    { 
-        ParserState* pp = static_cast<ParserState*>(parm);
-        int v = 0;
-        if (pp->setvarTable.get((yyvsp[(1) - (1)].sValue), v))
-          (yyval.varSpec) = new SetVarSpec(Alias(v),false);
-        else {
-          pp->err << "Error: undefined identifier " << (yyvsp[(1) - (1)].sValue)
-                  << " in line no. "
-                  << yyget_lineno(pp->yyscanner) << std::endl;
-          pp->hadError = true;
-          (yyval.varSpec) = new SetVarSpec(Alias(0),false);
-        }
-        free((yyvsp[(1) - (1)].sValue));
-      ;}
-    break;
-
-  case 78:
-#line 1028 "parser.yxx"
-    { 
-        vector<int> v;
-        ParserState* pp = static_cast<ParserState*>(parm);
-        if (pp->setvararrays.get((yyvsp[(1) - (4)].sValue), v)) {
-          yyassert(pp,static_cast<unsigned int>((yyvsp[(3) - (4)].iValue)) > 0 && 
-                      static_cast<unsigned int>((yyvsp[(3) - (4)].iValue)) <= v.size(),
-                   "array access out of bounds");
-          if (!pp->hadError)
-            (yyval.varSpec) = new SetVarSpec(Alias(v[(yyvsp[(3) - (4)].iValue)-1]),false);
-          else
-            (yyval.varSpec) = new SetVarSpec(Alias(0),false);
-        } else {
-          pp->err << "Error: undefined array identifier " << (yyvsp[(1) - (4)].sValue)
-                  << " in line no. "
-                  << yyget_lineno(pp->yyscanner) << std::endl;
-          pp->hadError = true;
-          (yyval.varSpec) = new SetVarSpec(Alias(0),false);
-        }
-        free((yyvsp[(1) - (4)].sValue));
-      ;}
-    break;
-
-  case 79:
-#line 1051 "parser.yxx"
-    { (yyval.varSpecVec) = new vector<VarSpec*>(0); ;}
-    break;
-
-  case 80:
-#line 1053 "parser.yxx"
-    { (yyval.varSpecVec) = (yyvsp[(1) - (2)].varSpecVec); ;}
-    break;
-
-  case 81:
-#line 1057 "parser.yxx"
-    { (yyval.varSpecVec) = new vector<VarSpec*>(1); (*(yyval.varSpecVec))[0] = (yyvsp[(1) - (1)].varSpec); ;}
-    break;
-
-  case 82:
-#line 1059 "parser.yxx"
-    { (yyval.varSpecVec) = (yyvsp[(1) - (3)].varSpecVec); (yyval.varSpecVec)->push_back((yyvsp[(3) - (3)].varSpec)); ;}
-    break;
-
-  case 83:
-#line 1062 "parser.yxx"
-    { (yyval.varSpecVec) = (yyvsp[(2) - (3)].varSpecVec); ;}
-    break;
-
-  case 84:
-#line 1066 "parser.yxx"
-    { (yyval.oVarSpecVec) = Option<vector<VarSpec*>* >::none(); ;}
-    break;
-
-  case 85:
-#line 1068 "parser.yxx"
-    { (yyval.oVarSpecVec) = Option<vector<VarSpec*>* >::some((yyvsp[(2) - (2)].varSpecVec)); ;}
-    break;
-
-  case 86:
-#line 1072 "parser.yxx"
-    { (yyval.oVarSpecVec) = Option<vector<VarSpec*>* >::none(); ;}
-    break;
-
-  case 87:
-#line 1074 "parser.yxx"
-    { (yyval.oVarSpecVec) = Option<vector<VarSpec*>* >::some((yyvsp[(2) - (2)].varSpecVec)); ;}
-    break;
-
-  case 88:
-#line 1078 "parser.yxx"
-    { (yyval.oVarSpecVec) = Option<vector<VarSpec*>* >::none(); ;}
-    break;
-
-  case 89:
-#line 1080 "parser.yxx"
-    { (yyval.oVarSpecVec) = Option<vector<VarSpec*>* >::some((yyvsp[(2) - (2)].varSpecVec)); ;}
-    break;
-
-  case 90:
-#line 1084 "parser.yxx"
-    { (yyval.oVarSpecVec) = Option<vector<VarSpec*>* >::none(); ;}
-    break;
-
-  case 91:
-#line 1086 "parser.yxx"
-    { (yyval.oVarSpecVec) = Option<vector<VarSpec*>* >::some((yyvsp[(2) - (2)].varSpecVec)); ;}
-    break;
-
-  case 92:
-#line 1090 "parser.yxx"
-    { 
-        ConExpr c((yyvsp[(2) - (6)].sValue), (yyvsp[(4) - (6)].argVec));
-        ParserState *pp = static_cast<ParserState*>(parm);
-        if (!pp->hadError) {
-          try {
-            pp->fg->postConstraint(c, (yyvsp[(6) - (6)].argVec));
-          } catch (FlatZinc::Error& e) {
-            yyerror(pp, e.toString().c_str());
-          }
-        }
-        delete (yyvsp[(6) - (6)].argVec); free((yyvsp[(2) - (6)].sValue));
-      ;}
-    break;
-
-  case 93:
-#line 1104 "parser.yxx"
-    { 
-        ParserState *pp = static_cast<ParserState*>(parm);
-        if (!pp->hadError) {
-          try {
-            pp->fg->solve((yyvsp[(2) - (3)].argVec));
-          } catch (FlatZinc::Error& e) {
-            yyerror(pp, e.toString().c_str());
-          }
-        } else {
-          delete (yyvsp[(2) - (3)].argVec);
-        }
-      ;}
-    break;
-
-  case 94:
-#line 1117 "parser.yxx"
-    { 
-        ParserState *pp = static_cast<ParserState*>(parm);
-        if (!pp->hadError) {
-          try {
-            if ((yyvsp[(3) - (4)].bValue))
-              pp->fg->minimize((yyvsp[(4) - (4)].iValue),(yyvsp[(2) - (4)].argVec));
-            else
-              pp->fg->maximize((yyvsp[(4) - (4)].iValue),(yyvsp[(2) - (4)].argVec));
-          } catch (FlatZinc::Error& e) {
-            yyerror(pp, e.toString().c_str());
-          }
-        } else {
-          delete (yyvsp[(2) - (4)].argVec);
-        }
-      ;}
-    break;
-
-  case 95:
-#line 1139 "parser.yxx"
-    { (yyval.oSet) = Option<AST::SetLit* >::none(); ;}
-    break;
-
-  case 96:
-#line 1141 "parser.yxx"
-    { (yyval.oSet) = Option<AST::SetLit* >::some(new AST::SetLit(*(yyvsp[(2) - (3)].setValue))); ;}
-    break;
-
-  case 97:
-#line 1143 "parser.yxx"
-    { 
-        (yyval.oSet) = Option<AST::SetLit* >::some(new AST::SetLit((yyvsp[(1) - (3)].iValue), (yyvsp[(3) - (3)].iValue)));
-      ;}
-    break;
-
-  case 98:
-#line 1149 "parser.yxx"
-    { (yyval.oSet) = Option<AST::SetLit* >::none(); ;}
-    break;
-
-  case 99:
-#line 1151 "parser.yxx"
-    { bool haveTrue = false;
-        bool haveFalse = false;
-        for (int i=(yyvsp[(2) - (4)].setValue)->size(); i--;) {
-          haveTrue |= ((*(yyvsp[(2) - (4)].setValue))[i] == 1);
-          haveFalse |= ((*(yyvsp[(2) - (4)].setValue))[i] == 0);
-        }
-        delete (yyvsp[(2) - (4)].setValue);
-        (yyval.oSet) = Option<AST::SetLit* >::some(
-          new AST::SetLit(!haveFalse,haveTrue));
-      ;}
-    break;
-
-  case 102:
-#line 1172 "parser.yxx"
-    { (yyval.setLit) = new AST::SetLit(*(yyvsp[(2) - (3)].setValue)); ;}
-    break;
-
-  case 103:
-#line 1174 "parser.yxx"
-    { (yyval.setLit) = new AST::SetLit((yyvsp[(1) - (3)].iValue), (yyvsp[(3) - (3)].iValue)); ;}
-    break;
-
-  case 104:
-#line 1180 "parser.yxx"
-    { (yyval.setValue) = new vector<int>(0); ;}
-    break;
-
-  case 105:
-#line 1182 "parser.yxx"
-    { (yyval.setValue) = (yyvsp[(1) - (2)].setValue); ;}
-    break;
-
-  case 106:
-#line 1186 "parser.yxx"
-    { (yyval.setValue) = new vector<int>(1); (*(yyval.setValue))[0] = (yyvsp[(1) - (1)].iValue); ;}
-    break;
-
-  case 107:
-#line 1188 "parser.yxx"
-    { (yyval.setValue) = (yyvsp[(1) - (3)].setValue); (yyval.setValue)->push_back((yyvsp[(3) - (3)].iValue)); ;}
-    break;
-
-  case 108:
-#line 1192 "parser.yxx"
-    { (yyval.setValue) = new vector<int>(0); ;}
-    break;
-
-  case 109:
-#line 1194 "parser.yxx"
-    { (yyval.setValue) = (yyvsp[(1) - (2)].setValue); ;}
-    break;
-
-  case 110:
-#line 1198 "parser.yxx"
-    { (yyval.setValue) = new vector<int>(1); (*(yyval.setValue))[0] = (yyvsp[(1) - (1)].iValue); ;}
-    break;
-
-  case 111:
-#line 1200 "parser.yxx"
-    { (yyval.setValue) = (yyvsp[(1) - (3)].setValue); (yyval.setValue)->push_back((yyvsp[(3) - (3)].iValue)); ;}
-    break;
-
-  case 112:
-#line 1204 "parser.yxx"
-    { (yyval.floatSetValue) = new vector<double>(0); ;}
-    break;
-
-  case 113:
-#line 1206 "parser.yxx"
-    { (yyval.floatSetValue) = (yyvsp[(1) - (2)].floatSetValue); ;}
-    break;
-
-  case 114:
-#line 1210 "parser.yxx"
-    { (yyval.floatSetValue) = new vector<double>(1); (*(yyval.floatSetValue))[0] = (yyvsp[(1) - (1)].dValue); ;}
-    break;
-
-  case 115:
-#line 1212 "parser.yxx"
-    { (yyval.floatSetValue) = (yyvsp[(1) - (3)].floatSetValue); (yyval.floatSetValue)->push_back((yyvsp[(3) - (3)].dValue)); ;}
-    break;
-
-  case 116:
-#line 1216 "parser.yxx"
-    { (yyval.setValueList) = new vector<AST::SetLit>(0); ;}
-    break;
-
-  case 117:
-#line 1218 "parser.yxx"
-    { (yyval.setValueList) = (yyvsp[(1) - (2)].setValueList); ;}
-    break;
-
-  case 118:
-#line 1222 "parser.yxx"
-    { (yyval.setValueList) = new vector<AST::SetLit>(1); (*(yyval.setValueList))[0] = *(yyvsp[(1) - (1)].setLit); delete (yyvsp[(1) - (1)].setLit); ;}
-    break;
-
-  case 119:
-#line 1224 "parser.yxx"
-    { (yyval.setValueList) = (yyvsp[(1) - (3)].setValueList); (yyval.setValueList)->push_back(*(yyvsp[(3) - (3)].setLit)); delete (yyvsp[(3) - (3)].setLit); ;}
-    break;
-
-  case 120:
-#line 1232 "parser.yxx"
-    { (yyval.argVec) = new AST::Array((yyvsp[(1) - (1)].arg)); ;}
-    break;
-
-  case 121:
-#line 1234 "parser.yxx"
-    { (yyval.argVec) = (yyvsp[(1) - (3)].argVec); (yyval.argVec)->append((yyvsp[(3) - (3)].arg)); ;}
-    break;
-
-  case 122:
-#line 1238 "parser.yxx"
-    { (yyval.arg) = (yyvsp[(1) - (1)].arg); ;}
-    break;
-
-  case 123:
-#line 1240 "parser.yxx"
-    { (yyval.arg) = (yyvsp[(2) - (3)].argVec); ;}
-    break;
-
-  case 124:
-#line 1244 "parser.yxx"
-    { (yyval.oArg) = Option<AST::Node*>::none(); ;}
-    break;
-
-  case 125:
-#line 1246 "parser.yxx"
-    { (yyval.oArg) = Option<AST::Node*>::some((yyvsp[(2) - (2)].arg)); ;}
-    break;
-
-  case 126:
-#line 1250 "parser.yxx"
-    { (yyval.arg) = new AST::BoolLit((yyvsp[(1) - (1)].iValue)); ;}
-    break;
-
-  case 127:
-#line 1252 "parser.yxx"
-    { (yyval.arg) = new AST::IntLit((yyvsp[(1) - (1)].iValue)); ;}
-    break;
-
-  case 128:
-#line 1254 "parser.yxx"
-    { (yyval.arg) = new AST::FloatLit((yyvsp[(1) - (1)].dValue)); ;}
-    break;
-
-  case 129:
-#line 1256 "parser.yxx"
-    { (yyval.arg) = (yyvsp[(1) - (1)].setLit); ;}
-    break;
-
-  case 130:
-#line 1258 "parser.yxx"
-    { 
-        vector<int> as;
-        ParserState* pp = static_cast<ParserState*>(parm);
-        if (pp->intvararrays.get((yyvsp[(1) - (1)].sValue), as)) {
-          AST::Array *ia = new AST::Array(as.size());
-          for (int i=as.size(); i--;)
-            ia->a[i] = new AST::IntVar(as[i]);
-          (yyval.arg) = ia;
-        } else if (pp->boolvararrays.get((yyvsp[(1) - (1)].sValue), as)) {
-          AST::Array *ia = new AST::Array(as.size());
-          for (int i=as.size(); i--;)
-            ia->a[i] = new AST::BoolVar(as[i]);
-          (yyval.arg) = ia;
-        } else if (pp->setvararrays.get((yyvsp[(1) - (1)].sValue), as)) {
-          AST::Array *ia = new AST::Array(as.size());
-          for (int i=as.size(); i--;)
-            ia->a[i] = new AST::SetVar(as[i]);
-          (yyval.arg) = ia;
-        } else {
-          std::vector<int> is;
-          std::vector<AST::SetLit> isS;
-          int ival = 0;
-          bool bval = false;
-          if (pp->intvalarrays.get((yyvsp[(1) - (1)].sValue), is)) {
-            AST::Array *v = new AST::Array(is.size());
-            for (int i=is.size(); i--;)
-              v->a[i] = new AST::IntLit(is[i]);
-            (yyval.arg) = v;
-          } else if (pp->boolvalarrays.get((yyvsp[(1) - (1)].sValue), is)) {
-            AST::Array *v = new AST::Array(is.size());
-            for (int i=is.size(); i--;)
-              v->a[i] = new AST::BoolLit(is[i]);
-            (yyval.arg) = v;
-          } else if (pp->setvalarrays.get((yyvsp[(1) - (1)].sValue), isS)) {
-            AST::Array *v = new AST::Array(isS.size());
-            for (int i=isS.size(); i--;)
-              v->a[i] = new AST::SetLit(isS[i]);
-            (yyval.arg) = v;            
-          } else if (pp->intvals.get((yyvsp[(1) - (1)].sValue), ival)) {
-            (yyval.arg) = new AST::IntLit(ival);
-          } else if (pp->boolvals.get((yyvsp[(1) - (1)].sValue), bval)) {
-            (yyval.arg) = new AST::BoolLit(bval);
-          } else {
-            (yyval.arg) = getVarRefArg(pp,(yyvsp[(1) - (1)].sValue));
-          }
-        }
-        free((yyvsp[(1) - (1)].sValue));
-      ;}
-    break;
-
-  case 131:
-#line 1307 "parser.yxx"
-    { 
-        ParserState* pp = static_cast<ParserState*>(parm);
-        int i = -1;
-        yyassert(pp, (yyvsp[(3) - (4)].arg)->isInt(i), "Non-integer array index.");
-        if (!pp->hadError)
-          (yyval.arg) = getArrayElement(static_cast<ParserState*>(parm),(yyvsp[(1) - (4)].sValue),i);
-        else
-          (yyval.arg) = new AST::IntLit(0); // keep things consistent
-        free((yyvsp[(1) - (4)].sValue));
-      ;}
-    break;
-
-  case 132:
-#line 1320 "parser.yxx"
-    { (yyval.argVec) = new AST::Array(0); ;}
-    break;
-
-  case 133:
-#line 1322 "parser.yxx"
-    { (yyval.argVec) = (yyvsp[(1) - (2)].argVec); ;}
-    break;
-
-  case 134:
-#line 1326 "parser.yxx"
-    { (yyval.argVec) = new AST::Array((yyvsp[(1) - (1)].arg)); ;}
-    break;
-
-  case 135:
-#line 1328 "parser.yxx"
-    { (yyval.argVec) = (yyvsp[(1) - (3)].argVec); (yyval.argVec)->append((yyvsp[(3) - (3)].arg)); ;}
-    break;
-
-  case 136:
-#line 1336 "parser.yxx"
-    { 
-        ParserState *pp = static_cast<ParserState*>(parm);
-        if (!pp->intvarTable.get((yyvsp[(1) - (1)].sValue), (yyval.iValue))) {
-          pp->err << "Error: unknown integer variable " << (yyvsp[(1) - (1)].sValue)
-                  << " in line no. "
-                  << yyget_lineno(pp->yyscanner) << std::endl;
-          pp->hadError = true;
-        }
-        free((yyvsp[(1) - (1)].sValue));
-      ;}
-    break;
-
-  case 137:
-#line 1347 "parser.yxx"
-    {
-        vector<int> tmp;
-        ParserState *pp = static_cast<ParserState*>(parm);
-        if (!pp->intvararrays.get((yyvsp[(1) - (4)].sValue), tmp)) {
-          pp->err << "Error: unknown integer variable array " << (yyvsp[(1) - (4)].sValue)
-                  << " in line no. "
-                  << yyget_lineno(pp->yyscanner) << std::endl;
-          pp->hadError = true;
-        }
-        if ((yyvsp[(3) - (4)].iValue) == 0 || static_cast<unsigned int>((yyvsp[(3) - (4)].iValue)) > tmp.size()) {
-          pp->err << "Error: array index out of bounds for array " << (yyvsp[(1) - (4)].sValue)
-                  << " in line no. "
-                  << yyget_lineno(pp->yyscanner) << std::endl;
-          pp->hadError = true;
-        } else {
-          (yyval.iValue) = tmp[(yyvsp[(3) - (4)].iValue)-1];
-        }
-        free((yyvsp[(1) - (4)].sValue));
-      ;}
-    break;
-
-  case 140:
-#line 1377 "parser.yxx"
-    { (yyval.argVec) = NULL; ;}
-    break;
-
-  case 141:
-#line 1379 "parser.yxx"
-    { (yyval.argVec) = (yyvsp[(1) - (1)].argVec); ;}
-    break;
-
-  case 142:
-#line 1383 "parser.yxx"
-    { (yyval.argVec) = new AST::Array((yyvsp[(2) - (2)].arg)); ;}
-    break;
-
-  case 143:
-#line 1385 "parser.yxx"
-    { (yyval.argVec) = (yyvsp[(1) - (3)].argVec); (yyval.argVec)->append((yyvsp[(3) - (3)].arg)); ;}
-    break;
-
-  case 144:
-#line 1389 "parser.yxx"
-    { 
-        (yyval.arg) = new AST::Call((yyvsp[(1) - (4)].sValue), AST::extractSingleton((yyvsp[(3) - (4)].arg))); free((yyvsp[(1) - (4)].sValue));
-      ;}
-    break;
-
-  case 145:
-#line 1393 "parser.yxx"
-    { (yyval.arg) = (yyvsp[(1) - (1)].arg); ;}
-    break;
-
-  case 146:
-#line 1397 "parser.yxx"
-    { (yyval.arg) = new AST::Array((yyvsp[(1) - (1)].arg)); ;}
-    break;
-
-  case 147:
-#line 1399 "parser.yxx"
-    { (yyval.arg) = (yyvsp[(1) - (3)].arg); (yyval.arg)->append((yyvsp[(3) - (3)].arg)); ;}
-    break;
-
-  case 148:
-#line 1403 "parser.yxx"
-    { (yyval.arg) = (yyvsp[(1) - (1)].arg); ;}
-    break;
-
-  case 149:
-#line 1405 "parser.yxx"
-    { (yyval.arg) = (yyvsp[(2) - (3)].arg); ;}
-    break;
-
-  case 150:
-#line 1409 "parser.yxx"
-    { (yyval.arg) = new AST::BoolLit((yyvsp[(1) - (1)].iValue)); ;}
-    break;
-
-  case 151:
-#line 1411 "parser.yxx"
-    { (yyval.arg) = new AST::IntLit((yyvsp[(1) - (1)].iValue)); ;}
-    break;
-
-  case 152:
-#line 1413 "parser.yxx"
-    { (yyval.arg) = new AST::FloatLit((yyvsp[(1) - (1)].dValue)); ;}
-    break;
-
-  case 153:
-#line 1415 "parser.yxx"
-    { (yyval.arg) = (yyvsp[(1) - (1)].setLit); ;}
-    break;
-
-  case 154:
-#line 1417 "parser.yxx"
-    { 
-        vector<int> as;
-        ParserState* pp = static_cast<ParserState*>(parm);
-        if (pp->intvararrays.get((yyvsp[(1) - (1)].sValue), as)) {
-          AST::Array *ia = new AST::Array(as.size());
-          for (int i=as.size(); i--;)
-            ia->a[i] = new AST::IntVar(as[i]);
-          (yyval.arg) = ia;
-        } else if (pp->boolvararrays.get((yyvsp[(1) - (1)].sValue), as)) {
-          AST::Array *ia = new AST::Array(as.size());
-          for (int i=as.size(); i--;)
-            ia->a[i] = new AST::BoolVar(as[i]);
-          (yyval.arg) = ia;
-        } else if (pp->setvararrays.get((yyvsp[(1) - (1)].sValue), as)) {
-          AST::Array *ia = new AST::Array(as.size());
-          for (int i=as.size(); i--;)
-            ia->a[i] = new AST::SetVar(as[i]);
-          (yyval.arg) = ia;
-        } else {
-          std::vector<int> is;
-          int ival = 0;
-          bool bval = false;
-          if (pp->intvalarrays.get((yyvsp[(1) - (1)].sValue), is)) {
-            AST::Array *v = new AST::Array(is.size());
-            for (int i=is.size(); i--;)
-              v->a[i] = new AST::IntLit(is[i]);
-            (yyval.arg) = v;
-          } else if (pp->boolvalarrays.get((yyvsp[(1) - (1)].sValue), is)) {
-            AST::Array *v = new AST::Array(is.size());
-            for (int i=is.size(); i--;)
-              v->a[i] = new AST::BoolLit(is[i]);
-            (yyval.arg) = v;
-          } else if (pp->intvals.get((yyvsp[(1) - (1)].sValue), ival)) {
-            (yyval.arg) = new AST::IntLit(ival);
-          } else if (pp->boolvals.get((yyvsp[(1) - (1)].sValue), bval)) {
-            (yyval.arg) = new AST::BoolLit(bval);
-          } else {
-            (yyval.arg) = getVarRefArg(pp,(yyvsp[(1) - (1)].sValue),true);
-          }
-        }
-        free((yyvsp[(1) - (1)].sValue));
-      ;}
-    break;
-
-  case 155:
-#line 1460 "parser.yxx"
-    { 
-        ParserState* pp = static_cast<ParserState*>(parm);
-        int i = -1;
-        yyassert(pp, (yyvsp[(3) - (4)].arg)->isInt(i), "Non-integer array index.");
-        if (!pp->hadError)
-          (yyval.arg) = getArrayElement(static_cast<ParserState*>(parm),(yyvsp[(1) - (4)].sValue),i);
-        else
-          (yyval.arg) = new AST::IntLit(0); // keep things consistent
-        free((yyvsp[(1) - (4)].sValue));
-      ;}
-    break;
-
-  case 156:
-#line 1471 "parser.yxx"
-    {
-        (yyval.arg) = new AST::String((yyvsp[(1) - (1)].sValue));
-        free((yyvsp[(1) - (1)].sValue));
-      ;}
-    break;
-
-
-/* Line 1267 of yacc.c.  */
-#line 3228 "parser.tab.cpp"
-      default: break;
-    }
-  YY_SYMBOL_PRINT ("-> $$ =", yyr1[yyn], &yyval, &yyloc);
-
-  YYPOPSTACK (yylen);
-  yylen = 0;
-  YY_STACK_PRINT (yyss, yyssp);
-
-  *++yyvsp = yyval;
-
-
-  /* Now `shift' the result of the reduction.  Determine what state
-     that goes to, based on the state we popped back to and the rule
-     number reduced by.  */
-
-  yyn = yyr1[yyn];
-
-  yystate = yypgoto[yyn - YYNTOKENS] + *yyssp;
-  if (0 <= yystate && yystate <= YYLAST && yycheck[yystate] == *yyssp)
-    yystate = yytable[yystate];
-  else
-    yystate = yydefgoto[yyn - YYNTOKENS];
-
-  goto yynewstate;
-
-
-/*------------------------------------.
-| yyerrlab -- here on detecting error |
-`------------------------------------*/
-yyerrlab:
-  /* If not already recovering from an error, report this error.  */
-  if (!yyerrstatus)
-    {
-      ++yynerrs;
-#if ! YYERROR_VERBOSE
-      yyerror (parm, YY_("syntax error"));
-#else
-      {
-	YYSIZE_T yysize = yysyntax_error (0, yystate, yychar);
-	if (yymsg_alloc < yysize && yymsg_alloc < YYSTACK_ALLOC_MAXIMUM)
-	  {
-	    YYSIZE_T yyalloc = 2 * yysize;
-	    if (! (yysize <= yyalloc && yyalloc <= YYSTACK_ALLOC_MAXIMUM))
-	      yyalloc = YYSTACK_ALLOC_MAXIMUM;
-	    if (yymsg != yymsgbuf)
-	      YYSTACK_FREE (yymsg);
-	    yymsg = (char *) YYSTACK_ALLOC (yyalloc);
-	    if (yymsg)
-	      yymsg_alloc = yyalloc;
-	    else
-	      {
-		yymsg = yymsgbuf;
-		yymsg_alloc = sizeof yymsgbuf;
-	      }
-	  }
-
-	if (0 < yysize && yysize <= yymsg_alloc)
-	  {
-	    (void) yysyntax_error (yymsg, yystate, yychar);
-	    yyerror (parm, yymsg);
-	  }
-	else
-	  {
-	    yyerror (parm, YY_("syntax error"));
-	    if (yysize != 0)
-	      goto yyexhaustedlab;
-	  }
-      }
-#endif
-    }
-
-
-
-  if (yyerrstatus == 3)
-    {
-      /* If just tried and failed to reuse look-ahead token after an
-	 error, discard it.  */
-
-      if (yychar <= YYEOF)
-	{
-	  /* Return failure if at end of input.  */
-	  if (yychar == YYEOF)
-	    YYABORT;
-	}
-      else
-	{
-	  yydestruct ("Error: discarding",
-		      yytoken, &yylval, parm);
-	  yychar = YYEMPTY;
-	}
-    }
-
-  /* Else will try to reuse look-ahead token after shifting the error
-     token.  */
-  goto yyerrlab1;
-
-
-/*---------------------------------------------------.
-| yyerrorlab -- error raised explicitly by YYERROR.  |
-`---------------------------------------------------*/
-yyerrorlab:
-
-  /* Pacify compilers like GCC when the user code never invokes
-     YYERROR and the label yyerrorlab therefore never appears in user
-     code.  */
-  if (/*CONSTCOND*/ 0)
-     goto yyerrorlab;
-
-  /* Do not reclaim the symbols of the rule which action triggered
-     this YYERROR.  */
-  YYPOPSTACK (yylen);
-  yylen = 0;
-  YY_STACK_PRINT (yyss, yyssp);
-  yystate = *yyssp;
-  goto yyerrlab1;
-
-
-/*-------------------------------------------------------------.
-| yyerrlab1 -- common code for both syntax error and YYERROR.  |
-`-------------------------------------------------------------*/
-yyerrlab1:
-  yyerrstatus = 3;	/* Each real token shifted decrements this.  */
-
-  for (;;)
-    {
-      yyn = yypact[yystate];
-      if (yyn != YYPACT_NINF)
-	{
-	  yyn += YYTERROR;
-	  if (0 <= yyn && yyn <= YYLAST && yycheck[yyn] == YYTERROR)
-	    {
-	      yyn = yytable[yyn];
-	      if (0 < yyn)
-		break;
-	    }
-	}
-
-      /* Pop the current state because it cannot handle the error token.  */
-      if (yyssp == yyss)
-	YYABORT;
-
-
-      yydestruct ("Error: popping",
-		  yystos[yystate], yyvsp, parm);
-      YYPOPSTACK (1);
-      yystate = *yyssp;
-      YY_STACK_PRINT (yyss, yyssp);
-    }
-
-  if (yyn == YYFINAL)
-    YYACCEPT;
-
-  *++yyvsp = yylval;
-
-
-  /* Shift the error token.  */
-  YY_SYMBOL_PRINT ("Shifting", yystos[yyn], yyvsp, yylsp);
-
-  yystate = yyn;
-  goto yynewstate;
-
-
-/*-------------------------------------.
-| yyacceptlab -- YYACCEPT comes here.  |
-`-------------------------------------*/
-yyacceptlab:
-  yyresult = 0;
-  goto yyreturn;
-
-/*-----------------------------------.
-| yyabortlab -- YYABORT comes here.  |
-`-----------------------------------*/
-yyabortlab:
-  yyresult = 1;
-  goto yyreturn;
-
-#ifndef yyoverflow
-/*-------------------------------------------------.
-| yyexhaustedlab -- memory exhaustion comes here.  |
-`-------------------------------------------------*/
-yyexhaustedlab:
-  yyerror (parm, YY_("memory exhausted"));
-  yyresult = 2;
-  /* Fall through.  */
-#endif
-
-yyreturn:
-  if (yychar != YYEOF && yychar != YYEMPTY)
-     yydestruct ("Cleanup: discarding lookahead",
-		 yytoken, &yylval, parm);
-  /* Do not reclaim the symbols of the rule which action triggered
-     this YYABORT or YYACCEPT.  */
-  YYPOPSTACK (yylen);
-  YY_STACK_PRINT (yyss, yyssp);
-  while (yyssp != yyss)
-    {
-      yydestruct ("Cleanup: popping",
-		  yystos[*yyssp], yyvsp, parm);
-      YYPOPSTACK (1);
-    }
-#ifndef yyoverflow
-  if (yyss != yyssa)
-    YYSTACK_FREE (yyss);
-#endif
-#if YYERROR_VERBOSE
-  if (yymsg != yymsgbuf)
-    YYSTACK_FREE (yymsg);
-#endif
-  /* Make sure YYID is used.  */
-  return YYID (yyresult);
-}
-
-
-
@@ -1,164 +0,0 @@
-/* A Bison parser, made by GNU Bison 2.3.  */
-
-/* Skeleton interface for Bison's Yacc-like parsers in C
-
-   Copyright (C) 1984, 1989, 1990, 2000, 2001, 2002, 2003, 2004, 2005, 2006
-   Free Software Foundation, Inc.
-
-   This program is free software; you can redistribute it and/or modify
-   it under the terms of the GNU General Public License as published by
-   the Free Software Foundation; either version 2, or (at your option)
-   any later version.
-
-   This program is distributed in the hope that it will be useful,
-   but WITHOUT ANY WARRANTY; without even the implied warranty of
-   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
-   GNU General Public License for more details.
-
-   You should have received a copy of the GNU General Public License
-   along with this program; if not, write to the Free Software
-   Foundation, Inc., 51 Franklin Street, Fifth Floor,
-   Boston, MA 02110-1301, USA.  */
-
-/* As a special exception, you may create a larger work that contains
-   part or all of the Bison parser skeleton and distribute that work
-   under terms of your choice, so long as that work isn't itself a
-   parser generator using the skeleton or a modified version thereof
-   as a parser skeleton.  Alternatively, if you modify or redistribute
-   the parser skeleton itself, you may (at your option) remove this
-   special exception, which will cause the skeleton and the resulting
-   Bison output files to be licensed under the GNU General Public
-   License without this special exception.
-
-   This special exception was added by the Free Software Foundation in
-   version 2.2 of Bison.  */
-
-/* Tokens.  */
-#ifndef YYTOKENTYPE
-# define YYTOKENTYPE
-   /* Put the tokens into the symbol table, so that GDB and other debuggers
-      know about them.  */
-   enum yytokentype {
-     FZ_INT_LIT = 258,
-     FZ_BOOL_LIT = 259,
-     FZ_FLOAT_LIT = 260,
-     FZ_ID = 261,
-     FZ_U_ID = 262,
-     FZ_STRING_LIT = 263,
-     FZ_VAR = 264,
-     FZ_PAR = 265,
-     FZ_ANNOTATION = 266,
-     FZ_ANY = 267,
-     FZ_ARRAY = 268,
-     FZ_BOOL = 269,
-     FZ_CASE = 270,
-     FZ_COLONCOLON = 271,
-     FZ_CONSTRAINT = 272,
-     FZ_DEFAULT = 273,
-     FZ_DOTDOT = 274,
-     FZ_ELSE = 275,
-     FZ_ELSEIF = 276,
-     FZ_ENDIF = 277,
-     FZ_ENUM = 278,
-     FZ_FLOAT = 279,
-     FZ_FUNCTION = 280,
-     FZ_IF = 281,
-     FZ_INCLUDE = 282,
-     FZ_INT = 283,
-     FZ_LET = 284,
-     FZ_MAXIMIZE = 285,
-     FZ_MINIMIZE = 286,
-     FZ_OF = 287,
-     FZ_SATISFY = 288,
-     FZ_OUTPUT = 289,
-     FZ_PREDICATE = 290,
-     FZ_RECORD = 291,
-     FZ_SET = 292,
-     FZ_SHOW = 293,
-     FZ_SHOWCOND = 294,
-     FZ_SOLVE = 295,
-     FZ_STRING = 296,
-     FZ_TEST = 297,
-     FZ_THEN = 298,
-     FZ_TUPLE = 299,
-     FZ_TYPE = 300,
-     FZ_VARIANT_RECORD = 301,
-     FZ_WHERE = 302
-   };
-#endif
-/* Tokens.  */
-#define FZ_INT_LIT 258
-#define FZ_BOOL_LIT 259
-#define FZ_FLOAT_LIT 260
-#define FZ_ID 261
-#define FZ_U_ID 262
-#define FZ_STRING_LIT 263
-#define FZ_VAR 264
-#define FZ_PAR 265
-#define FZ_ANNOTATION 266
-#define FZ_ANY 267
-#define FZ_ARRAY 268
-#define FZ_BOOL 269
-#define FZ_CASE 270
-#define FZ_COLONCOLON 271
-#define FZ_CONSTRAINT 272
-#define FZ_DEFAULT 273
-#define FZ_DOTDOT 274
-#define FZ_ELSE 275
-#define FZ_ELSEIF 276
-#define FZ_ENDIF 277
-#define FZ_ENUM 278
-#define FZ_FLOAT 279
-#define FZ_FUNCTION 280
-#define FZ_IF 281
-#define FZ_INCLUDE 282
-#define FZ_INT 283
-#define FZ_LET 284
-#define FZ_MAXIMIZE 285
-#define FZ_MINIMIZE 286
-#define FZ_OF 287
-#define FZ_SATISFY 288
-#define FZ_OUTPUT 289
-#define FZ_PREDICATE 290
-#define FZ_RECORD 291
-#define FZ_SET 292
-#define FZ_SHOW 293
-#define FZ_SHOWCOND 294
-#define FZ_SOLVE 295
-#define FZ_STRING 296
-#define FZ_TEST 297
-#define FZ_THEN 298
-#define FZ_TUPLE 299
-#define FZ_TYPE 300
-#define FZ_VARIANT_RECORD 301
-#define FZ_WHERE 302
-
-
-
-
-#if ! defined YYSTYPE && ! defined YYSTYPE_IS_DECLARED
-typedef union YYSTYPE
-#line 330 "parser.yxx"
-{ int iValue; char* sValue; bool bValue; double dValue;
-         std::vector<int>* setValue;
-         FlatZinc::AST::SetLit* setLit;
-         std::vector<double>* floatSetValue;
-         std::vector<FlatZinc::AST::SetLit>* setValueList;
-         FlatZinc::Option<FlatZinc::AST::SetLit* > oSet;
-         FlatZinc::VarSpec* varSpec;
-         FlatZinc::Option<FlatZinc::AST::Node*> oArg;
-         std::vector<FlatZinc::VarSpec*>* varSpecVec;
-         FlatZinc::Option<std::vector<FlatZinc::VarSpec*>* > oVarSpecVec;
-         FlatZinc::AST::Node* arg;
-         FlatZinc::AST::Array* argVec;
-       }
-/* Line 1529 of yacc.c.  */
-#line 157 "parser.tab.hpp"
-	YYSTYPE;
-# define yystype YYSTYPE /* obsolescent; will be withdrawn */
-# define YYSTYPE_IS_DECLARED 1
-# define YYSTYPE_IS_TRIVIAL 1
-#endif
-
-
-
@@ -58,6 +58,7 @@ using namespace std;
  
 int yyparse(void*);
 int yylex(YYSTYPE*, void* scanner);
+//int yylex(YYSTYPE*);
 int yylex_init (void** scanner);
 int yylex_destroy (void* scanner);
 int yyget_lineno (void* scanner);
...	...	@@ -0,0 +1,6 @@
	1	+TODO list
	2	+
	3	+- port flatzinc parser from Gecode
	4	+- implement necessary new constraints to suit flatzinc
	5	+
	6	+DONE list
...	...
...	...	@@ -0,0 +1,4 @@
	1	+*.tab.cpp
	2	+*.tab.hh
	3	+*.yy.cpp
	4	+fz
...	...
...	...	@@ -1,164 +0,0 @@
1		-/* A Bison parser, made by GNU Bison 2.3. */
2		-
3		-/* Skeleton interface for Bison's Yacc-like parsers in C
4		-
5		- Copyright (C) 1984, 1989, 1990, 2000, 2001, 2002, 2003, 2004, 2005, 2006
6		- Free Software Foundation, Inc.
7		-
8		- This program is free software; you can redistribute it and/or modify
9		- it under the terms of the GNU General Public License as published by
10		- the Free Software Foundation; either version 2, or (at your option)
11		- any later version.
12		-
13		- This program is distributed in the hope that it will be useful,
14		- but WITHOUT ANY WARRANTY; without even the implied warranty of
15		- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16		- GNU General Public License for more details.
17		-
18		- You should have received a copy of the GNU General Public License
19		- along with this program; if not, write to the Free Software
20		- Foundation, Inc., 51 Franklin Street, Fifth Floor,
21		- Boston, MA 02110-1301, USA. */
22		-
23		-/* As a special exception, you may create a larger work that contains
24		- part or all of the Bison parser skeleton and distribute that work
25		- under terms of your choice, so long as that work isn't itself a
26		- parser generator using the skeleton or a modified version thereof
27		- as a parser skeleton. Alternatively, if you modify or redistribute
28		- the parser skeleton itself, you may (at your option) remove this
29		- special exception, which will cause the skeleton and the resulting
30		- Bison output files to be licensed under the GNU General Public
31		- License without this special exception.
32		-
33		- This special exception was added by the Free Software Foundation in
34		- version 2.2 of Bison. */
35		-
36		-/* Tokens. */
37		-#ifndef YYTOKENTYPE
38		-# define YYTOKENTYPE
39		- /* Put the tokens into the symbol table, so that GDB and other debuggers
40		- know about them. */
41		- enum yytokentype {
42		- FZ_INT_LIT = 258,
43		- FZ_BOOL_LIT = 259,
44		- FZ_FLOAT_LIT = 260,
45		- FZ_ID = 261,
46		- FZ_U_ID = 262,
47		- FZ_STRING_LIT = 263,
48		- FZ_VAR = 264,
49		- FZ_PAR = 265,
50		- FZ_ANNOTATION = 266,
51		- FZ_ANY = 267,
52		- FZ_ARRAY = 268,
53		- FZ_BOOL = 269,
54		- FZ_CASE = 270,
55		- FZ_COLONCOLON = 271,
56		- FZ_CONSTRAINT = 272,
57		- FZ_DEFAULT = 273,
58		- FZ_DOTDOT = 274,
59		- FZ_ELSE = 275,
60		- FZ_ELSEIF = 276,
61		- FZ_ENDIF = 277,
62		- FZ_ENUM = 278,
63		- FZ_FLOAT = 279,
64		- FZ_FUNCTION = 280,
65		- FZ_IF = 281,
66		- FZ_INCLUDE = 282,
67		- FZ_INT = 283,
68		- FZ_LET = 284,
69		- FZ_MAXIMIZE = 285,
70		- FZ_MINIMIZE = 286,
71		- FZ_OF = 287,
72		- FZ_SATISFY = 288,
73		- FZ_OUTPUT = 289,
74		- FZ_PREDICATE = 290,
75		- FZ_RECORD = 291,
76		- FZ_SET = 292,
77		- FZ_SHOW = 293,
78		- FZ_SHOWCOND = 294,
79		- FZ_SOLVE = 295,
80		- FZ_STRING = 296,
81		- FZ_TEST = 297,
82		- FZ_THEN = 298,
83		- FZ_TUPLE = 299,
84		- FZ_TYPE = 300,
85		- FZ_VARIANT_RECORD = 301,
86		- FZ_WHERE = 302
87		- };
88		-#endif
89		-/* Tokens. */
90		-#define FZ_INT_LIT 258
91		-#define FZ_BOOL_LIT 259
92		-#define FZ_FLOAT_LIT 260
93		-#define FZ_ID 261
94		-#define FZ_U_ID 262
95		-#define FZ_STRING_LIT 263
96		-#define FZ_VAR 264
97		-#define FZ_PAR 265
98		-#define FZ_ANNOTATION 266
99		-#define FZ_ANY 267
100		-#define FZ_ARRAY 268
101		-#define FZ_BOOL 269
102		-#define FZ_CASE 270
103		-#define FZ_COLONCOLON 271
104		-#define FZ_CONSTRAINT 272
105		-#define FZ_DEFAULT 273
106		-#define FZ_DOTDOT 274
107		-#define FZ_ELSE 275
108		-#define FZ_ELSEIF 276
109		-#define FZ_ENDIF 277
110		-#define FZ_ENUM 278
111		-#define FZ_FLOAT 279
112		-#define FZ_FUNCTION 280
113		-#define FZ_IF 281
114		-#define FZ_INCLUDE 282
115		-#define FZ_INT 283
116		-#define FZ_LET 284
117		-#define FZ_MAXIMIZE 285
118		-#define FZ_MINIMIZE 286
119		-#define FZ_OF 287
120		-#define FZ_SATISFY 288
121		-#define FZ_OUTPUT 289
122		-#define FZ_PREDICATE 290
123		-#define FZ_RECORD 291
124		-#define FZ_SET 292
125		-#define FZ_SHOW 293
126		-#define FZ_SHOWCOND 294
127		-#define FZ_SOLVE 295
128		-#define FZ_STRING 296
129		-#define FZ_TEST 297
130		-#define FZ_THEN 298
131		-#define FZ_TUPLE 299
132		-#define FZ_TYPE 300
133		-#define FZ_VARIANT_RECORD 301
134		-#define FZ_WHERE 302
135		-
136		-
137		-
138		-
139		-#if ! defined YYSTYPE && ! defined YYSTYPE_IS_DECLARED
140		-typedef union YYSTYPE
141		-#line 330 "parser.yxx"
142		-{ int iValue; char* sValue; bool bValue; double dValue;
143		- std::vector<int>* setValue;
144		- FlatZinc::AST::SetLit* setLit;
145		- std::vector<double>* floatSetValue;
146		- std::vector<FlatZinc::AST::SetLit>* setValueList;
147		- FlatZinc::Option<FlatZinc::AST::SetLit* > oSet;
148		- FlatZinc::VarSpec* varSpec;
149		- FlatZinc::Option<FlatZinc::AST::Node*> oArg;
150		- std::vector<FlatZinc::VarSpec> varSpecVec;
151		- FlatZinc::Option<std::vector<FlatZinc::VarSpec> > oVarSpecVec;
152		- FlatZinc::AST::Node* arg;
153		- FlatZinc::AST::Array* argVec;
154		- }
155		-/* Line 1529 of yacc.c. */
156		-#line 157 "parser.tab.hpp"
157		- YYSTYPE;
158		-# define yystype YYSTYPE /* obsolescent; will be withdrawn */
159		-# define YYSTYPE_IS_DECLARED 1
160		-# define YYSTYPE_IS_TRIVIAL 1
161		-#endif
162		-
163		-
164		-
...	...	@@ -58,6 +58,7 @@ using namespace std;
58	58
59	59	int yyparse(void*);
60	60	int yylex(YYSTYPE, void scanner);
	61	+//int yylex(YYSTYPE*);
61	62	int yylex_init (void** scanner);
62	63	int yylex_destroy (void* scanner);
63	64	int yyget_lineno (void* scanner);
...	...