|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||
See:
Description
| Class Summary | |
|---|---|
| EquationSystem | A representation for a term equation system. |
| IndividualRedundancyElimination | An implementation of the redundancy elimination algorithm which checks for each individual split whether it can be removed. |
| PermutabilityRedundancyElimination | An implementation of the redundancy elimination algorithm which checks whether a subgraph has a single permutable split. |
| RedundancyElimination | An abstract base class for the implementation of redundancy elimination algorithms. |
| RedundancyEliminationSplitSource | An implementation of SplitSource for filling a chart
with just the irredundant splits. |
Provides classes for redundancy elimination. A redundancy elimination algorithm is an algorithm that operates on a dominance chart and deletes splits (and therefore solved forms) from it, in such a way that the set of equivalence classes of the configurations is maintained. At this point, we have implemented two different redundancy elimination algorithms: the first one is based on permutable splits and described in Koller & Thater, ICoS workshop 2006; the second, more powerful, one is based on eliminable splits and described in an unpublished paper by Koller and Thater.
The classes in this package can be grouped as follows:Equation,
EquationSystem,
FragmentWithHole;
RedundancyElimination (the
abstract base class),
PermutabilityRedundancyElimination,
and
IndividualRedundancyElimination.
RedundancyEliminationSplitSource.
EquationSystem
as an argument. It can then be used in two different ways. You can either
apply its RedundancyElimination.eliminate(Chart)
method on an existing dominance chart; this will delete the redundant
splits from the chart. Or alternatively you can
use it to construct a RedundancyEliminationSplitSource,
which you can pass to a ChartSolver in order to compute
a chart which only contains irredundant splits in the first place.
|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||