| Trees | Indices | Help |
|
|---|
|
|
object --+
|
data.HashSet --+
|
SignHashSet
Based on the basic hash set implementation. Provides special behaviour for adding already existing signs, so that, e.g., the derivation traces get added when a new sign is an alternative derivation of an already existing one.
SignHashSet additionally stores and maintains an index of the signs by category. It is useful during parsing to get just the distinct categories, since all the signs with the same category will be subject to the same rule applications.
|
|||
|
|||
|
|||
|
|||
|
|||
|
|||
| list of lists of Signs |
|
||
| list of Signs |
|
||
|
Inherited from Inherited from |
|||
|
|||
|
Inherited from |
|||
|
|||
x.__init__(...) initializes x; see help(type(x)) for signature
|
Overrides append() to maintain the index of signs grouped by category. See jazzparser.data.HashSet for main doc.
|
Overrides remove() to maintain the index of signs grouped by category. See jazzparser.data.HashSet for main doc.
|
When a value already exists in the table, this is called instead of adding the value. By default, it does nothing (i.e. drops the new value), but you can override it if you want to do something else to combine the values. Note that your custom methods must only modify the sign that's already
in the set (
|
|
|
|
| Trees | Indices | Help |
|
|---|
| Generated by Epydoc 3.0.1 on Mon Nov 26 16:04:57 2012 | http://epydoc.sourceforge.net |