public boolean haveAllAtLeastOneAction(EList<Transition> transitions){
  if (transitions.isEmpty())   return false;
  for (  Transition transition : transitions) {
    if (!hasAtLeastOneAction(transition)) {
      return false;
    }
  }
  return true;
}

public boolean haveAllAtLeastOneAction ( EList < Transition > transitions ) { if ( transitions . isEmpty ( ) ) return false ; for ( Transition transition : transitions ) { if ( ! hasAtLeastOneAction ( transition ) ) { return false ; } } return true ; }
checks if all given transitions have at least one action . returns false for empty lists .
