Rule for InequalitySection
<InequalityKeyword>[:]\n
(<Inequality> \n)*
[<End>]
Rule for InequalityKeyword
(INEQUALITIES[_SECTION] | INEQUALITY_SECTION | Inequalities)
Rule for Inequality
(<SignedInteger> (⎵\t)*)^n [<Operator>] (⎵\t)* <SignedInteger>
Note that if the operator is omitted, it defaults to
<=.
Note that the number of integers on the left hand side has to match the number of columns of your system.
Rule for Operator
(<= | >=)
Rule for SignedInteger
[+|i](1-9)[(0-9)]*
Examples
DIM=3
Names:
A B C
Inequalities:
0 0 1 >= 0
1 1 0 <= 2
-1 0 0 2
-1 0 0 <= 2
Note that the last two inequalities are equivalent.
May be used in
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).