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

Packages that use SubgraphNonterminal

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

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

Methods in de.saar.chorus.domgraph.chart that return SubgraphNonterminal

Modifier and Type	Method	Description
protected SubgraphNonterminal	SubgraphSplitComputer.createEmptyNonterminal()
SubgraphNonterminal	CompleteSplitSource.makeToplevelSubgraph(Set<String> graph)
SubgraphNonterminal	OneSplitSource.makeToplevelSubgraph(Set<String> graph)

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

Modifier and Type	Method	Description
Iterator<Split<SubgraphNonterminal>>	CompleteSplitSource.computeSplits(SubgraphNonterminal subgraph)
Iterator<Split<SubgraphNonterminal>>	OneSplitSource.computeSplits(SubgraphNonterminal subgraph)

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

Modifier and Type	Method	Description
Iterator<Split<SubgraphNonterminal>>	CompleteSplitSource.computeSplits(SubgraphNonterminal subgraph)
Iterator<Split<SubgraphNonterminal>>	OneSplitSource.computeSplits(SubgraphNonterminal subgraph)

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

Modifier and Type	Method	Description
String	Chart.getLabelForSplit(Split<SubgraphNonterminal> split)
void	CompleteSplitSource.reduceIfNecessary(ConcreteRegularTreeGrammar<SubgraphNonterminal> chart)
void	OneSplitSource.reduceIfNecessary(ConcreteRegularTreeGrammar<SubgraphNonterminal> chart)
static boolean	ChartSolver.solve(DomGraph graph, ConcreteRegularTreeGrammar<SubgraphNonterminal> chart)	Solves the given dominance graph using a CompleteSplitSource.

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

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

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)

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

Modifier and Type	Method	Description
static de.uni_muenster.cs.sev.lethal.treeautomata.easy.EasyFTA	ChartToLethal.convertToFta(RegularTreeGrammar<SubgraphNonterminal> chart, DomGraph graph, NodeLabels labels)
static de.uni_muenster.cs.sev.lethal.grammars.generic.GenRTG<de.uni_muenster.cs.sev.lethal.symbol.common.RankedSymbol,de.uni_muenster.cs.sev.lethal.states.State>	ChartToLethal.convertToRtg(RegularTreeGrammar<SubgraphNonterminal> chart, DomGraph graph, NodeLabels labels)