Uses of Interface
de.saar.chorus.domgraph.chart.GraphBasedNonterminal

Packages that use GraphBasedNonterminal

Package	Description
de.saar.chorus.domgraph.chart	Provides classes for working with dominance charts.
de.saar.chorus.domgraph.chart.wrtg
de.saar.chorus.ubench.chartviewer

Uses of GraphBasedNonterminal in de.saar.chorus.domgraph.chart

Classes in de.saar.chorus.domgraph.chart with type parameters of type GraphBasedNonterminal

Modifier and Type	Class	Description
class	ChartSolver<E extends GraphBasedNonterminal>	A solver for compact weakly normal dominance graphs.
class	DecoratedNonterminal<E extends GraphBasedNonterminal,DecorationType>
class	RtgFreeFragmentAnalyzer<E extends GraphBasedNonterminal>
class	SolvedFormIterator<E extends GraphBasedNonterminal>	An iterator over the different solved forms represented by a Chart.
class	SplitComputer<E extends GraphBasedNonterminal>	A utility class for computing the split of a free root.
class	SplitSource<E extends GraphBasedNonterminal>	An abstract superclass for classes that compute splits.

Classes in de.saar.chorus.domgraph.chart that implement GraphBasedNonterminal

Modifier and Type	Class	Description
class	DecoratedNonterminal<E extends GraphBasedNonterminal,DecorationType>
class	SubgraphNonterminal

Methods in de.saar.chorus.domgraph.chart with type parameters of type GraphBasedNonterminal

Modifier and Type	Method	Description
static <E extends GraphBasedNonterminal> String	ChartPresenter.chartOnlyRoots(RegularTreeGrammar<E> ch, DomGraph g)
<F extends GraphBasedNonterminal> void	RegularTreeGrammar.intersect(RegularTreeGrammar<F> other, ConcreteRegularTreeGrammar<DecoratedNonterminal<F,E>> out)	Call this method on the filtering grammar and pass the grammar that is to be filtered as the argument.
static <E extends GraphBasedNonterminal> boolean	ChartSolver.solve(DomGraph graph, ConcreteRegularTreeGrammar<E> chart, SplitSource<E> splitsource)	Solves the given dominance graph using a specific split source.

Uses of GraphBasedNonterminal in de.saar.chorus.domgraph.chart.wrtg

Classes in de.saar.chorus.domgraph.chart.wrtg with type parameters of type GraphBasedNonterminal

Modifier and Type	Class	Description
class	CheapestSolvedFormComputer<E extends GraphBasedNonterminal,T extends Comparable<T>>
class	WeightedRegularTreeGrammar<E extends GraphBasedNonterminal,T extends Comparable<T>>

Uses of GraphBasedNonterminal in de.saar.chorus.ubench.chartviewer

Method parameters in de.saar.chorus.ubench.chartviewer with type arguments of type GraphBasedNonterminal

Modifier and Type	Method	Description
static String	FormatManager.getHTMLforMarkedSplit(Split<GraphBasedNonterminal> split, Set<String> roots)	Generates a HTML string to represent a split.
void	ChartViewer.markSplit(Split<GraphBasedNonterminal> split)	Mark a split in the main window by retrieving the colors via FormatManager.