Class FeatureFundamentalRule

source code

             object --+        
                      |        
chart.AbstractChartRule --+    
                          |    
      chart.FundamentalRule --+
                              |
                             FeatureFundamentalRule

A specialized version of the fundamental rule that operates on nonterminals whose symbols are FeatStructNonterminals. Rather tha simply comparing the nonterminals for equality, they are unified. Variable bindings from these unifications are collected and stored in the chart using a FeatureTreeEdge. When a complete edge is generated, these bindings are applied to all nonterminals in the edge.

The fundamental rule states that:

• [A→α*B1β][i:j]
• [B2→γ*][j:k]

licenses the edge:

• [A→αB3*β][i:j]

assuming that B1 and B2 can be unified to generate B3.