|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
ObjectSplitSource
OneSplitSource
public class OneSplitSource
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
.
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 |
---|
public OneSplitSource(DomGraph graph)
Method Detail |
---|
public static boolean isGraphSolvable(DomGraph graph)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |