next up previous contents
Next: 4.1 Creating relations Up: The Omega Library Interface Previous: 3.4 Generators

4 Building New Relations

 

The upcoming chapters will share three running examples; the figures that contain the code can be concatenated to produce a valid example program for the Omega Library (the file library_example.c , distributed with the postscript file for this manual, contains this code). We will see how to create the following very simple set, slightly more complicated set, and relation:

In this chapter, we'll describe how to construct relations and sets from scratch. We'll describe how to declare relations; create and use the variables used within Presburger formulas; and how to build Presburger formulas that describes membership in the set or relation.





omega@cs.umd.edu