Rule for NamedInequalitySection

<InequalityKeyword>[:]\n
(<Inequality> \n)*
[<End>]


Rule for InequalityKeyword

(INEQUALITIES[_SECTION] | INEQUALITY_SECTION | Inequalities)

Rule for Inequality

(<Term> (⎵\t)*)* <Operator> (⎵\t)* [+|-]<Integer>


Rule for Term

[+|-] (⎵\t)* [<Integer>]<Name>

Note that a name must match one of the names defined in the NameSection. Note that in an inequality, each name may occur at most once.

Rule for Operator

(<= | >=)

Rule for Integer

(1-9)[(0-9)]*


Rule for Name

(a-z|A-Z)(a-z|A-Z|0-9|_|^)*

---

Examples

Names:
A B C
Inequalities:
2A >= 0
- B >= -1
A +B + C <= 2


---

May be used in

• OuterDescriptionFile
• SupplementaryOuterDescriptionFile

---

Legend

[X]: X is optional.
(X|Y|Z): One of X, Y or Z is present.
(A-E): Any ASCII symbol between symbol A and E.
X*: X may occur any number of times (including zero).