Uses of Class
org.basex.query.util.fingertree.FingerTree

Packages that use FingerTree

Package	Description
org.basex.query.util.fingertree

Uses of FingerTree in org.basex.query.util.fingertree

Methods in org.basex.query.util.fingertree that return FingerTree

Modifier and Type	Method	Description
abstract FingerTree<N,E>	FingerTree.concat(Node<N,E>[] mid, long size, FingerTree<N,E> other)	Concatenates this finger tree with the given one.
abstract FingerTree<N,E>	FingerTree.cons(Node<N,E> fst)	Adds an element to the front of this tree.
static <E> FingerTree<E,E>	FingerTree.empty()	Returns the empty finger tree.
FingerTree<E,E>	FingerTreeBuilder.freeze()	Builds a finger tree from the current state of this builder.
FingerTree<N,E>	TreeSlice.getTree()	Getter for a contained full tree, should only be called if TreeSlice.isTree() returns true.
abstract FingerTree<N,E>	FingerTree.init()	Returns this tree removing the last element.
abstract FingerTree<N,E>	FingerTree.insert(long pos, E val, QueryContext qc)	Inserts the given value at the given position into this tree.
abstract FingerTree<N,E>	FingerTree.replaceHead(Node<N,E> head)	Replaces the first node in this tree.
abstract FingerTree<N,E>	FingerTree.replaceLast(Node<N,E> last)	Replaces the last node in this tree.
abstract FingerTree<N,E>	FingerTree.reverse(QueryContext qc)	Creates a reversed version of this tree.
abstract FingerTree<N,E>	FingerTree.set(long pos, E val)	Replaces the element at the given position in this tree.
static <E> FingerTree<E,E>	FingerTree.singleton(Node<E,E> leaf)	Creates a singleton finger tree containing the given leaf node.
abstract FingerTree<N,E>	FingerTree.snoc(Node<N,E> lst)	Adds an element to the end of this tree.
abstract FingerTree<N,E>	FingerTree.tail()	Returns this tree removing the first element.

Methods in org.basex.query.util.fingertree with parameters of type FingerTree

Modifier and Type	Method	Description
void	FingerTreeBuilder.append(FingerTree<E,E> tree)	Appends another finger tree to this builder.
abstract FingerTree<N,E>	FingerTree.concat(Node<N,E>[] mid, long size, FingerTree<N,E> other)	Concatenates this finger tree with the given one.