Uses of Interface
openlist.incremental.Growable

Packages that use Growable

openlist.incremental	A sub-class of OpenList that allows dynamic growth on demand, e.g.
openlist.incremental.util	Utility functions to create various types of IncrementalLists.

Uses of Growable in openlist.incremental

Classes in openlist.incremental that implement Growable

class

Mapper<Object> Mapper is used to map a function over an IncrementalList.

Fields in openlist.incremental declared as Growable

(package private) Growable<Type>	IncrementalList.growable IncrementalLists are non-empty, by definition.
(package private) Growable<Object>	Mapper.growable the Growable producing the resulting list

Constructors in openlist.incremental with parameters of type Growable

IncrementalList(Type head, Growable<Type> growable)
The constructor for IncrementalList

Mapper(OpenList<Object> L, Function1arg<Object> f, Growable<Object> growable)
Create a Mapper, operating on an OpenList L, with a function f.

Uses of Growable in openlist.incremental.util

Classes in openlist.incremental.util that implement Growable

class

IntegersFrom IntegersFrom uses this Growable