hobbes::inferMappingF Struct Reference

Inheritance diagram for hobbes::inferMappingF:

Collaboration diagram for hobbes::inferMappingF:

Public Member Functions
	inferMappingF (VarMapping *vm)
UnitV	with (const MatchLiteral *) const
UnitV	with (const MatchAny *x) const
UnitV	with (const MatchArray *x) const
UnitV	with (const MatchRegex *x) const
UnitV	with (const MatchRecord *x) const
UnitV	with (const MatchVariant *x) const

Public Attributes
VarMapping *	vm

Constructor & Destructor Documentation

inferMappingF()

hobbes::inferMappingF::inferMappingF ( VarMapping *  vm )

inline

Member Function Documentation

with() [1/6]

UnitV hobbes::inferMappingF::with ( const MatchLiteral *  ) const

inlinevirtual

Implements hobbes::switchPattern< UnitV >.

with() [2/6]

UnitV hobbes::inferMappingF::with ( const MatchAny *  x ) const

inlinevirtual

Implements hobbes::switchPattern< UnitV >.

with() [3/6]

UnitV hobbes::inferMappingF::with ( const MatchArray *  x ) const

inlinevirtual

Implements hobbes::switchPattern< UnitV >.

with() [4/6]

UnitV hobbes::inferMappingF::with ( const MatchRegex *  x ) const

inlinevirtual

Implements hobbes::switchPattern< UnitV >.

with() [5/6]

UnitV hobbes::inferMappingF::with ( const MatchRecord *  x ) const

inlinevirtual

Implements hobbes::switchPattern< UnitV >.

with() [6/6]

UnitV hobbes::inferMappingF::with ( const MatchVariant *  x ) const

inlinevirtual

Implements hobbes::switchPattern< UnitV >.

Member Data Documentation

vm

VarMapping* hobbes::inferMappingF::vm

---

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

• lib/hobbes/lang/pat/pattern.C