#include <hobbes/lang/preds/packsto.H>#include <hobbes/lang/preds/class.H>#include <hobbes/lang/typeinf.H>
Include dependency graph for packsto.C:
Classes | |
| struct | hobbes::PacksTo |
| struct | hobbes::UnqualifySafePackF |
| struct | hobbes::StripTransparentPackF |
Namespaces | |
| hobbes | |
Functions | |
| bool | hobbes::isSafeExistentialType (const Exists *e) |
| static bool | hobbes::dec (const ConstraintPtr &c, PacksTo *pt) |
| static void | hobbes::upd (const ConstraintPtr &c, const PacksTo &pt) |
