Index: gcc/libstdc++-v3/doc/html/ext/pb_ds/concepts.html |
diff --git a/gcc/libstdc++-v3/doc/html/ext/pb_ds/concepts.html b/gcc/libstdc++-v3/doc/html/ext/pb_ds/concepts.html |
deleted file mode 100644 |
index 9f6c22462548323b57440368cf5445d74132e79b..0000000000000000000000000000000000000000 |
--- a/gcc/libstdc++-v3/doc/html/ext/pb_ds/concepts.html |
+++ /dev/null |
@@ -1,118 +0,0 @@ |
-<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" |
- "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> |
- |
-<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en"> |
-<head> |
- <meta name="generator" content= |
- "HTML Tidy for Linux/x86 (vers 12 April 2005), see www.w3.org" /> |
- |
- <title>Concepts</title> |
- <meta http-equiv="Content-Type" content= |
- "text/html; charset=us-ascii" /> |
- </head> |
- |
-<body> |
- <div id="page"> |
- <h1>Concepts</h1> |
- |
- <h2><a name="concepts_find_and_range_iterators" id= |
- "concepts_find_and_range_iterators">Point and Range Methods and |
- Iterators</a></h2> |
- |
- <p>A point-type iterator is an iterator that refers to a |
- specific element, <i>e.g.</i> as returned through an |
- associative-container's <tt>find</tt> method; a range-type |
- iterator is an iterator that is used to go over a sequence of |
- elements, <i>e.g.</i>, as returned by a container's |
- <tt>find</tt> method. A point-type method is a method that |
- returns a point-type iterator; a range-type method is a method |
- that returns a range-type iterator.</p> |
- |
- <p>For most containers, these types are synonymous; for |
- self-organizing containers, such as hash-based containers or |
- priority queues, these are inherently different (in any |
- implementation, including that of the STL), but in |
- <tt>pb_ds</tt> this is made explicit - they are distinct |
- types.</p> |
- |
- |
- <h2><a name="invalidation_guarantees" id= |
- "invalidation_guarantees">Invalidation Guarantees</a></h2> |
- |
- <p>If one manipulates a container object, then iterators |
- previously obtained from it can be invalidated. In some cases a |
- previously-obtained iterator cannot be de-referenced; in other |
- cases, the iterator's next or previous element might have |
- changed unpredictably. This corresponds exactly to the question |
- whether a point-type or range-type iterator (see previous |
- concept) is valid or not. In <tt>pb_ds</tt> one can query a |
- container (in compile time) what are its invalidation |
- guarantees.</p> |
- |
- <h2><a name="prm_sec" id="prm_sec">Primary and Secondary Keys |
- and Associative Containers</a></h2> |
- |
- <p>In <tt>pb_ds</tt> there are no associative containers which |
- allow multiple values with equivalent keys (such as the STL's |
- <tt>std::multimap</tt>, for example). Instead, one maps the |
- unique part of a key - the primary key, into an |
- associative-container of the (originally) non-unique parts of |
- the key - the secondary key. A primary associative-container is |
- an associative container of primary keys; a secondary |
- associative-container is an associative container of secondary |
- keys.</p> |
- |
- |
- <h2><a name="concepts_null_policies" id= |
- "concepts_null_policies">Null Policy Classes</a></h2> |
- |
- <p>Associative containers are typically parametrized by |
- various policies. For example, a hash-based associative |
- container is parametrized by a hash-functor, transforming each |
- key into an non-negative numerical type. Each such value is |
- then further mapped into a position within the table. The |
- mapping of a key into a position within the table is therefore |
- a two-step process.</p> |
- |
- <p>In some cases, instantiations are <i>redundant</i>. For |
- example, when the keys are integers, it is possible to use a |
- <i>redundant</i> hash policy, which transforms each key into |
- its value.</p> |
- |
- <p>In some other cases, these policies are <i>irrelevant</i>. |
- For example, a hash-based associative container might transform |
- keys into positions within a table by a different method than |
- the two-step method described above. In such a case, the hash |
- functor is simply irrelevant.</p> |
- |
- <p><tt>pb_ds</tt> uses special pre-defined "null policies" |
- classes for these cases. Some null policies in <tt>pb_ds</tt> |
- are:</p> |
- |
- <ol> |
- <li><a href= |
- "null_mapped_type.html"><tt>null_mapped_type</tt></a></li> |
- |
- <li><a href= |
- "null_tree_node_update.html"><tt>null_tree_node_update</tt></a></li> |
- |
- <li><a href= |
- "null_trie_node_update.html"><tt>null_trie_node_update</tt></a></li> |
- |
- <li><a href= |
- "null_hash_fn.html"><tt>null_hash_fn</tt></a></li> |
- |
- <li><a href= |
- "null_probe_fn.html"><tt>null_probe_fn</tt></a></li> |
- </ol> |
- |
- <p>A "set" in <tt>pb_ds</tt>, for example, is an associative |
- container with its <tt>Data_Parameter</tt> instantiated by |
- <a href="null_mapped_type.html"><tt>null_mapped_type</tt></a>. |
- <a href= |
- "tree_based_containers.html#invariants">Design::Tree-Based |
- Containers::Node Invariants</a> explains another case where a |
- null policy is needed.</p> |
- </div> |
-</body> |
-</html> |