Uses of Class
de.saar.chorus.domgraph.chart.DecoratedNonterminal

Packages that use DecoratedNonterminal

Package	Description
de.saar.chorus.domgraph.chart	Provides classes for working with dominance charts.
de.saar.chorus.domgraph.chart.lethal

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

Method parameters in de.saar.chorus.domgraph.chart with type arguments of type DecoratedNonterminal

Modifier and Type	Method	Description
<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.

Uses of DecoratedNonterminal in de.saar.chorus.domgraph.chart.lethal

Methods in de.saar.chorus.domgraph.chart.lethal that return types with arguments of type DecoratedNonterminal

Modifier and Type	Method	Description
static RegularTreeGrammar<DecoratedNonterminal<SubgraphNonterminal,String>>	ChartToLethal.convertFtaToChart(de.uni_muenster.cs.sev.lethal.treeautomata.generic.GenFTA<de.uni_muenster.cs.sev.lethal.symbol.common.RankedSymbol,de.saar.chorus.contexttransducer.PairState<de.uni_muenster.cs.sev.lethal.states.State,String>> fta, DomGraph graph)
RegularTreeGrammar<DecoratedNonterminal<SubgraphNonterminal,String>>	RelativeNormalFormsComputer.reduceToChart(Chart chart, DomGraph graph, NodeLabels labels)