de.saar.chorus.domgraph.chart
Class CompleteSplitSource

Object
  extended by SplitSource
      extended by CompleteSplitSource

public class CompleteSplitSource
extends SplitSource

A split source which computes the complete list of splits for a subgraph. A ChartSolver which uses an object of this class as its split source will compute the set of all solved forms of the dominance graph.

Author:
Alexander Koller

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

Constructor Detail

CompleteSplitSource

public CompleteSplitSource(DomGraph graph)