#include <hobbes/lang/preds/recty.H>#include <hobbes/lang/preds/class.H>#include <hobbes/lang/typeinf.H>
Include dependency graph for recty.C:
Classes | |
| struct | hobbes::IsoRecur |
| struct | hobbes::IsoRecUnqualify |
Namespaces | |
| hobbes | |
Macros | |
| #define | RECTY_ROLL "roll" |
| #define | RECTY_UNROLL "unroll" |
Functions | |
| static bool | hobbes::dec (const ConstraintPtr &c, IsoRecur *ir) |
Macro Definition Documentation
◆ RECTY_ROLL
| #define RECTY_ROLL "roll" |
◆ RECTY_UNROLL
| #define RECTY_UNROLL "unroll" |
