Java LanguageNode.getWrongContinuationsRecursively Examples

Example #1

File: LanguageNode.java Project: matmas/pneditor

  public Set<FiringSequence> getWrongContinuationsRecursively() {
    Set<FiringSequence> wrongContinuations = new HashSet<FiringSequence>();

    for (Transition disallowedNextTransition : getDisallowedNextTransitions()) {
      FiringSequence firingSequence = new FiringSequence();
      firingSequence.add(disallowedNextTransition);
      wrongContinuations.add(firingSequence);
    }

    for (LanguageNode nextNode : getNextNodes()) {
      for (FiringSequence nextFiringSequence : nextNode.getWrongContinuationsRecursively()) {
        FiringSequence firingSequence = new FiringSequence();
        firingSequence.add(nextNode.transition);
        firingSequence.addAll(nextFiringSequence);
        wrongContinuations.add(firingSequence);
      }
    }

    return wrongContinuations;
  }