Class CharArrayFrontCodedList
- All Implemented Interfaces:
it.unimi.dsi.fastutil.objects.ObjectCollection<char[]>,it.unimi.dsi.fastutil.objects.ObjectIterable<char[]>,it.unimi.dsi.fastutil.objects.ObjectList<char[]>,it.unimi.dsi.fastutil.Stack<char[]>,java.io.Serializable,java.lang.Cloneable,java.lang.Comparable<java.util.List<? extends char[]>>,java.lang.Iterable<char[]>,java.util.Collection<char[]>,java.util.List<char[]>,java.util.RandomAccess
public class CharArrayFrontCodedList
extends it.unimi.dsi.fastutil.objects.AbstractObjectList<char[]>
implements java.io.Serializable, java.lang.Cloneable, java.util.RandomAccess
This class stores immutably a list of arrays in a single big array
using front coding (of course, the compression will be reasonable only if
the list is sorted lexicographically—see below). It implements an
immutable type-specific list that returns the i-th array when
calling get(i). The returned array may be
freely modified.
Front coding is based on the idea that if the i-th and the (i+1)-th array have a common prefix, we might store the length of the common prefix, and then the rest of the second array.
This approach, of course, requires that once in a while an array is
stored entirely. The ratio of a front-coded list defines how
often this happens (once every ratio() arrays). A higher ratio
means more compression, but means also a longer access time, as more arrays
have to be probed to build the result. Note that we must build an array
every time get(int) is called, but this class provides also methods
that extract one of the stored arrays in a given array, reducing garbage
collection. See the documentation of the family of get()
methods.
By setting the ratio to 1 we actually disable front coding: however, we still have a data structure storing large list of arrays with a reduced overhead (just one integer per array, plus the space required for lengths).
Note that the typical usage of front-coded lists is under the form of serialized objects; usually, the data that has to be compacted is processed offline, and the resulting structure is stored permanently. Since the pointer array is not stored, the serialized format is very small.
Implementation Details
All arrays are stored in a big array. A separate array of pointers indexes arrays whose position is a multiple of the ratio: thus, a higher ratio means also less pointers.
More in detail, an array whose position is a multiple of the ratio is
stored as the array length, followed by the elements of the array. The array
length is coded by a simple variable-length list of k-1 bit
blocks, where k is the number of bits of the underlying primitive
type. All other arrays are stored as follows: let common the
length of the maximum common prefix between the array and its predecessor.
Then we store the array length decremented by common, followed
by common, followed by the array elements whose index is
greater than or equal to common. For instance, if we store
foo, foobar, football and
fool in a front-coded character-array list with ratio 3, the
character array will contain
3 f o o 3 3 b a r 5 3 t b a l l 4 f o o l
- See Also:
- Serialized Form
-
Nested Class Summary
Nested classes/interfaces inherited from class it.unimi.dsi.fastutil.objects.AbstractObjectList
it.unimi.dsi.fastutil.objects.AbstractObjectList.ObjectRandomAccessSubList<K extends java.lang.Object>, it.unimi.dsi.fastutil.objects.AbstractObjectList.ObjectSubList<K extends java.lang.Object> -
Constructor Summary
Constructors Constructor Description CharArrayFrontCodedList(java.util.Collection<char[]> c, int ratio)Creates a new front-coded list containing the arrays in the given collection.CharArrayFrontCodedList(java.util.Iterator<char[]> arrays, int ratio)Creates a new front-coded list containing the arrays returned by the given iterator. -
Method Summary
Modifier and Type Method Description intarrayLength(int index)Computes the length of the array at the given index.CharArrayFrontCodedListclone()Returns a copy of this list.char[]get(int index)intget(int index, char[] a)Stores in the given array an array stored in this front-coded list.intget(int index, char[] a, int offset, int length)Stores in the given array elements from an array stored in this front-coded list.char[]getArray(int index)Returns an array stored in this front-coded list.it.unimi.dsi.fastutil.objects.ObjectListIterator<char[]>listIterator(int start)intratio()Returns the ratio of this list.intsize()java.lang.StringtoString()Methods inherited from class it.unimi.dsi.fastutil.objects.AbstractObjectList
add, add, addAll, addAll, addElements, addElements, clear, compareTo, contains, equals, forEach, getElements, hashCode, indexOf, iterator, lastIndexOf, listIterator, peek, pop, push, remove, removeElements, set, setElements, size, subList, toArray, toArray, topMethods inherited from class java.util.AbstractCollection
containsAll, isEmpty, remove, removeAll, retainAllMethods inherited from class java.lang.Object
getClass, notify, notifyAll, wait, wait, waitMethods inherited from interface java.util.Collection
parallelStream, removeIf, stream, toArrayMethods inherited from interface java.util.List
containsAll, isEmpty, remove, removeAll, replaceAll, retainAllMethods inherited from interface it.unimi.dsi.fastutil.objects.ObjectCollection
spliteratorMethods inherited from interface it.unimi.dsi.fastutil.objects.ObjectList
addAll, addAll, setElements, setElements, sort, spliterator, unstableSortMethods inherited from interface it.unimi.dsi.fastutil.Stack
isEmpty
-
Constructor Details
-
CharArrayFrontCodedList
public CharArrayFrontCodedList(java.util.Iterator<char[]> arrays, int ratio)Creates a new front-coded list containing the arrays returned by the given iterator.- Parameters:
arrays- an iterator returning arrays.ratio- the desired ratio.
-
CharArrayFrontCodedList
public CharArrayFrontCodedList(java.util.Collection<char[]> c, int ratio)Creates a new front-coded list containing the arrays in the given collection.- Parameters:
c- a collection containing arrays.ratio- the desired ratio.
-
-
Method Details
-
ratio
public int ratio()Returns the ratio of this list.- Returns:
- the ratio of this list.
-
arrayLength
public int arrayLength(int index)Computes the length of the array at the given index.- Parameters:
index- an index.- Returns:
- the length of the
index-th array.
-
get
public char[] get(int index)- Specified by:
getin interfacejava.util.List<char[]>- Implementation Specification:
- This implementation delegates to
getArray(int).
-
getArray
public char[] getArray(int index)Returns an array stored in this front-coded list.- Parameters:
index- an index.- Returns:
- the corresponding array stored in this front-coded list.
-
get
public int get(int index, char[] a, int offset, int length)Stores in the given array elements from an array stored in this front-coded list.- Parameters:
index- an index.a- the array that will store the result.offset- an offset intoawhere elements will be store.length- a maximum number of elements to store ina.- Returns:
- if
acan hold the extracted elements, the number of extracted elements; otherwise, the number of remaining elements with the sign changed.
-
get
public int get(int index, char[] a)Stores in the given array an array stored in this front-coded list.- Parameters:
index- an index.a- the array that will store the content of the result (we assume that it can hold the result).- Returns:
- if
acan hold the extracted elements, the number of extracted elements; otherwise, the number of remaining elements with the sign changed.
-
size
public int size()- Specified by:
sizein interfacejava.util.Collection<char[]>- Specified by:
sizein interfacejava.util.List<char[]>- Specified by:
sizein classjava.util.AbstractCollection<char[]>
-
listIterator
public it.unimi.dsi.fastutil.objects.ObjectListIterator<char[]> listIterator(int start)- Specified by:
listIteratorin interfacejava.util.List<char[]>- Specified by:
listIteratorin interfaceit.unimi.dsi.fastutil.objects.ObjectList<char[]>- Overrides:
listIteratorin classit.unimi.dsi.fastutil.objects.AbstractObjectList<char[]>
-
clone
Returns a copy of this list.- Returns:
- a copy of this list.
-
toString
public java.lang.String toString()- Overrides:
toStringin classit.unimi.dsi.fastutil.objects.AbstractObjectList<char[]>
-