Rule for NamedReducedInequalitySection

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


Rule for InequalityKeyword

(REDUCED_INEQUALITIES[_SECTION] | REDUCED_INEQUALITY_SECTION | Reduced Inequalities)

Rule for Inequality

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

Note that any map defined in the MapSection applied to an inequality must form a valid inequality of your system.

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
Reduced Inequalities:
2A >= 0
- B >= -1
A +B + C <= 2


---

May be used in

• OuterDescriptionFile

---

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).