hobbes::switchMState< T > Struct Template Reference

#include <dfa.H>

Inheritance diagram for hobbes::switchMState< T >:

Collaboration diagram for hobbes::switchMState< T >:

Public Member Functions
virtual T	with (const LoadVars *) const =0
virtual T	with (const SwitchVal *) const =0
virtual T	with (const SwitchVariant *) const =0
virtual T	with (const FinishExpr *) const =0

Member Function Documentation

with() [1/4]

template<typename T>

virtual T hobbes::switchMState< T >::with ( const LoadVars *  ) const

pure virtual

Implemented in hobbes::makePrimDFASF, hobbes::reachableRowExprsF, and hobbes::liftDFAExprF.

with() [2/4]

template<typename T>

virtual T hobbes::switchMState< T >::with ( const SwitchVal *  ) const

pure virtual

Implemented in hobbes::makePrimDFASF, hobbes::reachableRowExprsF, and hobbes::liftDFAExprF.

with() [3/4]

template<typename T>

virtual T hobbes::switchMState< T >::with ( const SwitchVariant *  ) const

pure virtual

Implemented in hobbes::makePrimDFASF, hobbes::reachableRowExprsF, and hobbes::liftDFAExprF.

with() [4/4]

template<typename T>

virtual T hobbes::switchMState< T >::with ( const FinishExpr *  ) const

pure virtual

Implemented in hobbes::makePrimDFASF, hobbes::reachableRowExprsF, and hobbes::liftDFAExprF.

---

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

• include/hobbes/lang/pat/dfa.H