Uses of Class
de.saar.chorus.domgraph.graph.NodeLabels
Packages that use NodeLabels
Package
Description
Provides classes for working with dominance charts.
Provides basic classes for implementing codecs.
Provides some basic codecs which are not
tied to any particular underspecification formalism.
Provides codecs for dealing with dominance constraints and
dominance graphs.
Provides codecs for representing labelled dominance graphs in various
graph representation languages.
Provides a codec for converting axioms of Glue Semantics into
labelled dominance graphs (EXPERIMENTAL).
Provides a codec for converting USRs of Hole Semantics into
labelled dominance graphs.
Provides two codecs for converting USRs of Minimal Recursion Semantics
into labelled dominance graphs.
Provides two codecs for printing pluggings.
Provides two codecs for printing simple solved forms as terms.
Provides basic classes for representing labelled dominance graphs
and basic algorithms running on them.
Provides the main programme for Utool.
Provides the classes for the Underspecification Workbench GUI.
-
Uses of NodeLabels in de.saar.chorus.domgraph.chart
Fields in de.saar.chorus.domgraph.chart declared as NodeLabelsMethods in de.saar.chorus.domgraph.chart with parameters of type NodeLabelsConstructors in de.saar.chorus.domgraph.chart with parameters of type NodeLabelsModifierConstructorDescriptionChart(NodeLabels labels) RewritingRtg(DomGraph graph, NodeLabels labels, RtgFreeFragmentAnalyzer<?> analyzer) -
Uses of NodeLabels in de.saar.chorus.domgraph.chart.lethal
Methods in de.saar.chorus.domgraph.chart.lethal with parameters of type NodeLabelsModifier and TypeMethodDescriptionde.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 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) static voidUtoolReducer.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) RelativeNormalFormsComputer.reduceToChart(Chart chart, DomGraph graph, NodeLabels labels) static ChartUtoolReducer.solve(NodeLabels labels, DomGraph graph) Constructors in de.saar.chorus.domgraph.chart.lethal with parameters of type NodeLabelsModifierConstructorDescriptionRewriteSystemSpecializer(DomGraph graph, NodeLabels labels, Annotator annotator) -
Uses of NodeLabels in de.saar.chorus.domgraph.codec
Methods in de.saar.chorus.domgraph.codec with parameters of type NodeLabelsModifier and TypeMethodDescriptionabstract voidInputCodec.decode(Reader reader, DomGraph graph, NodeLabels labels) Reads an USR representation from aReader.abstract voidOutputCodec.encode(DomGraph graph, NodeLabels labels, Writer writer) Encodes a dominance graph into a string representation for this output codec.static voidCodecTools.graphLabelsConsistencyAssertion(DomGraph graph, NodeLabels labels) Asserts that all labelled nodes in the dominance graph actually have labels. -
Uses of NodeLabels in de.saar.chorus.domgraph.codec.basic
Methods in de.saar.chorus.domgraph.codec.basic with parameters of type NodeLabelsModifier and TypeMethodDescriptionvoidChain.decode(Reader inputStream, DomGraph graph, NodeLabels labels) -
Uses of NodeLabels in de.saar.chorus.domgraph.codec.codegen
Methods in de.saar.chorus.domgraph.codec.codegen with parameters of type NodeLabelsModifier and TypeMethodDescriptionvoidCodegenOutputCodec.encode(DomGraph graph, NodeLabels labels, Writer writer) -
Uses of NodeLabels in de.saar.chorus.domgraph.codec.domcon
Methods in de.saar.chorus.domgraph.codec.domcon with parameters of type NodeLabelsModifier and TypeMethodDescriptionvoidDomconOzInputCodec.decode(Reader inputStream, DomGraph graph, NodeLabels labels) voidDomconOzOutputCodec.encode(DomGraph graph, NodeLabels labels, Writer writer) -
Uses of NodeLabels in de.saar.chorus.domgraph.codec.domgraph
Methods in de.saar.chorus.domgraph.codec.domgraph with parameters of type NodeLabelsModifier and TypeMethodDescriptionvoidDomgraphGxlInputCodec.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.voidDomgraphGxlOutputCodec.encode(DomGraph graph, NodeLabels labels, Writer writer) voidDomgraphUdrawOutputCodec.encode(DomGraph graph, NodeLabels labels, Writer writer) voidDotOutputCodec.encode(DomGraph graph, NodeLabels labels, Writer writer) -
Uses of NodeLabels in de.saar.chorus.domgraph.codec.glue
Methods in de.saar.chorus.domgraph.codec.glue with parameters of type NodeLabelsModifier and TypeMethodDescriptionvoidGlueInputCodec.decode(Reader inputStream, DomGraph graph, NodeLabels labels) -
Uses of NodeLabels in de.saar.chorus.domgraph.codec.holesem
Methods in de.saar.chorus.domgraph.codec.holesem with parameters of type NodeLabelsModifier and TypeMethodDescriptionvoidHolesemComsemInputCodec.decode(Reader reader, DomGraph graph, NodeLabels labels) Reads an USR representation from aReader. -
Uses of NodeLabels in de.saar.chorus.domgraph.codec.mrs
Methods in de.saar.chorus.domgraph.codec.mrs with parameters of type NodeLabelsModifier and TypeMethodDescriptionvoidMrsPrologInputCodec.decode(Reader inputStream, DomGraph graph, NodeLabels labels) voidMrsXmlInputCodec.decode(Reader inputStream, DomGraph graph, NodeLabels labels) -
Uses of NodeLabels in de.saar.chorus.domgraph.codec.plugging
Methods in de.saar.chorus.domgraph.codec.plugging with parameters of type NodeLabelsModifier and TypeMethodDescriptionvoidDomconOzPluggingOutputCodec.encode(DomGraph graph, NodeLabels labels, Writer writer) voidGroovyPluggingOutputCodec.encode(DomGraph graph, NodeLabels labels, Writer writer) voidLkbPluggingOutputCodec.encode(DomGraph graph, NodeLabels labels, Writer writer) -
Uses of NodeLabels in de.saar.chorus.domgraph.codec.rmrs
Methods in de.saar.chorus.domgraph.codec.rmrs with parameters of type NodeLabelsModifier and TypeMethodDescriptionvoidRmrsDomconInputCodec.decode(Reader inputStream, DomGraph graph, NodeLabels labels) Constructors in de.saar.chorus.domgraph.codec.rmrs with parameters of type NodeLabels -
Uses of NodeLabels in de.saar.chorus.domgraph.codec.term
Methods in de.saar.chorus.domgraph.codec.term with parameters of type NodeLabelsModifier and TypeMethodDescriptionprotected StringTermOutputCodec.computeTerm(String node, DomGraph graph, NodeLabels labels, Map<String, String> domEdges) voidTermOutputCodec.encode(DomGraph graph, NodeLabels labels, Writer writer) -
Uses of NodeLabels in de.saar.chorus.domgraph.graph
Methods in de.saar.chorus.domgraph.graph that return NodeLabelsMethods in de.saar.chorus.domgraph.graph with parameters of type NodeLabelsModifier and TypeMethodDescriptionstatic booleanDomGraph.isEqual(DomGraph graph1, NodeLabels labels1, DomGraph graph2, NodeLabels labels2) booleanDomGraph.isLabellingConsistent(NodeLabels labels) Checks whether the classification of nodes as labelled or unlabelled is consistent with the presence of labels in thelabelsargument. -
Uses of NodeLabels in de.saar.chorus.domgraph.layout
Fields in de.saar.chorus.domgraph.layout declared as NodeLabelsMethods in de.saar.chorus.domgraph.layout with parameters of type NodeLabelsModifier and TypeMethodDescriptionvoidFragmentLayoutAlgorithm.initialise(DomGraph graph, NodeLabels labels, Canvas canv) protected voidFragmentLayoutAlgorithm.layout(DomGraph graph, NodeLabels labels, Canvas canvas) protected abstract voidLayoutAlgorithm.layout(DomGraph graph, NodeLabels labels, Canvas canvas) voidLayoutAlgorithm.layout(DomGraph graph, NodeLabels labels, Canvas canvas, LayoutOptions lo) -
Uses of NodeLabels in de.saar.chorus.domgraph.layout.chartlayout
Methods in de.saar.chorus.domgraph.layout.chartlayout with parameters of type NodeLabelsModifier and TypeMethodDescriptionvoidDomGraphChartLayout.initialise(DomGraph graph, NodeLabels labels, Canvas canv) -
Uses of NodeLabels in de.saar.chorus.domgraph.layout.domgraphlayout
Methods in de.saar.chorus.domgraph.layout.domgraphlayout with parameters of type NodeLabelsModifier and TypeMethodDescriptionvoidDomGraphLayout.initialise(DomGraph gr, NodeLabels labels, Canvas canv) -
Uses of NodeLabels in de.saar.chorus.domgraph.layout.solvedformlayout
Methods in de.saar.chorus.domgraph.layout.solvedformlayout with parameters of type NodeLabelsModifier and TypeMethodDescriptionprotected voidSFGecodeTreeLayout.layout(DomGraph graph, NodeLabels labels, Canvas canvas) -
Uses of NodeLabels in de.saar.chorus.domgraph.utool
Methods in de.saar.chorus.domgraph.utool that return NodeLabelsMethods in de.saar.chorus.domgraph.utool with parameters of type NodeLabels -
Uses of NodeLabels in de.saar.chorus.newubench
Methods in de.saar.chorus.newubench that return NodeLabelsModifier and TypeMethodDescriptionGraphTab.getNodeLabels()SolvedFormTab.getNodeLabels()protected abstract NodeLabelsUbenchTab.getNodeLabels()Methods in de.saar.chorus.newubench with parameters of type NodeLabelsModifier and TypeMethodDescriptionvoidTabManager.addDomGraphTab(String label, DomGraph graph, NodeLabels labels) voidTabManager.addSolvedFormTab(String label, SolvedFormIterator sfi, int numSolvedForms, DomGraph graph, NodeLabels labels) protected voidUbenchTab.drawGraph(DomGraph graph, NodeLabels labels) static booleanFileUtilities.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 NodeLabelsModifierConstructorDescriptionGraphTab(String label, DomGraph graph, NodeLabels labels) protectedSolvedFormTab(String label, SolvedFormIterator sfi, int numSolvedForms, DomGraph graph, NodeLabels labels) -
Uses of NodeLabels in de.saar.chorus.ubench
Methods in de.saar.chorus.ubench that return NodeLabelsMethods in de.saar.chorus.ubench with parameters of type NodeLabelsModifier and TypeMethodDescriptionbooleanUbench.addJDomGraphTab(String label, DomGraph graph, NodeLabels labels) Allows to set up a new Tab by submitting theDomGraphto display and aNodeLabelsobject along with the graph's name.booleanUbench.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 theDomGraphin solved form to display and aNodeLabelsobject along with the graph's name and some information about the source graph.Constructors in de.saar.chorus.ubench with parameters of type NodeLabelsModifierConstructorDescriptionDomgraphMarqueeHandler(de.saar.chorus.ubench.JDomGraphTab tab, DomGraph graph, NodeLabels labels) -
Uses of NodeLabels in de.saar.chorus.ubench.chartviewer
Constructors in de.saar.chorus.ubench.chartviewer with parameters of type NodeLabelsModifierConstructorDescriptionChartViewer(Chart c, DomGraph g, String title, JDomGraph jg, NodeLabels la) A new ChartViewer