Ejemplo n.º 1
0
void EntryFunctionContainer::dumpSauto(raw_ostream & os)
{
   vector < Transition * >transitionVector = _susAuto; 
   os << "\n Size of transitionVector : " << transitionVector.size();
   for (unsigned int i = 0; i < transitionVector.size(); i++) {
     Transition *t = transitionVector.at(i);
     t->dump(os);
   }
}