hobbes::encodeExprF Struct Reference

Inheritance diagram for hobbes::encodeExprF:

Collaboration diagram for hobbes::encodeExprF:

Public Member Functions
	encodeExprF (std::ostream &out)
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
UnitV	with (const Var *v) const
UnitV	with (const Let *v) const
UnitV	with (const LetRec *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 Case *v) const
UnitV	with (const Switch *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

Public Attributes
std::ostream &	out

Constructor & Destructor Documentation

encodeExprF()

hobbes::encodeExprF::encodeExprF ( std::ostream &  out )

inline

Member Function Documentation

with() [1/25]

UnitV hobbes::encodeExprF::with ( const Unit *  v ) const

inlinevirtual

Implements hobbes::switchExpr< UnitV >.

with() [2/25]

UnitV hobbes::encodeExprF::with ( const Bool *  v ) const

inlinevirtual

Implements hobbes::switchExpr< UnitV >.

with() [3/25]

UnitV hobbes::encodeExprF::with ( const Char *  v ) const

inlinevirtual

Implements hobbes::switchExpr< UnitV >.

with() [4/25]

UnitV hobbes::encodeExprF::with ( const Byte *  v ) const

inlinevirtual

Implements hobbes::switchExpr< UnitV >.

with() [5/25]

UnitV hobbes::encodeExprF::with ( const Short *  v ) const

inlinevirtual

Implements hobbes::switchExpr< UnitV >.

with() [6/25]

UnitV hobbes::encodeExprF::with ( const Int *  v ) const

inlinevirtual

Implements hobbes::switchExpr< UnitV >.

with() [7/25]

UnitV hobbes::encodeExprF::with ( const Long *  v ) const

inlinevirtual

Implements hobbes::switchExpr< UnitV >.

with() [8/25]

UnitV hobbes::encodeExprF::with ( const Float *  v ) const

inlinevirtual

Implements hobbes::switchExpr< UnitV >.

with() [9/25]

UnitV hobbes::encodeExprF::with ( const Double *  v ) const

inlinevirtual

Implements hobbes::switchExpr< UnitV >.

with() [10/25]

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

inlinevirtual

Implements hobbes::switchExpr< UnitV >.

with() [11/25]

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

inlinevirtual

Implements hobbes::switchExpr< UnitV >.

with() [12/25]

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

inlinevirtual

Implements hobbes::switchExpr< UnitV >.

with() [13/25]

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

inlinevirtual

Implements hobbes::switchExpr< UnitV >.

with() [14/25]

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

inlinevirtual

Implements hobbes::switchExpr< UnitV >.

with() [15/25]

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

inlinevirtual

Implements hobbes::switchExpr< UnitV >.

with() [16/25]

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

inlinevirtual

Implements hobbes::switchExpr< UnitV >.

with() [17/25]

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

inlinevirtual

Implements hobbes::switchExpr< UnitV >.

with() [18/25]

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

inlinevirtual

Implements hobbes::switchExpr< UnitV >.

with() [19/25]

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

inlinevirtual

Implements hobbes::switchExpr< UnitV >.

with() [20/25]

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

inlinevirtual

Implements hobbes::switchExpr< UnitV >.

with() [21/25]

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

inlinevirtual

Implements hobbes::switchExpr< UnitV >.

with() [22/25]

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

inlinevirtual

Implements hobbes::switchExpr< UnitV >.

with() [23/25]

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

inlinevirtual

Implements hobbes::switchExpr< UnitV >.

with() [24/25]

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

inlinevirtual

Implements hobbes::switchExpr< UnitV >.

with() [25/25]

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

inlinevirtual

Implements hobbes::switchExpr< UnitV >.

Member Data Documentation

out

std::ostream& hobbes::encodeExprF::out

---

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

• lib/hobbes/lang/expr.C