|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
ObjectChartSolver
public class ChartSolver
A solver for compact weakly normal dominance graphs. This solver computes
a Chart
as described in Koller & Thater (2005), "The evolution
of dominance constraint solvers", ACL-05 Workshop on Software. It
can be seen as an implementation of the Bodirsky et al. 2005 graph
solver.
This solver requires that the input dominance graph is weakly normal and compact. It will successively compute the splits corresponding to the free fragments of the subgraphs of the dominance graph, and adds them to the chart.
The solver relies on an object of a subclass of SplitSource
to provide the splits of a subgraph. By default, it uses
an object of the class CompleteSplitSource
, which computes
all splits of this subgraph. Alternatively, you can provide
a split source which only adds a certain subset of all splits
to the chart.
Notice that the role of this class is only to fill the chart. The actual
solved forms can later be extracted from the chart using a
SolvedFormIterator
object.
Method Summary | |
---|---|
static boolean |
solve(DomGraph graph,
Chart chart)
Solves the given dominance graph using a CompleteSplitSource . |
static boolean |
solve(DomGraph graph,
Chart chart,
SplitSource splitsource)
Solves the given dominance graph using a specific split source. |
Methods inherited from class Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Method Detail |
---|
public static boolean solve(DomGraph graph, Chart chart, SplitSource splitsource)
graph
- a weakly normal, compact dominance graphchart
- a chart which will be filled with the splits of this graphsplitsource
- a split source
public static boolean solve(DomGraph graph, Chart chart)
CompleteSplitSource
.
This method will create a new CompleteSplitSource
object for
the graph and then call solve(DomGraph, Chart, SplitSource)
.
solve(DomGraph, Chart, SplitSource)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |