Go to the previous, next section.

Plex classes

A "Plex" is a kind of array with the following properties:

Plexes may have arbitrary upper and lower index bounds. For example a Plex may be declared to run from indices -10 .. 10.
Plexes may be dynamically expanded at both the lower and upper bounds of the array in steps of one element.
Only elements that have been specifically initialized or added may be accessed.
Elements may be accessed via indices. Indices are always checked for validity at run time. Plexes may be traversed via simple variations of standard array indexing loops.
Plex elements may be accessed and traversed via Pixes.
Plex-to-Plex assignment and related operations on entire Plexes are supported.
Plex classes contain methods to help programmers check the validity of indexing and pointer operations.
Plexes form "natural" base classes for many restricted-access data structures relying on logically contiguous indices, such as array-based stacks and queues.
Plexes are implemented as pseudo-generic classes, and must be generated via the genclass utility.

Four subclasses of Plexes are supported: A FPlex is a Plex that may only grow or shrink within declared bounds; an XPlex may dynamically grow or shrink without bounds; an RPlex is the same as an XPlex but better supports indexing with poor locality of reference; a MPlex may grow or shrink, and additionally allows the logical deletion and restoration of elements. Because these classes are virtual subclasses of the "abstract" class Plex, it is possible to write user code such as void f(Plex& a) ... that operates on any kind of Plex. However, as with nearly any virtual class, specifying the particular Plex class being used results in more efficient code.

Plexes are implemented as a linked list of IChunks. Each chunk contains a part of the array. Chunk sizes may be specified within Plex constructors. Default versions also exist, that use a #define'd default. Plexes grow by filling unused space in existing chunks, if possible, else, except for FPlexes, by adding another chunk. Whenever Plexes grow by a new chunk, the default element constructors (i.e., those which take no arguments) for all chunk elements are called at once. When Plexes shrink, destructors for the elements are not called until an entire chunk is freed. For this reason, Plexes (like C++ arrays) should only be used for elements with default constructors and destructors that have no side effects.

Plexes may be indexed and used like arrays, although traversal syntax is slightly different. Even though Plexes maintain elements in lists of chunks, they are implemented so that iteration and other constructs that maintain locality of reference require very little overhead over that for simple array traversal Pix-based traversal is also supported. For example, for a plex, p, of ints, the following traversal methods could be used.

for (int i = p.low(); i < p.fence(); p.next(i)) use(p[i]);
for (int i = p.high(); i > p.ecnef(); p.prev(i)) use(p[i]);
for (Pix t = p.first(); t != 0; p.next(t)) use(p(i));
for (Pix t = p.last(); t != 0; p.prev(t)) use(p(i));

Except for MPlexes, simply using ++i and --i works just as well as p.next(i) and p.prev(i) when traversing by index. Index-based traversal is generally a bit faster than Pix-based traversal.

XPlexes and MPlexes are less than optimal for applications in which widely scattered elements are indexed, as might occur when using Plexes as hash tables or "manually" allocated linked lists. In such applications, RPlexes are often preferable. RPlexes use a secondary chunk index table that requires slightly greater, but entirely uniform overhead per index operation.

Even though they may grow in either direction, Plexes are normally constructed so that their "natural" growth direction is upwards, in that default chunk construction leaves free space, if present, at the end of the plex. However, if the chunksize arguments to constructors are negative, they leave space at the beginning.

All versions of Plexes support the following basic capabilities. (letting Plex stand for the type name constructed via the genclass utility (e.g., intPlex, doublePlex)). Assume declarations of Plex p, q, int i, j, base element x, and Pix pix.

Plex p;: Declares p to be an initially zero-sized Plex with low index of zero, and the default chunk size. For FPlexes, chunk sizes represent maximum sizes.
Plex p(int size);: Declares p to be an initially zero-sized Plex with low index of zero, and the indicated chunk size. If size is negative, then the Plex is created with free space at the beginning of the Plex, allowing more efficient add_low() operations. Otherwise, it leaves space at the end.
Plex p(int low, int size);: Declares p to be an initially zero-sized Plex with low index of low, and the indicated chunk size.
Plex p(int low, int high, Base initval, int size = 0);: Declares p to be a Plex with indices from low to high, initially filled with initval, and the indicated chunk size if specified, else the default or (high - low + 1), whichever is greater.
Plex q(p);: Declares q to be a copy of p.
p = q;: Copies Plex q into p, deleting its previous contents.
p.length(): Returns the number of elements in the Plex.
p.empty(): Returns true if Plex p contains no elements.
p.full(): Returns true if Plex p cannot be expanded. This always returns false for XPlexes and MPlexes.
p[i]: Returns a reference to the i'th element of p. An exception (error) occurs if i is not a valid index.
p.valid(i): Returns true if i is a valid index into Plex p.
p.low(); p.high();: Return the minimum (maximum) valid index of the Plex, or the high (low) fence if the plex is empty.
p.ecnef(); p.fence();: Return the index one position past the minimum (maximum) valid index.
p.next(i); i = p.prev(i);: Set i to the next (previous) index. This index may not be within bounds.
p(pix): returns a reference to the item at Pix pix.
pix = p.first(); pix = p.last();: Return the minimum (maximum) valid Pix of the Plex, or 0 if the plex is empty.
p.next(pix); p.prev(pix);: set pix to the next (previous) Pix, or 0 if there is none.
p.owns(pix): Returns true if the Plex contains the element associated with pix.
p.Pix_to_index(pix): If pix is a valid Pix to an element of the Plex, returns its corresponding index, else raises an exception.
ptr = p.index_to_Pix(i): if i is a valid index, returns a the corresponding Pix.
p.low_element(); p.high_element();: Return a reference to the element at the minimum (maximum) valid index. An exception occurs if the Plex is empty.
p.can_add_low(); p.can_add_high();: Returns true if the plex can be extended one element downward (upward). These always return true for XPlex and MPlex.
j = p.add_low(x); j = p.add_high(x);: Extend the Plex by one element downward (upward). The new minimum (maximum) index is returned.
j = p.del_low(); j = p.del_high(): Shrink the Plex by one element on the low (high) end. The new minimum (maximum) element is returned. An exception occurs if the Plex is empty.
p.append(q);: Append all of Plex q to the high side of p.
p.prepend(q);: Prepend all of q to the low side of p.
p.clear(): Delete all elements, resetting p to a zero-sized Plex.
p.reset_low(i);: Resets p to be indexed starting at low() = i. For example. if p were initially declared via Plex p(0, 10, 0), and then re-indexed via p.reset_low(5), it could then be indexed from indices 5 .. 14.
p.fill(x): sets all p[i] to x.
p.fill(x, lo, hi): sets all of p[i] from lo to hi, inclusive, to x.
p.reverse(): reverses p in-place.
p.chunk_size(): returns the chunk size used for the plex.
p.error(const char * msg): calls the resettable error handler.

MPlexes are plexes with bitmaps that allow items to be logically deleted and restored. They behave like other plexes, but also support the following additional and modified capabilities:

p.del_index(i); p.del_Pix(pix): logically deletes p[i] (p(pix)). After deletion, attempts to access p[i] generate a error. Indexing via low(), high(), prev(), and next() skip the element. Deleting an element never changes the logical bounds of the plex.
p.undel_index(i); p.undel_Pix(pix): logically undeletes p[i] (p(pix)).
p.del_low(); p.del_high(): Delete the lowest (highest) undeleted element, resetting the logical bounds of the plex to the next lowest (highest) undeleted index. Thus, MPlex del_low() and del_high() may shrink the bounds of the plex by more than one index.
p.adjust_bounds(): Resets the low and high bounds of the Plex to the indexes of the lowest and highest actual undeleted elements.
int i = p.add(x): Adds x in an unused index, if possible, else performs add_high.
p.count(): returns the number of valid (undeleted) elements.
p.available(): returns the number of available (deleted) indices.
int i = p.unused_index(): returns the index of some deleted element, if one exists, else triggers an error. An unused element may be reused via undel.
pix = p.unused_Pix(): returns the pix of some deleted element, if one exists, else 0. An unused element may be reused via undel.

Go to the previous, next section.