#include <hobbes/lang/preds/consrecord.H>#include <hobbes/lang/preds/hasfield.H>#include <hobbes/lang/preds/class.H>#include <hobbes/lang/expr.H>#include <hobbes/lang/tylift.H>#include <hobbes/lang/typeinf.H>#include <hobbes/util/array.H>
Include dependency graph for consrecord.C:
Classes | |
| struct | hobbes::ConsRecord |
| struct | hobbes::RDUnqualify |
Namespaces | |
| hobbes | |
Macros | |
| #define | REF_REC_LABEL "recordHeadLabel" |
| #define | REF_REC_VALUE "recordHeadValue" |
| #define | REF_REC_TAIL "recordTail" |
| #define | REF_TUP_TAIL "tupleTail" |
Functions | |
| Record::Members | hobbes::stripHiddenFields (const Record *rty) |
| MonoTypePtr | hobbes::stripHiddenFields (const MonoTypePtr &ty) |
| static bool | hobbes::dec (const ConstraintPtr &c, ConsRecord *cr) |
| ExprPtr | hobbes::stripAssumps (const ExprPtr &e) |
Macro Definition Documentation
◆ REF_REC_LABEL
| #define REF_REC_LABEL "recordHeadLabel" |
◆ REF_REC_TAIL
| #define REF_REC_TAIL "recordTail" |
◆ REF_REC_VALUE
| #define REF_REC_VALUE "recordHeadValue" |
◆ REF_TUP_TAIL
| #define REF_TUP_TAIL "tupleTail" |
