Uses of Interface
org.jgrapht.util.PrefetchIterator.NextElementFunctor
Packages that use PrefetchIterator.NextElementFunctor
Package
Description
Non-graph-specific data structures, algorithms, and utilities used by JGraphT.
-
Uses of PrefetchIterator.NextElementFunctor in org.jgrapht.util
Constructors in org.jgrapht.util with parameters of type PrefetchIterator.NextElementFunctorModifierConstructorDescriptionConstruct a new prefetch iterator.