This package includes utility classes used the ACT/Fluid project, that are independent of the IR. They may be replaced by externally developed classes. Some already have been replaced.

Most of the classes here concern sets and control-flow analysis lattices. The set classes include the ability to represent (some) infinite sets, and the ability to ensure sets with the same elements are represented with the same object. Then object identity can be used to check equality.

Thematic listing of classes:

There is a test suite for the set classes in a package private class. If you gmake test in the code/fluid/util directory, you will see it in operation.