void Default::apply(Tx& a_tx)
{
  stringstream sstream;
  sstream
	<< "Tx::evolve_default !!! este estado es inalcanzalbe !!! "
	<< endl
	<< "estado actual: -"<< a_tx.getState() << "-, evento: -"<< a_tx.getEvent() <<"-."<< endl;
  Log::instance().log( sstream.str().c_str() );
  a_tx.setEvent( Tx::UNDEFINED );
  a_tx.setState( Tx::END );
}
bool WT0420RT0430::isMatch(Tx& a_tx)
{
  return (a_tx.getState() == Tx::WT0421 || a_tx.getState() == Tx::WT0420) && (a_tx.getEvent() == d_event);
}