On Wed, 2020-12-02 at 11:27 -0300, Germán Ferrari wrote: > Hi. > > I couldn't find the MathProg grammar in EBNF
You can find all the grammar productions actually used by parsing routines in comments to these routines; see glpk/src/mpl/mpl1.c and mpl2.c. For example: /*---------------------------------------------------------------------- -- object_reference - parse reference to named object. -- -- This routine parses primary expression using the syntax: -- -- <primary expression> ::= <dummy index> -- <primary expression> ::= <set name> -- <primary expression> ::= <set name> [ <subscript list> ] -- <primary expression> ::= <parameter name> -- <primary expression> ::= <parameter name> [ <subscript list> ] -- <primary expression> ::= <variable name> <suffix> -- <primary expression> ::= <variable name> [ <subscript list> ] -- <suffix> -- <primary expression> ::= <constraint name> <suffix> -- <primary expression> ::= <constraint name> [ <subscript list> ] -- <suffix> -- <dummy index> ::= <symbolic name> -- <set name> ::= <symbolic name> -- <parameter name> ::= <symbolic name> -- <variable name> ::= <symbolic name> -- <constraint name> ::= <symbolic name> -- <suffix> ::= <empty> | .lb | .ub | .status | .val | .dual */ > so I created one. It only covers the declaration statements. Maybe > it's useful to somebody else. Thank you. > > Any comments welcome. I'd like to note that if you enclose non-terminals in < and >, then terminal symbols are not needed to be enclosed in quotes. > > Thank you. > > Regards, > Germán.
