Uses of Class
openlist.incremental.IncrementalList

Packages that use IncrementalList

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 IncrementalList in openlist.incremental

Methods in openlist.incremental that return IncrementalList

IncrementalList<Type>	IncrementalList.cons(Type head) A version of cons that produces an IncrementalList from this IncrementalList and a new first element
IncrementalList<Type>	Growable.grow() grow the result IncrementalList
IncrementalList<Object>	Mapper.grow() grow the result list

Uses of IncrementalList in openlist.incremental.util

Methods in openlist.incremental.util that return IncrementalList

IncrementalList<java.lang.Integer>

IntegersFrom.grow() grow the list