The SkipSet class was created by a call to sano.maps.makeSet(SkipMap:new()). The set is implemented by storing the elements of the set as the keys in SkipMap, where all keys simply map to the value 'true'.
Example usage:
> oset = function(...) return SkipSet:make(unpack(arg)) end
> -- above is equivalent to: oset = sano.makers.oset
> s = oset(1,2,3,3,4); print(s)
{1, 2, 3, 4}
> print(s == oset(4,3,2,1))
true
> print(s == oset(1,3,5,7))
false
> print(s:remove(1))
1
> s:addAll(iter.count(10,15)); print(s)
{2, 3, 4, 10, 11, 12, 13, 14, 15}
> s:removeAll(iter.count(2,4)); print(s)
{10, 11, 12, 13, 14, 15}
> print(s:size())
6
make | Creates and returns a new instance of self containing the elements passed in as vararg params. |
new | Returns a newly constructed SkipMap using the specified ordering function, or self.cDefaultOrdering (initially natural increasing order) if none is specified. |
test | Unit test. |
union | Returns the union of set1 and set2 as a new set. |
contains | Returns true if this SkipMap contains a value for the supplied key. |
hash | Returns the sum of utils.hash(i) for i in set. |
difference | Returns the set that would be created by removing from set1 all elements in intersection(set1,set2). |
toString | Returns a string representation of set. |
add | Adds element to this set and returns true on success, false if element already existed in this set. |
addAll | Calls collection:add(e) for each e in iter(iterable). |
INCREASING | Returns x if x <= y and y otherwise. |
concatenate | Concatenates skipmap onto the end of this SkipMap. |
contains | Returns true if this SkipMap contains a value for the supplied key. |
containsAll | Returns true iff collection:contains(e) for e in iter(iterable). |
containsAny | Returns true if for collection:contains(e) for some e in iter(iterable). |
difference | Returns the set that would be created by removing from set1 all elements in intersection(set1,set2). |
enum | Decorates another iteration to return the index of each element returned from the decorated iteration. |
first | Returns the first key-value pair in this map, or nil if the map is empty. |
get | Returns the value associated with the supplied key, or nil if none exists. |
intersection | Computes and returns the intersection of set1 and set2. |
last | Returns the last key-value pair in this map, or nil if the map is empty. |
INCREASING | Returns x if x <= y and y otherwise. |
merge | Merges another SkipMap into this SkipMap, ensuring that the merged map remains ordered. |
difference | Returns the set that would be created by removing from set1 all elements in intersection(set1,set2). |
remove | Removes and returns element from this set, or returns nil if element was not a member of this set. |
removeAll | Equivalent to calling set:remove(e) for e in iter(elements). |
removeElement | Equivalent to set:remove(element). |
retainOnly | Removes all elements from set which do not also appear in elements. |
size | Returns the number of mappings in this SkipMap. |
splice | Removes all elements ordered between start and stop (both inclusive) and returns them as a new SkipMap. |
split | Removes all elements ordered at or after splitKey and returns them in a new SkipMap. |
union | Returns the union of set1 and set2 as a new set. |
uniqueFilter | Create and return a uniqueness filter based on set. |
valIter | Equivalent to Map:iter() except that iteration steps return elements in the order val,key instead of key,val. |
xor | Returns the set of elements which appear in either set1 or set2, but not in both. |
collections.make(self, ...)If #args is 1, the argument is assumed to be iterable and its elements are added to the Collection.
Example, assuming Collection is a sequence type:
> print( Collection:make(1,2,3,4) ) [1, 2, 3, 4] > print( Collection:make(iter.count(4) ) [1, 2, 3, 4] > v = Collection:make(1,2,3,4); print( Collection:make(v) ) [1, 2, 3, 4]
This method is used as the make method for LinkedList, SkipVector, HashSet, SkipSet, QueueVector, and PairingHeap. It assumes that self has new() and addAll() methods.
SkipMap:new([orderFn])The newly created map can be used to create other maps with the same default ordering, for instance:
> MaxFirstSkipMap = SkipMap:new(ordering.DECREASING)
> maxFirstMap = MaxFirstSkipMap:make{a=1,b=2,c=3,d=4}
> print(maxFirstMap:first())
d
SkipSet:test()
sets.union(set1, set2 [, setType])The returned set is created by a call to:
(setType or getmetatable(set1)):make(...)
synonyms: __add
SkipMap:contains(key)
sets.hash(set)This is the hash function used by all set implementations.
sets.difference(set1, set2 [,setType])The returned set is created by a call to:
(setType or getmetatable(set1)):new()
synonyms: __sub, minus
sets.toString(set)The order in which elements appear in the representation is the same as the iteration order of elements of the set.
Example:
> print(HashSet:make(1,1,3,2,5,6,4))
{1, 2, 3, 4, 5, 6}
Set:add(element)collections.addAll(collection, iterable)
ordering.INCREASING(x,y)This ordering is the default ordering typically used in functions where an (optional) ordering function is left unspecified.
SkipMap:concatenate(skipmap)This method throws an error if the two maps overlap. If the two maps are expected to have overlapping keysets according to the ordering, then use SkipMap:merge().
skiplist is destroyed as a result of this call.
time complexity: O(lg(size))
SkipMap:contains(key)
collections.containsAll(collection, elements)
collections.containsAny(collection, iterable)
sets.difference(set1, set2 [,setType])The returned set is created by a call to:
(setType or getmetatable(set1)):new()
synonyms: __sub, minus
iter.enum(iterable [, size, stop, step])If iterable is an object with a size() method, or if size is explicitly specified, the iteration will halt after iterable:size() steps. Otherwise, the iteration halts as soon as iter(iterable) halts (this may be undesireable if the iteration is expected to contain nil values)
If 2 args are given the indices will range from 1 to arg[2]. If 3 args are given the second and third arguments are interpreted as a counting range for the enumeration; If a 4th argument is specified, args 2 and 3 specify the counting range, and arg 4 specifies the step increment.
Examples:
> for ind,v in vector("abcd"):enum() do print(ind,v) end
1 a
2 b
3 c
4 d
> vec = vector("abc"); vec:add(nil)
> for ind,v in vec:enum() do print(ind, v) end
1 a
2 b
3 c
4 nil
SkipMap:first()time complexity: O(1)
SkipMap:get(key)synonyms: map:get(key) == map(key)
sets.intersection(set1, set2 [, setType])The returned set is created by a call to:
(setType or getmetatable(set1)):new()
SkipMap:last()time complexity: O(lg(size))
ordering.INCREASING(x,y)This ordering is the default ordering typically used in functions where an (optional) ordering function is left unspecified.
SkipMap:merge(skipmap)The other SkipMap is destroyed as result of this call.
The time complexity of this operation depends on the amount of overlap. The worst case, when entries need to be perfectly interlaced, takes O(size(self)+size(skipmap)). The best case, when entries are completely disjoint, takes only O(lg(size)).
sets.difference(set1, set2 [,setType])The returned set is created by a call to:
(setType or getmetatable(set1)):new()
synonyms: __sub, minus
Set:remove(element)sets.removeAll(set, elements)
sets.removeElement(set, element)In a sequence, the remove() method takes as input an index while the removeElement method takes as input the element to be removed. This method has the same semantics across both set and sequence implementations.
sets.retainOnly(set, elements)If elements is also a set, s, set is modified to be the intersection of set and s.
SkipMap:size()
SkipMap:splice(start [, stop])param stop: the last key (inclusive) to remove, default SkipMap:last()
time complexity: O(lg(size) + |stop-start|) (Unfortunately, the linear term is needed to recompute sizes - todo is to recompute these lazily)
SkipMap:split(splitKey)Example, given the map m = {a=1,b=2,c=3,d=4}, m:split("b") would return {b=2,c=3,d=4}.
The same result can be acheived by calling SkipMap:splice(splitKey). splice() is a more general method in that it also allows an end key.
time complexity: O(lg(size))
sets.union(set1, set2 [, setType])The returned set is created by a call to:
(setType or getmetatable(set1)):make(...)
synonyms: __add
sets.uniqueFilter(set)The filter is a function which returns true only for objects it has not yet seen. This can be used in conjuction with iter.filter. For example:
> v = vector(1,1,1,2,3,3,4,1,5,5) > print(vector(iter.filter(v, HashSet:uniqueFilter()))) [1, 2, 3, 4, 5]
Map:valIter()
sets.xor(set1, set2 [,setType])This operation is also often called the symmetric set difference.