Inheritance diagram for hobbes::StripTransparentPackF:
Collaboration diagram for hobbes::StripTransparentPackF:
Public Member Functions | |
| StripTransparentPackF (const ConstraintPtr &cst) | |
| ExprPtr | wrapWithTy (const QualTypePtr &qty, Expr *e) const |
| ExprPtr | with (const Pack *p) const |
 Public Member Functions inherited from hobbes::switchExprTyFn | |
| virtual QualTypePtr | withTy (const QualTypePtr &qt) const |
| ExprPtr | withConst (const Expr *v) const |
| ExprPtr | with (const Var *v) const |
| ExprPtr | with (const Let *v) const |
| ExprPtr | with (const LetRec *v) const |
| ExprPtr | with (const Fn *v) const |
| ExprPtr | with (const App *v) const |
| ExprPtr | with (const Assign *v) const |
| ExprPtr | with (const MkArray *v) const |
| ExprPtr | with (const MkVariant *v) const |
| ExprPtr | with (const MkRecord *v) const |
| ExprPtr | with (const AIndex *v) const |
| ExprPtr | with (const Case *v) const |
| ExprPtr | with (const Switch *v) const |
| ExprPtr | with (const Proj *v) const |
| ExprPtr | with (const Assump *v) const |
| ExprPtr | with (const Unpack *v) const |
| Public Member Functions inherited from hobbes::switchExprC< ExprPtr > | |
| ExprPtr | with (const Unit *v) const |
| ExprPtr | with (const Bool *v) const |
| ExprPtr | with (const Char *v) const |
| ExprPtr | with (const Byte *v) const |
| ExprPtr | with (const Short *v) const |
| ExprPtr | with (const Int *v) const |
| ExprPtr | with (const Long *v) const |
| ExprPtr | with (const Float *v) const |
| ExprPtr | with (const Double *v) const |
Public Attributes | |
| const ConstraintPtr & | constraint |
Constructor & Destructor Documentation
◆ StripTransparentPackF()
|
inline |
Member Function Documentation
◆ with()
Reimplemented from hobbes::switchExprTyFn.
◆ wrapWithTy()
|
inlinevirtual |
Reimplemented from hobbes::switchExprTyFn.
Member Data Documentation
◆ constraint
| const ConstraintPtr& hobbes::StripTransparentPackF::constraint |
The documentation for this struct was generated from the following file:
- lib/hobbes/lang/preds/packsto.C
