Browsable Low Level Linear Programming Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: api/rascal/lllinear/extracted
Source used for this grammar: Paul Klint, Jurgen J. Vinju, analysis::linearprogramming::LLLinearProgramming, 2009–2013 [Explore]

Summary

• Total 7 production rules with 9 top alternatives and 47 symbols.
• Vocabulary: 18 = 7 nonterminals + 0 terminals + 6 labels + 5 markers.
• Total 7 nonterminal symbols: 7 defined (LLCoefficients, LLObjectiveFun, ConstraintType, LLConstraint, LLConstraints, LLVariableVals, LLSolution), 0 root (—), 3 top (LLObjectiveFun, LLConstraints, LLSolution), 0 bottom (—).
• Total 6 labels: [llObjFun], [leq], [eq], [geq], [llConstraint], [llSolution].
• Total 5 markers: ⟨coefficients⟩ ², ⟨const⟩ ², ⟨ctype⟩, ⟨varVals⟩, ⟨funVal⟩.

Syntax

LLCoefficients ::=
	integer*

LLObjectiveFun ::=
	[llObjFun]::(⟨coefficients⟩:LLCoefficients ⟨const⟩:integer)

ConstraintType ::=
	[leq]::ε
	[eq]::ε
	[geq]::ε

LLConstraint ::=
	[llConstraint]::(⟨coefficients⟩:LLCoefficients ⟨ctype⟩:ConstraintType ⟨const⟩:integer)

LLConstraints ::=
	LLConstraint*

LLVariableVals ::=
	integer*

LLSolution ::=
	[llSolution]::(⟨varVals⟩:LLVariableVals ⟨funVal⟩:integer)

Maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated in September 2015. [↑]