next up previous contents
Next: 6.1 Important warning Up: The Omega Library Interface Previous: 5.6 Inexact relations

6 Creating New Relations From Old

 

This section contains descriptions of the high-level operations on relations. Most of these operations take sets and/or relations as arguments and produce sets and or relations as results. In the following examples, and z are arbitrary tuples and and are arbitrary presburger formulas.





omega@cs.umd.edu