hobbes::etvarNamesF Struct Reference

Inheritance diagram for hobbes::etvarNamesF:

Collaboration diagram for hobbes::etvarNamesF:

Public Member Functions
	etvarNamesF (NameSet *out)
UnitV	an (const Expr *v) const
UnitV	withConst (const Expr *v) const
UnitV	with (const Var *v) const
UnitV	with (const Let *v) const
UnitV	with (const Fn *v) const
UnitV	with (const App *v) const
UnitV	with (const Assign *v) const
UnitV	with (const MkArray *v) const
UnitV	with (const MkVariant *v) const
UnitV	with (const MkRecord *v) const
UnitV	with (const AIndex *v) const
UnitV	with (const Proj *v) const
UnitV	with (const Assump *v) const
UnitV	with (const Pack *v) const
UnitV	with (const Unpack *v) const
UnitV	with (const LetRec *v) const
UnitV	with (const Case *v) const
UnitV	with (const Switch *v) const
Public Member Functions inherited from hobbes::switchExprC< UnitV >
UnitV	with (const Unit *v) const
UnitV	with (const Bool *v) const
UnitV	with (const Char *v) const
UnitV	with (const Byte *v) const
UnitV	with (const Short *v) const
UnitV	with (const Int *v) const
UnitV	with (const Long *v) const
UnitV	with (const Float *v) const
UnitV	with (const Double *v) const

Public Attributes
NameSet *	out

Constructor & Destructor Documentation

etvarNamesF()

hobbes::etvarNamesF::etvarNamesF ( NameSet *  out )

inline

Member Function Documentation

an()

UnitV hobbes::etvarNamesF::an ( const Expr *  v ) const

inline

with() [1/16]

UnitV hobbes::etvarNamesF::with ( const Var *  v ) const

inlinevirtual

Implements hobbes::switchExprC< UnitV >.

with() [2/16]

UnitV hobbes::etvarNamesF::with ( const Let *  v ) const

inlinevirtual

Implements hobbes::switchExprC< UnitV >.

with() [3/16]

UnitV hobbes::etvarNamesF::with ( const Fn *  v ) const

inlinevirtual

Implements hobbes::switchExprC< UnitV >.

with() [4/16]

UnitV hobbes::etvarNamesF::with ( const App *  v ) const

inlinevirtual

Implements hobbes::switchExprC< UnitV >.

with() [5/16]

UnitV hobbes::etvarNamesF::with ( const Assign *  v ) const

inlinevirtual

Implements hobbes::switchExprC< UnitV >.

with() [6/16]

UnitV hobbes::etvarNamesF::with ( const MkArray *  v ) const

inlinevirtual

Implements hobbes::switchExprC< UnitV >.

with() [7/16]

UnitV hobbes::etvarNamesF::with ( const MkVariant *  v ) const

inlinevirtual

Implements hobbes::switchExprC< UnitV >.

with() [8/16]

UnitV hobbes::etvarNamesF::with ( const MkRecord *  v ) const

inlinevirtual

Implements hobbes::switchExprC< UnitV >.

with() [9/16]

UnitV hobbes::etvarNamesF::with ( const AIndex *  v ) const

inlinevirtual

Implements hobbes::switchExprC< UnitV >.

with() [10/16]

UnitV hobbes::etvarNamesF::with ( const Proj *  v ) const

inlinevirtual

Implements hobbes::switchExprC< UnitV >.

with() [11/16]

UnitV hobbes::etvarNamesF::with ( const Assump *  v ) const

inlinevirtual

Implements hobbes::switchExprC< UnitV >.

with() [12/16]

UnitV hobbes::etvarNamesF::with ( const Pack *  v ) const

inlinevirtual

Implements hobbes::switchExprC< UnitV >.

with() [13/16]

UnitV hobbes::etvarNamesF::with ( const Unpack *  v ) const

inlinevirtual

Implements hobbes::switchExprC< UnitV >.

with() [14/16]

UnitV hobbes::etvarNamesF::with ( const LetRec *  v ) const

inlinevirtual

Implements hobbes::switchExprC< UnitV >.

with() [15/16]

UnitV hobbes::etvarNamesF::with ( const Case *  v ) const

inlinevirtual

Implements hobbes::switchExprC< UnitV >.

with() [16/16]

UnitV hobbes::etvarNamesF::with ( const Switch *  v ) const

inlinevirtual

Implements hobbes::switchExprC< UnitV >.

withConst()

UnitV hobbes::etvarNamesF::withConst ( const Expr *  v ) const

inlinevirtual

Implements hobbes::switchExprC< UnitV >.

Member Data Documentation

out

NameSet* hobbes::etvarNamesF::out

---

The documentation for this struct was generated from the following file:

• lib/hobbes/lang/expr.C