List of usage examples for org.apache.commons.collections15.iterators IteratorChain IteratorChain
public IteratorChain()
From source file:modalLogic.tableau.Branch.java
/** * Returns an iterator over all clashes in the branch. * * @return the iterator/* w ww . j a v a 2 s . c o 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; }