de.saar.chorus.domgraph.equivalence
Class RedundancyEliminationSplitSource

Object
  extended by SplitSource
      extended by RedundancyEliminationSplitSource

public class RedundancyEliminationSplitSource
extends SplitSource

An implementation of SplitSource for filling a chart with just the irredundant splits. Redundancy is defined by an object of a subclass of RedundancyElimination.

Author:
Alexander Koller

Constructor Summary
RedundancyEliminationSplitSource(RedundancyElimination elim, DomGraph graph)
           
 
Method Summary
 
Methods inherited from class Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

RedundancyEliminationSplitSource

public RedundancyEliminationSplitSource(RedundancyElimination elim,
                                        DomGraph graph)