314315316317318319320321322323324
+ _actor.getName() + "'"); } } private boolean isEligibleAction(Action a) { QID tag = a.getTag(); if ((tag != null) && (_currentStateSet != null)) { int length = _currentTransitions.length; for (int i = 0; i < length; i++) {
346347348349350351352353354355356
return; } // The new state set. Set ns = new HashSet(); QID tag = a.getTag(); int length = _currentTransitions.length; for (int i = 0; i < length; i++) { Transition t = _currentTransitions[i];