Uses of Class
de.saar.chorus.domgraph.chart.RegularTreeGrammar
Packages that use RegularTreeGrammar
Package
Description
Provides classes for working with dominance charts.
-
Uses of RegularTreeGrammar in de.saar.chorus.domgraph.chart
Subclasses of RegularTreeGrammar in de.saar.chorus.domgraph.chartModifier and TypeClassDescriptionclassA chart for storing intermediate results of the graph-chart solver.classclassRewritingRtg<E>Methods in de.saar.chorus.domgraph.chart that return RegularTreeGrammarMethods in de.saar.chorus.domgraph.chart with parameters of type RegularTreeGrammarModifier and TypeMethodDescriptionstatic <E extends GraphBasedNonterminal>
StringChartPresenter.chartOnlyRoots(RegularTreeGrammar<E> ch, DomGraph g) <F extends GraphBasedNonterminal>
voidRegularTreeGrammar.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> ConcreteRegularTreeGrammar<E>ConcreteRegularTreeGrammar.makeExplicit(RegularTreeGrammar<E> rtg) Constructors in de.saar.chorus.domgraph.chart with parameters of type RegularTreeGrammar -
Uses of RegularTreeGrammar in de.saar.chorus.domgraph.chart.lethal
Methods in de.saar.chorus.domgraph.chart.lethal that return RegularTreeGrammarModifier and TypeMethodDescriptionChartToLethal.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) RelativeNormalFormsComputer.reduceToChart(Chart chart, DomGraph graph, NodeLabels labels) Methods in de.saar.chorus.domgraph.chart.lethal with parameters of type RegularTreeGrammarModifier and TypeMethodDescriptionstatic de.uni_muenster.cs.sev.lethal.treeautomata.easy.EasyFTAChartToLethal.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) -
Uses of RegularTreeGrammar in de.saar.chorus.domgraph.chart.rtgparser
Methods in de.saar.chorus.domgraph.chart.rtgparser that return RegularTreeGrammarModifier and TypeMethodDescription -
Uses of RegularTreeGrammar in de.saar.chorus.domgraph.chart.wrtg
Subclasses of RegularTreeGrammar in de.saar.chorus.domgraph.chart.wrtgModifier and TypeClassDescriptionclassWeightedRegularTreeGrammar<E extends GraphBasedNonterminal,T extends Comparable<T>>