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.