Public Member Functions | |
| virtual | ~TransDeleter () |
| virtual void | operator() (ITrans *t) |
Calls delete on each ITrans* object passed to it.
| virtual wali::wfa::TransDeleter::~TransDeleter | ( | ) | [virtual] |
| void wali::wfa::TransDeleter::operator() | ( | ITrans * | t | ) | [virtual] |
Implements wali::wfa::TransFunctor.
1.7.1