Classes and predicates for computing the Method Resolution Order (MRO) of classes. Supports both old-style (diamond) inheritance and new-style (C3 linearization) inheritance.
Part of the combined points-to, call-graph and type-inference library. The main relation
A list of classes, used to represent the MRO of a class