Util.Graphs
Class EdgeNavigator.AddLeftFilter

java.lang.Object
Util.Collections.FilterIterator.Filter
Util.Graphs.EdgeNavigator.AddLeftFilter
- Enclosing class:
- EdgeNavigator
- public static class EdgeNavigator.AddLeftFilter
- extends Util.Collections.FilterIterator.Filter
| Methods inherited from class Util.Collections.FilterIterator.Filter |
isElement |
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
left
java.lang.Object left
EdgeNavigator.AddLeftFilter
public EdgeNavigator.AddLeftFilter(java.lang.Object o)
map
public java.lang.Object map(java.lang.Object o)
- Description copied from class:
Util.Collections.FilterIterator.Filter
- Perform a mapping on elements from the source enumeration.
Default implementation returns o
(identity mapping).