hobbes::liftDFAExprF Struct Reference

Inheritance diagram for hobbes::liftDFAExprF:

Collaboration diagram for hobbes::liftDFAExprF:

Public Member Functions
	liftDFAExprF (MDFA *dfa)
ExprPtr	with (const LoadVars *x) const
ExprPtr	with (const SwitchVal *x) const
ExprPtr	with (const SwitchVariant *x) const
ExprPtr	with (const FinishExpr *x) const

Public Attributes
MDFA *	dfa

Constructor & Destructor Documentation

liftDFAExprF()

hobbes::liftDFAExprF::liftDFAExprF ( MDFA *  dfa )

inline

Member Function Documentation

with() [1/4]

ExprPtr hobbes::liftDFAExprF::with ( const LoadVars *  x ) const

inlinevirtual

Implements hobbes::switchMState< ExprPtr >.

with() [2/4]

ExprPtr hobbes::liftDFAExprF::with ( const SwitchVal *  x ) const

inlinevirtual

Implements hobbes::switchMState< ExprPtr >.

with() [3/4]

ExprPtr hobbes::liftDFAExprF::with ( const SwitchVariant *  x ) const

inlinevirtual

Implements hobbes::switchMState< ExprPtr >.

with() [4/4]

ExprPtr hobbes::liftDFAExprF::with ( const FinishExpr *  x ) const

inlinevirtual

Implements hobbes::switchMState< ExprPtr >.

Member Data Documentation

dfa

MDFA* hobbes::liftDFAExprF::dfa

---

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

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