Uses of Class
de.saar.chorus.domgraph.graph.DomGraph

Packages that use DomGraph

Package	Description
de.saar.chorus.domgraph.chart	Provides classes for working with dominance charts.
de.saar.chorus.domgraph.chart.lethal
de.saar.chorus.domgraph.chart.wrtg
de.saar.chorus.domgraph.codec	Provides basic classes for implementing codecs.
de.saar.chorus.domgraph.codec.basic	Provides some basic codecs which are not tied to any particular underspecification formalism.
de.saar.chorus.domgraph.codec.codegen
de.saar.chorus.domgraph.codec.domcon	Provides codecs for dealing with dominance constraints and dominance graphs.
de.saar.chorus.domgraph.codec.domgraph	Provides codecs for representing labelled dominance graphs in various graph representation languages.
de.saar.chorus.domgraph.codec.glue	Provides a codec for converting axioms of Glue Semantics into labelled dominance graphs (EXPERIMENTAL).
de.saar.chorus.domgraph.codec.holesem	Provides a codec for converting USRs of Hole Semantics into labelled dominance graphs.
de.saar.chorus.domgraph.codec.mrs	Provides two codecs for converting USRs of Minimal Recursion Semantics into labelled dominance graphs.
de.saar.chorus.domgraph.codec.plugging	Provides two codecs for printing pluggings.
de.saar.chorus.domgraph.codec.rmrs
de.saar.chorus.domgraph.codec.term	Provides two codecs for printing simple solved forms as terms.
de.saar.chorus.domgraph.graph	Provides basic classes for representing labelled dominance graphs and basic algorithms running on them.
de.saar.chorus.domgraph.layout
de.saar.chorus.domgraph.layout.chartlayout
de.saar.chorus.domgraph.layout.domgraphlayout
de.saar.chorus.domgraph.layout.solvedformlayout
de.saar.chorus.domgraph.layout.treelayout
de.saar.chorus.domgraph.utool	Provides the main programme for Utool.
de.saar.chorus.newubench
de.saar.chorus.ubench	Provides the classes for the Underspecification Workbench GUI.
de.saar.chorus.ubench.chartviewer

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

Fields in de.saar.chorus.domgraph.chart declared as DomGraph

Modifier and Type	Field	Description
protected DomGraph	RewritingRtg.compact
protected DomGraph	RewritingRtg.graph
protected DomGraph	SplitSource.graph

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

Modifier and Type	Method	Description
DomGraph	SplitSource.getGraph()

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

Modifier and Type	Method	Description
static <E extends GraphBasedNonterminal> String	ChartPresenter.chartOnlyRoots(RegularTreeGrammar<E> ch, DomGraph g)
static boolean	OneSplitSource.isGraphSolvable(DomGraph graph)
static boolean	ChartSolver.solve(DomGraph graph, ConcreteRegularTreeGrammar<SubgraphNonterminal> chart)	Solves the given dominance graph using a CompleteSplitSource.
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.

Constructors in de.saar.chorus.domgraph.chart with parameters of type DomGraph

Modifier	Constructor	Description
	CompleteSplitSource(DomGraph graph)
	OneSplitSource(DomGraph graph)
	RewritingRtg(DomGraph graph, NodeLabels labels, RtgFreeFragmentAnalyzer<?> analyzer)
	SolvedFormIterator(RegularTreeGrammar<E> ch, DomGraph graph)
	SplitComputer(DomGraph graph)
	SplitSource(DomGraph graph)
	SubgraphSplitComputer(DomGraph graph)

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

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

Modifier and Type	Method	Description
de.saar.chorus.contexttransducer.ContextTreeTransducer<de.uni_muenster.cs.sev.lethal.symbol.common.RankedSymbol,de.uni_muenster.cs.sev.lethal.symbol.common.RankedSymbol,de.uni_muenster.cs.sev.lethal.states.State>	RewriteSystemToTransducer.convert(DomGraph graph, NodeLabels labels)
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)
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)
static void	UtoolReducer.load(String filename, DomGraph graph, NodeLabels labels)
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>>	RelativeNormalFormsComputer.reduce(Chart chart, DomGraph graph, NodeLabels labels)
RegularTreeGrammar<DecoratedNonterminal<SubgraphNonterminal,String>>	RelativeNormalFormsComputer.reduceToChart(Chart chart, DomGraph graph, NodeLabels labels)
static Chart	UtoolReducer.solve(NodeLabels labels, DomGraph graph)

Constructors in de.saar.chorus.domgraph.chart.lethal with parameters of type DomGraph

Modifier	Constructor	Description
	RewriteSystemSpecializer(DomGraph graph, NodeLabels labels, Annotator annotator)

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

Constructors in de.saar.chorus.domgraph.chart.wrtg with parameters of type DomGraph

Modifier	Constructor	Description
	CheapestSolvedFormComputer(WeightedRegularTreeGrammar<E,T> grammar, DomGraph graph)

Uses of DomGraph in de.saar.chorus.domgraph.codec

Methods in de.saar.chorus.domgraph.codec with parameters of type DomGraph

Modifier and Type	Method	Description
abstract void	InputCodec.decode(Reader reader, DomGraph graph, NodeLabels labels)	Reads an USR representation from a Reader.
abstract void	OutputCodec.encode(DomGraph graph, NodeLabels labels, Writer writer)	Encodes a dominance graph into a string representation for this output codec.
static void	CodecTools.graphLabelsConsistencyAssertion(DomGraph graph, NodeLabels labels)	Asserts that all labelled nodes in the dominance graph actually have labels.
static void	CodecTools.removeTopEmptyFragment(DomGraph graph, int errorcode)

Uses of DomGraph in de.saar.chorus.domgraph.codec.basic

Methods in de.saar.chorus.domgraph.codec.basic with parameters of type DomGraph

Modifier and Type	Method	Description
void	Chain.decode(Reader inputStream, DomGraph graph, NodeLabels labels)

Uses of DomGraph in de.saar.chorus.domgraph.codec.codegen

Methods in de.saar.chorus.domgraph.codec.codegen with parameters of type DomGraph

Modifier and Type	Method	Description
void	CodegenOutputCodec.encode(DomGraph graph, NodeLabels labels, Writer writer)

Uses of DomGraph in de.saar.chorus.domgraph.codec.domcon

Methods in de.saar.chorus.domgraph.codec.domcon with parameters of type DomGraph

Modifier and Type	Method	Description
void	DomconOzInputCodec.decode(Reader inputStream, DomGraph graph, NodeLabels labels)
void	DomconOzOutputCodec.encode(DomGraph graph, NodeLabels labels, Writer writer)

Uses of DomGraph in de.saar.chorus.domgraph.codec.domgraph

Methods in de.saar.chorus.domgraph.codec.domgraph with parameters of type DomGraph

Modifier and Type	Method	Description
void	DomgraphGxlInputCodec.decode(Reader inputStream, DomGraph graph, NodeLabels labels)	Reads a GXL description of a dominance graph from a file and writes it into a JDomGraph object.
void	DomgraphGxlOutputCodec.encode(DomGraph graph, NodeLabels labels, Writer writer)
void	DomgraphUdrawOutputCodec.encode(DomGraph graph, NodeLabels labels, Writer writer)
void	DotOutputCodec.encode(DomGraph graph, NodeLabels labels, Writer writer)

Uses of DomGraph in de.saar.chorus.domgraph.codec.glue

Methods in de.saar.chorus.domgraph.codec.glue with parameters of type DomGraph

Modifier and Type	Method	Description
void	GlueInputCodec.decode(Reader inputStream, DomGraph graph, NodeLabels labels)

Uses of DomGraph in de.saar.chorus.domgraph.codec.holesem

Methods in de.saar.chorus.domgraph.codec.holesem with parameters of type DomGraph

Modifier and Type	Method	Description
void	HolesemComsemInputCodec.decode(Reader reader, DomGraph graph, NodeLabels labels)	Reads an USR representation from a Reader.

Uses of DomGraph in de.saar.chorus.domgraph.codec.mrs

Methods in de.saar.chorus.domgraph.codec.mrs with parameters of type DomGraph

Modifier and Type	Method	Description
void	MrsPrologInputCodec.decode(Reader inputStream, DomGraph graph, NodeLabels labels)
void	MrsXmlInputCodec.decode(Reader inputStream, DomGraph graph, NodeLabels labels)

Uses of DomGraph in de.saar.chorus.domgraph.codec.plugging

Methods in de.saar.chorus.domgraph.codec.plugging with parameters of type DomGraph

Modifier and Type	Method	Description
void	DomconOzPluggingOutputCodec.encode(DomGraph graph, NodeLabels labels, Writer writer)
void	GroovyPluggingOutputCodec.encode(DomGraph graph, NodeLabels labels, Writer writer)
void	LkbPluggingOutputCodec.encode(DomGraph graph, NodeLabels labels, Writer writer)

Uses of DomGraph in de.saar.chorus.domgraph.codec.rmrs

Methods in de.saar.chorus.domgraph.codec.rmrs with parameters of type DomGraph

Modifier and Type	Method	Description
void	RmrsDomconInputCodec.decode(Reader inputStream, DomGraph graph, NodeLabels labels)

Constructors in de.saar.chorus.domgraph.codec.rmrs with parameters of type DomGraph

Modifier	Constructor	Description
	RmrsInputCodec(DomGraph graph, NodeLabels labels)

Uses of DomGraph in de.saar.chorus.domgraph.codec.term

Methods in de.saar.chorus.domgraph.codec.term with parameters of type DomGraph

Modifier and Type	Method	Description
protected String	TermOutputCodec.computeTerm(String node, DomGraph graph, NodeLabels labels, Map<String,String> domEdges)
void	TermOutputCodec.encode(DomGraph graph, NodeLabels labels, Writer writer)

Uses of DomGraph in de.saar.chorus.domgraph.graph

Methods in de.saar.chorus.domgraph.graph that return DomGraph

Modifier and Type	Method	Description
DomGraph	DomGraph.compactify(CompactificationRecord record)	Computes a compact version of this graph.
DomGraph	CompactificationRecord.getCompactGraph()
DomGraph	DomGraph.makeNormalBackbone()	Returns a dominance graph that is just like the current graph, except that all dominance edges that don't go from holes to roots have been deleted.
DomGraph	DomGraph.makeSolvedForm(SolvedFormSpec spec)	Returns a dominance graph that is just like the current graph, except that the dominance edges are replaced by those specified in domedges.
DomGraph	DomGraph.makeWeaklyNormalBackbone()	Returns a dominance graph that is just like the current graph, except that all cross edges, i.e. dominance edges that go from roots to holes, have been deleted.
DomGraph	DomGraph.preprocess()	Brings a dominance graph into a normal form in which every dominance edge is either from a root to a hole or into a root, and there are no dominance edges within the same fragment.

Methods in de.saar.chorus.domgraph.graph with parameters of type DomGraph

Modifier and Type	Method	Description
static boolean	DomGraph.isEqual(DomGraph graph1, NodeLabels labels1, DomGraph graph2, NodeLabels labels2)
void	CompactificationRecord.setCompactGraph(DomGraph compact)

Uses of DomGraph in de.saar.chorus.domgraph.layout

Fields in de.saar.chorus.domgraph.layout declared as DomGraph

Modifier and Type	Field	Description
protected DomGraph	FragmentLayoutAlgorithm.domgraph

Methods in de.saar.chorus.domgraph.layout that return DomGraph

Modifier and Type	Method	Description
protected DomGraph	LayoutAlgorithm.removeRedundandEdges(DomGraph graph)

Methods in de.saar.chorus.domgraph.layout with parameters of type DomGraph

Modifier and Type	Method	Description
void	FragmentLayoutAlgorithm.initialise(DomGraph graph, NodeLabels labels, Canvas canv)
protected void	FragmentLayoutAlgorithm.layout(DomGraph graph, NodeLabels labels, Canvas canvas)
protected abstract void	LayoutAlgorithm.layout(DomGraph graph, NodeLabels labels, Canvas canvas)
void	LayoutAlgorithm.layout(DomGraph graph, NodeLabels labels, Canvas canvas, LayoutOptions lo)
protected DomGraph	LayoutAlgorithm.removeRedundandEdges(DomGraph graph)

Uses of DomGraph in de.saar.chorus.domgraph.layout.chartlayout

Methods in de.saar.chorus.domgraph.layout.chartlayout with parameters of type DomGraph

Modifier and Type	Method	Description
void	DomGraphChartLayout.initialise(DomGraph graph, NodeLabels labels, Canvas canv)

Uses of DomGraph in de.saar.chorus.domgraph.layout.domgraphlayout

Methods in de.saar.chorus.domgraph.layout.domgraphlayout with parameters of type DomGraph

Modifier and Type	Method	Description
void	DomGraphLayout.initialise(DomGraph gr, NodeLabels labels, Canvas canv)

Uses of DomGraph in de.saar.chorus.domgraph.layout.solvedformlayout

Methods in de.saar.chorus.domgraph.layout.solvedformlayout with parameters of type DomGraph

Modifier and Type	Method	Description
protected void	SFGecodeTreeLayout.layout(DomGraph graph, NodeLabels labels, Canvas canvas)

Constructors in de.saar.chorus.domgraph.layout.solvedformlayout with parameters of type DomGraph

Modifier	Constructor	Description
	SFGraphDrawingCursor(String theNode, SFGecodeTreeLayout theLayout, DomGraph aGraph)	Creates a new DomGraphDrawingCursor
	SFGraphDrawingCursor(String theNode, SFGecodeTreeLayout theLayout, DomGraph aGraph, Set<String> theNodes)	Creates a new DomGraphDrawingCursor
	SFGraphLayoutCursor(String theNode, Canvas canv, SFGecodeTreeLayout theLayout, DomGraph theGraph, Map<String,String> nl)	Creates a new DomGraphLayoutCursor
	SFGraphLayoutCursor(String theNode, Canvas canv, SFGecodeTreeLayout theLayout, DomGraph theGraph, Set<String> theNodes, Map<String,String> nl)	Creates a new DomGraphLayoutCursor

Uses of DomGraph in de.saar.chorus.domgraph.layout.treelayout

Constructors in de.saar.chorus.domgraph.layout.treelayout with parameters of type DomGraph

Modifier	Constructor	Description
	DomGraphDrawingCursor(String theNode, FragmentLayoutAlgorithm theLayout, DomGraph aGraph, Set<String> theNodes)	Creates a new DomGraphDrawingCursor
	DomGraphLayoutCursor(String theNode, Canvas canv, FragmentLayoutAlgorithm theLayout, DomGraph theGraph, Map<String,String> nl)	Creates a new DomGraphLayoutCursor
	DomGraphLayoutCursor(String theNode, Canvas canv, FragmentLayoutAlgorithm theLayout, DomGraph theGraph, Set<String> theNodes, Map<String,String> nl)	Creates a new DomGraphLayoutCursor
	DomGraphNodeCursor(String theNode, DomGraph theGraph)	A new instance of DomGraphNodeCursor
	DomGraphNodeCursor(String theNode, DomGraph theGraph, Set<String> allowedNodes)	A new instance of DomGraphNodeCursor
	DomGraphNodeCursor(String theNode, DomGraph theGraph, Set<String> allowedNodes, EdgeType edges)	A new instance of DomGraphNodeCursor

Uses of DomGraph in de.saar.chorus.domgraph.utool

Methods in de.saar.chorus.domgraph.utool that return DomGraph

Modifier and Type	Method	Description
DomGraph	AbstractOptions.getGraph()

Methods in de.saar.chorus.domgraph.utool with parameters of type DomGraph

Modifier and Type	Method	Description
void	AbstractOptions.setGraph(DomGraph graph)

Uses of DomGraph in de.saar.chorus.newubench

Methods in de.saar.chorus.newubench that return DomGraph

Modifier and Type	Method	Description
DomGraph	GraphTab.getGraph()
DomGraph	SolvedFormTab.getGraph()
protected abstract DomGraph	UbenchTab.getGraph()

Methods in de.saar.chorus.newubench with parameters of type DomGraph

Modifier and Type	Method	Description
void	TabManager.addDomGraphTab(String label, DomGraph graph, NodeLabels labels)
void	TabManager.addSolvedFormTab(String label, SolvedFormIterator sfi, int numSolvedForms, DomGraph graph, NodeLabels labels)
void	GraphClassificationPanel.analyzeGraph(DomGraph graph)
protected void	UbenchTab.drawGraph(DomGraph graph, NodeLabels labels)
static boolean	FileUtilities.genericLoadGraph(Reader reader, InputCodec inputCodec, DomGraph graph, NodeLabels nl)	Loads a labelled dominance graph from a reader.

Constructors in de.saar.chorus.newubench with parameters of type DomGraph

Modifier	Constructor	Description
	GraphClassificationPanel(DomGraph graph)
	GraphTab(String label, DomGraph graph, NodeLabels labels)
protected	SolvedFormTab(String label, SolvedFormIterator sfi, int numSolvedForms, DomGraph graph, NodeLabels labels)

Uses of DomGraph in de.saar.chorus.ubench

Methods in de.saar.chorus.ubench that return DomGraph

Modifier and Type	Method	Description
DomGraph	Ubench.getVisibleDomGraph()

Methods in de.saar.chorus.ubench with parameters of type DomGraph

Modifier and Type	Method	Description
boolean	Ubench.addJDomGraphTab(String label, DomGraph graph, NodeLabels labels)	Allows to set up a new Tab by submitting the DomGraph to display and a NodeLabels object along with the graph's name.
boolean	Ubench.addSolvedFormTab(String label, DomGraph sf, SolvedFormIterator sfi, long no, long all, DomGraph graph, NodeLabels labels, String graphname, boolean atEnd)	Allows to set up a new Tab by submitting the DomGraph in solved form to display and a NodeLabels object along with the graph's name and some information about the source graph.

Constructors in de.saar.chorus.ubench with parameters of type DomGraph

Modifier	Constructor	Description
	DomgraphMarqueeHandler(de.saar.chorus.ubench.JDomGraphTab tab, DomGraph graph, NodeLabels labels)

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

Methods in de.saar.chorus.ubench.chartviewer with parameters of type DomGraph

Modifier and Type	Method	Description
static void	FormatManager.markRootFragment(String root, JDomGraph graph, DomGraph dg)	This colors the root fragment of a split (which always gets a special color).
static void	FormatManager.markSubgraph(Set<String> roots, JDomGraph graph, int subgraphindex, DomGraph dg)	Mark a subgraph of the given graph according to the index with the next mark-up color.
static void	FormatManager.markSubgraph(Set<String> roots, JDomGraph graph, DomGraph dg)	Mark a subgraph of the given graph with the default marking color.

Constructors in de.saar.chorus.ubench.chartviewer with parameters of type DomGraph

Modifier	Constructor	Description
	ChartViewer(Chart c, DomGraph g, String title, JDomGraph jg, NodeLabels la)	A new ChartViewer