Example usage for org.apache.commons.collections15.iterators IteratorChain addIterator

Introduction

In this page you can find the example usage for org.apache.commons.collections15.iterators IteratorChain addIterator.

Prototype

public void addIterator(Iterator<? extends E> iterator) 

Source Link

Document

Add an Iterator to the end of the chain

Usage

From source file:modalLogic.tableau.Branch.java

/**
 * Returns an iterator over all clashes in the branch.
 *
 * @return the iterator//from   w  w  w  .  ja va 2 s  .co  m
 */
public Iterator<Pair<LabelledFormula<P>>> clashes() {
    IteratorChain<Pair<LabelledFormula<P>>> ites = new IteratorChain<Pair<LabelledFormula<P>>>();
    for (World<P> w : tableau.getWorlds()) {
        if (w.isClashing())
            ites.addIterator(w.clashes());
    }
    return ites;
}

---