As mentioned above, the tuples belonging to the relation are defined by a Presburger formula. This formula is built from constraints using the operations described in Figure 4.
Figure 4: Presburger formula syntax
Web Accessibility
