de.saar.chorus.domgraph.chart
Class OneSplitSource

Object
  extended by SplitSource
      extended by OneSplitSource

public class OneSplitSource
extends SplitSource

A split source which only computes the first split for each subgraph. A ChartSolver which uses a split source of this class will not compute the complete set of solved forms. However, it is still guaranteed to detect whether a graph is unsolvable, and will be considerably faster than a solver that uses a CompleteSplitSource.

Author:
Alexander Koller

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

Constructor Detail

OneSplitSource

public OneSplitSource(DomGraph graph)
Method Detail

isGraphSolvable

public static boolean isGraphSolvable(DomGraph graph)