Error in grammar documentation of CIF invariants
In the grammar documentation, see here, an invariant is defined as
Invariant : Expression
| Name "needs" Expression
| NonEmptySetExpression "needs" Expression
| Expression "disables" Name
| Expression "disables" NamesSet
;
In this definition, NonEmptySetExpression
should be NameSet
. The correct definition should read
Invariant : Expression
| Name "needs" Expression
| NamesSet "needs" Expression
| Expression "disables" Name
| Expression "disables" NamesSet
;