#include <expr.H>
Public Member Functions | |
| virtual T | withConst (const Expr *v) const =0 |
| virtual T | with (const Var *v) const =0 |
| virtual T | with (const Let *v) const =0 |
| virtual T | with (const LetRec *v) const =0 |
| virtual T | with (const Fn *v) const =0 |
| virtual T | with (const App *v) const =0 |
| virtual T | with (const Assign *v) const =0 |
| virtual T | with (const MkArray *v) const =0 |
| virtual T | with (const MkVariant *v) const =0 |
| virtual T | with (const MkRecord *v) const =0 |
| virtual T | with (const AIndex *v) const =0 |
| virtual T | with (const Case *v) const =0 |
| virtual T | with (const Switch *v) const =0 |
| virtual T | with (const Proj *v) const =0 |
| virtual T | with (const Assump *v) const =0 |
| virtual T | with (const Pack *v) const =0 |
| virtual T | with (const Unpack *v) const =0 |
| T | with (const Unit *v) const |
| T | with (const Bool *v) const |
| T | with (const Char *v) const |
| T | with (const Byte *v) const |
| T | with (const Short *v) const |
| T | with (const Int *v) const |
| T | with (const Long *v) const |
| T | with (const Float *v) const |
| T | with (const Double *v) const |
Member Function Documentation
◆ with() [1/25]
|
pure virtual |
Implements hobbes::switchExpr< T >.
Implemented in hobbes::tgenSizeExprF, hobbes::hasSingularTypeF, hobbes::etvarNamesF, hobbes::switchExprTyFn, hobbes::freeVarF, hobbes::LoadFileP::insertLoadedFileF, hobbes::isConstP, hobbes::substVarF, hobbes::TCUnqualify, hobbes::ATRecordUnqualify, hobbes::ReceiveP::RewriteReceives, hobbes::RDUnqualify, hobbes::InvokeP::RewriteInvokes, hobbes::VDUnqualify, hobbes::RewriteFnAccess, hobbes::ConnectionP::StripConnQual, hobbes::DBFLUnqualify, hobbes::ProcessPUnqualify, hobbes::RewriteMSelect, hobbes::IsoRecUnqualify, hobbes::SizeOfPUnqualify, and hobbes::macroExpandF.
◆ with() [2/25]
|
pure virtual |
Implements hobbes::switchExpr< T >.
Implemented in hobbes::tgenSizeExprF, hobbes::hasSingularTypeF, hobbes::etvarNamesF, hobbes::switchExprTyFn, hobbes::freeVarF, hobbes::isConstP, hobbes::substVarF, hobbes::HFDBFLUnqualify, hobbes::ADBFSigUnqualify, hobbes::ProcManUnqualify, hobbes::ClosureConvertF, and hobbes::macroExpandF.
◆ with() [3/25]
|
pure virtual |
◆ with() [4/25]
|
pure virtual |
Implements hobbes::switchExpr< T >.
Implemented in hobbes::tgenSizeExprF, hobbes::hasSingularTypeF, hobbes::etvarNamesF, hobbes::switchExprTyFn, hobbes::freeVarF, hobbes::isConstP, hobbes::substVarF, hobbes::HFDBFLUnqualify, hobbes::ADBFSigUnqualify, hobbes::ObjUnqualify, hobbes::HFTEnvLookupUnqualify, hobbes::ProcManUnqualify, hobbes::ClosureConvertF, and hobbes::macroExpandF.
◆ with() [5/25]
|
pure virtual |
Implements hobbes::switchExpr< T >.
Implemented in hobbes::tgenSizeExprF, hobbes::hasSingularTypeF, hobbes::etvarNamesF, hobbes::switchExprTyFn, hobbes::freeVarF, hobbes::isConstP, hobbes::substVarF, hobbes::ATRecordUnqualify, hobbes::ObjUnqualify, hobbes::ProcManUnqualify, hobbes::HFTEnvLookupUnqualify, hobbes::RewriteFnAccess, hobbes::DBFLUnqualify, hobbes::ProcessPUnqualify, hobbes::RewriteMSelect, and hobbes::macroExpandF.
◆ with() [6/25]
|
pure virtual |
Implements hobbes::switchExpr< T >.
Implemented in hobbes::tgenSizeExprF, hobbes::hasSingularTypeF, hobbes::etvarNamesF, hobbes::switchExprTyFn, hobbes::freeVarF, hobbes::isConstP, hobbes::substVarF, hobbes::HFDBFLUnqualify, hobbes::ADBFSigUnqualify, hobbes::RDUnqualify, hobbes::HFRecordUnqualify, and hobbes::macroExpandF.
◆ with() [7/25]
|
pure virtual |
Implements hobbes::switchExpr< T >.
Implemented in hobbes::tgenSizeExprF, hobbes::hasSingularTypeF, hobbes::etvarNamesF, hobbes::switchExprTyFn, hobbes::freeVarF, hobbes::isConstP, hobbes::substVarF, and hobbes::macroExpandF.
◆ with() [8/25]
|
pure virtual |
Implements hobbes::switchExpr< T >.
Implemented in hobbes::tgenSizeExprF, hobbes::hasSingularTypeF, hobbes::etvarNamesF, hobbes::switchExprTyFn, hobbes::freeVarF, hobbes::isConstP, hobbes::substVarF, and hobbes::macroExpandF.
◆ with() [9/25]
|
pure virtual |
Implements hobbes::switchExpr< T >.
Implemented in hobbes::tgenSizeExprF, hobbes::hasSingularTypeF, hobbes::etvarNamesF, hobbes::switchExprTyFn, hobbes::freeVarF, hobbes::isConstP, hobbes::substVarF, and hobbes::macroExpandF.
◆ with() [10/25]
|
pure virtual |
Implements hobbes::switchExpr< T >.
Implemented in hobbes::tgenSizeExprF, hobbes::hasSingularTypeF, hobbes::etvarNamesF, hobbes::switchExprTyFn, hobbes::freeVarF, hobbes::isConstP, hobbes::substVarF, and hobbes::macroExpandF.
◆ with() [11/25]
|
pure virtual |
◆ with() [12/25]
|
pure virtual |
Implements hobbes::switchExpr< T >.
Implemented in hobbes::tgenSizeExprF, hobbes::hasSingularTypeF, hobbes::etvarNamesF, hobbes::freeVarF, hobbes::switchExprTyFn, hobbes::isConstP, hobbes::substVarF, and hobbes::macroExpandF.
◆ with() [13/25]
|
pure virtual |
Implements hobbes::switchExpr< T >.
Implemented in hobbes::tgenSizeExprF, hobbes::hasSingularTypeF, hobbes::etvarNamesF, hobbes::switchExprTyFn, hobbes::freeVarF, hobbes::isConstP, hobbes::substVarF, hobbes::HFDBFLUnqualify, hobbes::ProcManUnqualify, hobbes::HFTEnvLookupUnqualify, hobbes::HFLookupUnqualify, hobbes::HFSLookupUnqualify, and hobbes::macroExpandF.
◆ with() [14/25]
|
pure virtual |
◆ with() [15/25]
|
pure virtual |
◆ with() [16/25]
|
pure virtual |
◆ with() [17/25]
|
inlinevirtual |
Implements hobbes::switchExpr< T >.
◆ with() [18/25]
|
inlinevirtual |
Implements hobbes::switchExpr< T >.
◆ with() [19/25]
|
inlinevirtual |
Implements hobbes::switchExpr< T >.
◆ with() [20/25]
|
inlinevirtual |
Implements hobbes::switchExpr< T >.
◆ with() [21/25]
|
inlinevirtual |
Implements hobbes::switchExpr< T >.
◆ with() [22/25]
|
inlinevirtual |
Implements hobbes::switchExpr< T >.
◆ with() [23/25]
|
inlinevirtual |
Implements hobbes::switchExpr< T >.
◆ with() [24/25]
|
inlinevirtual |
Implements hobbes::switchExpr< T >.
◆ with() [25/25]
|
inlinevirtual |
Implements hobbes::switchExpr< T >.
◆ withConst()
|
pure virtual |
The documentation for this struct was generated from the following file:
- include/hobbes/lang/expr.H
