OR-Tools  8.2
Classes | Macros | Typedefs | Enumerations | Functions | Variables
parser.tab.cc File Reference

Go to the source code of this file.

Classes

union  yyalloc
 
struct  yypcontext_t
 

Macros

#define YYBISON   30705
 
#define YYBISON_VERSION   "3.7.5"
 
#define YYSKELETON_NAME   "yacc.c"
 
#define YYPURE   2
 
#define YYPUSH   0
 
#define YYPULL   1
 
#define YYSTYPE   ORFZ_STYPE
 
#define yyparse   orfz_parse
 
#define yylex   orfz_lex
 
#define yyerror   orfz_error
 
#define yydebug   orfz_debug
 
#define yynerrs   orfz_nerrs
 
#define YY_CAST(Type, Val)   ((Type)(Val))
 
#define YY_REINTERPRET_CAST(Type, Val)   ((Type)(Val))
 
#define YY_NULLPTR   ((void*)0)
 
#define YYPTRDIFF_T   long
 
#define YYPTRDIFF_MAXIMUM   LONG_MAX
 
#define YYSIZE_T   unsigned
 
#define YYSIZE_MAXIMUM
 
#define YYSIZEOF(X)   YY_CAST(YYPTRDIFF_T, sizeof(X))
 
#define YY_(Msgid)   Msgid
 
#define YY_ATTRIBUTE_PURE
 
#define YY_ATTRIBUTE_UNUSED
 
#define YY_USE(E)   ((void)(E))
 
#define YY_INITIAL_VALUE(Value)   Value
 
#define YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN
 
#define YY_IGNORE_MAYBE_UNINITIALIZED_END
 
#define YY_IGNORE_USELESS_CAST_BEGIN
 
#define YY_IGNORE_USELESS_CAST_END
 
#define YY_ASSERT(E)   ((void)(0 && (E)))
 
#define YYSTACK_ALLOC   YYMALLOC
 
#define YYSTACK_FREE   YYFREE
 
#define YYSTACK_ALLOC_MAXIMUM   YYSIZE_MAXIMUM
 
#define YYMALLOC   malloc
 
#define YYFREE   free
 
#define YYSTACK_GAP_MAXIMUM   (YYSIZEOF(union yyalloc) - 1)
 
#define YYSTACK_BYTES(N)    ((N) * (YYSIZEOF(yy_state_t) + YYSIZEOF(YYSTYPE)) + YYSTACK_GAP_MAXIMUM)
 
#define YYCOPY_NEEDED   1
 
#define YYSTACK_RELOCATE(Stack_alloc, Stack)
 
#define YYCOPY(Dst, Src, Count)
 
#define YYFINAL   3
 
#define YYLAST   271
 
#define YYNTOKENS   32
 
#define YYNNTS   32
 
#define YYNRULES   96
 
#define YYNSTATES   223
 
#define YYMAXUTOK   276
 
#define YYTRANSLATE(YYX)
 
#define YY_ACCESSING_SYMBOL(State)   YY_CAST(yysymbol_kind_t, yystos[State])
 Accessing symbol of state STATE. More...
 
#define YYPACT_NINF   (-182)
 
#define yypact_value_is_default(Yyn)   ((Yyn) == YYPACT_NINF)
 
#define YYTABLE_NINF   (-19)
 
#define yytable_value_is_error(Yyn)   0
 
#define yyerrok   (yyerrstatus = 0)
 
#define yyclearin   (yychar = ORFZ_EMPTY)
 
#define YYACCEPT   goto yyacceptlab
 
#define YYABORT   goto yyabortlab
 
#define YYERROR   goto yyerrorlab
 
#define YYRECOVERING()   (!!yyerrstatus)
 
#define YYBACKUP(Token, Value)
 
#define YYERRCODE   ORFZ_UNDEF
 
#define YYFPRINTF   fprintf
 
#define YYDPRINTF(Args)
 
#define YY_LOCATION_PRINT(File, Loc)   ((void)0)
 
#define YY_SYMBOL_PRINT(Title, Kind, Value, Location)
 
#define YY_STACK_PRINT(Bottom, Top)
 
#define YY_REDUCE_PRINT(Rule)
 
#define YYINITDEPTH   200
 
#define YYMAXDEPTH   10000
 
#define YYCASE_(N, S)
 
#define YYPOPSTACK(N)   (yyvsp -= (N), yyssp -= (N))
 

Typedefs

typedef enum yysymbol_kind_t yysymbol_kind_t
 
typedef signed char yytype_int8
 
typedef short yytype_int16
 
typedef unsigned char yytype_uint8
 
typedef unsigned short yytype_uint16
 
typedef yytype_uint8 yy_state_t
 
typedef int yy_state_fast_t
 

Enumerations

enum  yysymbol_kind_t {
  YYSYMBOL_YYEMPTY = -2 , YYSYMBOL_YYEOF = 0 , YYSYMBOL_YYerror = 1 , YYSYMBOL_YYUNDEF = 2 ,
  YYSYMBOL_ARRAY = 3 , YYSYMBOL_TOKEN_BOOL = 4 , YYSYMBOL_CONSTRAINT = 5 , YYSYMBOL_TOKEN_FLOAT = 6 ,
  YYSYMBOL_TOKEN_INT = 7 , YYSYMBOL_MAXIMIZE = 8 , YYSYMBOL_MINIMIZE = 9 , YYSYMBOL_OF = 10 ,
  YYSYMBOL_PREDICATE = 11 , YYSYMBOL_SATISFY = 12 , YYSYMBOL_SET = 13 , YYSYMBOL_SOLVE = 14 ,
  YYSYMBOL_VAR = 15 , YYSYMBOL_DOTDOT = 16 , YYSYMBOL_COLONCOLON = 17 , YYSYMBOL_IVALUE = 18 ,
  YYSYMBOL_SVALUE = 19 , YYSYMBOL_IDENTIFIER = 20 , YYSYMBOL_DVALUE = 21 , YYSYMBOL_22_ = 22 ,
  YYSYMBOL_23_ = 23 , YYSYMBOL_24_ = 24 , YYSYMBOL_25_ = 25 , YYSYMBOL_26_ = 26 ,
  YYSYMBOL_27_ = 27 , YYSYMBOL_28_ = 28 , YYSYMBOL_29_ = 29 , YYSYMBOL_30_ = 30 ,
  YYSYMBOL_31_ = 31 , YYSYMBOL_YYACCEPT = 32 , YYSYMBOL_model = 33 , YYSYMBOL_predicates = 34 ,
  YYSYMBOL_predicate = 35 , YYSYMBOL_predicate_arguments = 36 , YYSYMBOL_predicate_argument = 37 , YYSYMBOL_predicate_array_argument = 38 ,
  YYSYMBOL_predicate_ints = 39 , YYSYMBOL_variable_or_constant_declarations , YYSYMBOL_variable_or_constant_declaration , YYSYMBOL_optional_var_or_value = 42 ,
  YYSYMBOL_optional_var_or_value_array = 43 , YYSYMBOL_var_or_value_array = 44 , YYSYMBOL_var_or_value = 45 , YYSYMBOL_int_domain = 46 ,
  YYSYMBOL_set_domain = 47 , YYSYMBOL_float_domain = 48 , YYSYMBOL_domain = 49 , YYSYMBOL_integers = 50 ,
  YYSYMBOL_integer = 51 , YYSYMBOL_floats = 52 , YYSYMBOL_float = 53 , YYSYMBOL_const_literal = 54 ,
  YYSYMBOL_const_literals = 55 , YYSYMBOL_constraints = 56 , YYSYMBOL_constraint = 57 , YYSYMBOL_arguments = 58 ,
  YYSYMBOL_argument = 59 , YYSYMBOL_annotations = 60 , YYSYMBOL_annotation_arguments = 61 , YYSYMBOL_annotation = 62 ,
  YYSYMBOL_solve = 63
}
 
enum  { YYENOMEM = -2 }
 

Functions

void * malloc (YYSIZE_T)
 
void free (void *)
 
static const char * yysymbol_name (yysymbol_kind_t yysymbol) YY_ATTRIBUTE_UNUSED
 
static void yy_symbol_value_print (FILE *yyo, yysymbol_kind_t yykind, YYSTYPE const *const yyvaluep, operations_research::fz::ParserContext *context, operations_research::fz::Model *model, bool *ok, void *scanner)
 
static void yy_symbol_print (FILE *yyo, yysymbol_kind_t yykind, YYSTYPE const *const yyvaluep, operations_research::fz::ParserContext *context, operations_research::fz::Model *model, bool *ok, void *scanner)
 
static void yy_stack_print (yy_state_t *yybottom, yy_state_t *yytop)
 
static void yy_reduce_print (yy_state_t *yyssp, YYSTYPE *yyvsp, int yyrule, operations_research::fz::ParserContext *context, operations_research::fz::Model *model, bool *ok, void *scanner)
 
static int yypcontext_expected_tokens (const yypcontext_t *yyctx, yysymbol_kind_t yyarg[], int yyargn)
 
static YYPTRDIFF_T yystrlen (const char *yystr)
 
static char * yystpcpy (char *yydest, const char *yysrc)
 
static YYPTRDIFF_T yytnamerr (char *yyres, const char *yystr)
 
static int yy_syntax_error_arguments (const yypcontext_t *yyctx, yysymbol_kind_t yyarg[], int yyargn)
 
static int yysyntax_error (YYPTRDIFF_T *yymsg_alloc, char **yymsg, const yypcontext_t *yyctx)
 
static void yydestruct (const char *yymsg, yysymbol_kind_t yykind, YYSTYPE *yyvaluep, operations_research::fz::ParserContext *context, operations_research::fz::Model *model, bool *ok, void *scanner)
 
int yyparse (operations_research::fz::ParserContext *context, operations_research::fz::Model *model, bool *ok, void *scanner)
 

Variables

static const yytype_int8 yytranslate []
 
static const yytype_int16 yyrline []
 
static const char *const yytname []
 
static const yytype_int16 yypact []
 
static const yytype_int8 yydefact []
 
static const yytype_int16 yypgoto []
 
static const yytype_uint8 yydefgoto []
 
static const yytype_int16 yytable []
 
static const yytype_int16 yycheck []
 
static const yytype_int8 yystos []
 
static const yytype_int8 yyr1 []
 
static const yytype_int8 yyr2 []
 
int yydebug
 

Macro Definition Documentation

◆ YY_

#define YY_ (   Msgid)    Msgid

Definition at line 325 of file parser.tab.cc.

◆ YY_ACCESSING_SYMBOL

#define YY_ACCESSING_SYMBOL (   State)    YY_CAST(yysymbol_kind_t, yystos[State])

Accessing symbol of state STATE.


Definition at line 561 of file parser.tab.cc.

◆ YY_ASSERT

#define YY_ASSERT (   E)    ((void)(0 && (E)))

Definition at line 381 of file parser.tab.cc.

◆ YY_ATTRIBUTE_PURE

#define YY_ATTRIBUTE_PURE

Definition at line 333 of file parser.tab.cc.

◆ YY_ATTRIBUTE_UNUSED

#define YY_ATTRIBUTE_UNUSED

Definition at line 341 of file parser.tab.cc.

◆ YY_CAST

#define YY_CAST (   Type,
  Val 
)    ((Type)(Val))

Definition at line 93 of file parser.tab.cc.

◆ YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN

#define YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN

Definition at line 363 of file parser.tab.cc.

◆ YY_IGNORE_MAYBE_UNINITIALIZED_END

#define YY_IGNORE_MAYBE_UNINITIALIZED_END

Definition at line 364 of file parser.tab.cc.

◆ YY_IGNORE_USELESS_CAST_BEGIN

#define YY_IGNORE_USELESS_CAST_BEGIN

Definition at line 377 of file parser.tab.cc.

◆ YY_IGNORE_USELESS_CAST_END

#define YY_IGNORE_USELESS_CAST_END

Definition at line 378 of file parser.tab.cc.

◆ YY_INITIAL_VALUE

#define YY_INITIAL_VALUE (   Value)    Value

Definition at line 360 of file parser.tab.cc.

◆ YY_LOCATION_PRINT

#define YY_LOCATION_PRINT (   File,
  Loc 
)    ((void)0)

Definition at line 830 of file parser.tab.cc.

◆ YY_NULLPTR

#define YY_NULLPTR   ((void*)0)

Definition at line 105 of file parser.tab.cc.

◆ YY_REDUCE_PRINT

#define YY_REDUCE_PRINT (   Rule)
Value:
do { \
if (yydebug) \
yy_reduce_print(yyssp, yyvsp, Rule, context, model, ok, scanner); \
} while (0)
model
GRBmodel * model
Definition: gurobi_interface.cc:272
context
GurobiMPCallbackContext * context
Definition: gurobi_interface.cc:512
yydebug
#define yydebug
Definition: parser.tab.cc:85

Definition at line 922 of file parser.tab.cc.

◆ YY_REINTERPRET_CAST

#define YY_REINTERPRET_CAST (   Type,
  Val 
)    ((Type)(Val))

Definition at line 94 of file parser.tab.cc.

◆ YY_STACK_PRINT

#define YY_STACK_PRINT (   Bottom,
  Top 
)
Value:
do { \
if (yydebug) yy_stack_print((Bottom), (Top)); \
} while (0)
yy_stack_print
static void yy_stack_print(yy_state_t *yybottom, yy_state_t *yytop)
Definition: parser.tab.cc:886

Definition at line 895 of file parser.tab.cc.

◆ YY_SYMBOL_PRINT

#define YY_SYMBOL_PRINT (   Title,
  Kind,
  Value,
  Location 
)
Value:
do { \
if (yydebug) { \
YYFPRINTF(stderr, "%s ", Title); \
yy_symbol_print(stderr, Kind, Value, context, model, ok, scanner); \
YYFPRINTF(stderr, "\n"); \
} \
} while (0)
operations_research::sat::Value
std::function< int64(const Model &)> Value(IntegerVariable v)
Definition: integer.h:1487

Definition at line 833 of file parser.tab.cc.

◆ YY_USE

#define YY_USE (   E)    ((void)(E))

Definition at line 347 of file parser.tab.cc.

◆ YYABORT

#define YYABORT   goto yyabortlab

Definition at line 791 of file parser.tab.cc.

◆ YYACCEPT

#define YYACCEPT   goto yyacceptlab

Definition at line 790 of file parser.tab.cc.

◆ YYBACKUP

#define YYBACKUP (   Token,
  Value 
)
Value:
do \
if (yychar == ORFZ_EMPTY) { \
yychar = (Token); \
yylval = (Value); \
YYPOPSTACK(yylen); \
yystate = *yyssp; \
goto yybackup; \
} else { \
yyerror(context, model, ok, scanner, \
YY_("syntax error: cannot back up")); \
YYERROR; \
} \
while (0)
YY_
#define YY_(Msgid)
Definition: parser.tab.cc:325
if
if(!yyg->yy_init)
Definition: parser.yy.cc:965

Definition at line 796 of file parser.tab.cc.

◆ YYBISON

#define YYBISON   30705

Definition at line 62 of file parser.tab.cc.

◆ YYBISON_VERSION

#define YYBISON_VERSION   "3.7.5"

Definition at line 65 of file parser.tab.cc.

◆ YYCASE_

#define YYCASE_ (   N,
  S 
)
Value:
case N: \
yyformat = S; \
break

◆ yyclearin

#define yyclearin   (yychar = ORFZ_EMPTY)

Definition at line 788 of file parser.tab.cc.

◆ YYCOPY

#define YYCOPY (   Dst,
  Src,
  Count 
)
Value:
do { \
YYPTRDIFF_T yyi; \
for (yyi = 0; yyi < (Count); yyi++) (Dst)[yyi] = (Src)[yyi]; \
} while (0)

Definition at line 497 of file parser.tab.cc.

◆ YYCOPY_NEEDED

#define YYCOPY_NEEDED   1

Definition at line 471 of file parser.tab.cc.

◆ yydebug

#define yydebug   orfz_debug

Definition at line 85 of file parser.tab.cc.

◆ YYDPRINTF

#define YYDPRINTF (   Args)
Value:
do { \
if (yydebug) YYFPRINTF Args; \
} while (0)
YYFPRINTF
#define YYFPRINTF
Definition: parser.tab.cc:820

Definition at line 823 of file parser.tab.cc.

◆ YYERRCODE

#define YYERRCODE   ORFZ_UNDEF

Definition at line 813 of file parser.tab.cc.

◆ yyerrok

#define yyerrok   (yyerrstatus = 0)

Definition at line 787 of file parser.tab.cc.

◆ yyerror

#define yyerror   orfz_error

Definition at line 84 of file parser.tab.cc.

◆ YYERROR

#define YYERROR   goto yyerrorlab

Definition at line 792 of file parser.tab.cc.

◆ YYFINAL

#define YYFINAL   3

Definition at line 507 of file parser.tab.cc.

◆ YYFPRINTF

#define YYFPRINTF   fprintf

Definition at line 820 of file parser.tab.cc.

◆ YYFREE

#define YYFREE   free

Definition at line 445 of file parser.tab.cc.

◆ YYINITDEPTH

#define YYINITDEPTH   200

Definition at line 940 of file parser.tab.cc.

◆ YYLAST

#define YYLAST   271

Definition at line 509 of file parser.tab.cc.

◆ yylex

#define yylex   orfz_lex

Definition at line 83 of file parser.tab.cc.

◆ YYMALLOC

#define YYMALLOC   malloc

Definition at line 439 of file parser.tab.cc.

◆ YYMAXDEPTH

#define YYMAXDEPTH   10000

Definition at line 951 of file parser.tab.cc.

◆ YYMAXUTOK

#define YYMAXUTOK   276

Definition at line 521 of file parser.tab.cc.

◆ yynerrs

#define yynerrs   orfz_nerrs

Definition at line 86 of file parser.tab.cc.

◆ YYNNTS

#define YYNNTS   32

Definition at line 514 of file parser.tab.cc.

◆ YYNRULES

#define YYNRULES   96

Definition at line 516 of file parser.tab.cc.

◆ YYNSTATES

#define YYNSTATES   223

Definition at line 518 of file parser.tab.cc.

◆ YYNTOKENS

#define YYNTOKENS   32

Definition at line 512 of file parser.tab.cc.

◆ YYPACT_NINF

#define YYPACT_NINF   (-182)

Definition at line 650 of file parser.tab.cc.

◆ yypact_value_is_default

#define yypact_value_is_default (   Yyn)    ((Yyn) == YYPACT_NINF)

Definition at line 652 of file parser.tab.cc.

◆ yyparse

#define yyparse   orfz_parse

Definition at line 82 of file parser.tab.cc.

◆ YYPOPSTACK

#define YYPOPSTACK (   N)    (yyvsp -= (N), yyssp -= (N))

◆ YYPTRDIFF_MAXIMUM

#define YYPTRDIFF_MAXIMUM   LONG_MAX

Definition at line 287 of file parser.tab.cc.

◆ YYPTRDIFF_T

#define YYPTRDIFF_T   long

Definition at line 286 of file parser.tab.cc.

◆ YYPULL

#define YYPULL   1

Definition at line 77 of file parser.tab.cc.

◆ YYPURE

#define YYPURE   2

Definition at line 71 of file parser.tab.cc.

◆ YYPUSH

#define YYPUSH   0

Definition at line 74 of file parser.tab.cc.

◆ YYRECOVERING

#define YYRECOVERING ( )    (!!yyerrstatus)

Definition at line 794 of file parser.tab.cc.

◆ YYSIZE_MAXIMUM

#define YYSIZE_MAXIMUM
Value:
YY_CAST(YYPTRDIFF_T, \
(YYPTRDIFF_MAXIMUM < YY_CAST(YYSIZE_T, -1) ? YYPTRDIFF_MAXIMUM \
: YY_CAST(YYSIZE_T, -1)))
YYPTRDIFF_MAXIMUM
#define YYPTRDIFF_MAXIMUM
Definition: parser.tab.cc:287
YY_CAST
#define YY_CAST(Type, Val)
Definition: parser.tab.cc:93
YYSIZE_T
#define YYSIZE_T
Definition: parser.tab.cc:300
YYPTRDIFF_T
#define YYPTRDIFF_T
Definition: parser.tab.cc:286

Definition at line 304 of file parser.tab.cc.

◆ YYSIZE_T

#define YYSIZE_T   unsigned

Definition at line 300 of file parser.tab.cc.

◆ YYSIZEOF

#define YYSIZEOF (   X)    YY_CAST(YYPTRDIFF_T, sizeof(X))

Definition at line 309 of file parser.tab.cc.

◆ YYSKELETON_NAME

#define YYSKELETON_NAME   "yacc.c"

Definition at line 68 of file parser.tab.cc.

◆ YYSTACK_ALLOC

#define YYSTACK_ALLOC   YYMALLOC

Definition at line 425 of file parser.tab.cc.

◆ YYSTACK_ALLOC_MAXIMUM

#define YYSTACK_ALLOC_MAXIMUM   YYSIZE_MAXIMUM

Definition at line 428 of file parser.tab.cc.

◆ YYSTACK_BYTES

#define YYSTACK_BYTES (   N)     ((N) * (YYSIZEOF(yy_state_t) + YYSIZEOF(YYSTYPE)) + YYSTACK_GAP_MAXIMUM)

Definition at line 468 of file parser.tab.cc.

◆ YYSTACK_FREE

#define YYSTACK_FREE   YYFREE

Definition at line 426 of file parser.tab.cc.

◆ YYSTACK_GAP_MAXIMUM

#define YYSTACK_GAP_MAXIMUM   (YYSIZEOF(union yyalloc) - 1)

Definition at line 464 of file parser.tab.cc.

◆ YYSTACK_RELOCATE

#define YYSTACK_RELOCATE (   Stack_alloc,
  Stack 
)
Value:
do { \
YYPTRDIFF_T yynewbytes; \
YYCOPY(&yyptr->Stack_alloc, Stack, yysize); \
Stack = &yyptr->Stack_alloc; \
yynewbytes = yystacksize * YYSIZEOF(*Stack) + YYSTACK_GAP_MAXIMUM; \
yyptr += yynewbytes / YYSIZEOF(*yyptr); \
} while (0)
YYSIZEOF
#define YYSIZEOF(X)
Definition: parser.tab.cc:309
YYSTACK_GAP_MAXIMUM
#define YYSTACK_GAP_MAXIMUM
Definition: parser.tab.cc:464

Definition at line 478 of file parser.tab.cc.

◆ YYSTYPE

#define YYSTYPE   ORFZ_STYPE

Definition at line 80 of file parser.tab.cc.

◆ YYTABLE_NINF

#define YYTABLE_NINF   (-19)

Definition at line 654 of file parser.tab.cc.

◆ yytable_value_is_error

#define yytable_value_is_error (   Yyn)    0

Definition at line 656 of file parser.tab.cc.

◆ YYTRANSLATE

#define YYTRANSLATE (   YYX)
Value:
(0 <= (YYX) && (YYX) <= YYMAXUTOK \
? YY_CAST(yysymbol_kind_t, yytranslate[YYX]) \
: YYSYMBOL_YYUNDEF)
yytranslate
static const yytype_int8 yytranslate[]
Definition: parser.tab.cc:532
yysymbol_kind_t
yysymbol_kind_t
Definition: parser.tab.cc:111
YYSYMBOL_YYUNDEF
@ YYSYMBOL_YYUNDEF
Definition: parser.tab.cc:115
YYMAXUTOK
#define YYMAXUTOK
Definition: parser.tab.cc:521

Definition at line 525 of file parser.tab.cc.

Typedef Documentation

◆ yy_state_fast_t

typedef int yy_state_fast_t

Definition at line 315 of file parser.tab.cc.

◆ yy_state_t

typedef yytype_uint8 yy_state_t

Definition at line 312 of file parser.tab.cc.

◆ yysymbol_kind_t

typedef enum yysymbol_kind_t yysymbol_kind_t

Definition at line 180 of file parser.tab.cc.

◆ yytype_int16

typedef short yytype_int16

Definition at line 238 of file parser.tab.cc.

◆ yytype_int8

typedef signed char yytype_int8

Definition at line 230 of file parser.tab.cc.

◆ yytype_uint16

typedef unsigned short yytype_uint16

Definition at line 270 of file parser.tab.cc.

◆ yytype_uint8

typedef unsigned char yytype_uint8

Definition at line 259 of file parser.tab.cc.

Enumeration Type Documentation

◆ anonymous enum

anonymous enum
Enumerator
YYENOMEM 

Definition at line 785 of file parser.tab.cc.

◆ yysymbol_kind_t

enum yysymbol_kind_t
Enumerator
YYSYMBOL_YYEMPTY 
YYSYMBOL_YYEOF 
YYSYMBOL_YYerror 
YYSYMBOL_YYUNDEF 
YYSYMBOL_ARRAY 
YYSYMBOL_TOKEN_BOOL 
YYSYMBOL_CONSTRAINT 
YYSYMBOL_TOKEN_FLOAT 
YYSYMBOL_TOKEN_INT 
YYSYMBOL_MAXIMIZE 
YYSYMBOL_MINIMIZE 
YYSYMBOL_OF 
YYSYMBOL_PREDICATE 
YYSYMBOL_SATISFY 
YYSYMBOL_SET 
YYSYMBOL_SOLVE 
YYSYMBOL_VAR 
YYSYMBOL_DOTDOT 
YYSYMBOL_COLONCOLON 
YYSYMBOL_IVALUE 
YYSYMBOL_SVALUE 
YYSYMBOL_IDENTIFIER 
YYSYMBOL_DVALUE 
YYSYMBOL_22_ 
YYSYMBOL_23_ 
YYSYMBOL_24_ 
YYSYMBOL_25_ 
YYSYMBOL_26_ 
YYSYMBOL_27_ 
YYSYMBOL_28_ 
YYSYMBOL_29_ 
YYSYMBOL_30_ 
YYSYMBOL_31_ 
YYSYMBOL_YYACCEPT 
YYSYMBOL_model 
YYSYMBOL_predicates 
YYSYMBOL_predicate 
YYSYMBOL_predicate_arguments 
YYSYMBOL_predicate_argument 
YYSYMBOL_predicate_array_argument 
YYSYMBOL_predicate_ints 
YYSYMBOL_variable_or_constant_declarations 
YYSYMBOL_variable_or_constant_declaration 
YYSYMBOL_optional_var_or_value 
YYSYMBOL_optional_var_or_value_array 
YYSYMBOL_var_or_value_array 
YYSYMBOL_var_or_value 
YYSYMBOL_int_domain 
YYSYMBOL_set_domain 
YYSYMBOL_float_domain 
YYSYMBOL_domain 
YYSYMBOL_integers 
YYSYMBOL_integer 
YYSYMBOL_floats 
YYSYMBOL_float 
YYSYMBOL_const_literal 
YYSYMBOL_const_literals 
YYSYMBOL_constraints 
YYSYMBOL_constraint 
YYSYMBOL_arguments 
YYSYMBOL_argument 
YYSYMBOL_annotations 
YYSYMBOL_annotation_arguments 
YYSYMBOL_annotation 
YYSYMBOL_solve 

Definition at line 111 of file parser.tab.cc.

Function Documentation

◆ free()

void free ( void *  )

◆ malloc()

void * malloc ( YYSIZE_T  )

◆ yy_reduce_print()

static void yy_reduce_print ( yy_state_t *  yyssp,
YYSTYPE *  yyvsp,
int  yyrule,
operations_research::fz::ParserContext *  context,
operations_research::fz::Model *  model,
bool *  ok,
void *  scanner 
)
static

Definition at line 904 of file parser.tab.cc.

◆ yy_stack_print()

static void yy_stack_print ( yy_state_t *  yybottom,
yy_state_t *  yytop 
)
static

Definition at line 886 of file parser.tab.cc.

◆ yy_symbol_print()

static void yy_symbol_print ( FILE *  yyo,
yysymbol_kind_t  yykind,
YYSTYPE const *const  yyvaluep,
operations_research::fz::ParserContext *  context,
operations_research::fz::Model *  model,
bool *  ok,
void *  scanner 
)
static

Definition at line 869 of file parser.tab.cc.

◆ yy_symbol_value_print()

static void yy_symbol_value_print ( FILE *  yyo,
yysymbol_kind_t  yykind,
YYSTYPE const *const  yyvaluep,
operations_research::fz::ParserContext *  context,
operations_research::fz::Model *  model,
bool *  ok,
void *  scanner 
)
static

Definition at line 846 of file parser.tab.cc.

◆ yy_syntax_error_arguments()

static int yy_syntax_error_arguments ( const yypcontext_t *  yyctx,
yysymbol_kind_t  yyarg[],
int  yyargn 
)
static

Definition at line 1068 of file parser.tab.cc.

◆ yydestruct()

static void yydestruct ( const char *  yymsg,
yysymbol_kind_t  yykind,
YYSTYPE *  yyvaluep,
operations_research::fz::ParserContext *  context,
operations_research::fz::Model *  model,
bool *  ok,
void *  scanner 
)
static

Definition at line 1192 of file parser.tab.cc.

◆ yyparse()

int yyparse ( operations_research::fz::ParserContext *  context,
operations_research::fz::Model *  model,
bool *  ok,
void *  scanner 
)

Definition at line 1214 of file parser.tab.cc.

◆ yypcontext_expected_tokens()

static int yypcontext_expected_tokens ( const yypcontext_t *  yyctx,
yysymbol_kind_t  yyarg[],
int  yyargn 
)
static

Definition at line 966 of file parser.tab.cc.

◆ yystpcpy()

static char * yystpcpy ( char *  yydest,
const char *  yysrc 
)
static

Definition at line 1014 of file parser.tab.cc.

◆ yystrlen()

static YYPTRDIFF_T yystrlen ( const char *  yystr)
static

Definition at line 1000 of file parser.tab.cc.

◆ yysymbol_name()

static const char * yysymbol_name ( yysymbol_kind_t  yysymbol)
static

Definition at line 636 of file parser.tab.cc.

◆ yysyntax_error()

static int yysyntax_error ( YYPTRDIFF_T *  yymsg_alloc,
char **  yymsg,
const yypcontext_t *  yyctx 
)
static

Definition at line 1117 of file parser.tab.cc.

◆ yytnamerr()

static YYPTRDIFF_T yytnamerr ( char *  yyres,
const char *  yystr 
)
static

Definition at line 1033 of file parser.tab.cc.

Variable Documentation

◆ yycheck

const yytype_int16 yycheck[]
static
Initial value:
= {
7, 51, 58, 79, 76, 77, 113, 22, 1, 16, 3, 4, 5, 6, 7, 71,
4, 198, 11, 7, 13, 14, 15, 3, 4, 18, 6, 7, 21, 18, 18, 20,
213, 13, 7, 15, 43, 30, 18, 17, 147, 21, 30, 3, 4, 18, 6, 7,
98, 0, 30, 29, 18, 13, 20, 15, 25, 129, 18, 28, 4, 21, 6, 7,
4, 31, 6, 7, 118, 13, 30, 15, 128, 13, 18, 15, 17, 21, 18, 155,
4, 21, 6, 7, 20, 21, 30, 20, 29, 13, 30, 17, 28, 18, 18, 20,
21, 21, 18, 19, 20, 21, 17, 29, 17, 30, 30, 27, 17, 25, 30, 18,
28, 20, 29, 18, 29, 20, 23, 23, 29, 28, 18, 27, 20, 28, 27, 183,
184, 185, 137, 187, 28, 8, 9, 5, 22, 12, 16, 18, 19, 20, 17, 25,
14, 25, 10, 197, 27, 31, 157, 31, 159, 25, 25, 24, 25, 16, 25, 31,
31, 28, 25, 25, 25, 28, 28, 28, 18, 26, 20, 24, 25, 20, 21, 18,
22, 26, 18, 21, 24, 20, 27, 20, 22, 26, 22, 16, 16, 20, 23, 25,
27, 18, 26, 18, 20, 18, 28, 25, 16, 28, 20, 16, 16, 7, 28, 27,
18, 10, 10, 16, 27, 27, 18, 18, 108, 28, 26, 18, 18, 18, 18, 18,
17, 200, 138, 138, 20, 216, 138, 131, 18, -1, 28, 26, 26, 26, 20, 20,
28, 28, 26, 26, 20, 20, 20, 27, 27, 27, 27, -1, -1, -1, 27, -1,
28, 66, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 56}

Definition at line 733 of file parser.tab.cc.

◆ yydebug

int yydebug

Definition at line 930 of file parser.tab.cc.

◆ yydefact

const yytype_int8 yydefact[]
static
Initial value:
= {
5, 0, 0, 1, 0, 0, 0, 70, 4, 0, 3, 0, 37, 45, 38, 0, 0, 0, 0,
0, 0, 47, 48, 49, 0, 0, 0, 0, 0, 0, 0, 0, 52, 53, 0, 51, 17, 0,
0, 84, 0, 0, 0, 0, 0, 8, 0, 0, 41, 42, 0, 0, 0, 39, 46, 0, 0,
40, 84, 0, 0, 69, 2, 0, 0, 6, 0, 0, 0, 0, 0, 84, 0, 50, 0, 0,
0, 0, 94, 0, 16, 0, 0, 13, 0, 7, 9, 0, 43, 44, 28, 54, 0, 74, 76,
79, 75, 0, 0, 0, 73, 96, 95, 88, 89, 90, 0, 83, 0, 0, 0, 10, 0, 0,
25, 60, 65, 64, 0, 19, 0, 0, 34, 35, 82, 0, 33, 0, 84, 0, 0, 0, 0,
0, 86, 15, 14, 0, 0, 27, 0, 0, 63, 0, 77, 0, 0, 0, 81, 78, 71, 72,
87, 0, 0, 0, 93, 0, 0, 0, 0, 0, 0, 61, 0, 62, 80, 0, 32, 91, 92,
85, 0, 0, 0, 0, 0, 0, 66, 36, 0, 11, 0, 84, 84, 84, 12, 84, 0, 0,
0, 31, 0, 0, 0, 0, 26, 0, 0, 0, 0, 21, 0, 68, 0, 58, 57, 23, 0,
56, 30, 0, 20, 0, 24, 0, 0, 22, 29, 67, 0, 55, 59}

Definition at line 684 of file parser.tab.cc.

◆ yydefgoto

const yytype_uint8 yydefgoto[]
static
Initial value:
= {
0, 1, 2, 6, 44, 45, 82, 83, 7, 20, 114, 196, 125, 126, 21, 22,
23, 46, 34, 35, 208, 209, 119, 204, 25, 40, 99, 100, 60, 133, 134, 41}

Definition at line 705 of file parser.tab.cc.

◆ yypact

const yytype_int16 yypact[]
static
Initial value:
= {
-182, 49, 7, -182, -15, 67, 114, 20, -182, 95, -182, 99,
-182, -182, -182, 136, 76, 122, 141, 11, 154, -182, -182, -182,
143, 130, 40, 157, 12, 151, 160, 158, -182, 155, 118, -182,
-182, 161, 163, -182, 162, 164, 165, 76, 156, 166, 159, 171,
-182, -182, 172, 11, 169, -182, -182, 175, 11, -182, -182, 167,
125, -182, -182, 27, 168, -182, 40, 176, 177, 179, 120, -182,
170, -182, 22, 80, 80, 80, -182, 121, 174, 184, 173, -182,
182, -182, -182, 178, -182, -182, 59, -182, 75, 187, -182, 180,
-182, 93, 11, 131, -182, -182, -182, 188, -182, 96, 121, -182,
198, 190, 199, -182, 200, 150, -182, 195, 185, -182, 34, -182,
196, 197, -182, 186, -182, 31, -182, 128, -182, 80, 201, 121,
202, 84, -182, -182, -182, 56, 60, -182, 203, 204, -182, 129,
-182, 189, 205, 150, -182, -182, 207, -182, -182, 147, 206, 121,
-182, 76, 192, 76, 209, 210, 211, -182, 212, -182, -182, 213,
-182, -182, -182, -182, 216, 208, 217, 218, 219, 224, -182, -182,
225, -182, 226, -182, -182, -182, -182, -182, 74, 85, 87, 91,
220, 221, 222, 223, -182, 97, 75, 64, 104, -182, 133, -182,
137, 227, -182, -182, 138, -182, -182, 139, -182, 75, -182, 214,
153, -182, -182, -182, 228, -182, -182}

Definition at line 660 of file parser.tab.cc.

◆ yypgoto

const yytype_int16 yypgoto[]
static
Initial value:
= {
-182, -182, -182, -182, 191, -182, -182, 108, -182, -182, -182,
-182, 25, -107, 88, 89, 92, -7, -50, 215, -182, 13,
-181, -182, -182, -182, -182, -72, -56, 100, -76, -182}

Definition at line 699 of file parser.tab.cc.

◆ yyr1

const yytype_int8 yyr1[]
static
Initial value:
= {
0, 32, 33, 34, 34, 34, 35, 36, 36, 37, 37, 37, 37, 38, 38, 39, 39,
40, 40, 41, 41, 41, 41, 41, 41, 41, 41, 42, 42, 43, 43, 43, 44, 44,
45, 45, 45, 46, 46, 46, 46, 47, 47, 47, 47, 48, 48, 49, 49, 49, 50,
50, 51, 51, 51, 52, 52, 53, 53, 53, 54, 54, 54, 54, 54, 54, 54, 55,
55, 56, 56, 57, 58, 58, 59, 59, 59, 59, 59, 59, 59, 59, 59, 60, 60,
61, 61, 62, 62, 62, 62, 62, 62, 62, 63, 63, 63}

Definition at line 769 of file parser.tab.cc.

◆ yyr2

const yytype_int8 yyr2[]
static
Initial value:
= {
0, 2, 5, 3, 3, 0, 5, 3, 1, 3, 4, 8, 9, 1, 3, 3, 1, 3, 0, 6,
15, 14, 15, 14, 15, 6, 13, 2, 0, 4, 3, 0, 3, 1, 1, 1, 4, 1, 1, 3,
3, 3, 3, 5, 5, 1, 3, 1, 1, 1, 3, 1, 1, 1, 4, 3, 1, 1, 1, 4,
1, 3, 3, 2, 1, 1, 4, 3, 1, 3, 0, 6, 3, 1, 1, 1, 1, 3, 3, 1,
4, 3, 2, 3, 0, 3, 1, 3, 1, 1, 1, 4, 4, 3, 3, 4, 4}

Definition at line 778 of file parser.tab.cc.

◆ yyrline

const yytype_int16 yyrline[]
static
Initial value:
= {
0, 103, 103, 110, 114, 115, 120, 123, 124, 127, 128, 129, 130, 133,
134, 137, 138, 145, 146, 149, 168, 183, 194, 209, 220, 246, 279, 349,
350, 353, 354, 355, 358, 362, 368, 369, 382, 400, 401, 402, 403, 410,
411, 412, 413, 420, 421, 428, 429, 430, 433, 434, 437, 438, 439, 444,
445, 448, 449, 450, 455, 456, 457, 462, 463, 467, 468, 474, 478, 484,
485, 488, 500, 501, 504, 505, 506, 507, 508, 513, 544, 561, 586, 595,
599, 602, 603, 606, 607, 608, 609, 619, 628, 634, 649, 657, 668}

Definition at line 550 of file parser.tab.cc.

◆ yystos

const yytype_int8 yystos[]
static
Initial value:
= {
0, 33, 34, 0, 1, 11, 35, 40, 22, 20, 22, 3, 4, 6, 7, 13, 15, 18, 21,
30, 41, 46, 47, 48, 49, 56, 23, 27, 10, 49, 16, 16, 18, 20, 50, 51, 22, 26,
5, 14, 57, 63, 3, 15, 36, 37, 49, 18, 4, 7, 18, 30, 26, 18, 21, 27, 25,
31, 20, 20, 60, 22, 22, 27, 49, 24, 25, 26, 16, 16, 50, 20, 18, 51, 60, 23,
8, 9, 12, 17, 7, 18, 38, 39, 26, 36, 20, 18, 18, 31, 60, 28, 29, 18, 19,
20, 21, 27, 30, 58, 59, 59, 59, 18, 19, 20, 27, 62, 25, 16, 28, 20, 28, 29,
42, 18, 20, 21, 30, 54, 16, 27, 18, 20, 28, 44, 45, 50, 24, 25, 16, 23, 27,
61, 62, 39, 18, 10, 10, 45, 16, 27, 31, 50, 18, 18, 27, 25, 28, 31, 60, 59,
18, 61, 18, 25, 28, 15, 49, 15, 46, 47, 48, 18, 18, 31, 28, 18, 45, 24, 28,
62, 49, 26, 49, 26, 26, 26, 28, 28, 26, 20, 26, 20, 20, 20, 20, 20, 60, 60,
60, 60, 29, 29, 29, 29, 43, 27, 27, 27, 27, 28, 50, 54, 55, 20, 21, 28, 52,
53, 28, 44, 28, 25, 28, 27, 25, 28, 28, 54, 18, 53, 28}

Definition at line 754 of file parser.tab.cc.

◆ yytable

const yytype_int16 yytable[]
static
Initial value:
= {
24, 70, 74, 107, 101, 102, 139, 8, 4, 29, -18, -18, -18, -18, -18,
90, 48, 203, 5, 49, -18, -18, -18, 11, 12, -18, 13, 14, -18, 32,
50, 33, 219, 15, 80, 16, 64, -18, 17, 79, 168, 18, 51, 42, 12,
81, 13, 14, 127, 3, 19, 92, 32, 15, 33, 43, 147, 151, 17, 148,
12, 18, 13, 14, 12, 142, 13, 14, 143, 15, 19, 157, 150, 15, 17,
159, 79, 18, 17, 171, 12, 18, 13, 14, 205, 206, 19, 9, 113, 15,
19, 79, 207, 115, 17, 116, 117, 18, 93, 94, 95, 96, 79, 192, 79,
118, 19, 97, 79, 155, 98, 122, 156, 123, 193, 32, 194, 33, 26, 131,
195, 124, 122, 132, 123, 201, 27, 188, 189, 190, 158, 191, 210, 76, 77,
38, 10, 78, 30, 103, 104, 105, 79, 56, 39, 56, 28, 202, 106, 57,
172, 89, 174, 56, 56, 128, 129, 31, 56, 149, 165, 212, 213, 216, 147,
214, 217, 218, 122, 37, 123, 169, 155, 205, 206, 47, 36, 52, 53, 54,
65, 58, 55, 59, 61, 67, 62, 68, 69, 71, 75, 66, 63, 72, 84,
87, 86, 88, 91, 108, 109, 110, 111, 120, 130, 80, 112, 121, 136, 137,
138, 140, 141, 146, 144, 145, 135, 166, 173, 152, 154, 163, 164, 167, 79,
211, 160, 161, 181, 221, 162, 153, 220, 0, 170, 175, 176, 177, 183, 184,
178, 179, 180, 182, 185, 186, 187, 197, 198, 199, 200, 0, 0, 0, 215,
0, 222, 85, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 73}

Definition at line 712 of file parser.tab.cc.

◆ yytname

const char* const yytname[]
static

Definition at line 570 of file parser.tab.cc.

◆ yytranslate

const yytype_int8 yytranslate[]
static
Initial value:
= {
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,
23, 24, 2, 2, 25, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 26, 22,
2, 29, 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, 27, 2, 28, 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, 30, 2, 31, 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}

Definition at line 532 of file parser.tab.cc.