Index (Utool 3.4.1-SNAPSHOT API)

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form

A

AbstractOptions - Class in de.saar.chorus.domgraph.utool
AbstractOptions() - Constructor for class de.saar.chorus.domgraph.utool.AbstractOptions
AbstractOptions.Operation - Enum in de.saar.chorus.domgraph.utool
AbstractOptionsParsingException - Exception in de.saar.chorus.domgraph.utool
AbstractOptionsParsingException() - Constructor for exception de.saar.chorus.domgraph.utool.AbstractOptionsParsingException
AbstractOptionsParsingException(int) - Constructor for exception de.saar.chorus.domgraph.utool.AbstractOptionsParsingException
AbstractOptionsParsingException(String) - Constructor for exception de.saar.chorus.domgraph.utool.AbstractOptionsParsingException
AbstractOptionsParsingException(String, int) - Constructor for exception de.saar.chorus.domgraph.utool.AbstractOptionsParsingException
AbstractOptionsParsingException(String, Throwable) - Constructor for exception de.saar.chorus.domgraph.utool.AbstractOptionsParsingException
AbstractOptionsParsingException(String, Throwable, int) - Constructor for exception de.saar.chorus.domgraph.utool.AbstractOptionsParsingException
AbstractOptionsParsingException(Throwable) - Constructor for exception de.saar.chorus.domgraph.utool.AbstractOptionsParsingException
AbstractOptionsParsingException(Throwable, int) - Constructor for exception de.saar.chorus.domgraph.utool.AbstractOptionsParsingException
actionPerformed(ActionEvent) - Method in class de.saar.chorus.jgraph.improvedjgraph.GraphScroller
actionPerformed(ActionEvent) - Method in class de.saar.chorus.newubench.CommandListener: event handling
actionPerformed(ActionEvent) - Method in class de.saar.chorus.ubench.chartviewer.ChartViewerListener: This processes all events occuring within the ChartViewer.
add(Extent) - Method in class de.saar.chorus.gecode.Shape
add(Shape) - Method in class de.saar.chorus.gecode.ShapeList
add(E, E) - Method in interface de.saar.chorus.domgraph.chart.wrtg.Semiring
add(Double, Double) - Method in class de.saar.chorus.domgraph.chart.wrtg.LikelihoodSemiring
add(Double, Double) - Method in class de.saar.chorus.domgraph.chart.wrtg.RealSemiring
add(Double, Double) - Method in class de.saar.chorus.domgraph.chart.wrtg.TropicalSemiring
add(DefaultEdge) - Method in class de.saar.chorus.ubench.jdomgraph.Fragment: Add a solid edge to this fragment.
add(DefaultGraphCell) - Method in class de.saar.chorus.ubench.jdomgraph.Fragment: Add a node to this fragment.
add_escapes(String) - Method in exception de.saar.chorus.domgraph.chart.lethal.ParseException: Used to convert raw characters to their escaped version when these raw version cannot be used as part of an ASCII string literal.
add_escapes(String) - Method in exception de.saar.chorus.domgraph.chart.rtgparser.ParseException: Used to convert raw characters to their escaped version when these raw version cannot be used as part of an ASCII string literal.
add_escapes(String) - Method in exception de.saar.chorus.domgraph.codec.domcon.ParseException: Used to convert raw characters to their escaped version when these raw version cannot be used as part of an ASCII string literal.
add_escapes(String) - Method in exception de.saar.chorus.domgraph.codec.glue.ParseException: Used to convert raw characters to their escaped version when these raw version cannot be used as part of an ASCII string literal.
add_escapes(String) - Method in exception de.saar.chorus.domgraph.codec.holesem.ParseException: Used to convert raw characters to their escaped version when these raw version cannot be used as part of an ASCII string literal.
add_escapes(String) - Method in exception de.saar.chorus.domgraph.codec.mrs.ParseException: Used to convert raw characters to their escaped version when these raw version cannot be used as part of an ASCII string literal.
add_escapes(String) - Method in exception de.saar.chorus.domgraph.codec.rmrs.ParseException: Used to convert raw characters to their escaped version when these raw version cannot be used as part of an ASCII string literal.
addAboutMenuItem() - Method in class com.apple.eawt.Application
addAll(Fragment) - Method in class de.saar.chorus.ubench.jdomgraph.Fragment: Add all nodes and edges of some other fragment to this one.
addAllDomEdges(Collection<DomEdge>) - Method in class de.saar.chorus.domgraph.chart.SolvedFormSpec
addAllExamples(String) - Method in class de.saar.chorus.domgraph.ExampleManager: Adds all examples from a given example specification file.
addApplicationListener(ApplicationListener) - Method in class com.apple.eawt.Application
addArgWithHole(String, int, String) - Method in class de.saar.chorus.domgraph.codec.rmrs.RmrsInputCodec
addArgWithVar(String, int, String) - Method in class de.saar.chorus.domgraph.codec.rmrs.RmrsInputCodec
addDomGraphTab(String, DomGraph, NodeLabels) - Method in class de.saar.chorus.newubench.TabManager
addDomGraphTab(String, Reader, InputCodec) - Method in class de.saar.chorus.newubench.TabManager
addDominanceParent(String) - Method in class de.saar.chorus.domgraph.layout.domgraphlayout.FragmentTower: Add a dominance father to the tower
addEdge(EdgeData, DefaultGraphCell, DefaultGraphCell) - Method in class de.saar.chorus.ubench.jdomgraph.JDomGraph: Adds a new edge to the graph (and the underlying model).
addEdge(EdgeData, DefaultGraphCell, DefaultGraphCell) - Method in class de.saar.chorus.jgraph.improvedjgraph.ImprovedJGraph: Adds a new edge to the graph (and the underlying model).
addEdge(String, String, EdgeData) - Method in class de.saar.chorus.domgraph.graph.DomGraph: Adds an edge from "src" to "tgt" with the given edge data to the graph.
addEP(String, String, String) - Method in class de.saar.chorus.domgraph.codec.rmrs.RmrsInputCodec
addEscapes(String) - Static method in error de.saar.chorus.domgraph.chart.lethal.TokenMgrError: Replaces unprintable characters by their escaped (or unicode escaped) equivalents in the given string
addEscapes(String) - Static method in error de.saar.chorus.domgraph.chart.rtgparser.TokenMgrError: Replaces unprintable characters by their escaped (or unicode escaped) equivalents in the given string
addEscapes(String) - Static method in error de.saar.chorus.domgraph.codec.domcon.TokenMgrError: Replaces unprintable characters by their escaped (or unicode escaped) equivalents in the given string
addEscapes(String) - Static method in error de.saar.chorus.domgraph.codec.glue.TokenMgrError: Replaces unprintable characters by their escaped (or unicode escaped) equivalents in the given string
addEscapes(String) - Static method in error de.saar.chorus.domgraph.codec.holesem.TokenMgrError: Replaces unprintable characters by their escaped (or unicode escaped) equivalents in the given string
addEscapes(String) - Static method in error de.saar.chorus.domgraph.codec.mrs.TokenMgrError: Replaces unprintable characters by their escaped (or unicode escaped) equivalents in the given string
addEscapes(String) - Static method in error de.saar.chorus.domgraph.codec.rmrs.TokenMgrError: Replaces unprintable characters by their escaped (or unicode escaped) equivalents in the given string
addExample(String, String, String) - Method in class de.saar.chorus.domgraph.ExampleManager: Adds an example to the registry.
addExampleDirectory(String) - Static method in class de.saar.chorus.domgraph.UserProperties: This adds a single example directory to the current list of directories.
addFragment(Fragment) - Method in class de.saar.chorus.ubench.jdomgraph.JDomGraph
addGraphFromFilechooser() - Method in class de.saar.chorus.newubench.TabManager
addJDomGraphTab(String, DomGraph, NodeLabels) - Method in class de.saar.chorus.ubench.Ubench: Allows to set up a new Tab by submitting the DomGraph to display and a NodeLabels object along with the graph's name.
addLabel(String, String) - Method in class de.saar.chorus.domgraph.graph.NodeLabels: Adds a label for a given node.
addListener(ConnectionManager.StateChangeListener) - Static method in class de.saar.chorus.domgraph.utool.server.ConnectionManager: Adds a state change listener to this server.
addNode(String) - Method in class de.saar.chorus.domgraph.chart.DecoratedNonterminal
addNode(String) - Method in interface de.saar.chorus.domgraph.chart.GraphBasedNonterminal
addNode(String) - Method in class de.saar.chorus.domgraph.chart.SubgraphNonterminal
addNode(String, NodeData) - Method in class de.saar.chorus.domgraph.graph.DomGraph: Adds a node with the given node name and node data to the graph.
addNode(String, NodeData) - Method in class de.saar.chorus.ubench.jdomgraph.JDomGraph: Adds a new node to the graph (and the underlying model).
addNode(String, NodeData) - Method in class de.saar.chorus.jgraph.improvedjgraph.ImprovedJGraph: Adds a new node to the graph (and the underlying model).
addNodeEquality(String, String) - Method in class de.saar.chorus.domgraph.codec.rmrs.RmrsInputCodec
addNodeInequality(String, String) - Method in class de.saar.chorus.domgraph.codec.rmrs.RmrsInputCodec
addOption(char, int, String, String) - Method in class de.saar.getopt.ConvenientGetopt: Add an option that has no long name.
addOption(char, String, int, String, String) - Method in class de.saar.getopt.ConvenientGetopt: Add an option that has a long name.
addPreferencesMenuItem() - Method in class com.apple.eawt.Application
addQeq(String, String) - Method in class de.saar.chorus.domgraph.codec.rmrs.RmrsInputCodec
addRecord(String, List<CompactificationRecord.NodeChildPair>) - Method in class de.saar.chorus.domgraph.graph.CompactificationRecord
addRelXtoParent(String, Integer) - Method in class de.saar.chorus.domgraph.layout.FragmentLayoutAlgorithm
addRelXtoParent(String, Integer) - Method in class de.saar.chorus.domgraph.layout.solvedformlayout.SFGecodeTreeLayout
addRelXtoParent(DefaultGraphCell, Integer) - Method in class de.saar.chorus.jgraph.improvedjgraph.layout.ImprovedJGraphLayout
addRelXtoParent(DefaultGraphCell, Integer) - Method in class de.saar.chorus.jgraph.improvedjgraph.layout.treelayout.GecodeTreeLayout
addRelXtoRoot(String, Integer) - Method in class de.saar.chorus.domgraph.layout.FragmentLayoutAlgorithm
addRelXtoRoot(String, Integer) - Method in class de.saar.chorus.domgraph.layout.solvedformlayout.SFGecodeTreeLayout
addRelXtoRoot(DefaultGraphCell, Integer) - Method in class de.saar.chorus.jgraph.improvedjgraph.layout.ImprovedJGraphLayout
addRelXtoRoot(DefaultGraphCell, Integer) - Method in class de.saar.chorus.jgraph.improvedjgraph.layout.treelayout.GecodeTreeLayout
addRelYpos(String, Integer) - Method in class de.saar.chorus.domgraph.layout.FragmentLayoutAlgorithm
addRelYpos(String, Integer) - Method in class de.saar.chorus.domgraph.layout.solvedformlayout.SFGecodeTreeLayout
addRelYpos(DefaultGraphCell, Integer) - Method in class de.saar.chorus.jgraph.improvedjgraph.layout.ImprovedJGraphLayout
addRelYpos(DefaultGraphCell, Integer) - Method in class de.saar.chorus.jgraph.improvedjgraph.layout.treelayout.GecodeTreeLayout
addRewriteSystem(RewriteSystem) - Method in class de.saar.chorus.domgraph.chart.lethal.RelativeNormalFormsComputer
addRewriteSystem(RewriteSystem) - Method in class de.saar.chorus.domgraph.chart.lethal.RewriteSystemToTransducer
addRewriteSystem(RewriteSystem, Comparator<Term>) - Method in class de.saar.chorus.domgraph.chart.lethal.RelativeNormalFormsComputer
addRewriteSystem(RewriteSystem, Comparator<Term>) - Method in class de.saar.chorus.domgraph.chart.lethal.RewriteSystemToTransducer
addRule(Term, Term, String) - Method in class de.saar.chorus.domgraph.chart.lethal.RewriteSystem
addRule(String, String, List<String>) - Method in class de.saar.chorus.domgraph.chart.lethal.Annotator
addSampleData() - Method in class de.saar.chorus.ubench.jdomgraph.JDomGraph: Add some sample nodes and edges to the graph.
addSolvedFormTab(String, SolvedFormIterator, int, DomGraph, NodeLabels) - Method in class de.saar.chorus.newubench.TabManager
addSolvedFormTab(String, DomGraph, SolvedFormIterator, long, long, DomGraph, NodeLabels, String, boolean) - Method in class de.saar.chorus.ubench.Ubench: 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.
addSplit(E, Split<E>) - Method in class de.saar.chorus.domgraph.chart.ConcreteRegularTreeGrammar: Adds a split for the given subgraph.
addSplit(E, Split<E>, T) - Method in class de.saar.chorus.domgraph.chart.wrtg.WeightedRegularTreeGrammar
addSubstitution(Map<String, String>) - Method in class de.saar.chorus.domgraph.chart.SolvedFormSpec
addToMapList(Map<E, List<T>>, E, T) - Static method in class de.saar.chorus.domgraph.layout.chartlayout.DomGraphChartLayout: Generic method that handles maps from an Object to a list of objects and ads a new entry to the value list with the specified object key.
addToMapList(Map<E, List<T>>, E, T) - Static method in class de.saar.chorus.domgraph.layout.domgraphlayout.DomGraphLayout: Generic method that handles maps from an Object to a list of objects and ads a new entry to the value list with the specified object key.
addToMapList(Map<E, List<T>>, E, T) - Static method in class de.saar.chorus.jgraph.improvedjgraph.ImprovedJGraph: Generic method that handles maps from an Object to a list of objects and ads a new entry to the value list with the specified object key.
addToplevelSubgraph(E) - Method in class de.saar.chorus.domgraph.chart.ConcreteRegularTreeGrammar: Adds a top-level subgraph.
addVarEquality(String, String) - Method in class de.saar.chorus.domgraph.codec.rmrs.RmrsInputCodec
addVarInequality(String, String) - Method in class de.saar.chorus.domgraph.codec.rmrs.RmrsInputCodec
addWcc(String, E) - Method in class de.saar.chorus.domgraph.chart.Split: Adds a weakly connected component to a split representation.
addWeightedDomEdge(String, String, T) - Method in class de.saar.chorus.domgraph.chart.wrtg.WeightedRegularTreeGrammar
adjustBeginLineColumn(int, int) - Method in class de.saar.chorus.domgraph.chart.lethal.SimpleCharStream: Method to adjust line and column numbers for the start of a token.
adjustBeginLineColumn(int, int) - Method in class de.saar.chorus.domgraph.chart.rtgparser.SimpleCharStream: Method to adjust line and column numbers for the start of a token.
adjustBeginLineColumn(int, int) - Method in class de.saar.chorus.domgraph.codec.domcon.SimpleCharStream: Method to adjust line and column numbers for the start of a token.
adjustBeginLineColumn(int, int) - Method in class de.saar.chorus.domgraph.codec.glue.SimpleCharStream: Method to adjust line and column numbers for the start of a token.
adjustBeginLineColumn(int, int) - Method in class de.saar.chorus.domgraph.codec.holesem.SimpleCharStream: Method to adjust line and column numbers for the start of a token.
adjustBeginLineColumn(int, int) - Method in class de.saar.chorus.domgraph.codec.mrs.SimpleCharStream: Method to adjust line and column numbers for the start of a token.
adjustBeginLineColumn(int, int) - Method in class de.saar.chorus.domgraph.codec.rmrs.SimpleCharStream: Method to adjust line and column numbers for the start of a token.
ALL - Static variable in interface de.saar.chorus.domgraph.codec.holesem.HolesemComsemInputCodecConstants: RegularExpression Id.
allowedSplit(E, String) - Method in class de.saar.chorus.domgraph.chart.RewritingRtg
allowExperimentalCodecs() - Static method in class de.saar.chorus.domgraph.GlobalDomgraphProperties: Deprecated.
use UserProperties.allowExperimentalCodecs() instead
allowExperimentalCodecs() - Static method in class de.saar.chorus.domgraph.UserProperties
analyze() - Method in class de.saar.chorus.domgraph.chart.RtgFreeFragmentAnalyzer
analyzeGraph(DomGraph) - Method in class de.saar.chorus.newubench.GraphClassificationPanel
analyzer - Variable in class de.saar.chorus.domgraph.chart.RewritingRtg
AND - Static variable in interface de.saar.chorus.domgraph.codec.holesem.HolesemComsemInputCodecConstants: RegularExpression Id.
annotation - Variable in class de.saar.chorus.domgraph.chart.lethal.RewriteSystem.Rule
Annotation() - Method in class de.saar.chorus.domgraph.chart.lethal.RewritingSystemParser
Annotator - Class in de.saar.chorus.domgraph.chart.lethal
Annotator() - Constructor for class de.saar.chorus.domgraph.chart.lethal.Annotator
AnnotatorComponent() - Method in class de.saar.chorus.domgraph.chart.lethal.RewritingSystemParser
Application - Class in com.apple.eawt
Application() - Constructor for class com.apple.eawt.Application
ApplicationAdapter - Class in com.apple.eawt
ApplicationAdapter() - Constructor for class com.apple.eawt.ApplicationAdapter
ApplicationEvent - Class in com.apple.eawt
ApplicationEvent(Object) - Constructor for class com.apple.eawt.ApplicationEvent
ApplicationListener - Interface in com.apple.eawt
ARGN - Static variable in interface de.saar.chorus.domgraph.codec.rmrs.RmrsDomconInputCodecConstants: RegularExpression Id.
ARGV - Static variable in interface de.saar.chorus.domgraph.codec.rmrs.RmrsDomconInputCodecConstants: RegularExpression Id.
ARROW - Static variable in interface de.saar.chorus.domgraph.chart.lethal.RewritingSystemParserConstants: RegularExpression Id.
assignIndicesToTerm(Term, Map<String, String>, Map<String, String>) - Static method in class de.saar.chorus.domgraph.chart.lethal.CompoundWithIndex
Atom() - Method in class de.saar.chorus.domgraph.codec.domcon.DomconOzInputCodec
Atom() - Method in class de.saar.chorus.domgraph.codec.rmrs.RmrsDomconInputCodec
ATOM - Static variable in interface de.saar.chorus.domgraph.codec.glue.GlueInputCodecConstants: RegularExpression Id.
atomify(String) - Static method in class de.saar.chorus.domgraph.codec.CodecTools: Computes a string that is a valid Oz or Prolog atom from the argument.
Attribute(Map<String, String>) - Method in class de.saar.chorus.domgraph.codec.mrs.MrsPrologInputCodec
Attributes(Map<String, String>) - Method in class de.saar.chorus.domgraph.codec.mrs.MrsPrologInputCodec
ATTRVAL - Static variable in interface de.saar.chorus.domgraph.codec.mrs.MrsPrologInputCodecConstants: RegularExpression Id.
Auto() - Method in class de.saar.chorus.domgraph.chart.rtgparser.RtgParser
AUTOMATON - Static variable in interface de.saar.chorus.domgraph.chart.rtgparser.RtgParserConstants: RegularExpression Id.
AuxiliaryWindows - Class in de.saar.chorus.newubench
AuxiliaryWindows() - Constructor for class de.saar.chorus.newubench.AuxiliaryWindows

B

backup(int) - Method in class de.saar.chorus.domgraph.chart.lethal.SimpleCharStream: Backup a number of characters.
backup(int) - Method in class de.saar.chorus.domgraph.chart.rtgparser.SimpleCharStream: Backup a number of characters.
backup(int) - Method in class de.saar.chorus.domgraph.codec.domcon.SimpleCharStream: Backup a number of characters.
backup(int) - Method in class de.saar.chorus.domgraph.codec.glue.SimpleCharStream: Backup a number of characters.
backup(int) - Method in class de.saar.chorus.domgraph.codec.holesem.SimpleCharStream: Backup a number of characters.
backup(int) - Method in class de.saar.chorus.domgraph.codec.mrs.SimpleCharStream: Backup a number of characters.
backup(int) - Method in class de.saar.chorus.domgraph.codec.rmrs.SimpleCharStream: Backup a number of characters.
beginColumn - Variable in class de.saar.chorus.domgraph.chart.lethal.Token: The column number of the first character of this Token.
beginColumn - Variable in class de.saar.chorus.domgraph.chart.rtgparser.Token: The column number of the first character of this Token.
beginColumn - Variable in class de.saar.chorus.domgraph.codec.domcon.Token: The column number of the first character of this Token.
beginColumn - Variable in class de.saar.chorus.domgraph.codec.glue.Token: The column number of the first character of this Token.
beginColumn - Variable in class de.saar.chorus.domgraph.codec.holesem.Token: The column number of the first character of this Token.
beginColumn - Variable in class de.saar.chorus.domgraph.codec.mrs.Token: The column number of the first character of this Token.
beginColumn - Variable in class de.saar.chorus.domgraph.codec.rmrs.Token: The column number of the first character of this Token.
beginLine - Variable in class de.saar.chorus.domgraph.chart.lethal.Token: The line number of the first character of this Token.
beginLine - Variable in class de.saar.chorus.domgraph.chart.rtgparser.Token: The line number of the first character of this Token.
beginLine - Variable in class de.saar.chorus.domgraph.codec.domcon.Token: The line number of the first character of this Token.
beginLine - Variable in class de.saar.chorus.domgraph.codec.glue.Token: The line number of the first character of this Token.
beginLine - Variable in class de.saar.chorus.domgraph.codec.holesem.Token: The line number of the first character of this Token.
beginLine - Variable in class de.saar.chorus.domgraph.codec.mrs.Token: The line number of the first character of this Token.
beginLine - Variable in class de.saar.chorus.domgraph.codec.rmrs.Token: The line number of the first character of this Token.
BeginToken() - Method in class de.saar.chorus.domgraph.chart.lethal.SimpleCharStream: Start.
BeginToken() - Method in class de.saar.chorus.domgraph.chart.rtgparser.SimpleCharStream: Start.
BeginToken() - Method in class de.saar.chorus.domgraph.codec.domcon.SimpleCharStream: Start.
BeginToken() - Method in class de.saar.chorus.domgraph.codec.glue.SimpleCharStream: Start.
BeginToken() - Method in class de.saar.chorus.domgraph.codec.holesem.SimpleCharStream: Start.
BeginToken() - Method in class de.saar.chorus.domgraph.codec.mrs.SimpleCharStream: Start.
BeginToken() - Method in class de.saar.chorus.domgraph.codec.rmrs.SimpleCharStream: Start.
bErr - Variable in class de.saar.convenientprocess.ConvenientProcess
BOTH - Enum constant in enum de.saar.chorus.domgraph.layout.LayoutOptions.LabelType
BoundingBox - Class in de.saar.chorus.gecode
BoundingBox(int, int, int) - Constructor for class de.saar.chorus.gecode.BoundingBox
bOut - Variable in class de.saar.convenientprocess.ConvenientProcess
bufcolumn - Variable in class de.saar.chorus.domgraph.chart.lethal.SimpleCharStream
bufcolumn - Variable in class de.saar.chorus.domgraph.chart.rtgparser.SimpleCharStream
bufcolumn - Variable in class de.saar.chorus.domgraph.codec.domcon.SimpleCharStream
bufcolumn - Variable in class de.saar.chorus.domgraph.codec.glue.SimpleCharStream
bufcolumn - Variable in class de.saar.chorus.domgraph.codec.holesem.SimpleCharStream
bufcolumn - Variable in class de.saar.chorus.domgraph.codec.mrs.SimpleCharStream
bufcolumn - Variable in class de.saar.chorus.domgraph.codec.rmrs.SimpleCharStream
buffer - Variable in class de.saar.chorus.domgraph.chart.lethal.SimpleCharStream
buffer - Variable in class de.saar.chorus.domgraph.chart.rtgparser.SimpleCharStream
buffer - Variable in class de.saar.chorus.domgraph.codec.domcon.SimpleCharStream
buffer - Variable in class de.saar.chorus.domgraph.codec.glue.SimpleCharStream
buffer - Variable in class de.saar.chorus.domgraph.codec.holesem.SimpleCharStream
buffer - Variable in class de.saar.chorus.domgraph.codec.mrs.SimpleCharStream
buffer - Variable in class de.saar.chorus.domgraph.codec.rmrs.SimpleCharStream
bufline - Variable in class de.saar.chorus.domgraph.chart.lethal.SimpleCharStream
bufline - Variable in class de.saar.chorus.domgraph.chart.rtgparser.SimpleCharStream
bufline - Variable in class de.saar.chorus.domgraph.codec.domcon.SimpleCharStream
bufline - Variable in class de.saar.chorus.domgraph.codec.glue.SimpleCharStream
bufline - Variable in class de.saar.chorus.domgraph.codec.holesem.SimpleCharStream
bufline - Variable in class de.saar.chorus.domgraph.codec.mrs.SimpleCharStream
bufline - Variable in class de.saar.chorus.domgraph.codec.rmrs.SimpleCharStream
bufpos - Variable in class de.saar.chorus.domgraph.chart.lethal.SimpleCharStream: Position in buffer.
bufpos - Variable in class de.saar.chorus.domgraph.chart.rtgparser.SimpleCharStream: Position in buffer.
bufpos - Variable in class de.saar.chorus.domgraph.codec.domcon.SimpleCharStream: Position in buffer.
bufpos - Variable in class de.saar.chorus.domgraph.codec.glue.SimpleCharStream: Position in buffer.
bufpos - Variable in class de.saar.chorus.domgraph.codec.holesem.SimpleCharStream: Position in buffer.
bufpos - Variable in class de.saar.chorus.domgraph.codec.mrs.SimpleCharStream: Position in buffer.
bufpos - Variable in class de.saar.chorus.domgraph.codec.rmrs.SimpleCharStream: Position in buffer.
buildMatchingSubstitution(Term, Substitution) - Method in class de.saar.chorus.domgraph.chart.lethal.WildcardTerm
buildTerm(Tree<String>, String) - Method in class de.saar.chorus.domgraph.chart.lethal.WildcardTerm
buildTermWithVariables(Tree<StringOrVariable>, String) - Method in class de.saar.chorus.domgraph.chart.lethal.WildcardTerm

C

canvas - Variable in class de.saar.chorus.domgraph.layout.FragmentLayoutAlgorithm
Canvas - Interface in de.saar.chorus.domgraph.layout
cellsToNodes - Variable in class de.saar.chorus.jgraph.improvedjgraph.ImprovedJGraphAdapter
Chain - Class in de.saar.chorus.domgraph.codec.basic: An input codec that generates pure chains.
Chain() - Constructor for class de.saar.chorus.domgraph.codec.basic.Chain
chart - Variable in class de.saar.chorus.domgraph.chart.ConcreteRegularTreeGrammar
Chart - Class in de.saar.chorus.domgraph.chart: A chart for storing intermediate results of the graph-chart solver.
Chart(NodeLabels) - Constructor for class de.saar.chorus.domgraph.chart.Chart
CHARTLAYOUT - Enum constant in enum de.saar.chorus.ubench.Preferences.LayoutType
chartOnlyRoots(RegularTreeGrammar<E>, DomGraph) - Static method in class de.saar.chorus.domgraph.chart.ChartPresenter
ChartPresenter - Class in de.saar.chorus.domgraph.chart
ChartPresenter() - Constructor for class de.saar.chorus.domgraph.chart.ChartPresenter
ChartSolver<E extends GraphBasedNonterminal> - Class in de.saar.chorus.domgraph.chart: A solver for compact weakly normal dominance graphs.
ChartToLethal - Class in de.saar.chorus.domgraph.chart.lethal
ChartToLethal() - Constructor for class de.saar.chorus.domgraph.chart.lethal.ChartToLethal
ChartViewer - Class in de.saar.chorus.ubench.chartviewer: A JFrame containing a GUI for visualising a Chart of a dominance graph and highlighting parts of it in a JDomGraph.
ChartViewer(Chart, DomGraph, String, JDomGraph, NodeLabels) - Constructor for class de.saar.chorus.ubench.chartviewer.ChartViewer: A new ChartViewer
ChartViewerListener - Class in de.saar.chorus.ubench.chartviewer: This ActionListener processes all actions of one (and only one) ChartViewer.
CheapestSolvedFormComputer<E extends GraphBasedNonterminal,T extends Comparable<T>> - Class in de.saar.chorus.domgraph.chart.wrtg
CheapestSolvedFormComputer(WeightedRegularTreeGrammar<E, T>, DomGraph) - Constructor for class de.saar.chorus.domgraph.chart.wrtg.CheapestSolvedFormComputer
childIndex - Variable in class de.saar.chorus.domgraph.graph.CompactificationRecord.NodeChildPair
children - Variable in class de.saar.chorus.jgraph.improvedjgraph.ImprovedJGraph
classify - Enum constant in enum de.saar.chorus.domgraph.utool.AbstractOptions.Operation
CLASSIFY_COMPACT - Static variable in class de.saar.chorus.domgraph.utool.ExitCodes
CLASSIFY_COMPACTIFIABLE - Static variable in class de.saar.chorus.domgraph.utool.ExitCodes
CLASSIFY_HN_CONNECTED - Static variable in class de.saar.chorus.domgraph.utool.ExitCodes
CLASSIFY_LEAF_LABELLED - Static variable in class de.saar.chorus.domgraph.utool.ExitCodes
CLASSIFY_NORMAL - Static variable in class de.saar.chorus.domgraph.utool.ExitCodes
CLASSIFY_WEAKLY_NORMAL - Static variable in class de.saar.chorus.domgraph.utool.ExitCodes
cleanup() - Method in class de.saar.chorus.domgraph.chart.ConcreteRegularTreeGrammar
cleanupStreams() - Method in class de.saar.convenientprocess.ConvenientProcess
clear() - Method in class de.saar.chorus.domgraph.chart.ConcreteRegularTreeGrammar
clear() - Method in class de.saar.chorus.domgraph.graph.DomGraph: Removes all nodes and edges from this graph.
clear() - Method in class de.saar.chorus.domgraph.graph.NodeLabels: Removes all node-label mappings from this map.
clear() - Method in class de.saar.chorus.jgraph.improvedjgraph.ImprovedJGraph: Remove all nodes and edges in the graph.
clear() - Method in class de.saar.chorus.ubench.jdomgraph.JDomGraph: Remove all nodes and edges in the graph.
clearDominanceEdges() - Method in class de.saar.chorus.ubench.jdomgraph.JDomGraph: Removes all dominance edges from this graph.
clone() - Method in class de.saar.chorus.domgraph.chart.Chart: Computes a clone of the chart.
clone() - Method in class de.saar.chorus.domgraph.chart.ConcreteRegularTreeGrammar
clone() - Method in class de.saar.chorus.domgraph.graph.DomGraph
clone() - Method in class de.saar.chorus.ubench.jdomgraph.JDomGraph: Clones this graph.
clone() - Method in class de.saar.chorus.ubench.Preferences: Clones this.
closeAllTabs() - Method in class de.saar.chorus.ubench.Ubench: Closing all tabs.
closeCurrentTab() - Method in class de.saar.chorus.newubench.TabManager
closeWritingPipe() - Method in class de.saar.convenientprocess.ConvenientProcess
CODEC_REGISTRATION_ERROR - Static variable in class de.saar.chorus.domgraph.utool.ExitCodes
CodecConstructor - Annotation Type in de.saar.chorus.domgraph.codec: An annotation type for marking the constructor of a codec class that should be used to construct new objects of this class from the codec manager.
CodecManager - Class in de.saar.chorus.domgraph.codec: A registry and factory for codecs.
CodecManager() - Constructor for class de.saar.chorus.domgraph.codec.CodecManager
CodecMetadata - Annotation Type in de.saar.chorus.domgraph.codec: An annotation type for adding metadata to a codec class.
CodecOption - Annotation Type in de.saar.chorus.domgraph.codec: An annotation type for adding metadata to codec options.
CodecRegistrationException - Exception in de.saar.chorus.domgraph.codec: This exception represents an error that occurs while registering a codec.
CodecRegistrationException() - Constructor for exception de.saar.chorus.domgraph.codec.CodecRegistrationException
CodecRegistrationException(String) - Constructor for exception de.saar.chorus.domgraph.codec.CodecRegistrationException
CodecRegistrationException(String, Throwable) - Constructor for exception de.saar.chorus.domgraph.codec.CodecRegistrationException
CodecRegistrationException(Throwable) - Constructor for exception de.saar.chorus.domgraph.codec.CodecRegistrationException
CodecTools - Class in de.saar.chorus.domgraph.codec: Methods that are useful in the implementation of codecs.
CodecTools() - Constructor for class de.saar.chorus.domgraph.codec.CodecTools
CodegenOutputCodec - Class in de.saar.chorus.domgraph.codec.codegen
CodegenOutputCodec() - Constructor for class de.saar.chorus.domgraph.codec.codegen.CodegenOutputCodec
collectAllIndices(Term, Map<String, String>) - Static method in class de.saar.chorus.domgraph.chart.lethal.CompoundWithIndex
column - Variable in class de.saar.chorus.domgraph.chart.lethal.SimpleCharStream
column - Variable in class de.saar.chorus.domgraph.chart.rtgparser.SimpleCharStream
column - Variable in class de.saar.chorus.domgraph.codec.domcon.SimpleCharStream
column - Variable in class de.saar.chorus.domgraph.codec.glue.SimpleCharStream
column - Variable in class de.saar.chorus.domgraph.codec.holesem.SimpleCharStream
column - Variable in class de.saar.chorus.domgraph.codec.mrs.SimpleCharStream
column - Variable in class de.saar.chorus.domgraph.codec.rmrs.SimpleCharStream
columns - Variable in class de.saar.swing.JMultiLineToolTip
com.apple.eawt - package com.apple.eawt
CommandListener - Class in de.saar.chorus.newubench
CommandListener() - Constructor for class de.saar.chorus.newubench.CommandListener
COMMENT - Static variable in interface de.saar.chorus.domgraph.codec.mrs.MrsPrologInputCodecConstants: RegularExpression Id.
compact - Variable in class de.saar.chorus.domgraph.chart.RewritingRtg
compactificationRecord - Variable in class de.saar.chorus.domgraph.chart.RewritingRtg
CompactificationRecord - Class in de.saar.chorus.domgraph.graph
CompactificationRecord() - Constructor for class de.saar.chorus.domgraph.graph.CompactificationRecord
CompactificationRecord.NodeChildPair - Class in de.saar.chorus.domgraph.graph
compactify(CompactificationRecord) - Method in class de.saar.chorus.domgraph.graph.DomGraph: Computes a compact version of this graph.
compare(Term, Term) - Method in class de.saar.chorus.domgraph.chart.lethal.EquivalenceRulesComparator
compare(String, String) - Method in class de.saar.chorus.domgraph.layout.chartlayout.DomGraphChartLayout.FragmentInDegreeComparator
compare(String, String) - Method in class de.saar.chorus.domgraph.layout.chartlayout.DomGraphChartLayout.FragmentOutDegreeComparator
compare(DefaultEdge, DefaultEdge) - Method in class de.saar.chorus.jgraph.improvedjgraph.ImprovedJGraph.EdgeSortingComparator
CompleteSplitSource - Class in de.saar.chorus.domgraph.chart: A split source which computes the complete list of splits for a subgraph.
CompleteSplitSource(DomGraph) - Constructor for class de.saar.chorus.domgraph.chart.CompleteSplitSource
CompoundWithIndex - Class in de.saar.chorus.domgraph.chart.lethal
CompoundWithIndex(String, List<Term>, String) - Constructor for class de.saar.chorus.domgraph.chart.lethal.CompoundWithIndex
comprehensiveErrorMessage() - Method in exception de.saar.chorus.domgraph.utool.AbstractOptionsParsingException
compute(int) - Method in class de.saar.chorus.jgraph.improvedjgraph.LazyGraphSource
computeAdjacency() - Method in class de.saar.chorus.jgraph.improvedjgraph.ImprovedJGraph: Go through all the edges of the graph and record the adjacency matrix in the "parents" and "children" maps.
computeFragmentPositions() - Method in class de.saar.chorus.domgraph.layout.chartlayout.DomGraphChartLayout: computes the whole fragment graph. computes the fragment's x-position with undirected DFS, the fragment's later y-position performing directed DFS (for each root).
computeFragmentPositions() - Method in class de.saar.chorus.domgraph.layout.domgraphlayout.DomGraphLayout: computes the whole fragment graph.
computeFragmentPositions() - Method in class de.saar.chorus.domgraph.layout.FragmentLayoutAlgorithm
computeLayout() - Method in class de.saar.chorus.jgraph.improvedjgraph.ImprovedJGraph
computeNodeHeight(DefaultGraphCell) - Method in class de.saar.chorus.jgraph.improvedjgraph.ImprovedJGraph: Computes the height of the label of a node.
computeNodePositions() - Method in class de.saar.chorus.domgraph.layout.chartlayout.DomGraphChartLayout: computes the position of all nodes considering their relative poitions within a fragment and the position of their fragment (cp. its fragment node).
computeNodePositions() - Method in class de.saar.chorus.domgraph.layout.domgraphlayout.DomGraphLayout: computes the position of all nodes considering their relative poitions within a fragment and the position of their fragment (cp. its fragment node).
computeNodePositions() - Method in class de.saar.chorus.domgraph.layout.FragmentLayoutAlgorithm
computeNodeWidth(DefaultGraphCell) - Method in class de.saar.chorus.jgraph.improvedjgraph.ImprovedJGraph: Computes the width of the label of a node.
computePotentialFreeRoots(E) - Method in class de.saar.chorus.domgraph.chart.SplitSource: Computes the list of all nodes in the subgraphs which have no incoming edges.
computeSplit(String, E) - Method in class de.saar.chorus.domgraph.chart.SplitComputer: Compute the split induced by the free root of a subgraph.
computeSplits(SubgraphNonterminal) - Method in class de.saar.chorus.domgraph.chart.CompleteSplitSource
computeSplits(SubgraphNonterminal) - Method in class de.saar.chorus.domgraph.chart.OneSplitSource
computeSplits(E) - Method in class de.saar.chorus.domgraph.chart.SplitSource: Implement this abstract method when you write your own subclass of SplitSource.
computeTerm(String, DomGraph, NodeLabels, Map<String, String>) - Method in class de.saar.chorus.domgraph.codec.term.TermOutputCodec
computeWccMap(List<Set<String>>) - Method in class de.saar.chorus.domgraph.graph.DomGraph: Computes a mapping of nodes to wcc indices from a list of wccs.
ConcreteRegularTreeGrammar<E> - Class in de.saar.chorus.domgraph.chart
ConcreteRegularTreeGrammar() - Constructor for class de.saar.chorus.domgraph.chart.ConcreteRegularTreeGrammar: The constructor.
ConnectionManager - Class in de.saar.chorus.domgraph.utool.server: The Utool main program for accessing the Domgraph functionality in server mode.
ConnectionManager() - Constructor for class de.saar.chorus.domgraph.utool.server.ConnectionManager
ConnectionManager.State - Enum in de.saar.chorus.domgraph.utool.server
ConnectionManager.StateChangeListener - Interface in de.saar.chorus.domgraph.utool.server
containsSplitFor(E) - Method in class de.saar.chorus.domgraph.chart.ConcreteRegularTreeGrammar: Checks whether the chart contains a split for the given subgraph.
containsSplitFor(E) - Method in class de.saar.chorus.domgraph.chart.RegularTreeGrammar
containsSplitFor(E) - Method in class de.saar.chorus.domgraph.chart.RewritingRtg
ConvenientGetopt - Class in de.saar.getopt: This class encapsulates the GNU Getopt library and makes it more convenient to use from Java programs.
ConvenientGetopt(String, String, String) - Constructor for class de.saar.getopt.ConvenientGetopt: Create new getopt object.
ConvenientProcess - Class in de.saar.convenientprocess
ConvenientProcess(String) - Constructor for class de.saar.convenientprocess.ConvenientProcess
ConvenientProcess(String[], String) - Constructor for class de.saar.convenientprocess.ConvenientProcess
ConvenientProcess(String, String) - Constructor for class de.saar.convenientprocess.ConvenientProcess
convert - Enum constant in enum de.saar.chorus.domgraph.utool.AbstractOptions.Operation
convert(DomGraph, NodeLabels) - Method in class de.saar.chorus.domgraph.chart.lethal.RewriteSystemToTransducer
convert(Graph, DataFactory<NodeData, EdgeData>, ImprovedJGraph<NodeType, NodeData, EdgeType, EdgeData>) - Static method in class de.saar.chorus.jgraph.improvedjgraph.ImprovedJGraphAdapter: Converts a JGraphT graph into an ImprovedJGraph.
convertFtaToChart(GenFTA<RankedSymbol, PairState<State, String>>, DomGraph) - Static method in class de.saar.chorus.domgraph.chart.lethal.ChartToLethal
convertToFta(RegularTreeGrammar<SubgraphNonterminal>, DomGraph, NodeLabels) - Static method in class de.saar.chorus.domgraph.chart.lethal.ChartToLethal
convertToRtg(RegularTreeGrammar<SubgraphNonterminal>, DomGraph, NodeLabels) - Static method in class de.saar.chorus.domgraph.chart.lethal.ChartToLethal
Coordinate - Class in de.saar.chorus.gecode
Coordinate() - Constructor for class de.saar.chorus.gecode.Coordinate
Coordinate(int, int) - Constructor for class de.saar.chorus.gecode.Coordinate
copyTo(Preferences) - Method in class de.saar.chorus.ubench.Preferences: Copies these preferences to a second given Preferences object.
countFtaTrees(AbstractFTA) - Static method in class de.saar.chorus.domgraph.chart.lethal.RelativeNormalFormsComputer
countSolvedForms() - Method in class de.saar.chorus.domgraph.chart.RegularTreeGrammar: Returns the number of solved forms represented by this chart.
countSolvedFormsFor(E) - Method in class de.saar.chorus.domgraph.chart.RegularTreeGrammar
countSubgraphs() - Method in class de.saar.chorus.domgraph.chart.ConcreteRegularTreeGrammar
createEmptyNonterminal() - Method in class de.saar.chorus.domgraph.chart.SplitComputer
createEmptyNonterminal() - Method in class de.saar.chorus.domgraph.chart.SubgraphSplitComputer
curChar - Variable in class de.saar.chorus.domgraph.chart.lethal.RewritingSystemParserTokenManager
curChar - Variable in class de.saar.chorus.domgraph.chart.rtgparser.RtgParserTokenManager
curChar - Variable in class de.saar.chorus.domgraph.codec.domcon.DomconOzInputCodecTokenManager
curChar - Variable in class de.saar.chorus.domgraph.codec.glue.GlueInputCodecTokenManager
curChar - Variable in class de.saar.chorus.domgraph.codec.holesem.HolesemComsemInputCodecTokenManager
curChar - Variable in class de.saar.chorus.domgraph.codec.mrs.MrsPrologInputCodecTokenManager
curChar - Variable in class de.saar.chorus.domgraph.codec.rmrs.RmrsDomconInputCodecTokenManager
currentToken - Variable in exception de.saar.chorus.domgraph.chart.lethal.ParseException: This is the last token that has been consumed successfully.
currentToken - Variable in exception de.saar.chorus.domgraph.chart.rtgparser.ParseException: This is the last token that has been consumed successfully.
currentToken - Variable in exception de.saar.chorus.domgraph.codec.domcon.ParseException: This is the last token that has been consumed successfully.
currentToken - Variable in exception de.saar.chorus.domgraph.codec.glue.ParseException: This is the last token that has been consumed successfully.
currentToken - Variable in exception de.saar.chorus.domgraph.codec.holesem.ParseException: This is the last token that has been consumed successfully.
currentToken - Variable in exception de.saar.chorus.domgraph.codec.mrs.ParseException: This is the last token that has been consumed successfully.
currentToken - Variable in exception de.saar.chorus.domgraph.codec.rmrs.ParseException: This is the last token that has been consumed successfully.
cursor - Variable in class de.saar.chorus.gecode.DefaultNodeVisitor

D

DataFactory<NodeData,EdgeData> - Interface in de.saar.chorus.jgraph.improvedjgraph
de.saar.chorus.domgraph - package de.saar.chorus.domgraph: Provides classes for accessing global properties of the system, such as the Domgraph version number and the example database.
de.saar.chorus.domgraph.chart - package de.saar.chorus.domgraph.chart: Provides classes for working with dominance charts.
de.saar.chorus.domgraph.chart.lethal - package de.saar.chorus.domgraph.chart.lethal
de.saar.chorus.domgraph.chart.rtgparser - package de.saar.chorus.domgraph.chart.rtgparser
de.saar.chorus.domgraph.chart.wrtg - package de.saar.chorus.domgraph.chart.wrtg
de.saar.chorus.domgraph.codec - package de.saar.chorus.domgraph.codec: Provides basic classes for implementing codecs.
de.saar.chorus.domgraph.codec.basic - package 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 - package de.saar.chorus.domgraph.codec.codegen
de.saar.chorus.domgraph.codec.domcon - package de.saar.chorus.domgraph.codec.domcon: Provides codecs for dealing with dominance constraints and dominance graphs.
de.saar.chorus.domgraph.codec.domgraph - package de.saar.chorus.domgraph.codec.domgraph: Provides codecs for representing labelled dominance graphs in various graph representation languages.
de.saar.chorus.domgraph.codec.glue - package 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 - package 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 - package 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 - package de.saar.chorus.domgraph.codec.plugging: Provides two codecs for printing pluggings.
de.saar.chorus.domgraph.codec.rmrs - package de.saar.chorus.domgraph.codec.rmrs
de.saar.chorus.domgraph.codec.term - package de.saar.chorus.domgraph.codec.term: Provides two codecs for printing simple solved forms as terms.
de.saar.chorus.domgraph.graph - package de.saar.chorus.domgraph.graph: Provides basic classes for representing labelled dominance graphs and basic algorithms running on them.
de.saar.chorus.domgraph.layout - package de.saar.chorus.domgraph.layout
de.saar.chorus.domgraph.layout.chartlayout - package de.saar.chorus.domgraph.layout.chartlayout
de.saar.chorus.domgraph.layout.domgraphlayout - package de.saar.chorus.domgraph.layout.domgraphlayout
de.saar.chorus.domgraph.layout.solvedformlayout - package de.saar.chorus.domgraph.layout.solvedformlayout
de.saar.chorus.domgraph.layout.treelayout - package de.saar.chorus.domgraph.layout.treelayout
de.saar.chorus.domgraph.utool - package de.saar.chorus.domgraph.utool: Provides the main programme for Utool.
de.saar.chorus.domgraph.utool.server - package de.saar.chorus.domgraph.utool.server: Provides the main programme for Utool.
de.saar.chorus.gecode - package de.saar.chorus.gecode: Provides the classes for the tree layout algorithm used in the Gecode Explorer.
de.saar.chorus.jgraph - package de.saar.chorus.jgraph: Provides various classes which extend the functionality of the JGraph package.
de.saar.chorus.jgraph.improvedjgraph - package de.saar.chorus.jgraph.improvedjgraph
de.saar.chorus.jgraph.improvedjgraph.layout - package de.saar.chorus.jgraph.improvedjgraph.layout
de.saar.chorus.jgraph.improvedjgraph.layout.treelayout - package de.saar.chorus.jgraph.improvedjgraph.layout.treelayout
de.saar.chorus.newubench - package de.saar.chorus.newubench
de.saar.chorus.ubench - package de.saar.chorus.ubench: Provides the classes for the Underspecification Workbench GUI.
de.saar.chorus.ubench.chartviewer - package de.saar.chorus.ubench.chartviewer
de.saar.chorus.ubench.jdomgraph - package de.saar.chorus.ubench.jdomgraph: Provides basic classes used in the Underspecification Workbench.
de.saar.convenientprocess - package de.saar.convenientprocess
de.saar.getopt - package de.saar.getopt: Provides a convenient abstraction over the GNU Getopt library.
de.saar.swing - package de.saar.swing
debugStream - Variable in class de.saar.chorus.domgraph.chart.lethal.RewritingSystemParserTokenManager: Debug output.
debugStream - Variable in class de.saar.chorus.domgraph.chart.rtgparser.RtgParserTokenManager: Debug output.
debugStream - Variable in class de.saar.chorus.domgraph.codec.domcon.DomconOzInputCodecTokenManager: Debug output.
debugStream - Variable in class de.saar.chorus.domgraph.codec.glue.GlueInputCodecTokenManager: Debug output.
debugStream - Variable in class de.saar.chorus.domgraph.codec.holesem.HolesemComsemInputCodecTokenManager: Debug output.
debugStream - Variable in class de.saar.chorus.domgraph.codec.mrs.MrsPrologInputCodecTokenManager: Debug output.
debugStream - Variable in class de.saar.chorus.domgraph.codec.rmrs.RmrsDomconInputCodecTokenManager: Debug output.
decode(Reader, DomGraph, NodeLabels) - Method in class de.saar.chorus.domgraph.codec.basic.Chain
decode(Reader, DomGraph, NodeLabels) - Method in class de.saar.chorus.domgraph.codec.domcon.DomconOzInputCodec
decode(Reader, DomGraph, NodeLabels) - Method in class de.saar.chorus.domgraph.codec.domgraph.DomgraphGxlInputCodec: Reads a GXL description of a dominance graph from a file and writes it into a JDomGraph object.
decode(Reader, DomGraph, NodeLabels) - Method in class de.saar.chorus.domgraph.codec.glue.GlueInputCodec
decode(Reader, DomGraph, NodeLabels) - Method in class de.saar.chorus.domgraph.codec.holesem.HolesemComsemInputCodec: Reads an USR representation from a Reader.
decode(Reader, DomGraph, NodeLabels) - Method in class de.saar.chorus.domgraph.codec.InputCodec: Reads an USR representation from a Reader.
decode(Reader, DomGraph, NodeLabels) - Method in class de.saar.chorus.domgraph.codec.mrs.MrsPrologInputCodec
decode(Reader, DomGraph, NodeLabels) - Method in class de.saar.chorus.domgraph.codec.mrs.MrsXmlInputCodec
decode(Reader, DomGraph, NodeLabels) - Method in class de.saar.chorus.domgraph.codec.rmrs.RmrsDomconInputCodec
DecoratedNonterminal<E extends GraphBasedNonterminal,DecorationType> - Class in de.saar.chorus.domgraph.chart
DecoratedNonterminal(E, DecorationType) - Constructor for class de.saar.chorus.domgraph.chart.DecoratedNonterminal
DEFAULT - Static variable in interface de.saar.chorus.domgraph.chart.lethal.RewritingSystemParserConstants: Lexical state.
DEFAULT - Static variable in interface de.saar.chorus.domgraph.chart.rtgparser.RtgParserConstants: Lexical state.
DEFAULT - Static variable in interface de.saar.chorus.domgraph.codec.domcon.DomconOzInputCodecConstants: Lexical state.
DEFAULT - Static variable in interface de.saar.chorus.domgraph.codec.glue.GlueInputCodecConstants: Lexical state.
DEFAULT - Static variable in interface de.saar.chorus.domgraph.codec.holesem.HolesemComsemInputCodecConstants: Lexical state.
DEFAULT - Static variable in interface de.saar.chorus.domgraph.codec.mrs.MrsPrologInputCodecConstants: Lexical state.
DEFAULT - Static variable in interface de.saar.chorus.domgraph.codec.rmrs.RmrsDomconInputCodecConstants: Lexical state.
defaultEdgeAttributes(EdgeType) - Method in class de.saar.chorus.ubench.jdomgraph.JDomGraph: Compute JGraph attributes for a node of the given type.
defaultEdgeAttributes(EdgeType) - Method in class de.saar.chorus.jgraph.improvedjgraph.ImprovedJGraph
defaultEdgeAttributes(EdgeType) - Method in class de.saar.chorus.jgraph.improvedjgraph.ImprovedJGraphAdapter
defaultNodeAttributes(NodeType) - Method in class de.saar.chorus.ubench.jdomgraph.JDomGraph: Compute JGraph attributes for a node of the given type.
defaultNodeAttributes(NodeType) - Method in class de.saar.chorus.jgraph.improvedjgraph.ImprovedJGraph
defaultNodeAttributes(NodeType) - Method in class de.saar.chorus.jgraph.improvedjgraph.ImprovedJGraphAdapter
DefaultNodeVisitor - Class in de.saar.chorus.gecode
DefaultNodeVisitor(NodeCursorInterface) - Constructor for class de.saar.chorus.gecode.DefaultNodeVisitor
defaultValue() - Element in annotation type de.saar.chorus.domgraph.codec.CodecOption
deleteSubgraph(E) - Method in class de.saar.chorus.domgraph.chart.ConcreteRegularTreeGrammar: Deletes a subgraph and all of its splits from the chart.
depth - Variable in class de.saar.chorus.gecode.BoundingBox
depth() - Method in class de.saar.chorus.gecode.Shape
destroy() - Method in class de.saar.convenientprocess.ConvenientProcess
disable_tracing() - Method in class de.saar.chorus.domgraph.chart.lethal.RewritingSystemParser: Disable tracing.
disable_tracing() - Method in class de.saar.chorus.domgraph.chart.rtgparser.RtgParser: Disable tracing.
disable_tracing() - Method in class de.saar.chorus.domgraph.codec.domcon.DomconOzInputCodec: Disable tracing.
disable_tracing() - Method in class de.saar.chorus.domgraph.codec.glue.GlueInputCodec: Disable tracing.
disable_tracing() - Method in class de.saar.chorus.domgraph.codec.holesem.HolesemComsemInputCodec: Disable tracing.
disable_tracing() - Method in class de.saar.chorus.domgraph.codec.mrs.MrsPrologInputCodec: Disable tracing.
disable_tracing() - Method in class de.saar.chorus.domgraph.codec.rmrs.RmrsDomconInputCodec: Disable tracing.
display - Enum constant in enum de.saar.chorus.domgraph.utool.AbstractOptions.Operation
DISPLAY_CODECS - Static variable in class de.saar.chorus.newubench.CommandListener
displayAboutDialog() - Static method in class de.saar.chorus.newubench.AuxiliaryWindows
displayAboutDialog() - Method in class de.saar.chorus.ubench.Ubench
displayAllCodecs(PrintStream) - Method in class de.saar.chorus.domgraph.codec.CodecManager: Prints an overview of all registered codecs to an output stream.
DOM - Static variable in interface de.saar.chorus.domgraph.codec.domcon.DomconOzInputCodecConstants: RegularExpression Id.
DomconOzInputCodec - Class in de.saar.chorus.domgraph.codec.domcon: An input codec for weakly normal dominance constraints in Oz syntax.
DomconOzInputCodec() - Constructor for class de.saar.chorus.domgraph.codec.domcon.DomconOzInputCodec
DomconOzInputCodec(DomconOzInputCodecTokenManager) - Constructor for class de.saar.chorus.domgraph.codec.domcon.DomconOzInputCodec: Constructor with generated Token Manager.
DomconOzInputCodec(InputStream) - Constructor for class de.saar.chorus.domgraph.codec.domcon.DomconOzInputCodec: Constructor with InputStream.
DomconOzInputCodec(InputStream, String) - Constructor for class de.saar.chorus.domgraph.codec.domcon.DomconOzInputCodec: Constructor with InputStream and supplied encoding
DomconOzInputCodec(Reader) - Constructor for class de.saar.chorus.domgraph.codec.domcon.DomconOzInputCodec: Constructor.
DomconOzInputCodecConstants - Interface in de.saar.chorus.domgraph.codec.domcon: Token literal values and constants.
DomconOzInputCodecTokenManager - Class in de.saar.chorus.domgraph.codec.domcon: Token Manager.
DomconOzInputCodecTokenManager(SimpleCharStream) - Constructor for class de.saar.chorus.domgraph.codec.domcon.DomconOzInputCodecTokenManager: Constructor.
DomconOzInputCodecTokenManager(SimpleCharStream, int) - Constructor for class de.saar.chorus.domgraph.codec.domcon.DomconOzInputCodecTokenManager: Constructor.
DomconOzOutputCodec - Class in de.saar.chorus.domgraph.codec.domcon: An output codec for weakly normal dominance constraints in Oz syntax.
DomconOzOutputCodec() - Constructor for class de.saar.chorus.domgraph.codec.domcon.DomconOzOutputCodec
DomconOzPluggingOutputCodec - Class in de.saar.chorus.domgraph.codec.plugging: An output codec for pluggings in Oz syntax.
DomconOzPluggingOutputCodec() - Constructor for class de.saar.chorus.domgraph.codec.plugging.DomconOzPluggingOutputCodec
DomEdge - Class in de.saar.chorus.domgraph.graph: A representation of a dominance edge, as a pair of a source and a target node.
DomEdge(String, String) - Constructor for class de.saar.chorus.domgraph.graph.DomEdge: Constructor which takes a source and target node.
domgraph - Variable in class de.saar.chorus.domgraph.layout.FragmentLayoutAlgorithm
DomGraph - Class in de.saar.chorus.domgraph.graph: A dominance graph.
DomGraph() - Constructor for class de.saar.chorus.domgraph.graph.DomGraph
DomGraph.PreprocessingException - Exception in de.saar.chorus.domgraph.graph
DomGraphChartLayout - Class in de.saar.chorus.domgraph.layout.chartlayout: This is a draft for a new chart-based layout algorithm.
DomGraphChartLayout() - Constructor for class de.saar.chorus.domgraph.layout.chartlayout.DomGraphChartLayout: Initializes a new dominance graph layout of a given dominanc graph.
DomGraphChartLayout.FragmentInDegreeComparator - Class in de.saar.chorus.domgraph.layout.chartlayout: Comparator sorting a Collection of Fragments according to their number of incombing edges.
DomGraphChartLayout.FragmentOutDegreeComparator - Class in de.saar.chorus.domgraph.layout.chartlayout: Comparator sorting a collection of fragments ascending according to their number of outgoing edges.
DomGraphDrawingCursor - Class in de.saar.chorus.domgraph.layout.treelayout: A class to determine the coordinates of a node relative to the graph root.
DomGraphDrawingCursor(String, FragmentLayoutAlgorithm, DomGraph, Set<String>) - Constructor for class de.saar.chorus.domgraph.layout.treelayout.DomGraphDrawingCursor: Creates a new DomGraphDrawingCursor
DomgraphGxlInputCodec - Class in de.saar.chorus.domgraph.codec.domgraph: An input codec for weakly normal dominance graphs in GXL syntax.
DomgraphGxlInputCodec() - Constructor for class de.saar.chorus.domgraph.codec.domgraph.DomgraphGxlInputCodec
DomgraphGxlOutputCodec - Class in de.saar.chorus.domgraph.codec.domgraph: An output codec for arbitrary dominance graphs in GXL syntax.
DomgraphGxlOutputCodec() - Constructor for class de.saar.chorus.domgraph.codec.domgraph.DomgraphGxlOutputCodec
DomGraphLayout - Class in de.saar.chorus.domgraph.layout.domgraphlayout: A layout algorithm for a dominance graph represented by a JDomGraph.
DomGraphLayout() - Constructor for class de.saar.chorus.domgraph.layout.domgraphlayout.DomGraphLayout: Initializes a new dominance graph layout of a given dominanc graph.
DomGraphLayoutCursor - Class in de.saar.chorus.domgraph.layout.treelayout: A class to determine the positions of nodes in a graph that is a tree, relative to their direct parents.
DomGraphLayoutCursor(String, Canvas, FragmentLayoutAlgorithm, DomGraph, Map<String, String>) - Constructor for class de.saar.chorus.domgraph.layout.treelayout.DomGraphLayoutCursor: Creates a new DomGraphLayoutCursor
DomGraphLayoutCursor(String, Canvas, FragmentLayoutAlgorithm, DomGraph, Set<String>, Map<String, String>) - Constructor for class de.saar.chorus.domgraph.layout.treelayout.DomGraphLayoutCursor: Creates a new DomGraphLayoutCursor
DomGraphLayoutParameters - Class in de.saar.chorus.domgraph.layout: Storing the general parameters (distances between nodes and fragments).
DomGraphLayoutParameters() - Constructor for class de.saar.chorus.domgraph.layout.DomGraphLayoutParameters
DomgraphMarqueeHandler - Class in de.saar.chorus.ubench
DomgraphMarqueeHandler(JDomGraphTab, DomGraph, NodeLabels) - Constructor for class de.saar.chorus.ubench.DomgraphMarqueeHandler
DomGraphNodeCursor - Class in de.saar.chorus.domgraph.layout.treelayout: Class to layout solved forms implementing the NodeCursorInterface.
DomGraphNodeCursor(String, DomGraph) - Constructor for class de.saar.chorus.domgraph.layout.treelayout.DomGraphNodeCursor: A new instance of DomGraphNodeCursor
DomGraphNodeCursor(String, DomGraph, Set<String>) - Constructor for class de.saar.chorus.domgraph.layout.treelayout.DomGraphNodeCursor: A new instance of DomGraphNodeCursor
DomGraphNodeCursor(String, DomGraph, Set<String>, EdgeType) - Constructor for class de.saar.chorus.domgraph.layout.treelayout.DomGraphNodeCursor: A new instance of DomGraphNodeCursor
DomgraphUdrawOutputCodec - Class in de.saar.chorus.domgraph.codec.domgraph: An output codec that represents a dominance graph in the uDraw(Graph) format.
DomgraphUdrawOutputCodec(boolean) - Constructor for class de.saar.chorus.domgraph.codec.domgraph.DomgraphUdrawOutputCodec
dominance - Static variable in class de.saar.chorus.ubench.jdomgraph.EdgeType
DOMINANCE - Enum constant in enum de.saar.chorus.domgraph.graph.EdgeType
dominanceVal - Static variable in class de.saar.chorus.ubench.jdomgraph.EdgeType
Done() - Method in class de.saar.chorus.domgraph.chart.lethal.SimpleCharStream: Reset buffer when finished.
Done() - Method in class de.saar.chorus.domgraph.chart.rtgparser.SimpleCharStream: Reset buffer when finished.
Done() - Method in class de.saar.chorus.domgraph.codec.domcon.SimpleCharStream: Reset buffer when finished.
Done() - Method in class de.saar.chorus.domgraph.codec.glue.SimpleCharStream: Reset buffer when finished.
Done() - Method in class de.saar.chorus.domgraph.codec.holesem.SimpleCharStream: Reset buffer when finished.
Done() - Method in class de.saar.chorus.domgraph.codec.mrs.SimpleCharStream: Reset buffer when finished.
Done() - Method in class de.saar.chorus.domgraph.codec.rmrs.SimpleCharStream: Reset buffer when finished.
DotOutputCodec - Class in de.saar.chorus.domgraph.codec.domgraph: An output codec that represents a dominance graph using the Dot graph description language.
DotOutputCodec(boolean) - Constructor for class de.saar.chorus.domgraph.codec.domgraph.DotOutputCodec
drawDominanceEdge(String, String) - Method in interface de.saar.chorus.domgraph.layout.Canvas
drawDominanceEdge(String, String) - Method in class de.saar.chorus.domgraph.layout.DummyCanvas
drawDominanceEdge(String, String) - Method in class de.saar.chorus.domgraph.layout.JDomGraphCanvas
drawDominanceEdge(String, String) - Method in class de.saar.chorus.domgraph.layout.PDFCanvas
drawEdges() - Method in class de.saar.chorus.domgraph.layout.chartlayout.DomGraphChartLayout
drawEdges() - Method in class de.saar.chorus.domgraph.layout.domgraphlayout.DomGraphLayout
drawEdges() - Method in class de.saar.chorus.domgraph.layout.FragmentLayoutAlgorithm
drawGraph(DomGraph, NodeLabels) - Method in class de.saar.chorus.newubench.UbenchTab
drawLightDominanceEdge(String, String) - Method in interface de.saar.chorus.domgraph.layout.Canvas
drawLightDominanceEdge(String, String) - Method in class de.saar.chorus.domgraph.layout.DummyCanvas
drawLightDominanceEdge(String, String) - Method in class de.saar.chorus.domgraph.layout.JDomGraphCanvas
drawLightDominanceEdge(String, String) - Method in class de.saar.chorus.domgraph.layout.PDFCanvas
drawNodeAt(int, int, String, String, NodeData, String) - Method in interface de.saar.chorus.domgraph.layout.Canvas
drawNodeAt(int, int, String, String, NodeData, String) - Method in class de.saar.chorus.domgraph.layout.DummyCanvas
drawNodeAt(int, int, String, String, NodeData, String) - Method in class de.saar.chorus.domgraph.layout.JDomGraphCanvas
drawNodeAt(int, int, String, String, NodeData, String) - Method in class de.saar.chorus.domgraph.layout.PDFCanvas
drawTreeEdge(String, String) - Method in interface de.saar.chorus.domgraph.layout.Canvas
drawTreeEdge(String, String) - Method in class de.saar.chorus.domgraph.layout.DummyCanvas
drawTreeEdge(String, String) - Method in class de.saar.chorus.domgraph.layout.JDomGraphCanvas
drawTreeEdge(String, String) - Method in class de.saar.chorus.domgraph.layout.PDFCanvas
DummyCanvas - Class in de.saar.chorus.domgraph.layout
DummyCanvas() - Constructor for class de.saar.chorus.domgraph.layout.DummyCanvas
duplicate() - Method in class de.saar.chorus.newubench.GraphTab
duplicate() - Method in class de.saar.chorus.newubench.SolvedFormTab
duplicate() - Method in class de.saar.chorus.newubench.UbenchTab
DUPLICATE - Static variable in class de.saar.chorus.newubench.CommandListener
duplicateCurrentTab() - Method in class de.saar.chorus.newubench.TabManager

E

edgeCounter - Variable in class de.saar.chorus.jgraph.improvedjgraph.ImprovedJGraph
EdgeData - Class in de.saar.chorus.domgraph.graph: The data associated with an edge.
EdgeData - Class in de.saar.chorus.ubench.jdomgraph: The data that can be stored in the edge of a dominance graph -- namely, a name and an edge type.
EdgeData(EdgeType) - Constructor for class de.saar.chorus.domgraph.graph.EdgeData: The constructor.
EdgeData(EdgeType, String, JDomGraph) - Constructor for class de.saar.chorus.ubench.jdomgraph.EdgeData
EdgeDataAdapter<E> - Class in de.saar.chorus.jgraph.improvedjgraph
EdgeDataAdapter(E) - Constructor for class de.saar.chorus.jgraph.improvedjgraph.EdgeDataAdapter
edgeOrder - Variable in class de.saar.chorus.jgraph.improvedjgraph.ImprovedJGraph
edges - Variable in class de.saar.chorus.jgraph.improvedjgraph.ImprovedJGraph
EdgeSortingComparator() - Constructor for class de.saar.chorus.jgraph.improvedjgraph.ImprovedJGraph.EdgeSortingComparator
EdgeType - Class in de.saar.chorus.ubench.jdomgraph: An edge type -- either solid or dominance.
EdgeType - Enum in de.saar.chorus.domgraph.graph: An edge type.
EdgeType(int) - Constructor for class de.saar.chorus.ubench.jdomgraph.EdgeType
enable_tracing() - Method in class de.saar.chorus.domgraph.chart.lethal.RewritingSystemParser: Enable tracing.
enable_tracing() - Method in class de.saar.chorus.domgraph.chart.rtgparser.RtgParser: Enable tracing.
enable_tracing() - Method in class de.saar.chorus.domgraph.codec.domcon.DomconOzInputCodec: Enable tracing.
enable_tracing() - Method in class de.saar.chorus.domgraph.codec.glue.GlueInputCodec: Enable tracing.
enable_tracing() - Method in class de.saar.chorus.domgraph.codec.holesem.HolesemComsemInputCodec: Enable tracing.
enable_tracing() - Method in class de.saar.chorus.domgraph.codec.mrs.MrsPrologInputCodec: Enable tracing.
enable_tracing() - Method in class de.saar.chorus.domgraph.codec.rmrs.RmrsDomconInputCodec: Enable tracing.
encode(DomGraph, NodeLabels, Writer) - Method in class de.saar.chorus.domgraph.codec.codegen.CodegenOutputCodec
encode(DomGraph, NodeLabels, Writer) - Method in class de.saar.chorus.domgraph.codec.domcon.DomconOzOutputCodec
encode(DomGraph, NodeLabels, Writer) - Method in class de.saar.chorus.domgraph.codec.domgraph.DomgraphGxlOutputCodec
encode(DomGraph, NodeLabels, Writer) - Method in class de.saar.chorus.domgraph.codec.domgraph.DomgraphUdrawOutputCodec
encode(DomGraph, NodeLabels, Writer) - Method in class de.saar.chorus.domgraph.codec.domgraph.DotOutputCodec
encode(DomGraph, NodeLabels, Writer) - Method in class de.saar.chorus.domgraph.codec.OutputCodec: Encodes a dominance graph into a string representation for this output codec.
encode(DomGraph, NodeLabels, Writer) - Method in class de.saar.chorus.domgraph.codec.plugging.DomconOzPluggingOutputCodec
encode(DomGraph, NodeLabels, Writer) - Method in class de.saar.chorus.domgraph.codec.plugging.GroovyPluggingOutputCodec
encode(DomGraph, NodeLabels, Writer) - Method in class de.saar.chorus.domgraph.codec.plugging.LkbPluggingOutputCodec
encode(DomGraph, NodeLabels, Writer) - Method in class de.saar.chorus.domgraph.codec.term.TermOutputCodec
endColumn - Variable in class de.saar.chorus.domgraph.chart.lethal.Token: The column number of the last character of this Token.
endColumn - Variable in class de.saar.chorus.domgraph.chart.rtgparser.Token: The column number of the last character of this Token.
endColumn - Variable in class de.saar.chorus.domgraph.codec.domcon.Token: The column number of the last character of this Token.
endColumn - Variable in class de.saar.chorus.domgraph.codec.glue.Token: The column number of the last character of this Token.
endColumn - Variable in class de.saar.chorus.domgraph.codec.holesem.Token: The column number of the last character of this Token.
endColumn - Variable in class de.saar.chorus.domgraph.codec.mrs.Token: The column number of the last character of this Token.
endColumn - Variable in class de.saar.chorus.domgraph.codec.rmrs.Token: The column number of the last character of this Token.
endLine - Variable in class de.saar.chorus.domgraph.chart.lethal.Token: The line number of the last character of this Token.
endLine - Variable in class de.saar.chorus.domgraph.chart.rtgparser.Token: The line number of the last character of this Token.
endLine - Variable in class de.saar.chorus.domgraph.codec.domcon.Token: The line number of the last character of this Token.
endLine - Variable in class de.saar.chorus.domgraph.codec.glue.Token: The line number of the last character of this Token.
endLine - Variable in class de.saar.chorus.domgraph.codec.holesem.Token: The line number of the last character of this Token.
endLine - Variable in class de.saar.chorus.domgraph.codec.mrs.Token: The line number of the last character of this Token.
endLine - Variable in class de.saar.chorus.domgraph.codec.rmrs.Token: The line number of the last character of this Token.
EOF - Static variable in interface de.saar.chorus.domgraph.chart.lethal.RewritingSystemParserConstants: End of File.
EOF - Static variable in interface de.saar.chorus.domgraph.chart.rtgparser.RtgParserConstants: End of File.
EOF - Static variable in interface de.saar.chorus.domgraph.codec.domcon.DomconOzInputCodecConstants: End of File.
EOF - Static variable in interface de.saar.chorus.domgraph.codec.glue.GlueInputCodecConstants: End of File.
EOF - Static variable in interface de.saar.chorus.domgraph.codec.holesem.HolesemComsemInputCodecConstants: End of File.
EOF - Static variable in interface de.saar.chorus.domgraph.codec.mrs.MrsPrologInputCodecConstants: End of File.
EOF - Static variable in interface de.saar.chorus.domgraph.codec.rmrs.RmrsDomconInputCodecConstants: End of File.
eol - Variable in exception de.saar.chorus.domgraph.chart.lethal.ParseException: The end of line string for this machine.
eol - Variable in exception de.saar.chorus.domgraph.chart.rtgparser.ParseException: The end of line string for this machine.
eol - Variable in exception de.saar.chorus.domgraph.codec.domcon.ParseException: The end of line string for this machine.
eol - Variable in exception de.saar.chorus.domgraph.codec.glue.ParseException: The end of line string for this machine.
eol - Variable in exception de.saar.chorus.domgraph.codec.holesem.ParseException: The end of line string for this machine.
eol - Variable in exception de.saar.chorus.domgraph.codec.mrs.ParseException: The end of line string for this machine.
eol - Variable in exception de.saar.chorus.domgraph.codec.rmrs.ParseException: The end of line string for this machine.
EP - Static variable in interface de.saar.chorus.domgraph.codec.rmrs.RmrsDomconInputCodecConstants: RegularExpression Id.
EQ - Static variable in interface de.saar.chorus.domgraph.codec.holesem.HolesemComsemInputCodecConstants: RegularExpression Id.
EQN - Static variable in interface de.saar.chorus.domgraph.codec.rmrs.RmrsDomconInputCodecConstants: RegularExpression Id.
equals(Object) - Method in class de.saar.chorus.domgraph.chart.DecoratedNonterminal
equals(Object) - Method in class de.saar.chorus.domgraph.chart.lethal.RewriteSystem.Rule
equals(Object) - Method in class de.saar.chorus.domgraph.chart.rtgparser.StringNonterminal
equals(Object) - Method in class de.saar.chorus.domgraph.chart.Split
equals(Object) - Method in class de.saar.chorus.domgraph.chart.SubgraphNonterminal
equals(Object) - Method in class de.saar.chorus.domgraph.graph.DomEdge
equals(Object) - Method in class de.saar.chorus.domgraph.graph.EdgeData
equals(Object) - Method in class de.saar.chorus.domgraph.graph.NodeData
equals(Object) - Method in class de.saar.chorus.domgraph.graph.NodeLabels
equals(Object) - Method in class de.saar.chorus.jgraph.improvedjgraph.EdgeDataAdapter
equals(Object) - Method in class de.saar.chorus.jgraph.improvedjgraph.NodeDataAdapter
equals(Object) - Method in class de.saar.chorus.ubench.jdomgraph.Fragment
EQUIVALENCE_READING_ERROR - Static variable in class de.saar.chorus.domgraph.utool.ExitCodes
EquivalenceRule() - Method in class de.saar.chorus.domgraph.chart.lethal.RewritingSystemParser
EquivalenceRulesComparator - Class in de.saar.chorus.domgraph.chart.lethal
EquivalenceRulesComparator() - Constructor for class de.saar.chorus.domgraph.chart.lethal.EquivalenceRulesComparator
EquivalenceRulesComparator(Set<String>) - Constructor for class de.saar.chorus.domgraph.chart.lethal.EquivalenceRulesComparator
EQV - Static variable in interface de.saar.chorus.domgraph.codec.rmrs.RmrsDomconInputCodecConstants: RegularExpression Id.
ERROR_CHAIN_LENGTH - Static variable in class de.saar.chorus.domgraph.codec.basic.Chain
ERROR_GRAPH_NOT_HNC - Static variable in class de.saar.chorus.domgraph.codec.holesem.HolesemComsemInputCodec
ERROR_GRAPH_NOT_LEAF_LABELLED - Static variable in class de.saar.chorus.domgraph.codec.holesem.HolesemComsemInputCodec
ERROR_GRAPH_NOT_NORMAL - Static variable in class de.saar.chorus.domgraph.codec.holesem.HolesemComsemInputCodec
ERROR_MULTIPLE_PARENTS - Static variable in class de.saar.chorus.domgraph.codec.holesem.HolesemComsemInputCodec
ERROR_NOT_SIMPLE_SOLVED_FORM - Static variable in class de.saar.chorus.domgraph.codec.term.TermOutputCodec
ErrorCodes - Class in de.saar.chorus.domgraph.codec.mrs
ErrorCodes() - Constructor for class de.saar.chorus.domgraph.codec.mrs.ErrorCodes
EXAMPLE_PARSING_ERROR - Static variable in class de.saar.chorus.domgraph.utool.ExitCodes
ExampleManager - Class in de.saar.chorus.domgraph: An example manager for facilitating access to example input files.
ExampleManager() - Constructor for class de.saar.chorus.domgraph.ExampleManager
ExampleManager.ParserException - Exception in de.saar.chorus.domgraph: A parser exception that occurred while reading an examples specification file.
execute(Runnable) - Static method in class de.saar.swing.SwingNowExecutor
executeAndWait(Runnable) - Static method in class de.saar.swing.SwingNowExecutor
executeAsynchronously() - Method in class de.saar.swing.ResumingSwingThread
exit(int) - Static method in class de.saar.chorus.domgraph.utool.Utool
ExitCodes - Class in de.saar.chorus.domgraph.utool: Exit codes for Utool.
ExitCodes() - Constructor for class de.saar.chorus.domgraph.utool.ExitCodes
exitValue() - Method in class de.saar.convenientprocess.ConvenientProcess
ExpandBuff(boolean) - Method in class de.saar.chorus.domgraph.chart.lethal.SimpleCharStream
ExpandBuff(boolean) - Method in class de.saar.chorus.domgraph.chart.rtgparser.SimpleCharStream
ExpandBuff(boolean) - Method in class de.saar.chorus.domgraph.codec.domcon.SimpleCharStream
ExpandBuff(boolean) - Method in class de.saar.chorus.domgraph.codec.glue.SimpleCharStream
ExpandBuff(boolean) - Method in class de.saar.chorus.domgraph.codec.holesem.SimpleCharStream
ExpandBuff(boolean) - Method in class de.saar.chorus.domgraph.codec.mrs.SimpleCharStream
ExpandBuff(boolean) - Method in class de.saar.chorus.domgraph.codec.rmrs.SimpleCharStream
expectedTokenSequences - Variable in exception de.saar.chorus.domgraph.chart.lethal.ParseException: Each entry in this array is an array of integers.
expectedTokenSequences - Variable in exception de.saar.chorus.domgraph.chart.rtgparser.ParseException: Each entry in this array is an array of integers.
expectedTokenSequences - Variable in exception de.saar.chorus.domgraph.codec.domcon.ParseException: Each entry in this array is an array of integers.
expectedTokenSequences - Variable in exception de.saar.chorus.domgraph.codec.glue.ParseException: Each entry in this array is an array of integers.
expectedTokenSequences - Variable in exception de.saar.chorus.domgraph.codec.holesem.ParseException: Each entry in this array is an array of integers.
expectedTokenSequences - Variable in exception de.saar.chorus.domgraph.codec.mrs.ParseException: Each entry in this array is an array of integers.
expectedTokenSequences - Variable in exception de.saar.chorus.domgraph.codec.rmrs.ParseException: Each entry in this array is an array of integers.
experimental() - Element in annotation type de.saar.chorus.domgraph.codec.CodecMetadata
EXPORT_CLIPBOARD - Static variable in class de.saar.chorus.newubench.CommandListener
extend(int, int) - Method in class de.saar.chorus.gecode.Extent
extend(int, int) - Method in class de.saar.chorus.gecode.Shape
extension() - Element in annotation type de.saar.chorus.domgraph.codec.CodecMetadata
Extent - Class in de.saar.chorus.gecode
Extent(int) - Constructor for class de.saar.chorus.gecode.Extent
Extent(int, int) - Constructor for class de.saar.chorus.gecode.Extent
extentL - Variable in class de.saar.chorus.gecode.Extent
extentR - Variable in class de.saar.chorus.gecode.Extent

F

FILE_CLOSE - Static variable in class de.saar.chorus.newubench.CommandListener
FILE_OPEN - Static variable in class de.saar.chorus.newubench.CommandListener
FILE_OPEN_EXAMPLE - Static variable in class de.saar.chorus.newubench.CommandListener
FILE_SAVE - Static variable in class de.saar.chorus.newubench.CommandListener
FILE_SAVE_SOLVED_FORMS - Static variable in class de.saar.chorus.newubench.CommandListener
FileUtilities - Class in de.saar.chorus.newubench
FileUtilities() - Constructor for class de.saar.chorus.newubench.FileUtilities
FillBuff() - Method in class de.saar.chorus.domgraph.chart.lethal.SimpleCharStream
FillBuff() - Method in class de.saar.chorus.domgraph.chart.rtgparser.SimpleCharStream
FillBuff() - Method in class de.saar.chorus.domgraph.codec.domcon.SimpleCharStream
FillBuff() - Method in class de.saar.chorus.domgraph.codec.glue.SimpleCharStream
FillBuff() - Method in class de.saar.chorus.domgraph.codec.holesem.SimpleCharStream
FillBuff() - Method in class de.saar.chorus.domgraph.codec.mrs.SimpleCharStream
FillBuff() - Method in class de.saar.chorus.domgraph.codec.rmrs.SimpleCharStream
FINAL - Static variable in interface de.saar.chorus.domgraph.chart.rtgparser.RtgParserConstants: RegularExpression Id.
finalStates - Variable in class de.saar.chorus.domgraph.chart.ConcreteRegularTreeGrammar
FinalStates() - Method in class de.saar.chorus.domgraph.chart.rtgparser.RtgParser
findNodeOrEdgeAt(int, int) - Method in class de.saar.chorus.jgraph.improvedjgraph.ImprovedJGraph: Return the node at the mouse position (x,y).
finish() - Method in class de.saar.chorus.domgraph.layout.JDomGraphCanvas
finish() - Method in class de.saar.chorus.domgraph.layout.PDFCanvas
fixedwidth - Variable in class de.saar.swing.JMultiLineToolTip
FormatManager - Class in de.saar.chorus.ubench.chartviewer: This is a class providing methods to mark Splits and Subgraphs via a ChartViewer.
FormatManager() - Constructor for class de.saar.chorus.ubench.chartviewer.FormatManager
formula() - Method in class de.saar.chorus.domgraph.codec.glue.GlueInputCodec
fragHeight - Variable in class de.saar.chorus.domgraph.layout.FragmentLayoutAlgorithm
Fragment - Class in de.saar.chorus.ubench.jdomgraph: A fragment in a dominance graph.
Fragment(JDomGraph) - Constructor for class de.saar.chorus.ubench.jdomgraph.Fragment
Fragment.FragmentUserObject - Class in de.saar.chorus.ubench.jdomgraph: This is a data storage for a Fragment to be read out by a JDomGraph.
FragmentInDegreeComparator() - Constructor for class de.saar.chorus.domgraph.layout.chartlayout.DomGraphChartLayout.FragmentInDegreeComparator
FragmentLayoutAlgorithm - Class in de.saar.chorus.domgraph.layout
FragmentLayoutAlgorithm() - Constructor for class de.saar.chorus.domgraph.layout.FragmentLayoutAlgorithm
FragmentOutDegreeComparator() - Constructor for class de.saar.chorus.domgraph.layout.chartlayout.DomGraphChartLayout.FragmentOutDegreeComparator
fragments - Variable in class de.saar.chorus.domgraph.layout.FragmentLayoutAlgorithm
fragmentToHoles - Variable in class de.saar.chorus.domgraph.layout.FragmentLayoutAlgorithm
FragmentTower - Class in de.saar.chorus.domgraph.layout.domgraphlayout: A special part for the layout of a dominance graph.
fragmentXDistance - Static variable in class de.saar.chorus.domgraph.layout.DomGraphLayoutParameters
fragmentYDistance - Static variable in class de.saar.chorus.domgraph.layout.DomGraphLayoutParameters
fragOffset - Variable in class de.saar.chorus.domgraph.layout.FragmentLayoutAlgorithm
fragWidth - Variable in class de.saar.chorus.domgraph.layout.FragmentLayoutAlgorithm
fragXpos - Variable in class de.saar.chorus.domgraph.layout.FragmentLayoutAlgorithm
fragYpos - Variable in class de.saar.chorus.domgraph.layout.FragmentLayoutAlgorithm
full - Enum constant in enum de.saar.chorus.domgraph.codec.mrs.LabelStyle

G

GecodeTreeLayout - Class in de.saar.chorus.jgraph.improvedjgraph.layout.treelayout: A layout algorithm for a solved form of a dominance graph represented by a JDomGraph.
GecodeTreeLayout(ImprovedJGraph) - Constructor for class de.saar.chorus.jgraph.improvedjgraph.layout.treelayout.GecodeTreeLayout: Initializes a new SolvedFormLayout with the given JDomGraph.
GecodeTreeLayout(ImprovedJGraph, int) - Constructor for class de.saar.chorus.jgraph.improvedjgraph.layout.treelayout.GecodeTreeLayout: Initializes a new SolvedFormLayout with the given JDomGraph.
GecodeTreeLayoutSettings - Class in de.saar.chorus.domgraph.layout.treelayout: Storing the general parameters (distances between nodes and fragments).
GecodeTreeLayoutSettings() - Constructor for class de.saar.chorus.domgraph.layout.treelayout.GecodeTreeLayoutSettings
generateParseException() - Method in class de.saar.chorus.domgraph.chart.lethal.RewritingSystemParser: Generate ParseException.
generateParseException() - Method in class de.saar.chorus.domgraph.chart.rtgparser.RtgParser: Generate ParseException.
generateParseException() - Method in class de.saar.chorus.domgraph.codec.domcon.DomconOzInputCodec: Generate ParseException.
generateParseException() - Method in class de.saar.chorus.domgraph.codec.glue.GlueInputCodec: Generate ParseException.
generateParseException() - Method in class de.saar.chorus.domgraph.codec.holesem.HolesemComsemInputCodec: Generate ParseException.
generateParseException() - Method in class de.saar.chorus.domgraph.codec.mrs.MrsPrologInputCodec: Generate ParseException.
generateParseException() - Method in class de.saar.chorus.domgraph.codec.rmrs.RmrsDomconInputCodec: Generate ParseException.
genericLoadGraph(Reader, InputCodec, DomGraph, NodeLabels) - Static method in class de.saar.chorus.newubench.FileUtilities: Loads a labelled dominance graph from a reader.
get(int) - Method in class de.saar.chorus.gecode.Shape
get(int) - Method in interface de.saar.chorus.jgraph.improvedjgraph.IGraphSource
get(int) - Method in class de.saar.chorus.jgraph.improvedjgraph.LazyGraphSource
get(int) - Method in class de.saar.chorus.jgraph.improvedjgraph.ListGraphSource
getAdjacentEdges(String) - Method in class de.saar.chorus.domgraph.graph.DomGraph: Computes the set of all adjacent edges of a node.
getAdjacentEdges(String, EdgeType) - Method in class de.saar.chorus.domgraph.graph.DomGraph: Computes the set of all adjacent edges of a node with a given type.
getAllAnnotations() - Method in class de.saar.chorus.domgraph.chart.lethal.Annotator
getAllDomEdges() - Method in class de.saar.chorus.domgraph.graph.DomGraph
getAllDominators() - Method in class de.saar.chorus.domgraph.chart.Split: Returns the set of holes of the root fragment which are connected to any wcc.
getAllEdges() - Method in class de.saar.chorus.domgraph.graph.DomGraph: Computes the set of all edges in this graph.
getAllInputCodecExtensions() - Method in class de.saar.chorus.domgraph.codec.CodecManager
getAllInputCodecs() - Method in class de.saar.chorus.domgraph.codec.CodecManager: Returns the list of all registered input codecs.
getAllLabels() - Method in class de.saar.chorus.domgraph.chart.lethal.RewriteSystem.Rule
getAllLabels() - Method in class de.saar.chorus.domgraph.chart.lethal.RewriteSystemSpecializer
getAllMultiOutputCodecs() - Method in class de.saar.chorus.domgraph.codec.CodecManager: Returns the list of all registered output codecs that support the output of multiple solved forms into one file.
getAllNodes() - Method in class de.saar.chorus.domgraph.graph.DomGraph: Computes the set of all nodes in this graph.
getAllNonterminals() - Method in class de.saar.chorus.domgraph.chart.ConcreteRegularTreeGrammar
getAllNonterminals() - Method in class de.saar.chorus.domgraph.chart.RegularTreeGrammar
getAllNonterminals() - Method in class de.saar.chorus.domgraph.chart.RewritingRtg
getAllOutputCodecExtensions() - Method in class de.saar.chorus.domgraph.codec.CodecManager
getAllOutputCodecs() - Method in class de.saar.chorus.domgraph.codec.CodecManager: Returns the list of all registered output codecs.
getAllRoots() - Method in class de.saar.chorus.domgraph.graph.DomGraph: Collects all roots in the graph.
getAllRoots(Collection<String>) - Method in class de.saar.chorus.domgraph.graph.DomGraph: Collects all nodes in a given subgraph which are roots.
getAllRules() - Method in class de.saar.chorus.domgraph.chart.lethal.RewriteSystem
getAllSplits() - Method in class de.saar.chorus.domgraph.chart.wrtg.WeightedRegularTreeGrammar
getAllSubgraphs() - Method in class de.saar.chorus.domgraph.chart.Split: Returns the set of WCCs into which the subgraph is split by removing the root fragment.
getApplication() - Static method in class com.apple.eawt.Application
getBase() - Method in class de.saar.chorus.domgraph.chart.DecoratedNonterminal
getBeginColumn() - Method in class de.saar.chorus.domgraph.chart.lethal.SimpleCharStream: Get token beginning column number.
getBeginColumn() - Method in class de.saar.chorus.domgraph.chart.rtgparser.SimpleCharStream: Get token beginning column number.
getBeginColumn() - Method in class de.saar.chorus.domgraph.codec.domcon.SimpleCharStream: Get token beginning column number.
getBeginColumn() - Method in class de.saar.chorus.domgraph.codec.glue.SimpleCharStream: Get token beginning column number.
getBeginColumn() - Method in class de.saar.chorus.domgraph.codec.holesem.SimpleCharStream: Get token beginning column number.
getBeginColumn() - Method in class de.saar.chorus.domgraph.codec.mrs.SimpleCharStream: Get token beginning column number.
getBeginColumn() - Method in class de.saar.chorus.domgraph.codec.rmrs.SimpleCharStream: Get token beginning column number.
getBeginLine() - Method in class de.saar.chorus.domgraph.chart.lethal.SimpleCharStream: Get token beginning line number.
getBeginLine() - Method in class de.saar.chorus.domgraph.chart.rtgparser.SimpleCharStream: Get token beginning line number.
getBeginLine() - Method in class de.saar.chorus.domgraph.codec.domcon.SimpleCharStream: Get token beginning line number.
getBeginLine() - Method in class de.saar.chorus.domgraph.codec.glue.SimpleCharStream: Get token beginning line number.
getBeginLine() - Method in class de.saar.chorus.domgraph.codec.holesem.SimpleCharStream: Get token beginning line number.
getBeginLine() - Method in class de.saar.chorus.domgraph.codec.mrs.SimpleCharStream: Get token beginning line number.
getBeginLine() - Method in class de.saar.chorus.domgraph.codec.rmrs.SimpleCharStream: Get token beginning line number.
getBoundingBox() - Method in class de.saar.chorus.gecode.Shape
getBoundingBox() - Method in class de.saar.chorus.ubench.jdomgraph.JDomGraph
getBox() - Method in class de.saar.chorus.domgraph.layout.domgraphlayout.FragmentTower: Compute the bounding box of the tower.
getCellForNode(Object) - Method in class de.saar.chorus.jgraph.improvedjgraph.ImprovedJGraphAdapter
getChart() - Method in class de.saar.chorus.domgraph.chart.SolvedFormIterator
getCheapestSolvedForm() - Method in class de.saar.chorus.domgraph.chart.wrtg.CheapestSolvedFormComputer
getChildAnnotations(String, String) - Method in class de.saar.chorus.domgraph.chart.lethal.Annotator
getChildren(String, EdgeType) - Method in class de.saar.chorus.domgraph.graph.DomGraph: Computes the set of children of a node via edges of a given type.
getChildren(DefaultGraphCell) - Method in class de.saar.chorus.jgraph.improvedjgraph.ImprovedJGraph
getCodecManager() - Method in class de.saar.chorus.newubench.Ubench
getColumn() - Method in class de.saar.chorus.domgraph.chart.lethal.SimpleCharStream: Deprecated.
getColumn() - Method in class de.saar.chorus.domgraph.chart.rtgparser.SimpleCharStream: Deprecated.
getColumn() - Method in class de.saar.chorus.domgraph.codec.domcon.SimpleCharStream: Deprecated.
getColumn() - Method in class de.saar.chorus.domgraph.codec.glue.SimpleCharStream: Deprecated.
getColumn() - Method in class de.saar.chorus.domgraph.codec.holesem.SimpleCharStream: Deprecated.
getColumn() - Method in class de.saar.chorus.domgraph.codec.mrs.SimpleCharStream: Deprecated.
getColumn() - Method in class de.saar.chorus.domgraph.codec.rmrs.SimpleCharStream: Deprecated.
getColumns() - Method in class de.saar.swing.JMultiLineToolTip
getCommandListener() - Method in class de.saar.chorus.newubench.Ubench
getCompactGraph() - Method in class de.saar.chorus.domgraph.graph.CompactificationRecord
getCost() - Method in class de.saar.chorus.domgraph.chart.wrtg.CheapestSolvedFormComputer
getCurrentNode() - Method in class de.saar.chorus.domgraph.layout.treelayout.DomGraphNodeCursor: Returns the recently processed node.
getCurrentNode() - Method in class de.saar.chorus.domgraph.layout.treelayout.GraphLayoutCursor: Returns the recently processed node.
getCurrentNode() - Method in interface de.saar.chorus.gecode.NodeCursorInterface
getCurrentNode() - Method in class de.saar.chorus.jgraph.improvedjgraph.layout.treelayout.GraphLayoutCursor: Returns the recently processed node.
getCurrentTab() - Method in class de.saar.chorus.newubench.TabManager
getCurrentTab() - Method in class de.saar.chorus.newubench.Ubench
getCursor() - Method in class de.saar.chorus.gecode.DefaultNodeVisitor
getCursor() - Method in interface de.saar.chorus.gecode.NodeVisitorInterface
getData() - Method in class de.saar.chorus.jgraph.improvedjgraph.EdgeDataAdapter
getData() - Method in class de.saar.chorus.jgraph.improvedjgraph.NodeDataAdapter
getData(String) - Method in class de.saar.chorus.domgraph.graph.DomGraph: Gets the data associated with the given node.
getData(Edge) - Method in class de.saar.chorus.domgraph.graph.DomGraph: Gets the data associated with the given edge.
getDecoration() - Method in class de.saar.chorus.domgraph.chart.DecoratedNonterminal
getDefaultInputCodec() - Static method in class de.saar.chorus.domgraph.UserProperties
getDefaultOutputCodec() - Static method in class de.saar.chorus.domgraph.UserProperties
getDefaults() - Static method in class de.saar.chorus.domgraph.UserProperties
getDesc() - Method in class de.saar.chorus.ubench.jdomgraph.EdgeData
getDesc() - Method in class de.saar.chorus.ubench.jdomgraph.NodeData
getDescriptionForExample(String) - Method in class de.saar.chorus.domgraph.ExampleManager: Returns the description for the example of the given name.
getDomEdges() - Method in class de.saar.chorus.domgraph.chart.SolvedFormSpec
getDominanceEdges() - Method in class de.saar.chorus.ubench.jdomgraph.JDomGraph
getDominanceParents() - Method in class de.saar.chorus.domgraph.layout.domgraphlayout.FragmentTower
getEdgeData(DefaultEdge) - Method in class de.saar.chorus.jgraph.improvedjgraph.ImprovedJGraph: Get the edge data of an edge cell.
getEdgeData(DefaultEdge) - Method in class de.saar.chorus.ubench.jdomgraph.JDomGraph: Get the edge data of an edge cell.
getEdgeData(Edge) - Method in interface de.saar.chorus.jgraph.improvedjgraph.DataFactory
getEdges() - Method in class de.saar.chorus.jgraph.improvedjgraph.ImprovedJGraph: Get all edges of the graph.
getEdges() - Method in class de.saar.chorus.ubench.jdomgraph.Fragment: Get all edges in this fragment.
getEdges() - Method in class de.saar.chorus.ubench.jdomgraph.JDomGraph
getEndColumn() - Method in class de.saar.chorus.domgraph.chart.lethal.SimpleCharStream: Get token end column number.
getEndColumn() - Method in class de.saar.chorus.domgraph.chart.rtgparser.SimpleCharStream: Get token end column number.
getEndColumn() - Method in class de.saar.chorus.domgraph.codec.domcon.SimpleCharStream: Get token end column number.
getEndColumn() - Method in class de.saar.chorus.domgraph.codec.glue.SimpleCharStream: Get token end column number.
getEndColumn() - Method in class de.saar.chorus.domgraph.codec.holesem.SimpleCharStream: Get token end column number.
getEndColumn() - Method in class de.saar.chorus.domgraph.codec.mrs.SimpleCharStream: Get token end column number.
getEndColumn() - Method in class de.saar.chorus.domgraph.codec.rmrs.SimpleCharStream: Get token end column number.
getEndLine() - Method in class de.saar.chorus.domgraph.chart.lethal.SimpleCharStream: Get token end line number.
getEndLine() - Method in class de.saar.chorus.domgraph.chart.rtgparser.SimpleCharStream: Get token end line number.
getEndLine() - Method in class de.saar.chorus.domgraph.codec.domcon.SimpleCharStream: Get token end line number.
getEndLine() - Method in class de.saar.chorus.domgraph.codec.glue.SimpleCharStream: Get token end line number.
getEndLine() - Method in class de.saar.chorus.domgraph.codec.holesem.SimpleCharStream: Get token end line number.
getEndLine() - Method in class de.saar.chorus.domgraph.codec.mrs.SimpleCharStream: Get token end line number.
getEndLine() - Method in class de.saar.chorus.domgraph.codec.rmrs.SimpleCharStream: Get token end line number.
getEqsname() - Method in class de.saar.chorus.ubench.Ubench
getExampleDirectories() - Static method in class de.saar.chorus.domgraph.UserProperties
getExampleManager() - Method in class de.saar.chorus.newubench.Ubench
getExampleNames() - Method in class de.saar.chorus.domgraph.ExampleManager: Returns the list of all registered example names.
getExampleReader(String) - Method in class de.saar.chorus.domgraph.ExampleManager: Returns a Reader for the specified example file.
getExitcode() - Method in exception de.saar.chorus.domgraph.codec.MalformedDomgraphException
getExitcode() - Method in exception de.saar.chorus.domgraph.utool.AbstractOptionsParsingException
getExtentAtDepth(int) - Method in class de.saar.chorus.gecode.Shape
getFileFromExportFileChooser(List<GenericFileFilter>, Map<String, String>) - Static method in class de.saar.chorus.newubench.FileUtilities
getFileFromOpenFileChooser(List<GenericFileFilter>, Map<String, String>) - Static method in class de.saar.chorus.newubench.FileUtilities
getFilename() - Method in class com.apple.eawt.ApplicationEvent
getFixedWidth() - Method in class de.saar.swing.JMultiLineToolTip
getFragDegree(String) - Method in class de.saar.chorus.domgraph.layout.FragmentLayoutAlgorithm: Resolving the number of dominance edges adjacent to a fragment.
getFragHoles(String) - Method in class de.saar.chorus.domgraph.layout.FragmentLayoutAlgorithm: Resolving the holes of a fragment in the right order.
getFragInEdges(String) - Method in class de.saar.chorus.domgraph.layout.FragmentLayoutAlgorithm: Compute the incoming edges of a fragment.
getFragment(String) - Method in class de.saar.chorus.domgraph.graph.DomGraph: Computes the fragment of a given node.
getFragOutEdges(String) - Method in class de.saar.chorus.domgraph.layout.FragmentLayoutAlgorithm: Compute the outgoing edges of a fragment.
getGraph() - Method in class de.saar.chorus.domgraph.chart.SplitSource
getGraph() - Method in class de.saar.chorus.domgraph.layout.JDomGraphCanvas
getGraph() - Method in class de.saar.chorus.domgraph.utool.AbstractOptions
getGraph() - Method in class de.saar.chorus.newubench.GraphTab
getGraph() - Method in class de.saar.chorus.newubench.SolvedFormTab
getGraph() - Method in class de.saar.chorus.newubench.UbenchTab
getGroupObject() - Method in class de.saar.chorus.ubench.jdomgraph.Fragment: Get the graph cell corresponding to the entire fragment.
getHelpArgument() - Method in class de.saar.chorus.domgraph.utool.AbstractOptions
getHoles(String) - Method in class de.saar.chorus.domgraph.graph.DomGraph: Computes the holes below the given node.
getHoles(Collection<String>) - Method in class de.saar.chorus.domgraph.graph.DomGraph: Computes the holes out of a given collection of nodes.
getHomepage() - Static method in class de.saar.chorus.domgraph.GlobalDomgraphProperties: Returns the URL of the Utool homepage.
getHTMLforMarkedSplit(Split<GraphBasedNonterminal>, Set<String>) - Static method in class de.saar.chorus.ubench.chartviewer.FormatManager: Generates a HTML string to represent a split.
getHTMLforMarkedSubgraph(String) - Static method in class de.saar.chorus.ubench.chartviewer.FormatManager: Generates a HTML string to represent a subgraph.
GetImage() - Method in class de.saar.chorus.domgraph.chart.lethal.SimpleCharStream: Get token literal value.
GetImage() - Method in class de.saar.chorus.domgraph.chart.rtgparser.SimpleCharStream: Get token literal value.
GetImage() - Method in class de.saar.chorus.domgraph.codec.domcon.SimpleCharStream: Get token literal value.
GetImage() - Method in class de.saar.chorus.domgraph.codec.glue.SimpleCharStream: Get token literal value.
GetImage() - Method in class de.saar.chorus.domgraph.codec.holesem.SimpleCharStream: Get token literal value.
GetImage() - Method in class de.saar.chorus.domgraph.codec.mrs.SimpleCharStream: Get token literal value.
GetImage() - Method in class de.saar.chorus.domgraph.codec.rmrs.SimpleCharStream: Get token literal value.
getIndex() - Method in class de.saar.chorus.domgraph.chart.lethal.CompoundWithIndex
getInEdges(String, EdgeType) - Method in class de.saar.chorus.domgraph.graph.DomGraph: Computes the set of all incoming edges of a node with a given type.
getInEdges(DefaultGraphCell) - Method in class de.saar.chorus.jgraph.improvedjgraph.ImprovedJGraph: Compute the incoming edges for a node.
getInputCodec() - Method in class de.saar.chorus.domgraph.utool.AbstractOptions
getInputCodecExtension(String) - Method in class de.saar.chorus.domgraph.codec.CodecManager
getInputCodecFileFilters() - Method in class de.saar.chorus.newubench.Ubench
getInputCodecForFilename(String, String) - Method in class de.saar.chorus.domgraph.codec.CodecManager: Constructs an input codec object for the input codec associated with the given filename (extension).
getInputCodecForFilename(String, Map<String, String>) - Method in class de.saar.chorus.domgraph.codec.CodecManager: Constructs an input codec object for the input codec associated with the given filename (extension).
getInputCodecForName(String, String) - Method in class de.saar.chorus.domgraph.codec.CodecManager: Constructs an input codec object for the input codec with the given name.
getInputCodecForName(String, Map<String, String>) - Method in class de.saar.chorus.domgraph.codec.CodecManager: Constructs an input codec object for the input codec with the given name.
getInputCodecNameForFilename(String) - Method in class de.saar.chorus.domgraph.codec.CodecManager: Figure out the name of the input codec for the given filename.
getInputCodecOptions() - Method in class de.saar.chorus.domgraph.utool.AbstractOptions
getInputCodecOptionTypes(String) - Method in class de.saar.chorus.domgraph.codec.CodecManager: Computes a map representing the parameter types of the constructor of an input codec.
getInputCodecParameterDefaultValue(String, String) - Method in class de.saar.chorus.domgraph.codec.CodecManager: Returns the default value for a codec parameter of an input codec.
getInputName() - Method in class de.saar.chorus.domgraph.utool.AbstractOptions
getInstance() - Static method in class de.saar.chorus.newubench.Ubench: Returns the (only) instance of the Ubench class.
getInstance() - Static method in class de.saar.chorus.ubench.Preferences: Returns the master Preferences object which is a new one if there is no master yet.
getInstance() - Static method in class de.saar.chorus.ubench.Ubench: Returns the (only) instance of the Ubench class.
getLabel() - Method in class de.saar.chorus.ubench.jdomgraph.NodeData
getLabel(String) - Method in class de.saar.chorus.domgraph.graph.NodeLabels: Gets the label for a given node.
getLabelForSplit(Split<SubgraphNonterminal>) - Method in class de.saar.chorus.domgraph.chart.Chart
getLabelForSplit(Split<E>) - Method in class de.saar.chorus.domgraph.chart.ConcreteRegularTreeGrammar
getLabels() - Method in class de.saar.chorus.domgraph.utool.AbstractOptions
getLabeltype() - Method in class de.saar.chorus.domgraph.layout.LayoutOptions
getLabeltype() - Method in class de.saar.chorus.ubench.jdomgraph.JDomGraph
getLabelType() - Method in class de.saar.chorus.ubench.Preferences
getLastPath() - Method in class de.saar.chorus.newubench.Ubench
getLastPath() - Method in class de.saar.chorus.ubench.Ubench
getLayout() - Method in enum de.saar.chorus.ubench.Preferences.LayoutType
getLayouttype() - Method in class de.saar.chorus.ubench.jdomgraph.JDomGraph
getLayoutType() - Method in class de.saar.chorus.ubench.jdomgraph.JDomGraph
getLayoutType() - Method in class de.saar.chorus.ubench.Preferences
getLimit() - Method in class de.saar.chorus.domgraph.utool.AbstractOptions
getLine() - Method in class de.saar.chorus.domgraph.chart.lethal.SimpleCharStream: Deprecated.
getLine() - Method in class de.saar.chorus.domgraph.chart.rtgparser.SimpleCharStream: Deprecated.
getLine() - Method in class de.saar.chorus.domgraph.codec.domcon.SimpleCharStream: Deprecated.
getLine() - Method in class de.saar.chorus.domgraph.codec.glue.SimpleCharStream: Deprecated.
getLine() - Method in class de.saar.chorus.domgraph.codec.holesem.SimpleCharStream: Deprecated.
getLine() - Method in class de.saar.chorus.domgraph.codec.mrs.SimpleCharStream: Deprecated.
getLine() - Method in class de.saar.chorus.domgraph.codec.rmrs.SimpleCharStream: Deprecated.
getListener() - Method in class de.saar.chorus.ubench.Ubench
getLogWriter() - Method in class de.saar.chorus.domgraph.utool.AbstractOptions
getMergedShape() - Method in class de.saar.chorus.gecode.ShapeList
getMessage() - Method in exception de.saar.chorus.domgraph.chart.lethal.ParseException: This method has the standard behavior when this object has been created using the standard constructors.
getMessage() - Method in error de.saar.chorus.domgraph.chart.lethal.TokenMgrError: You can also modify the body of this method to customize your error messages.
getMessage() - Method in exception de.saar.chorus.domgraph.chart.rtgparser.ParseException: This method has the standard behavior when this object has been created using the standard constructors.
getMessage() - Method in error de.saar.chorus.domgraph.chart.rtgparser.TokenMgrError: You can also modify the body of this method to customize your error messages.
getMessage() - Method in exception de.saar.chorus.domgraph.codec.domcon.ParseException: This method has the standard behavior when this object has been created using the standard constructors.
getMessage() - Method in error de.saar.chorus.domgraph.codec.domcon.TokenMgrError: You can also modify the body of this method to customize your error messages.
getMessage() - Method in exception de.saar.chorus.domgraph.codec.glue.ParseException: This method has the standard behavior when this object has been created using the standard constructors.
getMessage() - Method in error de.saar.chorus.domgraph.codec.glue.TokenMgrError: You can also modify the body of this method to customize your error messages.
getMessage() - Method in exception de.saar.chorus.domgraph.codec.holesem.ParseException: This method has the standard behavior when this object has been created using the standard constructors.
getMessage() - Method in error de.saar.chorus.domgraph.codec.holesem.TokenMgrError: You can also modify the body of this method to customize your error messages.
getMessage() - Method in exception de.saar.chorus.domgraph.codec.mrs.ParseException: This method has the standard behavior when this object has been created using the standard constructors.
getMessage() - Method in error de.saar.chorus.domgraph.codec.mrs.TokenMgrError: You can also modify the body of this method to customize your error messages.
getMessage() - Method in exception de.saar.chorus.domgraph.codec.rmrs.ParseException: This method has the standard behavior when this object has been created using the standard constructors.
getMessage() - Method in error de.saar.chorus.domgraph.codec.rmrs.TokenMgrError: You can also modify the body of this method to customize your error messages.
getMultiOutputCodecFileFilters() - Method in class de.saar.chorus.newubench.Ubench
getName() - Method in class de.saar.chorus.jgraph.improvedjgraph.ImprovedJGraph: Get the name (= ID) of the graph.
getName() - Method in class de.saar.chorus.ubench.jdomgraph.EdgeData
getName() - Method in class de.saar.chorus.ubench.jdomgraph.JDomGraph
getName() - Method in class de.saar.chorus.ubench.jdomgraph.NodeData
getName(InputCodec) - Method in class de.saar.chorus.domgraph.codec.CodecManager
getName(OutputCodec) - Method in class de.saar.chorus.domgraph.codec.CodecManager
getNeutralAnnotation() - Method in class de.saar.chorus.domgraph.chart.lethal.Annotator
getNextToken() - Method in class de.saar.chorus.domgraph.chart.lethal.RewritingSystemParser: Get the next Token.
getNextToken() - Method in class de.saar.chorus.domgraph.chart.lethal.RewritingSystemParserTokenManager: Get the next Token.
getNextToken() - Method in class de.saar.chorus.domgraph.chart.rtgparser.RtgParser: Get the next Token.
getNextToken() - Method in class de.saar.chorus.domgraph.chart.rtgparser.RtgParserTokenManager: Get the next Token.
getNextToken() - Method in class de.saar.chorus.domgraph.codec.domcon.DomconOzInputCodec: Get the next Token.
getNextToken() - Method in class de.saar.chorus.domgraph.codec.domcon.DomconOzInputCodecTokenManager: Get the next Token.
getNextToken() - Method in class de.saar.chorus.domgraph.codec.glue.GlueInputCodec: Get the next Token.
getNextToken() - Method in class de.saar.chorus.domgraph.codec.glue.GlueInputCodecTokenManager: Get the next Token.
getNextToken() - Method in class de.saar.chorus.domgraph.codec.holesem.HolesemComsemInputCodec: Get the next Token.
getNextToken() - Method in class de.saar.chorus.domgraph.codec.holesem.HolesemComsemInputCodecTokenManager: Get the next Token.
getNextToken() - Method in class de.saar.chorus.domgraph.codec.mrs.MrsPrologInputCodec: Get the next Token.
getNextToken() - Method in class de.saar.chorus.domgraph.codec.mrs.MrsPrologInputCodecTokenManager: Get the next Token.
getNextToken() - Method in class de.saar.chorus.domgraph.codec.rmrs.RmrsDomconInputCodec: Get the next Token.
getNextToken() - Method in class de.saar.chorus.domgraph.codec.rmrs.RmrsDomconInputCodecTokenManager: Get the next Token.
getNodeData(Object) - Method in interface de.saar.chorus.jgraph.improvedjgraph.DataFactory
getNodeData(DefaultGraphCell) - Method in class de.saar.chorus.jgraph.improvedjgraph.ImprovedJGraph: Get the node data of a node cell.
getNodeData(DefaultGraphCell) - Method in class de.saar.chorus.ubench.jdomgraph.JDomGraph: Get the node data of a node cell.
getNodeFont() - Method in class de.saar.chorus.jgraph.improvedjgraph.ImprovedJGraph
getNodeForCell(DefaultGraphCell) - Method in class de.saar.chorus.jgraph.improvedjgraph.ImprovedJGraphAdapter
getNodeForName(String) - Method in class de.saar.chorus.jgraph.improvedjgraph.ImprovedJGraph: Look up the node with the specified name.
getNodeForName(String) - Method in class de.saar.chorus.ubench.jdomgraph.JDomGraph: Look up the node with the specified name.
getNodeHeight(String) - Method in interface de.saar.chorus.domgraph.layout.Canvas
getNodeHeight(String) - Method in class de.saar.chorus.domgraph.layout.DummyCanvas
getNodeHeight(String) - Method in class de.saar.chorus.domgraph.layout.JDomGraphCanvas
getNodeHeight(String) - Method in class de.saar.chorus.domgraph.layout.PDFCanvas
getNodeLabels() - Method in class de.saar.chorus.newubench.GraphTab
getNodeLabels() - Method in class de.saar.chorus.newubench.SolvedFormTab
getNodeLabels() - Method in class de.saar.chorus.newubench.UbenchTab
getNodes() - Method in class de.saar.chorus.domgraph.chart.DecoratedNonterminal
getNodes() - Method in interface de.saar.chorus.domgraph.chart.GraphBasedNonterminal
getNodes() - Method in class de.saar.chorus.domgraph.chart.SubgraphNonterminal
getNodes() - Method in class de.saar.chorus.jgraph.improvedjgraph.ImprovedJGraph: Get all nodes of the graph.
getNodes() - Method in class de.saar.chorus.ubench.jdomgraph.Fragment: Get all nodes in this fragment.
getNodes() - Method in class de.saar.chorus.ubench.jdomgraph.JDomGraph
getNodesToShape() - Method in class de.saar.chorus.domgraph.layout.FragmentLayoutAlgorithm
getNodesToShape(String) - Method in class de.saar.chorus.domgraph.layout.FragmentLayoutAlgorithm
getNodesToShape(String) - Method in class de.saar.chorus.domgraph.layout.solvedformlayout.SFGecodeTreeLayout
getNodesToShape(DefaultGraphCell) - Method in class de.saar.chorus.jgraph.improvedjgraph.layout.ImprovedJGraphLayout
getNodesToShape(DefaultGraphCell) - Method in class de.saar.chorus.jgraph.improvedjgraph.layout.treelayout.GecodeTreeLayout
getNodeWidth(String) - Method in interface de.saar.chorus.domgraph.layout.Canvas
getNodeWidth(String) - Method in class de.saar.chorus.domgraph.layout.DummyCanvas
getNodeWidth(String) - Method in class de.saar.chorus.domgraph.layout.JDomGraphCanvas
getNodeWidth(String) - Method in class de.saar.chorus.domgraph.layout.PDFCanvas
getNodeWidth(DefaultGraphCell) - Method in class de.saar.chorus.jgraph.improvedjgraph.layout.ImprovedJGraphLayout: Returns the node with computed by the JDomGraph.
getNodeWidth(DefaultGraphCell) - Method in class de.saar.chorus.jgraph.improvedjgraph.layout.treelayout.GecodeTreeLayout: Returns the node width computed by the JDomGraph.
getNumberOfChildren(String) - Method in class de.saar.chorus.domgraph.graph.CompactificationRecord
getOpenHoles(String) - Method in class de.saar.chorus.domgraph.graph.DomGraph: Computes the open holes below a given node.
getOperation() - Method in class de.saar.chorus.domgraph.utool.AbstractOptions
getOutEdges(String, EdgeType) - Method in class de.saar.chorus.domgraph.graph.DomGraph: Computes the set of all outgoing edges of a node with a given type.
getOutEdges(DefaultGraphCell) - Method in class de.saar.chorus.jgraph.improvedjgraph.ImprovedJGraph: Compute the outgoing edges for a node.
getOutEdges(DefaultGraphCell) - Method in class de.saar.chorus.ubench.jdomgraph.JDomGraph: Compute the outgoing edges for a node.
getOutput() - Method in class de.saar.chorus.domgraph.utool.AbstractOptions
getOutputCodec() - Method in class de.saar.chorus.domgraph.utool.AbstractOptions
getOutputCodecExtension(String) - Method in class de.saar.chorus.domgraph.codec.CodecManager
getOutputCodecFileFilters() - Method in class de.saar.chorus.newubench.Ubench
getOutputCodecForFilename(String, String) - Method in class de.saar.chorus.domgraph.codec.CodecManager: Constructs an output codec object for the output codec associated with the given filename (extension).
getOutputCodecForFilename(String, Map<String, String>) - Method in class de.saar.chorus.domgraph.codec.CodecManager: Constructs an output codec object for the output codec associated with the given filename (extension).
getOutputCodecForName(String, String) - Method in class de.saar.chorus.domgraph.codec.CodecManager: Constructs an output codec object for the output codec with the given name.
getOutputCodecForName(String, Map<String, String>) - Method in class de.saar.chorus.domgraph.codec.CodecManager: Constructs an output codec object for the output codec with the given name.
getOutputCodecNameForFilename(String) - Method in class de.saar.chorus.domgraph.codec.CodecManager: Figure out the name of the output codec for the given filename.
getOutputCodecOptions() - Method in class de.saar.chorus.domgraph.utool.AbstractOptions
getOutputCodecOptionTypes(String) - Method in class de.saar.chorus.domgraph.codec.CodecManager: Computes a map representing the parameter types of the constructor of an output codec.
getOutputCodecParameterDefaultValue(String, String) - Method in class de.saar.chorus.domgraph.codec.CodecManager: Returns the default value for a codec parameter of an output codec.
getParentAnnotations(String, String, int) - Method in class de.saar.chorus.domgraph.chart.lethal.Annotator
getParents(String, EdgeType) - Method in class de.saar.chorus.domgraph.graph.DomGraph: Computes the set of parents of a node via edges of a given type.
getParents(DefaultGraphCell) - Method in class de.saar.chorus.jgraph.improvedjgraph.ImprovedJGraph
getPort() - Method in class de.saar.chorus.domgraph.utool.AbstractOptions
getProcessState() - Method in class de.saar.convenientprocess.ReadyProcess
getReachability(String, String) - Method in class de.saar.chorus.domgraph.chart.RtgFreeFragmentAnalyzer
getReaderForSpecification(String) - Method in class de.saar.chorus.domgraph.codec.basic.Chain: Determines a Reader from which the USR specified by the spec will be read.
getReaderForSpecification(String) - Method in class de.saar.chorus.domgraph.codec.InputCodec: Determines a Reader from which the USR specified by the spec will be read.
getRecord(String, int) - Method in class de.saar.chorus.domgraph.graph.CompactificationRecord
getRelativeNormalFormsComputer() - Method in class de.saar.chorus.ubench.Ubench
getRelativeRightSibling(String, Set<String>, EdgeType) - Method in class de.saar.chorus.domgraph.graph.DomGraph
getRelativeRightSibling(DefaultGraphCell, Collection<DefaultGraphCell>) - Method in class de.saar.chorus.jgraph.improvedjgraph.ImprovedJGraph: Returns the right sibling of a given node (if there is one).
getRelXtoParent(String) - Method in class de.saar.chorus.domgraph.layout.FragmentLayoutAlgorithm
getRelXtoParent(String) - Method in class de.saar.chorus.domgraph.layout.solvedformlayout.SFGecodeTreeLayout
getRelXtoParent(DefaultGraphCell) - Method in class de.saar.chorus.jgraph.improvedjgraph.layout.ImprovedJGraphLayout
getRelXtoParent(DefaultGraphCell) - Method in class de.saar.chorus.jgraph.improvedjgraph.layout.treelayout.GecodeTreeLayout
getRelXtoRoot() - Method in class de.saar.chorus.domgraph.layout.FragmentLayoutAlgorithm
getRemaining() - Method in class de.saar.getopt.ConvenientGetopt: Retrieve those command-line arguments that don't belong to any option.
getRnfComputer() - Method in class de.saar.chorus.domgraph.utool.AbstractOptions
getRoot(String) - Method in class de.saar.chorus.domgraph.graph.DomGraph: Computes the root of the fragment of the given node.
getRootForSingleton(E) - Method in class de.saar.chorus.domgraph.chart.ConcreteRegularTreeGrammar
getRootForSingleton(E) - Method in class de.saar.chorus.domgraph.chart.RegularTreeGrammar
getRootForSingleton(E) - Method in class de.saar.chorus.domgraph.chart.RewritingRtg
getRootFragment() - Method in class de.saar.chorus.domgraph.chart.Split: Returns the root fragment of this split.
getSemiring() - Method in class de.saar.chorus.domgraph.chart.wrtg.WeightedRegularTreeGrammar
getSolvedForm(int) - Method in class de.saar.chorus.domgraph.chart.SolvedFormIterator: This returns a solved form represented by a List of DomEdge objects.
getSortedEdges() - Method in class de.saar.chorus.jgraph.improvedjgraph.ImprovedJGraph: Return all edges of the graph in a sorted List .
getSourceNode(DefaultEdge) - Method in class de.saar.chorus.jgraph.improvedjgraph.ImprovedJGraph: Returns the source node of an edge.
getSourceNode(DefaultEdge) - Method in class de.saar.chorus.ubench.jdomgraph.JDomGraph: Returns the source node of an edge.
getSpecializedLabels(String) - Method in class de.saar.chorus.domgraph.chart.lethal.RewriteSystemSpecializer
getSpecializedRankedSymbols(String) - Method in class de.saar.chorus.domgraph.chart.lethal.RewriteSystemSpecializer
getSplitsFor(E) - Method in class de.saar.chorus.domgraph.chart.ConcreteRegularTreeGrammar: Returns the list of all splits for the given subgraph.
getSplitsFor(E) - Method in class de.saar.chorus.domgraph.chart.RegularTreeGrammar
getSplitsFor(E) - Method in class de.saar.chorus.domgraph.chart.RewritingRtg
getSplitsFor(E, String, List<Split<E>>) - Method in class de.saar.chorus.domgraph.chart.ConcreteRegularTreeGrammar
getSplitsFor(E, String, List<Split<E>>) - Method in class de.saar.chorus.domgraph.chart.RegularTreeGrammar
getSplitsFor(E, String, List<Split<E>>) - Method in class de.saar.chorus.domgraph.chart.RewritingRtg
getSrc() - Method in class de.saar.chorus.domgraph.graph.DomEdge: Get the source node in this pair.
getStartAnnotation() - Method in class de.saar.chorus.domgraph.chart.lethal.Annotator
getState() - Static method in class de.saar.chorus.domgraph.utool.server.ConnectionManager: Returns the current state of the server (RUNNING or STOPPED).
getStateText() - Method in class de.saar.convenientprocess.ReadyProcess
getSubgraphsWhereFree(String) - Method in class de.saar.chorus.domgraph.chart.RtgFreeFragmentAnalyzer
getSubstitution() - Method in class de.saar.chorus.domgraph.chart.SolvedFormSpec
getSubstitution() - Method in class de.saar.chorus.domgraph.chart.Split
getSubterm() - Method in class de.saar.chorus.domgraph.chart.lethal.WildcardTerm
GetSuffix(int) - Method in class de.saar.chorus.domgraph.chart.lethal.SimpleCharStream: Get the suffix.
GetSuffix(int) - Method in class de.saar.chorus.domgraph.chart.rtgparser.SimpleCharStream: Get the suffix.
GetSuffix(int) - Method in class de.saar.chorus.domgraph.codec.domcon.SimpleCharStream: Get the suffix.
GetSuffix(int) - Method in class de.saar.chorus.domgraph.codec.glue.SimpleCharStream: Get the suffix.
GetSuffix(int) - Method in class de.saar.chorus.domgraph.codec.holesem.SimpleCharStream: Get the suffix.
GetSuffix(int) - Method in class de.saar.chorus.domgraph.codec.mrs.SimpleCharStream: Get the suffix.
GetSuffix(int) - Method in class de.saar.chorus.domgraph.codec.rmrs.SimpleCharStream: Get the suffix.
getSystemName() - Static method in class de.saar.chorus.domgraph.GlobalDomgraphProperties: Returns the name of the Utool system (including a version number).
getTabbedPane() - Method in class de.saar.chorus.newubench.TabManager
getTabManager() - Method in class de.saar.chorus.newubench.Ubench
getTabSize(int) - Method in class de.saar.chorus.domgraph.chart.lethal.SimpleCharStream
getTabSize(int) - Method in class de.saar.chorus.domgraph.chart.rtgparser.SimpleCharStream
getTabSize(int) - Method in class de.saar.chorus.domgraph.codec.domcon.SimpleCharStream
getTabSize(int) - Method in class de.saar.chorus.domgraph.codec.glue.SimpleCharStream
getTabSize(int) - Method in class de.saar.chorus.domgraph.codec.holesem.SimpleCharStream
getTabSize(int) - Method in class de.saar.chorus.domgraph.codec.mrs.SimpleCharStream
getTabSize(int) - Method in class de.saar.chorus.domgraph.codec.rmrs.SimpleCharStream
getTargetNode(DefaultEdge) - Method in class de.saar.chorus.jgraph.improvedjgraph.ImprovedJGraph: Returns the target node of and edge.
getTargetNode(DefaultEdge) - Method in class de.saar.chorus.ubench.jdomgraph.JDomGraph: Returns the target node of and edge.
getTgt() - Method in class de.saar.chorus.domgraph.graph.DomEdge: Get the target node in this pair.
getToken(int) - Method in class de.saar.chorus.domgraph.chart.lethal.RewritingSystemParser: Get the specific Token.
getToken(int) - Method in class de.saar.chorus.domgraph.chart.rtgparser.RtgParser: Get the specific Token.
getToken(int) - Method in class de.saar.chorus.domgraph.codec.domcon.DomconOzInputCodec: Get the specific Token.
getToken(int) - Method in class de.saar.chorus.domgraph.codec.glue.GlueInputCodec: Get the specific Token.
getToken(int) - Method in class de.saar.chorus.domgraph.codec.holesem.HolesemComsemInputCodec: Get the specific Token.
getToken(int) - Method in class de.saar.chorus.domgraph.codec.mrs.MrsPrologInputCodec: Get the specific Token.
getToken(int) - Method in class de.saar.chorus.domgraph.codec.rmrs.RmrsDomconInputCodec: Get the specific Token.
getToolTipText() - Method in interface de.saar.chorus.jgraph.improvedjgraph.INodeData
getToolTipText() - Method in class de.saar.chorus.jgraph.improvedjgraph.NodeDataAdapter
getToolTipText() - Method in class de.saar.chorus.ubench.jdomgraph.Fragment.FragmentUserObject: This overrides the getToopTipText method in JComponent.
getToolTipText() - Method in class de.saar.chorus.ubench.jdomgraph.NodeData
getToolTipText(MouseEvent) - Method in class de.saar.chorus.jgraph.improvedjgraph.ImprovedJGraph: Overrides the getToolTipText method of JComponent.
getToolTipText(MouseEvent) - Method in class de.saar.chorus.ubench.jdomgraph.JDomGraph: This overrides the getToolTipText(MouseEvent) method of JGraph.
getToplevelSubgraphs() - Method in class de.saar.chorus.domgraph.chart.ConcreteRegularTreeGrammar: Returns the list of all top-level subgraphs.
getToplevelSubgraphs() - Method in class de.saar.chorus.domgraph.chart.RegularTreeGrammar
getToplevelSubgraphs() - Method in class de.saar.chorus.domgraph.chart.RewritingRtg
getType() - Method in class de.saar.chorus.domgraph.chart.lethal.WildcardTerm
getType() - Method in class de.saar.chorus.domgraph.graph.EdgeData: Returns the edge type.
getType() - Method in class de.saar.chorus.domgraph.graph.NodeData: Returns the node type.
getType() - Method in class de.saar.chorus.jgraph.improvedjgraph.EdgeDataAdapter
getType() - Method in interface de.saar.chorus.jgraph.improvedjgraph.IEdgeData
getType() - Method in interface de.saar.chorus.jgraph.improvedjgraph.INodeData
getType() - Method in class de.saar.chorus.jgraph.improvedjgraph.NodeDataAdapter
getType() - Method in class de.saar.chorus.ubench.jdomgraph.EdgeData
getType() - Method in class de.saar.chorus.ubench.jdomgraph.EdgeType
getType() - Method in class de.saar.chorus.ubench.jdomgraph.NodeData
getType() - Method in class de.saar.chorus.ubench.jdomgraph.NodeType
getUnifier(Term) - Method in class de.saar.chorus.domgraph.chart.lethal.WildcardTerm
getUpperBoundFont() - Method in class de.saar.chorus.ubench.jdomgraph.JDomGraph
getValue() - Method in class de.saar.chorus.domgraph.chart.lethal.Token: An optional attribute value of the Token.
getValue() - Method in class de.saar.chorus.domgraph.chart.rtgparser.Token: An optional attribute value of the Token.
getValue() - Method in class de.saar.chorus.domgraph.codec.domcon.Token: An optional attribute value of the Token.
getValue() - Method in class de.saar.chorus.domgraph.codec.glue.Token: An optional attribute value of the Token.
getValue() - Method in class de.saar.chorus.domgraph.codec.holesem.Token: An optional attribute value of the Token.
getValue() - Method in class de.saar.chorus.domgraph.codec.mrs.Token: An optional attribute value of the Token.
getValue() - Method in class de.saar.chorus.domgraph.codec.rmrs.Token: An optional attribute value of the Token.
getValue(char) - Method in class de.saar.getopt.ConvenientGetopt: Retrieve the value of an option.
getValue(String) - Method in class de.saar.getopt.ConvenientGetopt: Retrieve the value of an option.
getVariables() - Method in class de.saar.chorus.domgraph.chart.lethal.WildcardTerm
getVersion() - Static method in class de.saar.chorus.domgraph.GlobalDomgraphProperties: Returns the version identifier of this Domgraph system.
getVisibleDomGraph() - Method in class de.saar.chorus.ubench.Ubench
getVisibleNodeLabels() - Method in class de.saar.chorus.ubench.Ubench
getWccs(String) - Method in class de.saar.chorus.domgraph.chart.Split: Returns the set of weakly connected components which are connected to the specified node.
getWeightForSplit(Split<E>) - Method in class de.saar.chorus.domgraph.chart.wrtg.WeightedRegularTreeGrammar
getWindow() - Method in class de.saar.chorus.newubench.Ubench
getWindow() - Method in class de.saar.chorus.ubench.Ubench
getWorkingDirectory() - Static method in class de.saar.chorus.domgraph.UserProperties: The "utool working directory" is the last directory checked manually for any kind of files.
GlobalDomgraphProperties - Class in de.saar.chorus.domgraph: Provides methods for accessing global properties of the Domgraph system, such as the version number.
GlobalDomgraphProperties() - Constructor for class de.saar.chorus.domgraph.GlobalDomgraphProperties
GlueInputCodec - Class in de.saar.chorus.domgraph.codec.glue: An experimental input codec for LFG-style Glue Semantics axiom sets.
GlueInputCodec() - Constructor for class de.saar.chorus.domgraph.codec.glue.GlueInputCodec
GlueInputCodec(GlueInputCodecTokenManager) - Constructor for class de.saar.chorus.domgraph.codec.glue.GlueInputCodec: Constructor with generated Token Manager.
GlueInputCodec(InputStream) - Constructor for class de.saar.chorus.domgraph.codec.glue.GlueInputCodec: Constructor with InputStream.
GlueInputCodec(InputStream, String) - Constructor for class de.saar.chorus.domgraph.codec.glue.GlueInputCodec: Constructor with InputStream and supplied encoding
GlueInputCodec(Reader) - Constructor for class de.saar.chorus.domgraph.codec.glue.GlueInputCodec: Constructor.
GlueInputCodecConstants - Interface in de.saar.chorus.domgraph.codec.glue: Token literal values and constants.
GlueInputCodecTokenManager - Class in de.saar.chorus.domgraph.codec.glue: Token Manager.
GlueInputCodecTokenManager(SimpleCharStream) - Constructor for class de.saar.chorus.domgraph.codec.glue.GlueInputCodecTokenManager: Constructor.
GlueInputCodecTokenManager(SimpleCharStream, int) - Constructor for class de.saar.chorus.domgraph.codec.glue.GlueInputCodecTokenManager: Constructor.
GOESTO - Static variable in interface de.saar.chorus.domgraph.chart.rtgparser.RtgParserConstants: RegularExpression Id.
graph - Variable in class de.saar.chorus.domgraph.chart.RewritingRtg
graph - Variable in class de.saar.chorus.domgraph.chart.SplitSource
graph - Variable in class de.saar.chorus.jgraph.improvedjgraph.ImprovedJGraphAdapter
GRAPH_DRAWING_ERROR - Static variable in class de.saar.chorus.domgraph.utool.ExitCodes
GraphBasedNonterminal - Interface in de.saar.chorus.domgraph.chart
GraphClassificationPanel - Class in de.saar.chorus.newubench
GraphClassificationPanel() - Constructor for class de.saar.chorus.newubench.GraphClassificationPanel
GraphClassificationPanel(DomGraph) - Constructor for class de.saar.chorus.newubench.GraphClassificationPanel
GraphDrawingCursor - Class in de.saar.chorus.domgraph.layout.treelayout: A class to determine the coordinates of a node relative to the graph root.
GraphDrawingCursor - Class in de.saar.chorus.jgraph.improvedjgraph.layout.treelayout: A class to determine the coordinates of a node relative to the graph root.
GraphDrawingCursor(DefaultGraphCell, ImprovedJGraphLayout, ImprovedJGraph) - Constructor for class de.saar.chorus.domgraph.layout.treelayout.GraphDrawingCursor: Creates a new GraphDrawingCursor
GraphDrawingCursor(DefaultGraphCell, ImprovedJGraphLayout, ImprovedJGraph) - Constructor for class de.saar.chorus.jgraph.improvedjgraph.layout.treelayout.GraphDrawingCursor: Creates a new GraphDrawingCursor
GraphDrawingCursor(DefaultGraphCell, ImprovedJGraphLayout, ImprovedJGraph, Set<DefaultGraphCell>) - Constructor for class de.saar.chorus.domgraph.layout.treelayout.GraphDrawingCursor: Creates a new GraphDrawingCursor
GraphDrawingCursor(DefaultGraphCell, ImprovedJGraphLayout, ImprovedJGraph, Set<DefaultGraphCell>) - Constructor for class de.saar.chorus.jgraph.improvedjgraph.layout.treelayout.GraphDrawingCursor: Creates a new GraphDrawingCursor
graphLabelsConsistencyAssertion(DomGraph, NodeLabels) - Static method in class de.saar.chorus.domgraph.codec.CodecTools: Asserts that all labelled nodes in the dominance graph actually have labels.
GraphLayoutCursor - Class in de.saar.chorus.domgraph.layout.treelayout: A class to determine the positions of nodes in a graph that is a tree, relative to their direct parents.
GraphLayoutCursor - Class in de.saar.chorus.jgraph.improvedjgraph.layout.treelayout: A class to determine the positions of nodes in a graph that is a tree, relative to their direct parents.
GraphLayoutCursor(DefaultGraphCell, ImprovedJGraphLayout, ImprovedJGraph) - Constructor for class de.saar.chorus.domgraph.layout.treelayout.GraphLayoutCursor: Creates a new GraphLayoutCursor
GraphLayoutCursor(DefaultGraphCell, ImprovedJGraphLayout, ImprovedJGraph) - Constructor for class de.saar.chorus.jgraph.improvedjgraph.layout.treelayout.GraphLayoutCursor: Creates a new GraphLayoutCursor
GraphLayoutCursor(DefaultGraphCell, ImprovedJGraphLayout, ImprovedJGraph, Set<DefaultGraphCell>) - Constructor for class de.saar.chorus.domgraph.layout.treelayout.GraphLayoutCursor: Creates a new GraphLayoutCursor
GraphLayoutCursor(DefaultGraphCell, ImprovedJGraphLayout, ImprovedJGraph, Set<DefaultGraphCell>) - Constructor for class de.saar.chorus.jgraph.improvedjgraph.layout.treelayout.GraphLayoutCursor: Creates a new GraphLayoutCursor
GraphScroller - Class in de.saar.chorus.jgraph.improvedjgraph
GraphScroller(String, IGraphSource, String) - Constructor for class de.saar.chorus.jgraph.improvedjgraph.GraphScroller
GraphTab - Class in de.saar.chorus.newubench
GraphTab(String, DomGraph, NodeLabels) - Constructor for class de.saar.chorus.newubench.GraphTab
GroovyPluggingOutputCodec - Class in de.saar.chorus.domgraph.codec.plugging
GroovyPluggingOutputCodec() - Constructor for class de.saar.chorus.domgraph.codec.plugging.GroovyPluggingOutputCodec

H

Handle() - Method in class de.saar.chorus.domgraph.codec.mrs.MrsPrologInputCodec
HANDLE - Static variable in interface de.saar.chorus.domgraph.codec.mrs.MrsPrologInputCodecConstants: RegularExpression Id.
handleAbout(ApplicationEvent) - Method in class com.apple.eawt.ApplicationAdapter
handleAbout(ApplicationEvent) - Method in interface com.apple.eawt.ApplicationListener
handleOpenApplication(ApplicationEvent) - Method in class com.apple.eawt.ApplicationAdapter
handleOpenApplication(ApplicationEvent) - Method in interface com.apple.eawt.ApplicationListener
handleOpenFile(ApplicationEvent) - Method in class com.apple.eawt.ApplicationAdapter
handleOpenFile(ApplicationEvent) - Method in interface com.apple.eawt.ApplicationListener
handlePreferences(ApplicationEvent) - Method in class com.apple.eawt.ApplicationAdapter
handlePreferences(ApplicationEvent) - Method in interface com.apple.eawt.ApplicationListener
handlePrintFile(ApplicationEvent) - Method in class com.apple.eawt.ApplicationAdapter
handlePrintFile(ApplicationEvent) - Method in interface com.apple.eawt.ApplicationListener
handleQuit(ApplicationEvent) - Method in class com.apple.eawt.ApplicationAdapter
handleQuit(ApplicationEvent) - Method in interface com.apple.eawt.ApplicationListener
handleReOpenApplication(ApplicationEvent) - Method in class com.apple.eawt.ApplicationAdapter
handleReOpenApplication(ApplicationEvent) - Method in interface com.apple.eawt.ApplicationListener
hasCycle(Set<String>, EdgeType) - Method in class de.saar.chorus.domgraph.graph.DomGraph: Determines whether a subgraph has a directed cycle.
hasEmptyFragments() - Method in class de.saar.chorus.domgraph.graph.DomGraph: Checks whether the graph has an empty fragment.
hashCode() - Method in class de.saar.chorus.domgraph.chart.DecoratedNonterminal
hashCode() - Method in class de.saar.chorus.domgraph.chart.lethal.RewriteSystem.Rule
hashCode() - Method in class de.saar.chorus.domgraph.chart.rtgparser.StringNonterminal
hashCode() - Method in class de.saar.chorus.domgraph.chart.Split
hashCode() - Method in class de.saar.chorus.domgraph.chart.SubgraphNonterminal
hashCode() - Method in class de.saar.chorus.domgraph.graph.DomEdge
hashCode() - Method in class de.saar.chorus.domgraph.graph.EdgeData
hashCode() - Method in class de.saar.chorus.domgraph.graph.NodeData
hashCode() - Method in class de.saar.chorus.domgraph.graph.NodeLabels
hashCode() - Method in class de.saar.chorus.jgraph.improvedjgraph.EdgeDataAdapter
hashCode() - Method in class de.saar.chorus.jgraph.improvedjgraph.NodeDataAdapter
hashCode() - Method in class de.saar.chorus.ubench.jdomgraph.Fragment
hasNext() - Method in class de.saar.chorus.domgraph.chart.SolvedFormIterator: convenience methods for implementing Iterator
hasNode(String) - Method in class de.saar.chorus.domgraph.graph.DomGraph: Checks whether the graph has a node with the given name.
hasOption(char) - Method in class de.saar.getopt.ConvenientGetopt: Check whether an option was present on the command line.
hasOption(String) - Method in class de.saar.getopt.ConvenientGetopt: Check whether an option was present on the command line.
hasOptionComputeRnfs() - Method in class de.saar.chorus.domgraph.utool.AbstractOptions
hasOptionDumpChart() - Method in class de.saar.chorus.domgraph.utool.AbstractOptions
hasOptionHelp() - Method in class de.saar.chorus.domgraph.utool.AbstractOptions
hasOptionLogging() - Method in class de.saar.chorus.domgraph.utool.AbstractOptions
hasOptionNochart() - Method in class de.saar.chorus.domgraph.utool.AbstractOptions
hasOptionNoOutput() - Method in class de.saar.chorus.domgraph.utool.AbstractOptions
hasOptionStatistics() - Method in class de.saar.chorus.domgraph.utool.AbstractOptions
hasOptionWarmup() - Method in class de.saar.chorus.domgraph.utool.AbstractOptions
hasSubterm(Term) - Method in class de.saar.chorus.domgraph.chart.lethal.WildcardTerm
HCONS - Static variable in interface de.saar.chorus.domgraph.codec.mrs.MrsPrologInputCodecConstants: RegularExpression Id.
help - Enum constant in enum de.saar.chorus.domgraph.utool.AbstractOptions.Operation
HOLE - Static variable in interface de.saar.chorus.domgraph.codec.holesem.HolesemComsemInputCodecConstants: RegularExpression Id.
HolesemComsemInputCodec - Class in de.saar.chorus.domgraph.codec.holesem: An input codec for Hole Semantics.
HolesemComsemInputCodec() - Constructor for class de.saar.chorus.domgraph.codec.holesem.HolesemComsemInputCodec
HolesemComsemInputCodec(HolesemComsemInputCodecTokenManager) - Constructor for class de.saar.chorus.domgraph.codec.holesem.HolesemComsemInputCodec: Constructor with generated Token Manager.
HolesemComsemInputCodec(InputStream) - Constructor for class de.saar.chorus.domgraph.codec.holesem.HolesemComsemInputCodec: Constructor with InputStream.
HolesemComsemInputCodec(InputStream, String) - Constructor for class de.saar.chorus.domgraph.codec.holesem.HolesemComsemInputCodec: Constructor with InputStream and supplied encoding
HolesemComsemInputCodec(Reader) - Constructor for class de.saar.chorus.domgraph.codec.holesem.HolesemComsemInputCodec: Constructor.
HolesemComsemInputCodecConstants - Interface in de.saar.chorus.domgraph.codec.holesem: Token literal values and constants.
HolesemComsemInputCodecTokenManager - Class in de.saar.chorus.domgraph.codec.holesem: Token Manager.
HolesemComsemInputCodecTokenManager(SimpleCharStream) - Constructor for class de.saar.chorus.domgraph.codec.holesem.HolesemComsemInputCodecTokenManager: Constructor.
HolesemComsemInputCodecTokenManager(SimpleCharStream, int) - Constructor for class de.saar.chorus.domgraph.codec.holesem.HolesemComsemInputCodecTokenManager: Constructor.

I

ID - Static variable in interface de.saar.chorus.domgraph.chart.lethal.RewritingSystemParserConstants: RegularExpression Id.
ID - Static variable in interface de.saar.chorus.domgraph.chart.rtgparser.RtgParserConstants: RegularExpression Id.
IDENTIFIER - Static variable in interface de.saar.chorus.domgraph.codec.rmrs.RmrsDomconInputCodecConstants: RegularExpression Id.
idOrNumber() - Method in class de.saar.chorus.domgraph.chart.lethal.RewritingSystemParser
IEdgeData<EdgeType> - Interface in de.saar.chorus.jgraph.improvedjgraph
IGraphSource - Interface in de.saar.chorus.jgraph.improvedjgraph
image - Variable in class de.saar.chorus.domgraph.chart.lethal.Token: The string image of the token.
image - Variable in class de.saar.chorus.domgraph.chart.rtgparser.Token: The string image of the token.
image - Variable in class de.saar.chorus.domgraph.codec.domcon.Token: The string image of the token.
image - Variable in class de.saar.chorus.domgraph.codec.glue.Token: The string image of the token.
image - Variable in class de.saar.chorus.domgraph.codec.holesem.Token: The string image of the token.
image - Variable in class de.saar.chorus.domgraph.codec.mrs.Token: The string image of the token.
image - Variable in class de.saar.chorus.domgraph.codec.rmrs.Token: The string image of the token.
IMP - Static variable in interface de.saar.chorus.domgraph.codec.glue.GlueInputCodecConstants: RegularExpression Id.
IMP - Static variable in interface de.saar.chorus.domgraph.codec.holesem.HolesemComsemInputCodecConstants: RegularExpression Id.
IMPORT_CLIPBOARD - Static variable in class de.saar.chorus.newubench.CommandListener
ImprovedJGraph<NodeType,NodeData extends INodeData<NodeType>,EdgeType,EdgeData extends IEdgeData<EdgeType>> - Class in de.saar.chorus.jgraph.improvedjgraph
ImprovedJGraph() - Constructor for class de.saar.chorus.jgraph.improvedjgraph.ImprovedJGraph
ImprovedJGraph.EdgeSortingComparator - Class in de.saar.chorus.jgraph.improvedjgraph
ImprovedJGraphAdapter<NodeType,NodeData extends INodeData<NodeType>,EdgeType,EdgeData extends IEdgeData<EdgeType>> - Class in de.saar.chorus.jgraph.improvedjgraph
ImprovedJGraphAdapter(Graph, DataFactory<NodeData, EdgeData>) - Constructor for class de.saar.chorus.jgraph.improvedjgraph.ImprovedJGraphAdapter
ImprovedJGraphAdapter(Graph, Map<Object, NodeData>, Map<Edge, EdgeData>) - Constructor for class de.saar.chorus.jgraph.improvedjgraph.ImprovedJGraphAdapter
ImprovedJGraphLayout - Class in de.saar.chorus.jgraph.improvedjgraph.layout
ImprovedJGraphLayout() - Constructor for class de.saar.chorus.jgraph.improvedjgraph.layout.ImprovedJGraphLayout
inBuf - Variable in class de.saar.chorus.domgraph.chart.lethal.SimpleCharStream
inBuf - Variable in class de.saar.chorus.domgraph.chart.rtgparser.SimpleCharStream
inBuf - Variable in class de.saar.chorus.domgraph.codec.domcon.SimpleCharStream
inBuf - Variable in class de.saar.chorus.domgraph.codec.glue.SimpleCharStream
inBuf - Variable in class de.saar.chorus.domgraph.codec.holesem.SimpleCharStream
inBuf - Variable in class de.saar.chorus.domgraph.codec.mrs.SimpleCharStream
inBuf - Variable in class de.saar.chorus.domgraph.codec.rmrs.SimpleCharStream
indeg(String) - Method in class de.saar.chorus.domgraph.graph.DomGraph: Computes the number of incoming edges of a given node.
indeg(String, EdgeType) - Method in class de.saar.chorus.domgraph.graph.DomGraph: Computes the number of incoming edges of a given node with a given type.
indegOfSubgraph(String, EdgeType, Set<String>) - Method in class de.saar.chorus.domgraph.graph.DomGraph: Computes the number of incoming edges of a given node, with a given edge type, and whose source nodes are in the given subgraph.
indicesCompactToOriginal - Variable in class de.saar.chorus.domgraph.chart.RewritingRtg
initialise(DomGraph, NodeLabels, Canvas) - Method in class de.saar.chorus.domgraph.layout.chartlayout.DomGraphChartLayout
initialise(DomGraph, NodeLabels, Canvas) - Method in class de.saar.chorus.domgraph.layout.domgraphlayout.DomGraphLayout
initialise(DomGraph, NodeLabels, Canvas) - Method in class de.saar.chorus.domgraph.layout.FragmentLayoutAlgorithm
INodeData<NodeType> - Interface in de.saar.chorus.jgraph.improvedjgraph
Input() - Method in class de.saar.chorus.domgraph.chart.lethal.RewritingSystemParser
Input() - Method in class de.saar.chorus.domgraph.chart.rtgparser.RtgParser
Input() - Method in class de.saar.chorus.domgraph.codec.domcon.DomconOzInputCodec
Input() - Method in class de.saar.chorus.domgraph.codec.holesem.HolesemComsemInputCodec
Input() - Method in class de.saar.chorus.domgraph.codec.mrs.MrsPrologInputCodec
Input() - Method in class de.saar.chorus.domgraph.codec.rmrs.RmrsDomconInputCodec
input_stream - Variable in class de.saar.chorus.domgraph.chart.lethal.RewritingSystemParserTokenManager
input_stream - Variable in class de.saar.chorus.domgraph.chart.rtgparser.RtgParserTokenManager
input_stream - Variable in class de.saar.chorus.domgraph.codec.domcon.DomconOzInputCodecTokenManager
input_stream - Variable in class de.saar.chorus.domgraph.codec.glue.GlueInputCodecTokenManager
input_stream - Variable in class de.saar.chorus.domgraph.codec.holesem.HolesemComsemInputCodecTokenManager
input_stream - Variable in class de.saar.chorus.domgraph.codec.mrs.MrsPrologInputCodecTokenManager
input_stream - Variable in class de.saar.chorus.domgraph.codec.rmrs.RmrsDomconInputCodecTokenManager
InputCodec - Class in de.saar.chorus.domgraph.codec: The abstract base class for all input codecs.
InputCodec() - Constructor for class de.saar.chorus.domgraph.codec.InputCodec
inputStream - Variable in class de.saar.chorus.domgraph.chart.lethal.SimpleCharStream
inputStream - Variable in class de.saar.chorus.domgraph.chart.rtgparser.SimpleCharStream
inputStream - Variable in class de.saar.chorus.domgraph.codec.domcon.SimpleCharStream
inputStream - Variable in class de.saar.chorus.domgraph.codec.glue.SimpleCharStream
inputStream - Variable in class de.saar.chorus.domgraph.codec.holesem.SimpleCharStream
inputStream - Variable in class de.saar.chorus.domgraph.codec.mrs.SimpleCharStream
inputStream - Variable in class de.saar.chorus.domgraph.codec.rmrs.SimpleCharStream
integrate() - Static method in class de.saar.chorus.newubench.MacIntegration
integrate() - Static method in class de.saar.chorus.ubench.MacIntegration
intersect(RegularTreeGrammar<F>, ConcreteRegularTreeGrammar<DecoratedNonterminal<F, E>>) - Method in class de.saar.chorus.domgraph.chart.RegularTreeGrammar: Call this method on the filtering grammar and pass the grammar that is to be filtered as the argument.
IO_ERROR - Static variable in class de.saar.chorus.domgraph.utool.ExitCodes
isApplicable(JDomGraphTab) - Method in enum de.saar.chorus.ubench.Preferences.LayoutType
isAutoCount() - Static method in class de.saar.chorus.ubench.Preferences
isCoFree(String, String) - Method in class de.saar.chorus.domgraph.chart.RtgFreeFragmentAnalyzer: Determines whether the roots u and v are co-free.
isCompact() - Method in class de.saar.chorus.domgraph.graph.DomGraph: Checks whether this graph is compact.
isCompactifiable() - Method in class de.saar.chorus.domgraph.graph.DomGraph: Checks whether this graph can be compactified.
isCrossEdge(Edge) - Method in class de.saar.chorus.domgraph.graph.DomGraph: Checks whether an edge is a cross edge, i.e. a dominance edge from a root into a hole.
isEmpty() - Method in class de.saar.chorus.domgraph.layout.domgraphlayout.FragmentTower
isEqual(DomGraph, NodeLabels, DomGraph, NodeLabels) - Static method in class de.saar.chorus.domgraph.graph.DomGraph
isExperimentalInputCodec(String) - Method in class de.saar.chorus.domgraph.codec.CodecManager: Determines whether or not an input codec has the status "EXPERIMENTAL".
isExperimentalOutputCodec(String) - Method in class de.saar.chorus.domgraph.codec.CodecManager: Determines whether or not an output codec has the status "EXPERIMENTAL".
isFinal(E) - Method in class de.saar.chorus.domgraph.chart.ConcreteRegularTreeGrammar
isFitToWindow() - Static method in class de.saar.chorus.ubench.Preferences
isFitWindowToGraph() - Static method in class de.saar.chorus.ubench.Preferences
isForceMarqueeEvent(MouseEvent) - Method in class de.saar.chorus.ubench.DomgraphMarqueeHandler
isForest() - Method in class de.saar.chorus.jgraph.improvedjgraph.ImprovedJGraph: Determines whether or not this graph is a forest.
isForest(Set<DefaultGraphCell>) - Method in class de.saar.chorus.jgraph.improvedjgraph.ImprovedJGraph
isGraphSolvable(DomGraph) - Static method in class de.saar.chorus.domgraph.chart.OneSplitSource
isHandled() - Method in class com.apple.eawt.ApplicationEvent
isHole(String) - Method in class de.saar.chorus.domgraph.graph.DomGraph: Checks whether a node is a hole, i.e. an unlabelled leaf.
isHypernormallyConnected() - Method in class de.saar.chorus.domgraph.graph.DomGraph: Checks whether the graph is hypernormally connected.
isHypernormallyReachable(String, String) - Method in class de.saar.chorus.domgraph.graph.DomGraph: Checks whether there is a hypernormal path between two nodes.
isHypernormallyReachable(String, String, Set<String>) - Method in class de.saar.chorus.domgraph.graph.DomGraph: Checks whether there is a hypernormal path between source and target which doesn't visit any of the nodes in avoidThese.
isInDomain(E) - Method in interface de.saar.chorus.domgraph.chart.wrtg.Semiring
isInDomain(Double) - Method in class de.saar.chorus.domgraph.chart.wrtg.LikelihoodSemiring
isInDomain(Double) - Method in class de.saar.chorus.domgraph.chart.wrtg.RealSemiring
isInDomain(Double) - Method in class de.saar.chorus.domgraph.chart.wrtg.TropicalSemiring
isLabellingConsistent(NodeLabels) - Method in class de.saar.chorus.domgraph.graph.DomGraph: Checks whether the classification of nodes as labelled or unlabelled is consistent with the presence of labels in the labels argument.
isLeaf(String) - Method in class de.saar.chorus.domgraph.graph.DomGraph: Checks whether a node is a leaf.
isLeaf(DefaultGraphCell) - Method in class de.saar.chorus.jgraph.improvedjgraph.ImprovedJGraph
isLeafLabelled() - Method in class de.saar.chorus.domgraph.graph.DomGraph: Checks whether the graph is leaf-labelled.
isMac() - Static method in class de.saar.chorus.newubench.MacIntegration
isMac() - Static method in class de.saar.chorus.ubench.MacIntegration
isMultiOutputCodec(String) - Method in class de.saar.chorus.domgraph.codec.CodecManager: Determines whether or not an output codec supports the output of multiple solved forms into one file.
isNormal() - Method in class de.saar.chorus.domgraph.graph.DomGraph: Checks whether this graph is normal.
isOrdered() - Method in class de.saar.chorus.domgraph.chart.lethal.RewriteSystem
isRelativeLeaf(String, Set<String>) - Method in class de.saar.chorus.domgraph.graph.DomGraph
isRelativeLeaf(String, Set<String>, EdgeType) - Method in class de.saar.chorus.domgraph.graph.DomGraph
isRelativeLeaf(DefaultGraphCell, Collection<DefaultGraphCell>) - Method in class de.saar.chorus.jgraph.improvedjgraph.ImprovedJGraph
isRelativeNormalFormsComputerLoaded() - Method in class de.saar.chorus.ubench.Ubench
isRelativeRoot(String, Set<String>) - Method in class de.saar.chorus.domgraph.graph.DomGraph
isRelativeRoot(String, Set<String>, EdgeType) - Method in class de.saar.chorus.domgraph.graph.DomGraph
isRelativeRoot(DefaultGraphCell, Collection<DefaultGraphCell>) - Method in class de.saar.chorus.jgraph.improvedjgraph.ImprovedJGraph
isRemoveRdundandEdges() - Method in class de.saar.chorus.domgraph.layout.LayoutOptions
isRemoveRedundantEdges() - Static method in class de.saar.chorus.ubench.Preferences
isRoot(String) - Method in class de.saar.chorus.domgraph.graph.DomGraph: Checks whether a node is a root.
isRoot(DefaultGraphCell) - Method in class de.saar.chorus.jgraph.improvedjgraph.ImprovedJGraph
isSimpleSolvedForm() - Method in class de.saar.chorus.domgraph.graph.DomGraph: Checks whether the graph is a simple solved form, i.e. if it is normal, a forest, and every node has at most one outgoing dominance edge.
isSingleton(E) - Method in class de.saar.chorus.domgraph.chart.ConcreteRegularTreeGrammar
isSingleton(E) - Method in class de.saar.chorus.domgraph.chart.RegularTreeGrammar
isSingleton(E) - Method in class de.saar.chorus.domgraph.chart.RewritingRtg
isSolvedForm() - Method in class de.saar.chorus.domgraph.graph.DomGraph: Checks whether the graph is in solved form, i.e. if it is a forest.
isWeaklyNormal() - Method in class de.saar.chorus.domgraph.graph.DomGraph: Checks whether this graph is weakly normal.
isWellFormed() - Method in class de.saar.chorus.domgraph.graph.DomGraph: Check whether the weakly normal graph is "well-formed" in the sense of Bodirsky et al. 04.
itemStateChanged(ItemEvent) - Method in class de.saar.chorus.newubench.CommandListener
iterator() - Method in class de.saar.chorus.domgraph.chart.SubgraphNonterminal: Deprecated.
iterator() - Method in class de.saar.chorus.gecode.Shape

J

JDomGraph - Class in de.saar.chorus.ubench.jdomgraph: A Swing component that represents a labelled dominance graph.
JDomGraph() - Constructor for class de.saar.chorus.ubench.jdomgraph.JDomGraph: Sets up an empty dominance graph.
JDOMGRAPH - Enum constant in enum de.saar.chorus.ubench.Preferences.LayoutType
JDomGraphCanvas - Class in de.saar.chorus.domgraph.layout
JDomGraphCanvas(JDomGraph) - Constructor for class de.saar.chorus.domgraph.layout.JDomGraphCanvas
JDomGraphDummyLayout - Class in de.saar.chorus.ubench.jdomgraph: A JGraphLayoutAlgorithm designed to leave the node and edge positions unchanged but triggers the refreshing of the JGraph's appearance so as to make color or font changes visible.
JDomGraphDummyLayout(JDomGraph) - Constructor for class de.saar.chorus.ubench.jdomgraph.JDomGraphDummyLayout
jgraph - Variable in class de.saar.chorus.newubench.UbenchTab
JGraphSlider - Class in de.saar.chorus.jgraph
JGraphSlider(JGraph) - Constructor for class de.saar.chorus.jgraph.JGraphSlider
jj_nt - Variable in class de.saar.chorus.domgraph.chart.lethal.RewritingSystemParser: Next token.
jj_nt - Variable in class de.saar.chorus.domgraph.chart.rtgparser.RtgParser: Next token.
jj_nt - Variable in class de.saar.chorus.domgraph.codec.domcon.DomconOzInputCodec: Next token.
jj_nt - Variable in class de.saar.chorus.domgraph.codec.glue.GlueInputCodec: Next token.
jj_nt - Variable in class de.saar.chorus.domgraph.codec.holesem.HolesemComsemInputCodec: Next token.
jj_nt - Variable in class de.saar.chorus.domgraph.codec.mrs.MrsPrologInputCodec: Next token.
jj_nt - Variable in class de.saar.chorus.domgraph.codec.rmrs.RmrsDomconInputCodec: Next token.
jjFillToken() - Method in class de.saar.chorus.domgraph.chart.lethal.RewritingSystemParserTokenManager
jjFillToken() - Method in class de.saar.chorus.domgraph.chart.rtgparser.RtgParserTokenManager
jjFillToken() - Method in class de.saar.chorus.domgraph.codec.domcon.DomconOzInputCodecTokenManager
jjFillToken() - Method in class de.saar.chorus.domgraph.codec.glue.GlueInputCodecTokenManager
jjFillToken() - Method in class de.saar.chorus.domgraph.codec.holesem.HolesemComsemInputCodecTokenManager
jjFillToken() - Method in class de.saar.chorus.domgraph.codec.mrs.MrsPrologInputCodecTokenManager
jjFillToken() - Method in class de.saar.chorus.domgraph.codec.rmrs.RmrsDomconInputCodecTokenManager
jjstrLiteralImages - Static variable in class de.saar.chorus.domgraph.chart.lethal.RewritingSystemParserTokenManager: Token literal values.
jjstrLiteralImages - Static variable in class de.saar.chorus.domgraph.chart.rtgparser.RtgParserTokenManager: Token literal values.
jjstrLiteralImages - Static variable in class de.saar.chorus.domgraph.codec.domcon.DomconOzInputCodecTokenManager: Token literal values.
jjstrLiteralImages - Static variable in class de.saar.chorus.domgraph.codec.glue.GlueInputCodecTokenManager: Token literal values.
jjstrLiteralImages - Static variable in class de.saar.chorus.domgraph.codec.holesem.HolesemComsemInputCodecTokenManager: Token literal values.
jjstrLiteralImages - Static variable in class de.saar.chorus.domgraph.codec.mrs.MrsPrologInputCodecTokenManager: Token literal values.
jjstrLiteralImages - Static variable in class de.saar.chorus.domgraph.codec.rmrs.RmrsDomconInputCodecTokenManager: Token literal values.
JMultiLineToolTip - Class in de.saar.swing
JMultiLineToolTip() - Constructor for class de.saar.swing.JMultiLineToolTip
JScrollableJGraph - Class in de.saar.chorus.jgraph
JScrollableJGraph(JGraph) - Constructor for class de.saar.chorus.jgraph.JScrollableJGraph
JStandardFrame - Class in de.saar.swing
JStandardFrame(String) - Constructor for class de.saar.swing.JStandardFrame
JUMP_TO_SF - Static variable in class de.saar.chorus.newubench.CommandListener

K

kind - Variable in class de.saar.chorus.domgraph.chart.lethal.Token: An integer that describes the kind of this token.
kind - Variable in class de.saar.chorus.domgraph.chart.rtgparser.Token: An integer that describes the kind of this token.
kind - Variable in class de.saar.chorus.domgraph.codec.domcon.Token: An integer that describes the kind of this token.
kind - Variable in class de.saar.chorus.domgraph.codec.glue.Token: An integer that describes the kind of this token.
kind - Variable in class de.saar.chorus.domgraph.codec.holesem.Token: An integer that describes the kind of this token.
kind - Variable in class de.saar.chorus.domgraph.codec.mrs.Token: An integer that describes the kind of this token.
kind - Variable in class de.saar.chorus.domgraph.codec.rmrs.Token: An integer that describes the kind of this token.

L

label - Variable in class de.saar.chorus.newubench.UbenchTab
LABEL - Enum constant in enum de.saar.chorus.domgraph.layout.LayoutOptions.LabelType
LABEL - Static variable in interface de.saar.chorus.domgraph.codec.domcon.DomconOzInputCodecConstants: RegularExpression Id.
LABEL - Static variable in interface de.saar.chorus.domgraph.codec.holesem.HolesemComsemInputCodecConstants: RegularExpression Id.
labelled - Static variable in class de.saar.chorus.ubench.jdomgraph.NodeType
LABELLED - Enum constant in enum de.saar.chorus.domgraph.graph.NodeType
labelledVal - Static variable in class de.saar.chorus.ubench.jdomgraph.NodeType
labels - Variable in class de.saar.chorus.domgraph.chart.RewritingRtg
LabelStyle - Enum in de.saar.chorus.domgraph.codec.mrs
layout(DomGraph, NodeLabels, Canvas) - Method in class de.saar.chorus.domgraph.layout.FragmentLayoutAlgorithm
layout(DomGraph, NodeLabels, Canvas) - Method in class de.saar.chorus.domgraph.layout.LayoutAlgorithm
layout(DomGraph, NodeLabels, Canvas) - Method in class de.saar.chorus.domgraph.layout.solvedformlayout.SFGecodeTreeLayout
layout(DomGraph, NodeLabels, Canvas, LayoutOptions) - Method in class de.saar.chorus.domgraph.layout.LayoutAlgorithm
LayoutAlgorithm - Class in de.saar.chorus.domgraph.layout
LayoutAlgorithm() - Constructor for class de.saar.chorus.domgraph.layout.LayoutAlgorithm
LayoutException - Exception in de.saar.chorus.domgraph.layout: An exception that signals that an error occurred during a run of a layout algorithm.
LayoutException() - Constructor for exception de.saar.chorus.domgraph.layout.LayoutException
LayoutException(String) - Constructor for exception de.saar.chorus.domgraph.layout.LayoutException
LayoutException(String, Throwable) - Constructor for exception de.saar.chorus.domgraph.layout.LayoutException
LayoutException(Throwable) - Constructor for exception de.saar.chorus.domgraph.layout.LayoutException
LayoutOptions - Class in de.saar.chorus.domgraph.layout
LayoutOptions(LayoutOptions.LabelType, boolean) - Constructor for class de.saar.chorus.domgraph.layout.LayoutOptions
LayoutOptions.LabelType - Enum in de.saar.chorus.domgraph.layout
LazyGraphSource<GraphType extends ImprovedJGraph> - Class in de.saar.chorus.jgraph.improvedjgraph
LazyGraphSource(int) - Constructor for class de.saar.chorus.jgraph.improvedjgraph.LazyGraphSource
leafYDistance - Static variable in class de.saar.chorus.domgraph.layout.DomGraphLayoutParameters
left - Variable in class de.saar.chorus.gecode.BoundingBox
LEQ - Static variable in interface de.saar.chorus.domgraph.codec.holesem.HolesemComsemInputCodecConstants: RegularExpression Id.
LexicalError(boolean, int, int, int, String, char) - Static method in error de.saar.chorus.domgraph.chart.lethal.TokenMgrError: Returns a detailed message for the Error when it is thrown by the token manager to indicate a lexical error.
LexicalError(boolean, int, int, int, String, char) - Static method in error de.saar.chorus.domgraph.chart.rtgparser.TokenMgrError: Returns a detailed message for the Error when it is thrown by the token manager to indicate a lexical error.
LexicalError(boolean, int, int, int, String, char) - Static method in error de.saar.chorus.domgraph.codec.domcon.TokenMgrError: Returns a detailed message for the Error when it is thrown by the token manager to indicate a lexical error.
LexicalError(boolean, int, int, int, String, char) - Static method in error de.saar.chorus.domgraph.codec.glue.TokenMgrError: Returns a detailed message for the Error when it is thrown by the token manager to indicate a lexical error.
LexicalError(boolean, int, int, int, String, char) - Static method in error de.saar.chorus.domgraph.codec.holesem.TokenMgrError: Returns a detailed message for the Error when it is thrown by the token manager to indicate a lexical error.
LexicalError(boolean, int, int, int, String, char) - Static method in error de.saar.chorus.domgraph.codec.mrs.TokenMgrError: Returns a detailed message for the Error when it is thrown by the token manager to indicate a lexical error.
LexicalError(boolean, int, int, int, String, char) - Static method in error de.saar.chorus.domgraph.codec.rmrs.TokenMgrError: Returns a detailed message for the Error when it is thrown by the token manager to indicate a lexical error.
lexStateNames - Static variable in class de.saar.chorus.domgraph.chart.lethal.RewritingSystemParserTokenManager: Lexer state names.
lexStateNames - Static variable in class de.saar.chorus.domgraph.chart.rtgparser.RtgParserTokenManager: Lexer state names.
lexStateNames - Static variable in class de.saar.chorus.domgraph.codec.domcon.DomconOzInputCodecTokenManager: Lexer state names.
lexStateNames - Static variable in class de.saar.chorus.domgraph.codec.glue.GlueInputCodecTokenManager: Lexer state names.
lexStateNames - Static variable in class de.saar.chorus.domgraph.codec.holesem.HolesemComsemInputCodecTokenManager: Lexer state names.
lexStateNames - Static variable in class de.saar.chorus.domgraph.codec.mrs.MrsPrologInputCodecTokenManager: Lexer state names.
lexStateNames - Static variable in class de.saar.chorus.domgraph.codec.rmrs.RmrsDomconInputCodecTokenManager: Lexer state names.
lhs - Variable in class de.saar.chorus.domgraph.chart.lethal.RewriteSystem.Rule
LikelihoodSemiring - Class in de.saar.chorus.domgraph.chart.wrtg
LikelihoodSemiring() - Constructor for class de.saar.chorus.domgraph.chart.wrtg.LikelihoodSemiring
line - Variable in class de.saar.chorus.domgraph.chart.lethal.SimpleCharStream
line - Variable in class de.saar.chorus.domgraph.chart.rtgparser.SimpleCharStream
line - Variable in class de.saar.chorus.domgraph.codec.domcon.SimpleCharStream
line - Variable in class de.saar.chorus.domgraph.codec.glue.SimpleCharStream
line - Variable in class de.saar.chorus.domgraph.codec.holesem.SimpleCharStream
line - Variable in class de.saar.chorus.domgraph.codec.mrs.SimpleCharStream
line - Variable in class de.saar.chorus.domgraph.codec.rmrs.SimpleCharStream
LINE_END_COMMENT - Static variable in interface de.saar.chorus.domgraph.chart.lethal.RewritingSystemParserConstants: RegularExpression Id.
list() - Method in class de.saar.chorus.domgraph.codec.glue.GlueInputCodec
ListGraphSource<GraphType extends ImprovedJGraph> - Class in de.saar.chorus.jgraph.improvedjgraph
ListGraphSource(List<GraphType>) - Constructor for class de.saar.chorus.jgraph.improvedjgraph.ListGraphSource
LkbPluggingOutputCodec - Class in de.saar.chorus.domgraph.codec.plugging: An output codec for pluggings in Lisp syntax.
LkbPluggingOutputCodec() - Constructor for class de.saar.chorus.domgraph.codec.plugging.LkbPluggingOutputCodec
load(String, DomGraph, NodeLabels) - Static method in class de.saar.chorus.domgraph.chart.lethal.UtoolReducer
loadDemoGraph() - Method in class de.saar.chorus.newubench.Ubench
loadRewriteSystem(String, RewriteSystem, RewriteSystem, Annotator) - Static method in class de.saar.chorus.domgraph.chart.lethal.UtoolReducer
LogicalConstant() - Method in class de.saar.chorus.domgraph.codec.holesem.HolesemComsemInputCodec
longDescription - Variable in enum de.saar.chorus.domgraph.utool.AbstractOptions.Operation

M

MacIntegration - Class in de.saar.chorus.newubench
MacIntegration - Class in de.saar.chorus.ubench
MacIntegration() - Constructor for class de.saar.chorus.newubench.MacIntegration
MacIntegration() - Constructor for class de.saar.chorus.ubench.MacIntegration
main(String[]) - Static method in class de.saar.chorus.domgraph.chart.lethal.UtoolReducer
main(String[]) - Static method in class de.saar.chorus.domgraph.chart.rtgparser.RtgParser
main(String[]) - Static method in class de.saar.chorus.domgraph.utool.Utool
main(String[]) - Static method in class de.saar.chorus.newubench.Ubench
main(String[]) - Static method in class de.saar.chorus.ubench.Ubench: Starting Ubench, optionally with files to open on command line
makeExplicit(RegularTreeGrammar<E>) - Static method in class de.saar.chorus.domgraph.chart.ConcreteRegularTreeGrammar
makeGraph() - Method in class de.saar.chorus.domgraph.codec.rmrs.RmrsInputCodec
makeNormalBackbone() - Method in class de.saar.chorus.domgraph.graph.DomGraph: 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.
makeSolvedForm(SolvedFormSpec) - Method in class de.saar.chorus.domgraph.graph.DomGraph: Returns a dominance graph that is just like the current graph, except that the dominance edges are replaced by those specified in domedges.
makeSolvedForm(SolvedFormSpec) - Method in class de.saar.chorus.domgraph.graph.NodeLabels
makeSplit(E, String) - Method in class de.saar.chorus.domgraph.chart.RewritingRtg
makeTopLevelNonterminal() - Method in class de.saar.chorus.domgraph.chart.RewritingRtg
makeToplevelSubgraph(Set<String>) - Method in class de.saar.chorus.domgraph.chart.CompleteSplitSource
makeToplevelSubgraph(Set<String>) - Method in class de.saar.chorus.domgraph.chart.OneSplitSource
makeToplevelSubgraph(Set<String>) - Method in class de.saar.chorus.domgraph.chart.SplitSource
makeWeaklyNormalBackbone() - Method in class de.saar.chorus.domgraph.graph.DomGraph: 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.
MALFORMED_DOMGRAPH_BASE_INPUT - Static variable in class de.saar.chorus.domgraph.utool.ExitCodes
MALFORMED_DOMGRAPH_BASE_OUTPUT - Static variable in class de.saar.chorus.domgraph.utool.ExitCodes
MalformedDomgraphException - Exception in de.saar.chorus.domgraph.codec: An exception representing semantic errors in codecs.
MalformedDomgraphException() - Constructor for exception de.saar.chorus.domgraph.codec.MalformedDomgraphException
MalformedDomgraphException(int) - Constructor for exception de.saar.chorus.domgraph.codec.MalformedDomgraphException
MalformedDomgraphException(String) - Constructor for exception de.saar.chorus.domgraph.codec.MalformedDomgraphException
MalformedDomgraphException(String, int) - Constructor for exception de.saar.chorus.domgraph.codec.MalformedDomgraphException
MalformedDomgraphException(String, Throwable) - Constructor for exception de.saar.chorus.domgraph.codec.MalformedDomgraphException
MalformedDomgraphException(String, Throwable, int) - Constructor for exception de.saar.chorus.domgraph.codec.MalformedDomgraphException
MalformedDomgraphException(Throwable) - Constructor for exception de.saar.chorus.domgraph.codec.MalformedDomgraphException
MalformedDomgraphException(Throwable, int) - Constructor for exception de.saar.chorus.domgraph.codec.MalformedDomgraphException
markGraph(Color, JDomGraph) - Static method in class de.saar.chorus.ubench.chartviewer.FormatManager: Mark the whole graph with a given color.
markRootFragment(String, JDomGraph, DomGraph) - Static method in class de.saar.chorus.ubench.chartviewer.FormatManager: This colors the root fragment of a split (which always gets a special color).
markSplit(Split<GraphBasedNonterminal>) - Method in class de.saar.chorus.ubench.chartviewer.ChartViewer: Mark a split in the main window by retrieving the colors via FormatManager.
markSubgraph(Set<String>, JDomGraph, int, DomGraph) - Static method in class de.saar.chorus.ubench.chartviewer.FormatManager: Mark a subgraph of the given graph according to the index with the next mark-up color.
markSubgraph(Set<String>, JDomGraph, DomGraph) - Static method in class de.saar.chorus.ubench.chartviewer.FormatManager: Mark a subgraph of the given graph with the default marking color.
maxElement() - Method in class de.saar.chorus.domgraph.chart.wrtg.LikelihoodSemiring
maxElement() - Method in class de.saar.chorus.domgraph.chart.wrtg.RealSemiring
maxElement() - Method in interface de.saar.chorus.domgraph.chart.wrtg.Semiring
maxElement() - Method in class de.saar.chorus.domgraph.chart.wrtg.TropicalSemiring
maxNextCharInd - Variable in class de.saar.chorus.domgraph.chart.lethal.SimpleCharStream
maxNextCharInd - Variable in class de.saar.chorus.domgraph.chart.rtgparser.SimpleCharStream
maxNextCharInd - Variable in class de.saar.chorus.domgraph.codec.domcon.SimpleCharStream
maxNextCharInd - Variable in class de.saar.chorus.domgraph.codec.glue.SimpleCharStream
maxNextCharInd - Variable in class de.saar.chorus.domgraph.codec.holesem.SimpleCharStream
maxNextCharInd - Variable in class de.saar.chorus.domgraph.codec.mrs.SimpleCharStream
maxNextCharInd - Variable in class de.saar.chorus.domgraph.codec.rmrs.SimpleCharStream
mayMoveDownwards() - Method in class de.saar.chorus.domgraph.layout.treelayout.DomGraphNodeCursor: Checking whether the current node has at least one child.
mayMoveDownwards() - Method in class de.saar.chorus.domgraph.layout.treelayout.GraphLayoutCursor: Checking whether the current node has at least one child.
mayMoveDownwards() - Method in interface de.saar.chorus.gecode.NodeCursorInterface
mayMoveDownwards() - Method in class de.saar.chorus.jgraph.improvedjgraph.layout.treelayout.GraphLayoutCursor: Checking whether the current node has at least one child.
mayMoveSidewards() - Method in class de.saar.chorus.domgraph.layout.treelayout.DomGraphNodeCursor: Checking whether the current node has a sibling on the right.
mayMoveSidewards() - Method in class de.saar.chorus.domgraph.layout.treelayout.GraphLayoutCursor: Checking whether the current node has a sibling on the right.
mayMoveSidewards() - Method in interface de.saar.chorus.gecode.NodeCursorInterface
mayMoveSidewards() - Method in class de.saar.chorus.jgraph.improvedjgraph.layout.treelayout.GraphLayoutCursor: Checking whether the current node has a sibling on the right.
mayMoveUpwards() - Method in class de.saar.chorus.domgraph.layout.treelayout.DomGraphNodeCursor: Checking whether the current node has a direct parent node.
mayMoveUpwards() - Method in class de.saar.chorus.domgraph.layout.treelayout.GraphLayoutCursor: Checking whether the current node has a direct parent node.
mayMoveUpwards() - Method in interface de.saar.chorus.gecode.NodeCursorInterface
mayMoveUpwards() - Method in class de.saar.chorus.jgraph.improvedjgraph.layout.treelayout.GraphLayoutCursor: Checking whether the current node has a direct parent node.
mouseDragged(MouseEvent) - Method in class de.saar.chorus.ubench.DomgraphMarqueeHandler
mouseReleased(MouseEvent) - Method in class de.saar.chorus.ubench.DomgraphMarqueeHandler
move(int) - Method in class de.saar.chorus.gecode.Extent
move(int) - Method in class de.saar.chorus.gecode.Shape
moveDownwards() - Method in class de.saar.chorus.domgraph.layout.solvedformlayout.SFGraphDrawingCursor: Move to the current node's most left child and compute the new coordinates (for the child node).
moveDownwards() - Method in class de.saar.chorus.domgraph.layout.treelayout.DomGraphDrawingCursor: Move to the current node's most left child and compute the new coordinates (for the child node).
moveDownwards() - Method in class de.saar.chorus.domgraph.layout.treelayout.DomGraphNodeCursor: Moving to the current node's most left child (assuming that there is one).
moveDownwards() - Method in class de.saar.chorus.domgraph.layout.treelayout.GraphDrawingCursor: Move to the current node's most left child and compute the new coordinates (for the child node).
moveDownwards() - Method in class de.saar.chorus.domgraph.layout.treelayout.GraphLayoutCursor: Moving to the current node's most left child (assuming that there is one).
moveDownwards() - Method in interface de.saar.chorus.gecode.NodeCursorInterface
moveDownwards() - Method in class de.saar.chorus.jgraph.improvedjgraph.layout.treelayout.GraphDrawingCursor: Move to the current node's most left child and compute the new coordinates (for the child node).
moveDownwards() - Method in class de.saar.chorus.jgraph.improvedjgraph.layout.treelayout.GraphLayoutCursor: Moving to the current node's most left child (assuming that there is one).
moveSidewards() - Method in class de.saar.chorus.domgraph.layout.solvedformlayout.SFGraphDrawingCursor: Move to the current node's right sibling and compute the new coordinates (for the sibling).
moveSidewards() - Method in class de.saar.chorus.domgraph.layout.treelayout.DomGraphDrawingCursor: Move to the current node's right sibling and compute the new coordinates (for the sibling).
moveSidewards() - Method in class de.saar.chorus.domgraph.layout.treelayout.DomGraphNodeCursor: Moving to the current node's right sibling (assuming that there is one).
moveSidewards() - Method in class de.saar.chorus.domgraph.layout.treelayout.GraphDrawingCursor: Move to the current node's right sibling and compute the new coordinates (for the sibling).
moveSidewards() - Method in class de.saar.chorus.domgraph.layout.treelayout.GraphLayoutCursor: Moving to the current node's right sibling (assuming that there is one).
moveSidewards() - Method in interface de.saar.chorus.gecode.NodeCursorInterface
moveSidewards() - Method in class de.saar.chorus.jgraph.improvedjgraph.layout.treelayout.GraphDrawingCursor: Move to the current node's right sibling and compute the new coordinates (for the sibling).
moveSidewards() - Method in class de.saar.chorus.jgraph.improvedjgraph.layout.treelayout.GraphLayoutCursor: Moving to the current node's right sibling (assuming that there is one).
moveUpwards() - Method in class de.saar.chorus.domgraph.layout.solvedformlayout.SFGraphDrawingCursor: Move to the current node's parent and compute the new coordinates (for the parent node).
moveUpwards() - Method in class de.saar.chorus.domgraph.layout.treelayout.DomGraphDrawingCursor: Move to the current node's parent and compute the new coordinates (for the parent node).
moveUpwards() - Method in class de.saar.chorus.domgraph.layout.treelayout.DomGraphNodeCursor: Moving to the current node's parent node (assuming that there is one).
moveUpwards() - Method in class de.saar.chorus.domgraph.layout.treelayout.GraphDrawingCursor: Move to the current node's parent and compute the new coordinates (for the parent node).
moveUpwards() - Method in class de.saar.chorus.domgraph.layout.treelayout.GraphLayoutCursor: Moving to the current node's parent node (assuming that there is one).
moveUpwards() - Method in interface de.saar.chorus.gecode.NodeCursorInterface
moveUpwards() - Method in class de.saar.chorus.jgraph.improvedjgraph.layout.treelayout.GraphDrawingCursor: Move to the current node's parent and compute the new coordinates (for the parent node).
moveUpwards() - Method in class de.saar.chorus.jgraph.improvedjgraph.layout.treelayout.GraphLayoutCursor: Moving to the current node's parent node (assuming that there is one).
MrsPrologInputCodec - Class in de.saar.chorus.domgraph.codec.mrs
MrsPrologInputCodec(MrsPrologInputCodecTokenManager) - Constructor for class de.saar.chorus.domgraph.codec.mrs.MrsPrologInputCodec: Constructor with generated Token Manager.
MrsPrologInputCodec(Normalisation, LabelStyle) - Constructor for class de.saar.chorus.domgraph.codec.mrs.MrsPrologInputCodec
MrsPrologInputCodec(InputStream) - Constructor for class de.saar.chorus.domgraph.codec.mrs.MrsPrologInputCodec: Constructor with InputStream.
MrsPrologInputCodec(InputStream, String) - Constructor for class de.saar.chorus.domgraph.codec.mrs.MrsPrologInputCodec: Constructor with InputStream and supplied encoding
MrsPrologInputCodec(Reader) - Constructor for class de.saar.chorus.domgraph.codec.mrs.MrsPrologInputCodec: Constructor.
MrsPrologInputCodecConstants - Interface in de.saar.chorus.domgraph.codec.mrs: Token literal values and constants.
MrsPrologInputCodecTokenManager - Class in de.saar.chorus.domgraph.codec.mrs: Token Manager.
MrsPrologInputCodecTokenManager(SimpleCharStream) - Constructor for class de.saar.chorus.domgraph.codec.mrs.MrsPrologInputCodecTokenManager: Constructor.
MrsPrologInputCodecTokenManager(SimpleCharStream, int) - Constructor for class de.saar.chorus.domgraph.codec.mrs.MrsPrologInputCodecTokenManager: Constructor.
MrsXmlInputCodec - Class in de.saar.chorus.domgraph.codec.mrs
MrsXmlInputCodec(Normalisation, LabelStyle) - Constructor for class de.saar.chorus.domgraph.codec.mrs.MrsXmlInputCodec
mult(E, E) - Method in interface de.saar.chorus.domgraph.chart.wrtg.Semiring
mult(Double, Double) - Method in class de.saar.chorus.domgraph.chart.wrtg.LikelihoodSemiring
mult(Double, Double) - Method in class de.saar.chorus.domgraph.chart.wrtg.RealSemiring
mult(Double, Double) - Method in class de.saar.chorus.domgraph.chart.wrtg.TropicalSemiring
MultiOutputCodec - Class in de.saar.chorus.domgraph.codec
MultiOutputCodec() - Constructor for class de.saar.chorus.domgraph.codec.MultiOutputCodec

N

name - Variable in class de.saar.chorus.jgraph.improvedjgraph.ImprovedJGraph
name() - Element in annotation type de.saar.chorus.domgraph.codec.CodecMetadata
name() - Element in annotation type de.saar.chorus.domgraph.codec.CodecOption
NAME - Enum constant in enum de.saar.chorus.domgraph.layout.LayoutOptions.LabelType
nameToNode - Variable in class de.saar.chorus.jgraph.improvedjgraph.ImprovedJGraph
NEQN - Static variable in interface de.saar.chorus.domgraph.codec.rmrs.RmrsDomconInputCodecConstants: RegularExpression Id.
NEQV - Static variable in interface de.saar.chorus.domgraph.codec.rmrs.RmrsDomconInputCodecConstants: RegularExpression Id.
nets - Enum constant in enum de.saar.chorus.domgraph.codec.mrs.Normalisation
NEUTRALANN - Static variable in interface de.saar.chorus.domgraph.chart.lethal.RewritingSystemParserConstants: RegularExpression Id.
newToken(int) - Static method in class de.saar.chorus.domgraph.chart.lethal.Token
newToken(int) - Static method in class de.saar.chorus.domgraph.chart.rtgparser.Token
newToken(int) - Static method in class de.saar.chorus.domgraph.codec.domcon.Token
newToken(int) - Static method in class de.saar.chorus.domgraph.codec.glue.Token
newToken(int) - Static method in class de.saar.chorus.domgraph.codec.holesem.Token
newToken(int) - Static method in class de.saar.chorus.domgraph.codec.mrs.Token
newToken(int) - Static method in class de.saar.chorus.domgraph.codec.rmrs.Token
newToken(int, String) - Static method in class de.saar.chorus.domgraph.chart.lethal.Token: Returns a new Token object, by default.
newToken(int, String) - Static method in class de.saar.chorus.domgraph.chart.rtgparser.Token: Returns a new Token object, by default.
newToken(int, String) - Static method in class de.saar.chorus.domgraph.codec.domcon.Token: Returns a new Token object, by default.
newToken(int, String) - Static method in class de.saar.chorus.domgraph.codec.glue.Token: Returns a new Token object, by default.
newToken(int, String) - Static method in class de.saar.chorus.domgraph.codec.holesem.Token: Returns a new Token object, by default.
newToken(int, String) - Static method in class de.saar.chorus.domgraph.codec.mrs.Token: Returns a new Token object, by default.
newToken(int, String) - Static method in class de.saar.chorus.domgraph.codec.rmrs.Token: Returns a new Token object, by default.
next - Variable in class de.saar.chorus.domgraph.chart.lethal.Token: A reference to the next regular (non-special) token from the input stream.
next - Variable in class de.saar.chorus.domgraph.chart.rtgparser.Token: A reference to the next regular (non-special) token from the input stream.
next - Variable in class de.saar.chorus.domgraph.codec.domcon.Token: A reference to the next regular (non-special) token from the input stream.
next - Variable in class de.saar.chorus.domgraph.codec.glue.Token: A reference to the next regular (non-special) token from the input stream.
next - Variable in class de.saar.chorus.domgraph.codec.holesem.Token: A reference to the next regular (non-special) token from the input stream.
next - Variable in class de.saar.chorus.domgraph.codec.mrs.Token: A reference to the next regular (non-special) token from the input stream.
next - Variable in class de.saar.chorus.domgraph.codec.rmrs.Token: A reference to the next regular (non-special) token from the input stream.
next() - Method in class de.saar.chorus.domgraph.chart.SolvedFormIterator
next() - Method in class de.saar.chorus.gecode.DefaultNodeVisitor
next() - Method in interface de.saar.chorus.gecode.NodeVisitorInterface
next() - Method in class de.saar.chorus.gecode.PostOrderNodeVisitor
next() - Method in class de.saar.chorus.gecode.PreOrderNodeVisitor
NEXT - Static variable in class de.saar.chorus.newubench.CommandListener
NO_ARGUMENT - Static variable in class de.saar.getopt.ConvenientGetopt: Option takes no arguments.
NO_INPUT - Static variable in class de.saar.chorus.domgraph.utool.ExitCodes
NO_INPUT_CODEC_SPECIFIED - Static variable in class de.saar.chorus.domgraph.utool.ExitCodes
NO_OUTPUT_CODEC_SPECIFIED - Static variable in class de.saar.chorus.domgraph.utool.ExitCodes
NO_SUCH_COMMAND - Static variable in class de.saar.chorus.domgraph.utool.ExitCodes
NO_SUCH_INPUT_CODEC - Static variable in class de.saar.chorus.domgraph.utool.ExitCodes
NO_SUCH_OUTPUT_CODEC - Static variable in class de.saar.chorus.domgraph.utool.ExitCodes
NO_UNIQUE_TOP_FRAGMENT - Static variable in class de.saar.chorus.domgraph.codec.mrs.ErrorCodes
node - Variable in class de.saar.chorus.domgraph.graph.CompactificationRecord.NodeChildPair
NodeChildPair(String, int) - Constructor for class de.saar.chorus.domgraph.graph.CompactificationRecord.NodeChildPair
NodeCursorInterface - Interface in de.saar.chorus.gecode
NodeData - Class in de.saar.chorus.domgraph.graph: The data associated with a node.
NodeData - Class in de.saar.chorus.ubench.jdomgraph: The data that can be stored in the node of a dominance graph -- namely, a name, a label, and a node type.
NodeData(NodeType) - Constructor for class de.saar.chorus.domgraph.graph.NodeData
NodeData(NodeType, String, JDomGraph) - Constructor for class de.saar.chorus.ubench.jdomgraph.NodeData: New node data for an unlabelled node.
NodeData(NodeType, String, String, JDomGraph) - Constructor for class de.saar.chorus.ubench.jdomgraph.NodeData: New node data for a labelled node (with label).
NodeDataAdapter<E> - Class in de.saar.chorus.jgraph.improvedjgraph
NodeDataAdapter(E) - Constructor for class de.saar.chorus.jgraph.improvedjgraph.NodeDataAdapter
nodeFont - Variable in class de.saar.chorus.jgraph.improvedjgraph.ImprovedJGraph
nodelabels - Variable in class de.saar.chorus.domgraph.layout.FragmentLayoutAlgorithm
NodeLabels - Class in de.saar.chorus.domgraph.graph: A map which is used for storing the node labels of a labelled dominance graph.
NodeLabels() - Constructor for class de.saar.chorus.domgraph.graph.NodeLabels
nodes - Variable in class de.saar.chorus.jgraph.improvedjgraph.ImprovedJGraph
nodesToCells - Variable in class de.saar.chorus.jgraph.improvedjgraph.ImprovedJGraphAdapter
nodesToShape - Variable in class de.saar.chorus.domgraph.layout.FragmentLayoutAlgorithm
nodeToLabel - Variable in class de.saar.chorus.domgraph.layout.LayoutAlgorithm
NodeType - Class in de.saar.chorus.ubench.jdomgraph: A node type -- either labelled or unlabelled (i.e. non-hole or hole).
NodeType - Enum in de.saar.chorus.domgraph.graph: A node type.
NodeType(int) - Constructor for class de.saar.chorus.ubench.jdomgraph.NodeType
NodeVisitorInterface - Interface in de.saar.chorus.gecode
nodeXDistance - Static variable in class de.saar.chorus.domgraph.layout.DomGraphLayoutParameters
nodeXDistance - Static variable in class de.saar.chorus.domgraph.layout.treelayout.GecodeTreeLayoutSettings
nodeXDistance - Static variable in class de.saar.chorus.jgraph.improvedjgraph.layout.treelayout.TreeLayoutSettings
nodeYDistance - Static variable in class de.saar.chorus.domgraph.layout.DomGraphLayoutParameters
nodeYDistance - Static variable in class de.saar.chorus.domgraph.layout.treelayout.GecodeTreeLayoutSettings
nodeYDistance - Static variable in class de.saar.chorus.jgraph.improvedjgraph.layout.treelayout.TreeLayoutSettings
none - Enum constant in enum de.saar.chorus.domgraph.codec.mrs.Normalisation
Normalisation - Enum in de.saar.chorus.domgraph.codec.mrs
NOT - Static variable in interface de.saar.chorus.domgraph.codec.holesem.HolesemComsemInputCodecConstants: RegularExpression Id.
NOT_HYPERNORMALLY_CONNECTED - Static variable in class de.saar.chorus.domgraph.codec.mrs.ErrorCodes
NOT_LEAF_LABELLED - Static variable in class de.saar.chorus.domgraph.codec.mrs.ErrorCodes
NOT_NORMAL - Static variable in class de.saar.chorus.domgraph.codec.mrs.ErrorCodes
NOT_WEAKLY_NORMAL - Static variable in class de.saar.chorus.domgraph.codec.mrs.ErrorCodes
NOT_WELLFORMED - Static variable in class de.saar.chorus.domgraph.codec.mrs.ErrorCodes
NUMBER - Static variable in interface de.saar.chorus.domgraph.chart.lethal.RewritingSystemParserConstants: RegularExpression Id.
NUMBER - Static variable in interface de.saar.chorus.domgraph.chart.rtgparser.RtgParserConstants: RegularExpression Id.
NUMBER - Static variable in interface de.saar.chorus.domgraph.codec.rmrs.RmrsDomconInputCodecConstants: RegularExpression Id.
numSolvedForms - Variable in class de.saar.chorus.domgraph.chart.RegularTreeGrammar

O

offsetIterator() - Method in class de.saar.chorus.gecode.ShapeList
one() - Method in class de.saar.chorus.domgraph.chart.wrtg.LikelihoodSemiring
one() - Method in class de.saar.chorus.domgraph.chart.wrtg.RealSemiring
one() - Method in interface de.saar.chorus.domgraph.chart.wrtg.Semiring
one() - Method in class de.saar.chorus.domgraph.chart.wrtg.TropicalSemiring
OneSplitSource - Class in de.saar.chorus.domgraph.chart: A split source which only computes the first split for each subgraph.
OneSplitSource(DomGraph) - Constructor for class de.saar.chorus.domgraph.chart.OneSplitSource
Operators() - Method in class de.saar.chorus.domgraph.chart.rtgparser.RtgParser
OPS - Static variable in interface de.saar.chorus.domgraph.chart.rtgparser.RtgParserConstants: RegularExpression Id.
OPTIONAL_ARGUMENT - Static variable in class de.saar.getopt.ConvenientGetopt: Option takes an optional argument.
OR - Static variable in interface de.saar.chorus.domgraph.codec.holesem.HolesemComsemInputCodecConstants: RegularExpression Id.
oriented - Variable in class de.saar.chorus.domgraph.chart.lethal.RewriteSystem.Rule
Other() - Method in class de.saar.chorus.domgraph.codec.mrs.MrsPrologInputCodec
OTHER - Static variable in interface de.saar.chorus.domgraph.codec.mrs.MrsPrologInputCodecConstants: RegularExpression Id.
outdeg(String) - Method in class de.saar.chorus.domgraph.graph.DomGraph: Computes the number of outgoing edges of a given node.
outdeg(String, EdgeType) - Method in class de.saar.chorus.domgraph.graph.DomGraph: Computes the number of outgoing edges of a given node with a given type.
OUTPUT_CODEC_NOT_MULTI - Static variable in class de.saar.chorus.domgraph.utool.ExitCodes
OutputCodec - Class in de.saar.chorus.domgraph.codec: The abstract base class for all output codecs.
OutputCodec() - Constructor for class de.saar.chorus.domgraph.codec.OutputCodec
OZATOM - Static variable in interface de.saar.chorus.domgraph.codec.domcon.DomconOzInputCodecConstants: RegularExpression Id.
OzTermOutputCodec - Class in de.saar.chorus.domgraph.codec.term: An output codec for terms in Oz syntax.
OzTermOutputCodec() - Constructor for class de.saar.chorus.domgraph.codec.term.OzTermOutputCodec

P

parents - Variable in class de.saar.chorus.jgraph.improvedjgraph.ImprovedJGraph
parse(String[]) - Method in class de.saar.getopt.ConvenientGetopt: Parse a command line.
ParseException - Exception in de.saar.chorus.domgraph.chart.lethal: This exception is thrown when parse errors are encountered.
ParseException - Exception in de.saar.chorus.domgraph.chart.rtgparser: This exception is thrown when parse errors are encountered.
ParseException - Exception in de.saar.chorus.domgraph.codec.domcon: This exception is thrown when parse errors are encountered.
ParseException - Exception in de.saar.chorus.domgraph.codec.glue: This exception is thrown when parse errors are encountered.
ParseException - Exception in de.saar.chorus.domgraph.codec.holesem: This exception is thrown when parse errors are encountered.
ParseException - Exception in de.saar.chorus.domgraph.codec.mrs: This exception is thrown when parse errors are encountered.
ParseException - Exception in de.saar.chorus.domgraph.codec.rmrs: This exception is thrown when parse errors are encountered.
ParseException() - Constructor for exception de.saar.chorus.domgraph.chart.lethal.ParseException: The following constructors are for use by you for whatever purpose you can think of.
ParseException() - Constructor for exception de.saar.chorus.domgraph.chart.rtgparser.ParseException: The following constructors are for use by you for whatever purpose you can think of.
ParseException() - Constructor for exception de.saar.chorus.domgraph.codec.domcon.ParseException: The following constructors are for use by you for whatever purpose you can think of.
ParseException() - Constructor for exception de.saar.chorus.domgraph.codec.glue.ParseException: The following constructors are for use by you for whatever purpose you can think of.
ParseException() - Constructor for exception de.saar.chorus.domgraph.codec.holesem.ParseException: The following constructors are for use by you for whatever purpose you can think of.
ParseException() - Constructor for exception de.saar.chorus.domgraph.codec.mrs.ParseException: The following constructors are for use by you for whatever purpose you can think of.
ParseException() - Constructor for exception de.saar.chorus.domgraph.codec.rmrs.ParseException: The following constructors are for use by you for whatever purpose you can think of.
ParseException(Token, int[][], String[]) - Constructor for exception de.saar.chorus.domgraph.chart.lethal.ParseException: This constructor is used by the method "generateParseException" in the generated parser.
ParseException(Token, int[][], String[]) - Constructor for exception de.saar.chorus.domgraph.chart.rtgparser.ParseException: This constructor is used by the method "generateParseException" in the generated parser.
ParseException(Token, int[][], String[]) - Constructor for exception de.saar.chorus.domgraph.codec.domcon.ParseException: This constructor is used by the method "generateParseException" in the generated parser.
ParseException(Token, int[][], String[]) - Constructor for exception de.saar.chorus.domgraph.codec.glue.ParseException: This constructor is used by the method "generateParseException" in the generated parser.
ParseException(Token, int[][], String[]) - Constructor for exception de.saar.chorus.domgraph.codec.holesem.ParseException: This constructor is used by the method "generateParseException" in the generated parser.
ParseException(Token, int[][], String[]) - Constructor for exception de.saar.chorus.domgraph.codec.mrs.ParseException: This constructor is used by the method "generateParseException" in the generated parser.
ParseException(Token, int[][], String[]) - Constructor for exception de.saar.chorus.domgraph.codec.rmrs.ParseException: This constructor is used by the method "generateParseException" in the generated parser.
ParseException(String) - Constructor for exception de.saar.chorus.domgraph.chart.lethal.ParseException: Constructor with message.
ParseException(String) - Constructor for exception de.saar.chorus.domgraph.chart.rtgparser.ParseException: Constructor with message.
ParseException(String) - Constructor for exception de.saar.chorus.domgraph.codec.domcon.ParseException: Constructor with message.
ParseException(String) - Constructor for exception de.saar.chorus.domgraph.codec.glue.ParseException: Constructor with message.
ParseException(String) - Constructor for exception de.saar.chorus.domgraph.codec.holesem.ParseException: Constructor with message.
ParseException(String) - Constructor for exception de.saar.chorus.domgraph.codec.mrs.ParseException: Constructor with message.
ParseException(String) - Constructor for exception de.saar.chorus.domgraph.codec.rmrs.ParseException: Constructor with message.
PARSER_CONFIGURATION_ERROR - Static variable in class de.saar.chorus.domgraph.utool.ExitCodes
ParserException - Exception in de.saar.chorus.domgraph.codec: An exception representing parsing errors of various types.
ParserException() - Constructor for exception de.saar.chorus.domgraph.codec.ParserException
ParserException() - Constructor for exception de.saar.chorus.domgraph.ExampleManager.ParserException
ParserException(String) - Constructor for exception de.saar.chorus.domgraph.codec.ParserException
ParserException(String) - Constructor for exception de.saar.chorus.domgraph.ExampleManager.ParserException
ParserException(String, Throwable) - Constructor for exception de.saar.chorus.domgraph.codec.ParserException
ParserException(String, Throwable) - Constructor for exception de.saar.chorus.domgraph.ExampleManager.ParserException
ParserException(Throwable) - Constructor for exception de.saar.chorus.domgraph.codec.ParserException
ParserException(Throwable) - Constructor for exception de.saar.chorus.domgraph.ExampleManager.ParserException
parseTerm(String) - Static method in class de.saar.chorus.domgraph.chart.lethal.RewritingSystemParser
PARSING_ERROR_INPUT_GRAPH - Static variable in class de.saar.chorus.domgraph.utool.ExitCodes
PDFCanvas - Class in de.saar.chorus.domgraph.layout
PDFCanvas(String) - Constructor for class de.saar.chorus.domgraph.layout.PDFCanvas
PERCENT_COMMENT - Static variable in interface de.saar.chorus.domgraph.codec.domcon.DomconOzInputCodecConstants: RegularExpression Id.
PERCENT_COMMENT - Static variable in interface de.saar.chorus.domgraph.codec.glue.GlueInputCodecConstants: RegularExpression Id.
PERCENT_COMMENT - Static variable in interface de.saar.chorus.domgraph.codec.holesem.HolesemComsemInputCodecConstants: RegularExpression Id.
PERCENT_COMMENT - Static variable in interface de.saar.chorus.domgraph.codec.rmrs.RmrsDomconInputCodecConstants: RegularExpression Id.
placeNodes() - Method in class de.saar.chorus.domgraph.layout.chartlayout.DomGraphChartLayout: places the nodes in the graph model.
placeNodes() - Method in class de.saar.chorus.domgraph.layout.domgraphlayout.DomGraphLayout: places the nodes in the graph model.
placeNodes() - Method in class de.saar.chorus.domgraph.layout.FragmentLayoutAlgorithm
plain - Enum constant in enum de.saar.chorus.domgraph.codec.mrs.LabelStyle
PLATOM - Static variable in interface de.saar.chorus.domgraph.codec.holesem.HolesemComsemInputCodecConstants: RegularExpression Id.
PLVAR - Static variable in interface de.saar.chorus.domgraph.codec.holesem.HolesemComsemInputCodecConstants: RegularExpression Id.
PostOrderNodeVisitor - Class in de.saar.chorus.gecode
PostOrderNodeVisitor(NodeCursorInterface) - Constructor for class de.saar.chorus.gecode.PostOrderNodeVisitor
PRED1 - Static variable in interface de.saar.chorus.domgraph.codec.holesem.HolesemComsemInputCodecConstants: RegularExpression Id.
PRED2 - Static variable in interface de.saar.chorus.domgraph.codec.holesem.HolesemComsemInputCodecConstants: RegularExpression Id.
Preferences - Class in de.saar.chorus.ubench: This contains several preferences for layouting and solving graphs and a master object containing the general used preferences.
Preferences() - Constructor for class de.saar.chorus.ubench.Preferences: Creating a new Preferences object with the default values.
Preferences.LayoutType - Enum in de.saar.chorus.ubench
PreOrderNodeVisitor - Class in de.saar.chorus.gecode
PreOrderNodeVisitor(NodeCursorInterface) - Constructor for class de.saar.chorus.gecode.PreOrderNodeVisitor
preprocess() - Method in class de.saar.chorus.domgraph.graph.DomGraph: 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.
preprocessGraph() - Method in class de.saar.chorus.domgraph.utool.AbstractOptions
PreprocessingException(String) - Constructor for exception de.saar.chorus.domgraph.graph.DomGraph.PreprocessingException
prevCharIsCR - Variable in class de.saar.chorus.domgraph.chart.lethal.SimpleCharStream
prevCharIsCR - Variable in class de.saar.chorus.domgraph.chart.rtgparser.SimpleCharStream
prevCharIsCR - Variable in class de.saar.chorus.domgraph.codec.domcon.SimpleCharStream
prevCharIsCR - Variable in class de.saar.chorus.domgraph.codec.glue.SimpleCharStream
prevCharIsCR - Variable in class de.saar.chorus.domgraph.codec.holesem.SimpleCharStream
prevCharIsCR - Variable in class de.saar.chorus.domgraph.codec.mrs.SimpleCharStream
prevCharIsCR - Variable in class de.saar.chorus.domgraph.codec.rmrs.SimpleCharStream
prevCharIsLF - Variable in class de.saar.chorus.domgraph.chart.lethal.SimpleCharStream
prevCharIsLF - Variable in class de.saar.chorus.domgraph.chart.rtgparser.SimpleCharStream
prevCharIsLF - Variable in class de.saar.chorus.domgraph.codec.domcon.SimpleCharStream
prevCharIsLF - Variable in class de.saar.chorus.domgraph.codec.glue.SimpleCharStream
prevCharIsLF - Variable in class de.saar.chorus.domgraph.codec.holesem.SimpleCharStream
prevCharIsLF - Variable in class de.saar.chorus.domgraph.codec.mrs.SimpleCharStream
prevCharIsLF - Variable in class de.saar.chorus.domgraph.codec.rmrs.SimpleCharStream
PREVIOUS - Static variable in class de.saar.chorus.newubench.CommandListener
print_end_list(Writer) - Method in class de.saar.chorus.domgraph.codec.codegen.CodegenOutputCodec
print_end_list(Writer) - Method in class de.saar.chorus.domgraph.codec.domcon.DomconOzOutputCodec
print_end_list(Writer) - Method in class de.saar.chorus.domgraph.codec.domgraph.DomgraphGxlOutputCodec
print_end_list(Writer) - Method in class de.saar.chorus.domgraph.codec.MultiOutputCodec: Prints the end of a list in the concrete syntax which the USR uses.
print_end_list(Writer) - Method in class de.saar.chorus.domgraph.codec.plugging.DomconOzPluggingOutputCodec
print_end_list(Writer) - Method in class de.saar.chorus.domgraph.codec.plugging.GroovyPluggingOutputCodec
print_end_list(Writer) - Method in class de.saar.chorus.domgraph.codec.plugging.LkbPluggingOutputCodec
print_end_list(Writer) - Method in class de.saar.chorus.domgraph.codec.term.TermOutputCodec
print_footer(Writer) - Method in class de.saar.chorus.domgraph.codec.codegen.CodegenOutputCodec
print_footer(Writer) - Method in class de.saar.chorus.domgraph.codec.domcon.DomconOzOutputCodec
print_footer(Writer) - Method in class de.saar.chorus.domgraph.codec.domgraph.DomgraphGxlOutputCodec
print_footer(Writer) - Method in class de.saar.chorus.domgraph.codec.domgraph.DomgraphUdrawOutputCodec
print_footer(Writer) - Method in class de.saar.chorus.domgraph.codec.domgraph.DotOutputCodec
print_footer(Writer) - Method in class de.saar.chorus.domgraph.codec.OutputCodec: Prints a footer at the end of a file to which the USR is written.
print_footer(Writer) - Method in class de.saar.chorus.domgraph.codec.plugging.DomconOzPluggingOutputCodec
print_footer(Writer) - Method in class de.saar.chorus.domgraph.codec.plugging.GroovyPluggingOutputCodec
print_footer(Writer) - Method in class de.saar.chorus.domgraph.codec.plugging.LkbPluggingOutputCodec
print_footer(Writer) - Method in class de.saar.chorus.domgraph.codec.term.TermOutputCodec
print_header(Writer) - Method in class de.saar.chorus.domgraph.codec.codegen.CodegenOutputCodec
print_header(Writer) - Method in class de.saar.chorus.domgraph.codec.domcon.DomconOzOutputCodec
print_header(Writer) - Method in class de.saar.chorus.domgraph.codec.domgraph.DomgraphGxlOutputCodec
print_header(Writer) - Method in class de.saar.chorus.domgraph.codec.domgraph.DomgraphUdrawOutputCodec
print_header(Writer) - Method in class de.saar.chorus.domgraph.codec.domgraph.DotOutputCodec
print_header(Writer) - Method in class de.saar.chorus.domgraph.codec.OutputCodec: Prints a header at the beginning of a file to which the USR is written.
print_header(Writer) - Method in class de.saar.chorus.domgraph.codec.plugging.DomconOzPluggingOutputCodec
print_header(Writer) - Method in class de.saar.chorus.domgraph.codec.plugging.GroovyPluggingOutputCodec
print_header(Writer) - Method in class de.saar.chorus.domgraph.codec.plugging.LkbPluggingOutputCodec
print_header(Writer) - Method in class de.saar.chorus.domgraph.codec.term.TermOutputCodec
print_list_separator(Writer) - Method in class de.saar.chorus.domgraph.codec.codegen.CodegenOutputCodec
print_list_separator(Writer) - Method in class de.saar.chorus.domgraph.codec.domcon.DomconOzOutputCodec
print_list_separator(Writer) - Method in class de.saar.chorus.domgraph.codec.domgraph.DomgraphGxlOutputCodec
print_list_separator(Writer) - Method in class de.saar.chorus.domgraph.codec.MultiOutputCodec: Prints the separator for separating different items of a list in the concrete syntax which the USR uses.
print_list_separator(Writer) - Method in class de.saar.chorus.domgraph.codec.plugging.DomconOzPluggingOutputCodec
print_list_separator(Writer) - Method in class de.saar.chorus.domgraph.codec.plugging.GroovyPluggingOutputCodec
print_list_separator(Writer) - Method in class de.saar.chorus.domgraph.codec.plugging.LkbPluggingOutputCodec
print_list_separator(Writer) - Method in class de.saar.chorus.domgraph.codec.term.TermOutputCodec
print_start_list(Writer) - Method in class de.saar.chorus.domgraph.codec.codegen.CodegenOutputCodec
print_start_list(Writer) - Method in class de.saar.chorus.domgraph.codec.domcon.DomconOzOutputCodec
print_start_list(Writer) - Method in class de.saar.chorus.domgraph.codec.domgraph.DomgraphGxlOutputCodec
print_start_list(Writer) - Method in class de.saar.chorus.domgraph.codec.MultiOutputCodec: Prints the beginning of a list in the concrete syntax which the USR uses.
print_start_list(Writer) - Method in class de.saar.chorus.domgraph.codec.plugging.DomconOzPluggingOutputCodec
print_start_list(Writer) - Method in class de.saar.chorus.domgraph.codec.plugging.GroovyPluggingOutputCodec
print_start_list(Writer) - Method in class de.saar.chorus.domgraph.codec.plugging.LkbPluggingOutputCodec
print_start_list(Writer) - Method in class de.saar.chorus.domgraph.codec.term.TermOutputCodec
printGraph(Writer, OutputCodec) - Method in class de.saar.chorus.newubench.UbenchTab
println(String) - Method in class de.saar.convenientprocess.ConvenientProcess
process - Variable in class de.saar.convenientprocess.ConvenientProcess
processCurrentNode() - Method in class de.saar.chorus.domgraph.layout.solvedformlayout.SFGraphDrawingCursor: Computes the positions for the current node and stores it in a map of the given layout algorithm.
processCurrentNode() - Method in class de.saar.chorus.domgraph.layout.solvedformlayout.SFGraphLayoutCursor: Computes the x- and y-coordinates of the current node, both relative to the direct parent node.
processCurrentNode() - Method in class de.saar.chorus.domgraph.layout.treelayout.DomGraphDrawingCursor: Computes the positions for the current node and stores it in a map of the given layout algorithm.
processCurrentNode() - Method in class de.saar.chorus.domgraph.layout.treelayout.DomGraphLayoutCursor: Computes the x- and y-coordinates of the current node, both relative to the direct parent node.
processCurrentNode() - Method in class de.saar.chorus.domgraph.layout.treelayout.DomGraphNodeCursor
processCurrentNode() - Method in class de.saar.chorus.domgraph.layout.treelayout.GraphDrawingCursor: Computes the positions for the current node and stores it in a map of the given layout algorithm.
processCurrentNode() - Method in class de.saar.chorus.domgraph.layout.treelayout.GraphLayoutCursor: Computes the x- and y-coordinates of the current node, both relative to the direct parent node.
processCurrentNode() - Method in interface de.saar.chorus.gecode.NodeCursorInterface
processCurrentNode() - Method in class de.saar.chorus.jgraph.improvedjgraph.layout.treelayout.GraphDrawingCursor: Computes the positions for the current node and stores it in a map of the given layout algorithm.
processCurrentNode() - Method in class de.saar.chorus.jgraph.improvedjgraph.layout.treelayout.GraphLayoutCursor: Computes the x- and y-coordinates of the current node, both relative to the direct parent node.
PrologAtom() - Method in class de.saar.chorus.domgraph.codec.holesem.HolesemComsemInputCodec
PrologTermOutputCodec - Class in de.saar.chorus.domgraph.codec.term: An output codec for terms in Prolog syntax.
PrologTermOutputCodec() - Constructor for class de.saar.chorus.domgraph.codec.term.PrologTermOutputCodec
PSOA - Static variable in interface de.saar.chorus.domgraph.codec.mrs.MrsPrologInputCodecConstants: RegularExpression Id.
putNodeToShape(String, Shape) - Method in class de.saar.chorus.domgraph.layout.FragmentLayoutAlgorithm
putNodeToShape(String, Shape) - Method in class de.saar.chorus.domgraph.layout.solvedformlayout.SFGecodeTreeLayout
putNodeToShape(DefaultGraphCell, Shape) - Method in class de.saar.chorus.jgraph.improvedjgraph.layout.ImprovedJGraphLayout
putNodeToShape(DefaultGraphCell, Shape) - Method in class de.saar.chorus.jgraph.improvedjgraph.layout.treelayout.GecodeTreeLayout

Q

Qeq() - Method in class de.saar.chorus.domgraph.codec.mrs.MrsPrologInputCodec
QEQ - Static variable in interface de.saar.chorus.domgraph.codec.mrs.MrsPrologInputCodecConstants: RegularExpression Id.
QEQ - Static variable in interface de.saar.chorus.domgraph.codec.rmrs.RmrsDomconInputCodecConstants: RegularExpression Id.
QeqList() - Method in class de.saar.chorus.domgraph.codec.mrs.MrsPrologInputCodec
QUE - Static variable in interface de.saar.chorus.domgraph.codec.holesem.HolesemComsemInputCodecConstants: RegularExpression Id.
quit() - Method in class de.saar.chorus.newubench.Ubench
quit() - Method in class de.saar.chorus.ubench.Ubench: Closing Ubench.
QUIT - Static variable in class de.saar.chorus.newubench.CommandListener: actions

R

reachable(String, String) - Method in class de.saar.chorus.domgraph.graph.DomGraph: Checks whether there is a directed path from "upper" to "lower" in the graph.
read(Reader) - Method in class de.saar.chorus.domgraph.chart.rtgparser.RtgParser
read(Reader, RewriteSystem, RewriteSystem, Annotator) - Method in class de.saar.chorus.domgraph.chart.lethal.RewritingSystemParser
readChar() - Method in class de.saar.chorus.domgraph.chart.lethal.SimpleCharStream: Read a character.
readChar() - Method in class de.saar.chorus.domgraph.chart.rtgparser.SimpleCharStream: Read a character.
readChar() - Method in class de.saar.chorus.domgraph.codec.domcon.SimpleCharStream: Read a character.
readChar() - Method in class de.saar.chorus.domgraph.codec.glue.SimpleCharStream: Read a character.
readChar() - Method in class de.saar.chorus.domgraph.codec.holesem.SimpleCharStream: Read a character.
readChar() - Method in class de.saar.chorus.domgraph.codec.mrs.SimpleCharStream: Read a character.
readChar() - Method in class de.saar.chorus.domgraph.codec.rmrs.SimpleCharStream: Read a character.
readLineStderr() - Method in class de.saar.convenientprocess.ConvenientProcess
readLineStdout() - Method in class de.saar.convenientprocess.ConvenientProcess
ReadyProcess - Class in de.saar.convenientprocess
ReadyProcess(String) - Constructor for class de.saar.convenientprocess.ReadyProcess
ReadyProcess(String[], String) - Constructor for class de.saar.convenientprocess.ReadyProcess
ReadyProcess(String, String) - Constructor for class de.saar.convenientprocess.ReadyProcess
readyStderr() - Method in class de.saar.convenientprocess.ConvenientProcess
readyStdout() - Method in class de.saar.convenientprocess.ConvenientProcess
RealSemiring - Class in de.saar.chorus.domgraph.chart.wrtg
RealSemiring() - Constructor for class de.saar.chorus.domgraph.chart.wrtg.RealSemiring
recomputeSingletons() - Method in class de.saar.chorus.domgraph.chart.ConcreteRegularTreeGrammar: Recomputes the singleton subgraphs (in RTG language: the preterminal nonterminals) for the RTG.
reduce() - Method in class de.saar.chorus.domgraph.chart.ConcreteRegularTreeGrammar: Removes all unproductive nonterminals and splits from this chart.
reduce(Chart, DomGraph, NodeLabels) - Method in class de.saar.chorus.domgraph.chart.lethal.RelativeNormalFormsComputer
reduceAutomatically - Variable in class de.saar.chorus.ubench.Ubench
reduceIfNecessary(ConcreteRegularTreeGrammar<SubgraphNonterminal>) - Method in class de.saar.chorus.domgraph.chart.CompleteSplitSource
reduceIfNecessary(ConcreteRegularTreeGrammar<SubgraphNonterminal>) - Method in class de.saar.chorus.domgraph.chart.OneSplitSource
reduceIfNecessary(ConcreteRegularTreeGrammar<E>) - Method in class de.saar.chorus.domgraph.chart.SplitSource: Reduces the computed RTG.
reduceToChart(Chart, DomGraph, NodeLabels) - Method in class de.saar.chorus.domgraph.chart.lethal.RelativeNormalFormsComputer
refcount - Variable in class de.saar.chorus.domgraph.chart.ConcreteRegularTreeGrammar
refresh() - Method in class de.saar.chorus.newubench.Ubench
refreshGraphLayout(JDomGraph) - Static method in class de.saar.chorus.ubench.chartviewer.FormatManager: This relayouts the graph so as to make the color changes visible.
registerAllDeclaredCodecs() - Method in class de.saar.chorus.domgraph.codec.CodecManager: Registers all codecs which are declared in a codecclasses.properties file.
registerCodec(Class) - Method in class de.saar.chorus.domgraph.codec.CodecManager: Registers a codec.
registerEventSource(Object, String) - Method in class de.saar.chorus.newubench.CommandListener: event source handling
RegularTreeGrammar<E> - Class in de.saar.chorus.domgraph.chart
RegularTreeGrammar() - Constructor for class de.saar.chorus.domgraph.chart.RegularTreeGrammar
ReInit(RewritingSystemParserTokenManager) - Method in class de.saar.chorus.domgraph.chart.lethal.RewritingSystemParser: Reinitialise.
ReInit(SimpleCharStream) - Method in class de.saar.chorus.domgraph.chart.lethal.RewritingSystemParserTokenManager: Reinitialise parser.
ReInit(SimpleCharStream, int) - Method in class de.saar.chorus.domgraph.chart.lethal.RewritingSystemParserTokenManager: Reinitialise parser.
ReInit(RtgParserTokenManager) - Method in class de.saar.chorus.domgraph.chart.rtgparser.RtgParser: Reinitialise.
ReInit(SimpleCharStream) - Method in class de.saar.chorus.domgraph.chart.rtgparser.RtgParserTokenManager: Reinitialise parser.
ReInit(SimpleCharStream, int) - Method in class de.saar.chorus.domgraph.chart.rtgparser.RtgParserTokenManager: Reinitialise parser.
ReInit(DomconOzInputCodecTokenManager) - Method in class de.saar.chorus.domgraph.codec.domcon.DomconOzInputCodec: Reinitialise.
ReInit(SimpleCharStream) - Method in class de.saar.chorus.domgraph.codec.domcon.DomconOzInputCodecTokenManager: Reinitialise parser.
ReInit(SimpleCharStream, int) - Method in class de.saar.chorus.domgraph.codec.domcon.DomconOzInputCodecTokenManager: Reinitialise parser.
ReInit(GlueInputCodecTokenManager) - Method in class de.saar.chorus.domgraph.codec.glue.GlueInputCodec: Reinitialise.
ReInit(SimpleCharStream) - Method in class de.saar.chorus.domgraph.codec.glue.GlueInputCodecTokenManager: Reinitialise parser.
ReInit(SimpleCharStream, int) - Method in class de.saar.chorus.domgraph.codec.glue.GlueInputCodecTokenManager: Reinitialise parser.
ReInit(HolesemComsemInputCodecTokenManager) - Method in class de.saar.chorus.domgraph.codec.holesem.HolesemComsemInputCodec: Reinitialise.
ReInit(SimpleCharStream) - Method in class de.saar.chorus.domgraph.codec.holesem.HolesemComsemInputCodecTokenManager: Reinitialise parser.
ReInit(SimpleCharStream, int) - Method in class de.saar.chorus.domgraph.codec.holesem.HolesemComsemInputCodecTokenManager: Reinitialise parser.
ReInit(MrsPrologInputCodecTokenManager) - Method in class de.saar.chorus.domgraph.codec.mrs.MrsPrologInputCodec: Reinitialise.
ReInit(SimpleCharStream) - Method in class de.saar.chorus.domgraph.codec.mrs.MrsPrologInputCodecTokenManager: Reinitialise parser.
ReInit(SimpleCharStream, int) - Method in class de.saar.chorus.domgraph.codec.mrs.MrsPrologInputCodecTokenManager: Reinitialise parser.
ReInit(RmrsDomconInputCodecTokenManager) - Method in class de.saar.chorus.domgraph.codec.rmrs.RmrsDomconInputCodec: Reinitialise.
ReInit(SimpleCharStream) - Method in class de.saar.chorus.domgraph.codec.rmrs.RmrsDomconInputCodecTokenManager: Reinitialise parser.
ReInit(SimpleCharStream, int) - Method in class de.saar.chorus.domgraph.codec.rmrs.RmrsDomconInputCodecTokenManager: Reinitialise parser.
ReInit(InputStream) - Method in class de.saar.chorus.domgraph.chart.lethal.RewritingSystemParser: Reinitialise.
ReInit(InputStream) - Method in class de.saar.chorus.domgraph.chart.lethal.SimpleCharStream: Reinitialise.
ReInit(InputStream) - Method in class de.saar.chorus.domgraph.chart.rtgparser.RtgParser: Reinitialise.
ReInit(InputStream) - Method in class de.saar.chorus.domgraph.chart.rtgparser.SimpleCharStream: Reinitialise.
ReInit(InputStream) - Method in class de.saar.chorus.domgraph.codec.domcon.DomconOzInputCodec: Reinitialise.
ReInit(InputStream) - Method in class de.saar.chorus.domgraph.codec.domcon.SimpleCharStream: Reinitialise.
ReInit(InputStream) - Method in class de.saar.chorus.domgraph.codec.glue.GlueInputCodec: Reinitialise.
ReInit(InputStream) - Method in class de.saar.chorus.domgraph.codec.glue.SimpleCharStream: Reinitialise.
ReInit(InputStream) - Method in class de.saar.chorus.domgraph.codec.holesem.HolesemComsemInputCodec: Reinitialise.
ReInit(InputStream) - Method in class de.saar.chorus.domgraph.codec.holesem.SimpleCharStream: Reinitialise.
ReInit(InputStream) - Method in class de.saar.chorus.domgraph.codec.mrs.MrsPrologInputCodec: Reinitialise.
ReInit(InputStream) - Method in class de.saar.chorus.domgraph.codec.mrs.SimpleCharStream: Reinitialise.
ReInit(InputStream) - Method in class de.saar.chorus.domgraph.codec.rmrs.RmrsDomconInputCodec: Reinitialise.
ReInit(InputStream) - Method in class de.saar.chorus.domgraph.codec.rmrs.SimpleCharStream: Reinitialise.
ReInit(InputStream, int, int) - Method in class de.saar.chorus.domgraph.chart.lethal.SimpleCharStream: Reinitialise.
ReInit(InputStream, int, int) - Method in class de.saar.chorus.domgraph.chart.rtgparser.SimpleCharStream: Reinitialise.
ReInit(InputStream, int, int) - Method in class de.saar.chorus.domgraph.codec.domcon.SimpleCharStream: Reinitialise.
ReInit(InputStream, int, int) - Method in class de.saar.chorus.domgraph.codec.glue.SimpleCharStream: Reinitialise.
ReInit(InputStream, int, int) - Method in class de.saar.chorus.domgraph.codec.holesem.SimpleCharStream: Reinitialise.
ReInit(InputStream, int, int) - Method in class de.saar.chorus.domgraph.codec.mrs.SimpleCharStream: Reinitialise.
ReInit(InputStream, int, int) - Method in class de.saar.chorus.domgraph.codec.rmrs.SimpleCharStream: Reinitialise.
ReInit(InputStream, int, int, int) - Method in class de.saar.chorus.domgraph.chart.lethal.SimpleCharStream: Reinitialise.
ReInit(InputStream, int, int, int) - Method in class de.saar.chorus.domgraph.chart.rtgparser.SimpleCharStream: Reinitialise.
ReInit(InputStream, int, int, int) - Method in class de.saar.chorus.domgraph.codec.domcon.SimpleCharStream: Reinitialise.
ReInit(InputStream, int, int, int) - Method in class de.saar.chorus.domgraph.codec.glue.SimpleCharStream: Reinitialise.
ReInit(InputStream, int, int, int) - Method in class de.saar.chorus.domgraph.codec.holesem.SimpleCharStream: Reinitialise.
ReInit(InputStream, int, int, int) - Method in class de.saar.chorus.domgraph.codec.mrs.SimpleCharStream: Reinitialise.
ReInit(InputStream, int, int, int) - Method in class de.saar.chorus.domgraph.codec.rmrs.SimpleCharStream: Reinitialise.
ReInit(InputStream, String) - Method in class de.saar.chorus.domgraph.chart.lethal.RewritingSystemParser: Reinitialise.
ReInit(InputStream, String) - Method in class de.saar.chorus.domgraph.chart.lethal.SimpleCharStream: Reinitialise.
ReInit(InputStream, String) - Method in class de.saar.chorus.domgraph.chart.rtgparser.RtgParser: Reinitialise.
ReInit(InputStream, String) - Method in class de.saar.chorus.domgraph.chart.rtgparser.SimpleCharStream: Reinitialise.
ReInit(InputStream, String) - Method in class de.saar.chorus.domgraph.codec.domcon.DomconOzInputCodec: Reinitialise.
ReInit(InputStream, String) - Method in class de.saar.chorus.domgraph.codec.domcon.SimpleCharStream: Reinitialise.
ReInit(InputStream, String) - Method in class de.saar.chorus.domgraph.codec.glue.GlueInputCodec: Reinitialise.
ReInit(InputStream, String) - Method in class de.saar.chorus.domgraph.codec.glue.SimpleCharStream: Reinitialise.
ReInit(InputStream, String) - Method in class de.saar.chorus.domgraph.codec.holesem.HolesemComsemInputCodec: Reinitialise.
ReInit(InputStream, String) - Method in class de.saar.chorus.domgraph.codec.holesem.SimpleCharStream: Reinitialise.
ReInit(InputStream, String) - Method in class de.saar.chorus.domgraph.codec.mrs.MrsPrologInputCodec: Reinitialise.
ReInit(InputStream, String) - Method in class de.saar.chorus.domgraph.codec.mrs.SimpleCharStream: Reinitialise.
ReInit(InputStream, String) - Method in class de.saar.chorus.domgraph.codec.rmrs.RmrsDomconInputCodec: Reinitialise.
ReInit(InputStream, String) - Method in class de.saar.chorus.domgraph.codec.rmrs.SimpleCharStream: Reinitialise.
ReInit(InputStream, String, int, int) - Method in class de.saar.chorus.domgraph.chart.lethal.SimpleCharStream: Reinitialise.
ReInit(InputStream, String, int, int) - Method in class de.saar.chorus.domgraph.chart.rtgparser.SimpleCharStream: Reinitialise.
ReInit(InputStream, String, int, int) - Method in class de.saar.chorus.domgraph.codec.domcon.SimpleCharStream: Reinitialise.
ReInit(InputStream, String, int, int) - Method in class de.saar.chorus.domgraph.codec.glue.SimpleCharStream: Reinitialise.
ReInit(InputStream, String, int, int) - Method in class de.saar.chorus.domgraph.codec.holesem.SimpleCharStream: Reinitialise.
ReInit(InputStream, String, int, int) - Method in class de.saar.chorus.domgraph.codec.mrs.SimpleCharStream: Reinitialise.
ReInit(InputStream, String, int, int) - Method in class de.saar.chorus.domgraph.codec.rmrs.SimpleCharStream: Reinitialise.
ReInit(InputStream, String, int, int, int) - Method in class de.saar.chorus.domgraph.chart.lethal.SimpleCharStream: Reinitialise.
ReInit(InputStream, String, int, int, int) - Method in class de.saar.chorus.domgraph.chart.rtgparser.SimpleCharStream: Reinitialise.
ReInit(InputStream, String, int, int, int) - Method in class de.saar.chorus.domgraph.codec.domcon.SimpleCharStream: Reinitialise.
ReInit(InputStream, String, int, int, int) - Method in class de.saar.chorus.domgraph.codec.glue.SimpleCharStream: Reinitialise.
ReInit(InputStream, String, int, int, int) - Method in class de.saar.chorus.domgraph.codec.holesem.SimpleCharStream: Reinitialise.
ReInit(InputStream, String, int, int, int) - Method in class de.saar.chorus.domgraph.codec.mrs.SimpleCharStream: Reinitialise.
ReInit(InputStream, String, int, int, int) - Method in class de.saar.chorus.domgraph.codec.rmrs.SimpleCharStream: Reinitialise.
ReInit(Reader) - Method in class de.saar.chorus.domgraph.chart.lethal.RewritingSystemParser: Reinitialise.
ReInit(Reader) - Method in class de.saar.chorus.domgraph.chart.lethal.SimpleCharStream: Reinitialise.
ReInit(Reader) - Method in class de.saar.chorus.domgraph.chart.rtgparser.RtgParser: Reinitialise.
ReInit(Reader) - Method in class de.saar.chorus.domgraph.chart.rtgparser.SimpleCharStream: Reinitialise.
ReInit(Reader) - Method in class de.saar.chorus.domgraph.codec.domcon.DomconOzInputCodec: Reinitialise.
ReInit(Reader) - Method in class de.saar.chorus.domgraph.codec.domcon.SimpleCharStream: Reinitialise.
ReInit(Reader) - Method in class de.saar.chorus.domgraph.codec.glue.GlueInputCodec: Reinitialise.
ReInit(Reader) - Method in class de.saar.chorus.domgraph.codec.glue.SimpleCharStream: Reinitialise.
ReInit(Reader) - Method in class de.saar.chorus.domgraph.codec.holesem.HolesemComsemInputCodec: Reinitialise.
ReInit(Reader) - Method in class de.saar.chorus.domgraph.codec.holesem.SimpleCharStream: Reinitialise.
ReInit(Reader) - Method in class de.saar.chorus.domgraph.codec.mrs.MrsPrologInputCodec: Reinitialise.
ReInit(Reader) - Method in class de.saar.chorus.domgraph.codec.mrs.SimpleCharStream: Reinitialise.
ReInit(Reader) - Method in class de.saar.chorus.domgraph.codec.rmrs.RmrsDomconInputCodec: Reinitialise.
ReInit(Reader) - Method in class de.saar.chorus.domgraph.codec.rmrs.SimpleCharStream: Reinitialise.
ReInit(Reader, int, int) - Method in class de.saar.chorus.domgraph.chart.lethal.SimpleCharStream: Reinitialise.
ReInit(Reader, int, int) - Method in class de.saar.chorus.domgraph.chart.rtgparser.SimpleCharStream: Reinitialise.
ReInit(Reader, int, int) - Method in class de.saar.chorus.domgraph.codec.domcon.SimpleCharStream: Reinitialise.
ReInit(Reader, int, int) - Method in class de.saar.chorus.domgraph.codec.glue.SimpleCharStream: Reinitialise.
ReInit(Reader, int, int) - Method in class de.saar.chorus.domgraph.codec.holesem.SimpleCharStream: Reinitialise.
ReInit(Reader, int, int) - Method in class de.saar.chorus.domgraph.codec.mrs.SimpleCharStream: Reinitialise.
ReInit(Reader, int, int) - Method in class de.saar.chorus.domgraph.codec.rmrs.SimpleCharStream: Reinitialise.
ReInit(Reader, int, int, int) - Method in class de.saar.chorus.domgraph.chart.lethal.SimpleCharStream: Reinitialise.
ReInit(Reader, int, int, int) - Method in class de.saar.chorus.domgraph.chart.rtgparser.SimpleCharStream: Reinitialise.
ReInit(Reader, int, int, int) - Method in class de.saar.chorus.domgraph.codec.domcon.SimpleCharStream: Reinitialise.
ReInit(Reader, int, int, int) - Method in class de.saar.chorus.domgraph.codec.glue.SimpleCharStream: Reinitialise.
ReInit(Reader, int, int, int) - Method in class de.saar.chorus.domgraph.codec.holesem.SimpleCharStream: Reinitialise.
ReInit(Reader, int, int, int) - Method in class de.saar.chorus.domgraph.codec.mrs.SimpleCharStream: Reinitialise.
ReInit(Reader, int, int, int) - Method in class de.saar.chorus.domgraph.codec.rmrs.SimpleCharStream: Reinitialise.
Rel() - Method in class de.saar.chorus.domgraph.codec.mrs.MrsPrologInputCodec
REL - Static variable in interface de.saar.chorus.domgraph.codec.mrs.MrsPrologInputCodecConstants: RegularExpression Id.
relabel(NodeLabels) - Method in class de.saar.chorus.domgraph.chart.Chart
RelativeNormalFormsComputer - Class in de.saar.chorus.domgraph.chart.lethal
RelativeNormalFormsComputer(Annotator) - Constructor for class de.saar.chorus.domgraph.chart.lethal.RelativeNormalFormsComputer
RelList() - Method in class de.saar.chorus.domgraph.codec.mrs.MrsPrologInputCodec
relXtoParent - Variable in class de.saar.chorus.domgraph.layout.FragmentLayoutAlgorithm
relXtoRoot - Variable in class de.saar.chorus.domgraph.layout.FragmentLayoutAlgorithm
relYpos - Variable in class de.saar.chorus.domgraph.layout.FragmentLayoutAlgorithm
remove() - Method in class de.saar.chorus.domgraph.chart.SolvedFormIterator
remove(String) - Method in class de.saar.chorus.domgraph.graph.DomGraph: Removes a given node and all adjacent edges from the graph.
remove(Edge) - Method in class de.saar.chorus.domgraph.graph.DomGraph: Removes a given edge from the graph.
removeAboutMenuItem() - Method in class com.apple.eawt.Application
removeListener(ConnectionManager.StateChangeListener) - Static method in class de.saar.chorus.domgraph.utool.server.ConnectionManager
removeRedundandEdges(DomGraph) - Method in class de.saar.chorus.domgraph.layout.LayoutAlgorithm
removeTopEmptyFragment(DomGraph, int) - Static method in class de.saar.chorus.domgraph.codec.CodecTools
report(String, String) - Method in class de.saar.chorus.domgraph.chart.lethal.Stopwatch
REQUIRED_ARGUMENT - Static variable in class de.saar.getopt.ConvenientGetopt: Option takes a required argument.
requiresInput - Variable in enum de.saar.chorus.domgraph.utool.AbstractOptions.Operation
requiresOutput - Variable in enum de.saar.chorus.domgraph.utool.AbstractOptions.Operation
resetSlider() - Method in class de.saar.chorus.jgraph.JGraphSlider: Aligning the slider with the currently shown graph.
resetSlider() - Method in class de.saar.chorus.jgraph.JScrollableJGraph: Aligning the slider with the currently shown graph.
resetSlider() - Method in class de.saar.chorus.ubench.Ubench: Aligning the slider with the currently shown graph.
ResumingSwingThread<E> - Class in de.saar.swing
ResumingSwingThread() - Constructor for class de.saar.swing.ResumingSwingThread
REWRITE_READING_ERROR - Static variable in class de.saar.chorus.domgraph.utool.ExitCodes
RewriteSystem - Class in de.saar.chorus.domgraph.chart.lethal
RewriteSystem(boolean) - Constructor for class de.saar.chorus.domgraph.chart.lethal.RewriteSystem
RewriteSystem.Rule - Class in de.saar.chorus.domgraph.chart.lethal
RewriteSystemSpecializer - Class in de.saar.chorus.domgraph.chart.lethal
RewriteSystemSpecializer(DomGraph, NodeLabels, Annotator) - Constructor for class de.saar.chorus.domgraph.chart.lethal.RewriteSystemSpecializer
RewriteSystemToTransducer - Class in de.saar.chorus.domgraph.chart.lethal
RewriteSystemToTransducer(Annotator) - Constructor for class de.saar.chorus.domgraph.chart.lethal.RewriteSystemToTransducer
RewritingRtg<E> - Class in de.saar.chorus.domgraph.chart
RewritingRtg(DomGraph, NodeLabels, RtgFreeFragmentAnalyzer<?>) - Constructor for class de.saar.chorus.domgraph.chart.RewritingRtg
RewritingSystemParser - Class in de.saar.chorus.domgraph.chart.lethal
RewritingSystemParser() - Constructor for class de.saar.chorus.domgraph.chart.lethal.RewritingSystemParser
RewritingSystemParser(RewritingSystemParserTokenManager) - Constructor for class de.saar.chorus.domgraph.chart.lethal.RewritingSystemParser: Constructor with generated Token Manager.
RewritingSystemParser(InputStream) - Constructor for class de.saar.chorus.domgraph.chart.lethal.RewritingSystemParser: Constructor with InputStream.
RewritingSystemParser(InputStream, String) - Constructor for class de.saar.chorus.domgraph.chart.lethal.RewritingSystemParser: Constructor with InputStream and supplied encoding
RewritingSystemParser(Reader) - Constructor for class de.saar.chorus.domgraph.chart.lethal.RewritingSystemParser: Constructor.
RewritingSystemParserConstants - Interface in de.saar.chorus.domgraph.chart.lethal: Token literal values and constants.
RewritingSystemParserTokenManager - Class in de.saar.chorus.domgraph.chart.lethal: Token Manager.
RewritingSystemParserTokenManager(SimpleCharStream) - Constructor for class de.saar.chorus.domgraph.chart.lethal.RewritingSystemParserTokenManager: Constructor.
RewritingSystemParserTokenManager(SimpleCharStream, int) - Constructor for class de.saar.chorus.domgraph.chart.lethal.RewritingSystemParserTokenManager: Constructor.
rhs - Variable in class de.saar.chorus.domgraph.chart.lethal.RewriteSystem.Rule
rich - Enum constant in enum de.saar.chorus.domgraph.codec.mrs.LabelStyle
right - Variable in class de.saar.chorus.gecode.BoundingBox
RmrsDomconInputCodec - Class in de.saar.chorus.domgraph.codec.rmrs: An input codec for weakly normal dominance constraints in Oz syntax.
RmrsDomconInputCodec() - Constructor for class de.saar.chorus.domgraph.codec.rmrs.RmrsDomconInputCodec
RmrsDomconInputCodec(RmrsDomconInputCodecTokenManager) - Constructor for class de.saar.chorus.domgraph.codec.rmrs.RmrsDomconInputCodec: Constructor with generated Token Manager.
RmrsDomconInputCodec(InputStream) - Constructor for class de.saar.chorus.domgraph.codec.rmrs.RmrsDomconInputCodec: Constructor with InputStream.
RmrsDomconInputCodec(InputStream, String) - Constructor for class de.saar.chorus.domgraph.codec.rmrs.RmrsDomconInputCodec: Constructor with InputStream and supplied encoding
RmrsDomconInputCodec(Reader) - Constructor for class de.saar.chorus.domgraph.codec.rmrs.RmrsDomconInputCodec: Constructor.
RmrsDomconInputCodecConstants - Interface in de.saar.chorus.domgraph.codec.rmrs: Token literal values and constants.
RmrsDomconInputCodecTokenManager - Class in de.saar.chorus.domgraph.codec.rmrs: Token Manager.
RmrsDomconInputCodecTokenManager(SimpleCharStream) - Constructor for class de.saar.chorus.domgraph.codec.rmrs.RmrsDomconInputCodecTokenManager: Constructor.
RmrsDomconInputCodecTokenManager(SimpleCharStream, int) - Constructor for class de.saar.chorus.domgraph.codec.rmrs.RmrsDomconInputCodecTokenManager: Constructor.
RmrsInputCodec - Class in de.saar.chorus.domgraph.codec.rmrs
RmrsInputCodec(DomGraph, NodeLabels) - Constructor for class de.saar.chorus.domgraph.codec.rmrs.RmrsInputCodec
RtgFreeFragmentAnalyzer<E extends GraphBasedNonterminal> - Class in de.saar.chorus.domgraph.chart
RtgFreeFragmentAnalyzer(RegularTreeGrammar<E>) - Constructor for class de.saar.chorus.domgraph.chart.RtgFreeFragmentAnalyzer
RtgParser - Class in de.saar.chorus.domgraph.chart.rtgparser
RtgParser() - Constructor for class de.saar.chorus.domgraph.chart.rtgparser.RtgParser
RtgParser(RtgParserTokenManager) - Constructor for class de.saar.chorus.domgraph.chart.rtgparser.RtgParser: Constructor with generated Token Manager.
RtgParser(InputStream) - Constructor for class de.saar.chorus.domgraph.chart.rtgparser.RtgParser: Constructor with InputStream.
RtgParser(InputStream, String) - Constructor for class de.saar.chorus.domgraph.chart.rtgparser.RtgParser: Constructor with InputStream and supplied encoding
RtgParser(Reader) - Constructor for class de.saar.chorus.domgraph.chart.rtgparser.RtgParser: Constructor.
RtgParserConstants - Interface in de.saar.chorus.domgraph.chart.rtgparser: Token literal values and constants.
RtgParserTokenManager - Class in de.saar.chorus.domgraph.chart.rtgparser: Token Manager.
RtgParserTokenManager(SimpleCharStream) - Constructor for class de.saar.chorus.domgraph.chart.rtgparser.RtgParserTokenManager: Constructor.
RtgParserTokenManager(SimpleCharStream, int) - Constructor for class de.saar.chorus.domgraph.chart.rtgparser.RtgParserTokenManager: Constructor.
Rule(Term, Term, String, boolean) - Constructor for class de.saar.chorus.domgraph.chart.lethal.RewriteSystem.Rule
run() - Method in class de.saar.chorus.gecode.DefaultNodeVisitor
run() - Method in class de.saar.convenientprocess.ConvenientProcess
run() - Method in class de.saar.convenientprocess.ReadyProcess
run() - Method in class de.saar.swing.ResumingSwingThread
run(JGraph, Object[], int) - Method in class de.saar.chorus.domgraph.layout.solvedformlayout.SFGecodeTreeLayout: Starts the layout algorithm.
run(JGraph, Object[], int) - Method in class de.saar.chorus.jgraph.improvedjgraph.layout.ImprovedJGraphLayout: Starts the layout algorithm.
run(JGraph, Object[], int) - Method in class de.saar.chorus.jgraph.improvedjgraph.layout.treelayout.GecodeTreeLayout: Starts the layout algorithm.
run(JGraph, Object[], int) - Method in class de.saar.chorus.ubench.jdomgraph.JDomGraphDummyLayout
RUNNING - Enum constant in enum de.saar.chorus.domgraph.utool.server.ConnectionManager.State

S

saveAllSolvedFormsToFilechooser() - Method in class de.saar.chorus.newubench.GraphTab
saveGraphToFilechooser() - Method in class de.saar.chorus.newubench.UbenchTab
saveProperties() - Static method in class de.saar.chorus.domgraph.UserProperties: If there have been changes, the properties are saved to the .utool file.
scrollpane - Variable in class de.saar.chorus.jgraph.JScrollableJGraph
selectGraph(int) - Method in class de.saar.chorus.jgraph.improvedjgraph.GraphScroller
Semiring<E extends Comparable<E>> - Interface in de.saar.chorus.domgraph.chart.wrtg
separator - Variable in class de.saar.chorus.domgraph.codec.term.TermOutputCodec
server - Enum constant in enum de.saar.chorus.domgraph.utool.AbstractOptions.Operation
SERVER_IO_ERROR - Static variable in class de.saar.chorus.domgraph.utool.ExitCodes
set(int, int) - Method in class de.saar.chorus.gecode.Coordinate
setAllowExperimentalCodecs(boolean) - Method in class de.saar.chorus.domgraph.codec.CodecManager
setAutoCount(boolean) - Static method in class de.saar.chorus.ubench.Preferences: This can enable or disable the automatical solving / counting of solved forms.
setBoundingBox(Rectangle) - Method in class de.saar.chorus.ubench.jdomgraph.JDomGraph
setColumns(int) - Method in class de.saar.swing.JMultiLineToolTip
setCompactGraph(DomGraph) - Method in class de.saar.chorus.domgraph.graph.CompactificationRecord
setCursor(NodeCursorInterface) - Method in class de.saar.chorus.gecode.DefaultNodeVisitor
setCursor(NodeCursorInterface) - Method in interface de.saar.chorus.gecode.NodeVisitorInterface
setDebug(boolean) - Method in class de.saar.convenientprocess.ConvenientProcess
setDebugStream(PrintStream) - Method in class de.saar.chorus.domgraph.chart.lethal.RewritingSystemParserTokenManager: Set debug output.
setDebugStream(PrintStream) - Method in class de.saar.chorus.domgraph.chart.rtgparser.RtgParserTokenManager: Set debug output.
setDebugStream(PrintStream) - Method in class de.saar.chorus.domgraph.codec.domcon.DomconOzInputCodecTokenManager: Set debug output.
setDebugStream(PrintStream) - Method in class de.saar.chorus.domgraph.codec.glue.GlueInputCodecTokenManager: Set debug output.
setDebugStream(PrintStream) - Method in class de.saar.chorus.domgraph.codec.holesem.HolesemComsemInputCodecTokenManager: Set debug output.
setDebugStream(PrintStream) - Method in class de.saar.chorus.domgraph.codec.mrs.MrsPrologInputCodecTokenManager: Set debug output.
setDebugStream(PrintStream) - Method in class de.saar.chorus.domgraph.codec.rmrs.RmrsDomconInputCodecTokenManager: Set debug output.
setDefaultInputCodec(String) - Static method in class de.saar.chorus.domgraph.UserProperties: This changes the current default input codec.
setDefaultOutputCodec(String) - Static method in class de.saar.chorus.domgraph.UserProperties: This changes the current default output codec.
setDominanceEdges(Set<DefaultEdge>) - Method in class de.saar.chorus.ubench.jdomgraph.JDomGraph
setEdges(Set<DefaultEdge>) - Method in class de.saar.chorus.ubench.jdomgraph.JDomGraph
setEnabledAboutMenu(boolean) - Method in class com.apple.eawt.Application
setEnabledPreferencesMenu(boolean) - Method in class com.apple.eawt.Application
setEQSLoaded(boolean) - Method in class de.saar.chorus.ubench.chartviewer.ChartViewer: This is to activate / deactivate the menu item for reducing the chart with a globally loaded equation system.
setExampleDirectories(String) - Static method in class de.saar.chorus.domgraph.UserProperties: This changes all example directories to the path (or path list) specified in dirs.
setFinal(E) - Method in class de.saar.chorus.domgraph.chart.ConcreteRegularTreeGrammar
setFitToWindow(boolean) - Static method in class de.saar.chorus.ubench.Preferences: Set to true, fitWindow will cause the visible and all further opened graphs to be zoomed out if they oversize their tab.
setFitWindowToGraph(boolean) - Static method in class de.saar.chorus.ubench.Preferences
setFixedWidth(int) - Method in class de.saar.swing.JMultiLineToolTip
setGraph(DomGraph) - Method in class de.saar.chorus.domgraph.utool.AbstractOptions
setHandled(boolean) - Method in class com.apple.eawt.ApplicationEvent
setHelpArgument(AbstractOptions.Operation) - Method in class de.saar.chorus.domgraph.utool.AbstractOptions
setInProgressStatusBar(String, int) - Method in class de.saar.chorus.newubench.UbenchTab
setInputCodec(InputCodec) - Method in class de.saar.chorus.domgraph.utool.AbstractOptions
setInputCodecOptions(String) - Method in class de.saar.chorus.domgraph.utool.AbstractOptions
setInputLog(String) - Method in class de.saar.convenientprocess.ConvenientProcess
setInputName(String) - Method in class de.saar.chorus.domgraph.utool.AbstractOptions
setLabels(NodeLabels) - Method in class de.saar.chorus.domgraph.utool.AbstractOptions
setLabeltype(LayoutOptions.LabelType) - Method in class de.saar.chorus.domgraph.layout.LayoutOptions
setLabeltype(LayoutOptions.LabelType) - Method in class de.saar.chorus.ubench.jdomgraph.JDomGraph
setLabelType(LayoutOptions.LabelType) - Method in class de.saar.chorus.ubench.Preferences: accessor methods
setLastPath(File) - Method in class de.saar.chorus.newubench.Ubench
setLastPath(File) - Method in class de.saar.chorus.ubench.Ubench
setLayouttype(Preferences.LayoutType) - Method in class de.saar.chorus.ubench.jdomgraph.JDomGraph
setLayoutType(Preferences.LayoutType) - Method in class de.saar.chorus.ubench.jdomgraph.JDomGraph
setLayoutType(Preferences.LayoutType) - Method in class de.saar.chorus.ubench.Preferences
setLimit(long) - Method in class de.saar.chorus.domgraph.utool.AbstractOptions
setLogWriter(PrintWriter) - Method in class de.saar.chorus.domgraph.utool.AbstractOptions
setName(String) - Method in class de.saar.chorus.jgraph.improvedjgraph.ImprovedJGraph: Set the name (= ID) of the dominance graph.
setName(String) - Method in class de.saar.chorus.ubench.jdomgraph.JDomGraph
setNeutralAnnotation(String) - Method in class de.saar.chorus.domgraph.chart.lethal.Annotator
setNodes(Set<DefaultGraphCell>) - Method in class de.saar.chorus.ubench.jdomgraph.JDomGraph
setOperation(AbstractOptions.Operation) - Method in class de.saar.chorus.domgraph.utool.AbstractOptions
setOptionComputeRnfs(boolean) - Method in class de.saar.chorus.domgraph.utool.AbstractOptions
setOptionDumpChart(boolean) - Method in class de.saar.chorus.domgraph.utool.AbstractOptions
setOptionHelp(boolean) - Method in class de.saar.chorus.domgraph.utool.AbstractOptions
setOptionLogging(boolean) - Method in class de.saar.chorus.domgraph.utool.AbstractOptions
setOptionNochart(boolean) - Method in class de.saar.chorus.domgraph.utool.AbstractOptions
setOptionNoOutput(boolean) - Method in class de.saar.chorus.domgraph.utool.AbstractOptions
setOptionStatistics(boolean) - Method in class de.saar.chorus.domgraph.utool.AbstractOptions
setOptionWarmup(boolean) - Method in class de.saar.chorus.domgraph.utool.AbstractOptions
setOutput(Writer) - Method in class de.saar.chorus.domgraph.utool.AbstractOptions
setOutputCodec(OutputCodec) - Method in class de.saar.chorus.domgraph.utool.AbstractOptions
setOutputCodecOptions(String) - Method in class de.saar.chorus.domgraph.utool.AbstractOptions
setOutputLog(String) - Method in class de.saar.convenientprocess.ConvenientProcess
setPort(int) - Method in class de.saar.chorus.domgraph.utool.AbstractOptions
setPreferenceDialogVisible(boolean) - Method in class de.saar.chorus.ubench.Ubench
setRelativeNormalFormsComputer(RelativeNormalFormsComputer, String) - Method in class de.saar.chorus.ubench.Ubench
setRemoveRdundandEdges(boolean) - Method in class de.saar.chorus.domgraph.layout.LayoutOptions
setRemoveRedundandEdges(boolean) - Static method in class de.saar.chorus.ubench.Preferences
setRnfComputer(RelativeNormalFormsComputer) - Method in class de.saar.chorus.domgraph.utool.AbstractOptions
setShowLabel(LayoutOptions.LabelType) - Method in class de.saar.chorus.ubench.jdomgraph.NodeData
setSplitsForSubgraph(E, List<Split<E>>) - Method in class de.saar.chorus.domgraph.chart.ConcreteRegularTreeGrammar: Sets the splits for a given subgraph.
setStartAnnotation(String) - Method in class de.saar.chorus.domgraph.chart.lethal.Annotator
setStatusBar(JComponent) - Method in class de.saar.chorus.newubench.UbenchTab
setSubstitution(Map<String, String>) - Method in class de.saar.chorus.domgraph.chart.Split
setTabSize(int) - Method in class de.saar.chorus.domgraph.chart.lethal.SimpleCharStream
setTabSize(int) - Method in class de.saar.chorus.domgraph.chart.rtgparser.SimpleCharStream
setTabSize(int) - Method in class de.saar.chorus.domgraph.codec.domcon.SimpleCharStream
setTabSize(int) - Method in class de.saar.chorus.domgraph.codec.glue.SimpleCharStream
setTabSize(int) - Method in class de.saar.chorus.domgraph.codec.holesem.SimpleCharStream
setTabSize(int) - Method in class de.saar.chorus.domgraph.codec.mrs.SimpleCharStream
setTabSize(int) - Method in class de.saar.chorus.domgraph.codec.rmrs.SimpleCharStream
setType(NodeType) - Method in class de.saar.chorus.domgraph.graph.NodeData: Set the node type.
setUpperBoundFont(Font) - Method in class de.saar.chorus.ubench.jdomgraph.JDomGraph
setVerbose(boolean) - Method in class de.saar.chorus.domgraph.chart.lethal.RelativeNormalFormsComputer
setVisible(boolean) - Method in class de.saar.chorus.ubench.chartviewer.ChartViewer: This overrides the "setVisible" method to make sure that the marking disappears when the window is closed.
setWeightForSplit(Split<E>, T) - Method in class de.saar.chorus.domgraph.chart.wrtg.WeightedRegularTreeGrammar: TODO what to do if this split has a weight already?
setWorkingDirectory(String) - Static method in class de.saar.chorus.domgraph.UserProperties: Indicates the last 'active' directory the user has accessed via Ubench.
SFGecodeTreeLayout - Class in de.saar.chorus.domgraph.layout.solvedformlayout: A layout algorithm for a solved form of a dominance graph represented by a JDomGraph.
SFGecodeTreeLayout() - Constructor for class de.saar.chorus.domgraph.layout.solvedformlayout.SFGecodeTreeLayout
SFGecodeTreeLayout(int) - Constructor for class de.saar.chorus.domgraph.layout.solvedformlayout.SFGecodeTreeLayout: Initializes a new SolvedFormLayout with the given JDomGraph.
SFGraphDrawingCursor - Class in de.saar.chorus.domgraph.layout.solvedformlayout: A class to determine the coordinates of a node relative to the graph root.
SFGraphDrawingCursor(String, SFGecodeTreeLayout, DomGraph) - Constructor for class de.saar.chorus.domgraph.layout.solvedformlayout.SFGraphDrawingCursor: Creates a new DomGraphDrawingCursor
SFGraphDrawingCursor(String, SFGecodeTreeLayout, DomGraph, Set<String>) - Constructor for class de.saar.chorus.domgraph.layout.solvedformlayout.SFGraphDrawingCursor: Creates a new DomGraphDrawingCursor
SFGraphLayoutCursor - Class in de.saar.chorus.domgraph.layout.solvedformlayout: A class to determine the positions of nodes in a graph that is a tree, relative to their direct parents.
SFGraphLayoutCursor(String, Canvas, SFGecodeTreeLayout, DomGraph, Map<String, String>) - Constructor for class de.saar.chorus.domgraph.layout.solvedformlayout.SFGraphLayoutCursor: Creates a new DomGraphLayoutCursor
SFGraphLayoutCursor(String, Canvas, SFGecodeTreeLayout, DomGraph, Set<String>, Map<String, String>) - Constructor for class de.saar.chorus.domgraph.layout.solvedformlayout.SFGraphLayoutCursor: Creates a new DomGraphLayoutCursor
shadeGraph(JDomGraph) - Static method in class de.saar.chorus.ubench.chartviewer.FormatManager: Colors the graph in a light grey.
Shape - Class in de.saar.chorus.gecode
Shape() - Constructor for class de.saar.chorus.gecode.Shape
Shape(Extent) - Constructor for class de.saar.chorus.gecode.Shape
Shape(Extent, Shape) - Constructor for class de.saar.chorus.gecode.Shape
ShapeList - Class in de.saar.chorus.gecode
ShapeList(int) - Constructor for class de.saar.chorus.gecode.ShapeList
ShapeList(Collection, int) - Constructor for class de.saar.chorus.gecode.ShapeList
shortDescription - Variable in enum de.saar.chorus.domgraph.utool.AbstractOptions.Operation
showCodecWindow() - Static method in class de.saar.chorus.newubench.AuxiliaryWindows
showErrorMessage(String, String) - Static method in class de.saar.chorus.newubench.AuxiliaryWindows
showFirstSolvedForm() - Method in class de.saar.chorus.newubench.GraphTab
showInformationMessage(String, String) - Static method in class de.saar.chorus.newubench.AuxiliaryWindows
showNextSolvedForm() - Method in class de.saar.chorus.newubench.SolvedFormTab
showPreviousSolvedForm() - Method in class de.saar.chorus.newubench.SolvedFormTab
showProgressBar() - Method in class de.saar.chorus.ubench.Ubench: Showing the bar for the solving process.
showSelectedSolvedForm() - Method in class de.saar.chorus.newubench.SolvedFormTab
SimpleCharStream - Class in de.saar.chorus.domgraph.chart.lethal: An implementation of interface CharStream, where the stream is assumed to contain only ASCII characters (without unicode processing).
SimpleCharStream - Class in de.saar.chorus.domgraph.chart.rtgparser: An implementation of interface CharStream, where the stream is assumed to contain only ASCII characters (without unicode processing).
SimpleCharStream - Class in de.saar.chorus.domgraph.codec.domcon: An implementation of interface CharStream, where the stream is assumed to contain only ASCII characters (without unicode processing).
SimpleCharStream - Class in de.saar.chorus.domgraph.codec.glue: An implementation of interface CharStream, where the stream is assumed to contain only ASCII characters (without unicode processing).
SimpleCharStream - Class in de.saar.chorus.domgraph.codec.holesem: An implementation of interface CharStream, where the stream is assumed to contain only ASCII characters (without unicode processing).
SimpleCharStream - Class in de.saar.chorus.domgraph.codec.mrs: An implementation of interface CharStream, where the stream is assumed to contain only ASCII characters (without unicode processing).
SimpleCharStream - Class in de.saar.chorus.domgraph.codec.rmrs: An implementation of interface CharStream, where the stream is assumed to contain only ASCII characters (without unicode processing).
SimpleCharStream(InputStream) - Constructor for class de.saar.chorus.domgraph.chart.lethal.SimpleCharStream: Constructor.
SimpleCharStream(InputStream) - Constructor for class de.saar.chorus.domgraph.chart.rtgparser.SimpleCharStream: Constructor.
SimpleCharStream(InputStream) - Constructor for class de.saar.chorus.domgraph.codec.domcon.SimpleCharStream: Constructor.
SimpleCharStream(InputStream) - Constructor for class de.saar.chorus.domgraph.codec.glue.SimpleCharStream: Constructor.
SimpleCharStream(InputStream) - Constructor for class de.saar.chorus.domgraph.codec.holesem.SimpleCharStream: Constructor.
SimpleCharStream(InputStream) - Constructor for class de.saar.chorus.domgraph.codec.mrs.SimpleCharStream: Constructor.
SimpleCharStream(InputStream) - Constructor for class de.saar.chorus.domgraph.codec.rmrs.SimpleCharStream: Constructor.
SimpleCharStream(InputStream, int, int) - Constructor for class de.saar.chorus.domgraph.chart.lethal.SimpleCharStream: Constructor.
SimpleCharStream(InputStream, int, int) - Constructor for class de.saar.chorus.domgraph.chart.rtgparser.SimpleCharStream: Constructor.
SimpleCharStream(InputStream, int, int) - Constructor for class de.saar.chorus.domgraph.codec.domcon.SimpleCharStream: Constructor.
SimpleCharStream(InputStream, int, int) - Constructor for class de.saar.chorus.domgraph.codec.glue.SimpleCharStream: Constructor.
SimpleCharStream(InputStream, int, int) - Constructor for class de.saar.chorus.domgraph.codec.holesem.SimpleCharStream: Constructor.
SimpleCharStream(InputStream, int, int) - Constructor for class de.saar.chorus.domgraph.codec.mrs.SimpleCharStream: Constructor.
SimpleCharStream(InputStream, int, int) - Constructor for class de.saar.chorus.domgraph.codec.rmrs.SimpleCharStream: Constructor.
SimpleCharStream(InputStream, int, int, int) - Constructor for class de.saar.chorus.domgraph.chart.lethal.SimpleCharStream: Constructor.
SimpleCharStream(InputStream, int, int, int) - Constructor for class de.saar.chorus.domgraph.chart.rtgparser.SimpleCharStream: Constructor.
SimpleCharStream(InputStream, int, int, int) - Constructor for class de.saar.chorus.domgraph.codec.domcon.SimpleCharStream: Constructor.
SimpleCharStream(InputStream, int, int, int) - Constructor for class de.saar.chorus.domgraph.codec.glue.SimpleCharStream: Constructor.
SimpleCharStream(InputStream, int, int, int) - Constructor for class de.saar.chorus.domgraph.codec.holesem.SimpleCharStream: Constructor.
SimpleCharStream(InputStream, int, int, int) - Constructor for class de.saar.chorus.domgraph.codec.mrs.SimpleCharStream: Constructor.
SimpleCharStream(InputStream, int, int, int) - Constructor for class de.saar.chorus.domgraph.codec.rmrs.SimpleCharStream: Constructor.
SimpleCharStream(InputStream, String) - Constructor for class de.saar.chorus.domgraph.chart.lethal.SimpleCharStream: Constructor.
SimpleCharStream(InputStream, String) - Constructor for class de.saar.chorus.domgraph.chart.rtgparser.SimpleCharStream: Constructor.
SimpleCharStream(InputStream, String) - Constructor for class de.saar.chorus.domgraph.codec.domcon.SimpleCharStream: Constructor.
SimpleCharStream(InputStream, String) - Constructor for class de.saar.chorus.domgraph.codec.glue.SimpleCharStream: Constructor.
SimpleCharStream(InputStream, String) - Constructor for class de.saar.chorus.domgraph.codec.holesem.SimpleCharStream: Constructor.
SimpleCharStream(InputStream, String) - Constructor for class de.saar.chorus.domgraph.codec.mrs.SimpleCharStream: Constructor.
SimpleCharStream(InputStream, String) - Constructor for class de.saar.chorus.domgraph.codec.rmrs.SimpleCharStream: Constructor.
SimpleCharStream(InputStream, String, int, int) - Constructor for class de.saar.chorus.domgraph.chart.lethal.SimpleCharStream: Constructor.
SimpleCharStream(InputStream, String, int, int) - Constructor for class de.saar.chorus.domgraph.chart.rtgparser.SimpleCharStream: Constructor.
SimpleCharStream(InputStream, String, int, int) - Constructor for class de.saar.chorus.domgraph.codec.domcon.SimpleCharStream: Constructor.
SimpleCharStream(InputStream, String, int, int) - Constructor for class de.saar.chorus.domgraph.codec.glue.SimpleCharStream: Constructor.
SimpleCharStream(InputStream, String, int, int) - Constructor for class de.saar.chorus.domgraph.codec.holesem.SimpleCharStream: Constructor.
SimpleCharStream(InputStream, String, int, int) - Constructor for class de.saar.chorus.domgraph.codec.mrs.SimpleCharStream: Constructor.
SimpleCharStream(InputStream, String, int, int) - Constructor for class de.saar.chorus.domgraph.codec.rmrs.SimpleCharStream: Constructor.
SimpleCharStream(InputStream, String, int, int, int) - Constructor for class de.saar.chorus.domgraph.chart.lethal.SimpleCharStream: Constructor.
SimpleCharStream(InputStream, String, int, int, int) - Constructor for class de.saar.chorus.domgraph.chart.rtgparser.SimpleCharStream: Constructor.
SimpleCharStream(InputStream, String, int, int, int) - Constructor for class de.saar.chorus.domgraph.codec.domcon.SimpleCharStream: Constructor.
SimpleCharStream(InputStream, String, int, int, int) - Constructor for class de.saar.chorus.domgraph.codec.glue.SimpleCharStream: Constructor.
SimpleCharStream(InputStream, String, int, int, int) - Constructor for class de.saar.chorus.domgraph.codec.holesem.SimpleCharStream: Constructor.
SimpleCharStream(InputStream, String, int, int, int) - Constructor for class de.saar.chorus.domgraph.codec.mrs.SimpleCharStream: Constructor.
SimpleCharStream(InputStream, String, int, int, int) - Constructor for class de.saar.chorus.domgraph.codec.rmrs.SimpleCharStream: Constructor.
SimpleCharStream(Reader) - Constructor for class de.saar.chorus.domgraph.chart.lethal.SimpleCharStream: Constructor.
SimpleCharStream(Reader) - Constructor for class de.saar.chorus.domgraph.chart.rtgparser.SimpleCharStream: Constructor.
SimpleCharStream(Reader) - Constructor for class de.saar.chorus.domgraph.codec.domcon.SimpleCharStream: Constructor.
SimpleCharStream(Reader) - Constructor for class de.saar.chorus.domgraph.codec.glue.SimpleCharStream: Constructor.
SimpleCharStream(Reader) - Constructor for class de.saar.chorus.domgraph.codec.holesem.SimpleCharStream: Constructor.
SimpleCharStream(Reader) - Constructor for class de.saar.chorus.domgraph.codec.mrs.SimpleCharStream: Constructor.
SimpleCharStream(Reader) - Constructor for class de.saar.chorus.domgraph.codec.rmrs.SimpleCharStream: Constructor.
SimpleCharStream(Reader, int, int) - Constructor for class de.saar.chorus.domgraph.chart.lethal.SimpleCharStream: Constructor.
SimpleCharStream(Reader, int, int) - Constructor for class de.saar.chorus.domgraph.chart.rtgparser.SimpleCharStream: Constructor.
SimpleCharStream(Reader, int, int) - Constructor for class de.saar.chorus.domgraph.codec.domcon.SimpleCharStream: Constructor.
SimpleCharStream(Reader, int, int) - Constructor for class de.saar.chorus.domgraph.codec.glue.SimpleCharStream: Constructor.
SimpleCharStream(Reader, int, int) - Constructor for class de.saar.chorus.domgraph.codec.holesem.SimpleCharStream: Constructor.
SimpleCharStream(Reader, int, int) - Constructor for class de.saar.chorus.domgraph.codec.mrs.SimpleCharStream: Constructor.
SimpleCharStream(Reader, int, int) - Constructor for class de.saar.chorus.domgraph.codec.rmrs.SimpleCharStream: Constructor.
SimpleCharStream(Reader, int, int, int) - Constructor for class de.saar.chorus.domgraph.chart.lethal.SimpleCharStream: Constructor.
SimpleCharStream(Reader, int, int, int) - Constructor for class de.saar.chorus.domgraph.chart.rtgparser.SimpleCharStream: Constructor.
SimpleCharStream(Reader, int, int, int) - Constructor for class de.saar.chorus.domgraph.codec.domcon.SimpleCharStream: Constructor.
SimpleCharStream(Reader, int, int, int) - Constructor for class de.saar.chorus.domgraph.codec.glue.SimpleCharStream: Constructor.
SimpleCharStream(Reader, int, int, int) - Constructor for class de.saar.chorus.domgraph.codec.holesem.SimpleCharStream: Constructor.
SimpleCharStream(Reader, int, int, int) - Constructor for class de.saar.chorus.domgraph.codec.mrs.SimpleCharStream: Constructor.
SimpleCharStream(Reader, int, int, int) - Constructor for class de.saar.chorus.domgraph.codec.rmrs.SimpleCharStream: Constructor.
singletons - Variable in class de.saar.chorus.domgraph.chart.ConcreteRegularTreeGrammar
size - Variable in class de.saar.chorus.domgraph.chart.ConcreteRegularTreeGrammar
size() - Method in class de.saar.chorus.domgraph.chart.ConcreteRegularTreeGrammar: Returns the number of splits in the entire chart.
size() - Method in class de.saar.chorus.domgraph.chart.RegularTreeGrammar
size() - Method in class de.saar.chorus.domgraph.chart.RewritingRtg
size() - Method in class de.saar.chorus.domgraph.chart.SubgraphNonterminal: Deprecated.
size() - Method in interface de.saar.chorus.jgraph.improvedjgraph.IGraphSource
size() - Method in class de.saar.chorus.jgraph.improvedjgraph.LazyGraphSource
size() - Method in class de.saar.chorus.jgraph.improvedjgraph.ListGraphSource
size() - Method in class de.saar.chorus.ubench.jdomgraph.Fragment: Get the number of nodes in this fragment.
solid - Static variable in class de.saar.chorus.ubench.jdomgraph.EdgeType
solidVal - Static variable in class de.saar.chorus.ubench.jdomgraph.EdgeType
solvable - Enum constant in enum de.saar.chorus.domgraph.utool.AbstractOptions.Operation
solve - Enum constant in enum de.saar.chorus.domgraph.utool.AbstractOptions.Operation
solve(DomGraph, ConcreteRegularTreeGrammar<SubgraphNonterminal>) - Static method in class de.saar.chorus.domgraph.chart.ChartSolver: Solves the given dominance graph using a CompleteSplitSource.
solve(DomGraph, ConcreteRegularTreeGrammar<E>, SplitSource<E>) - Static method in class de.saar.chorus.domgraph.chart.ChartSolver: Solves the given dominance graph using a specific split source.
solve(NodeLabels, DomGraph) - Static method in class de.saar.chorus.domgraph.chart.lethal.UtoolReducer
SOLVE - Static variable in class de.saar.chorus.newubench.CommandListener
SolvedFormIterator<E extends GraphBasedNonterminal> - Class in de.saar.chorus.domgraph.chart: An iterator over the different solved forms represented by a Chart.
SolvedFormIterator(RegularTreeGrammar<E>, DomGraph) - Constructor for class de.saar.chorus.domgraph.chart.SolvedFormIterator
SolvedFormSpec - Class in de.saar.chorus.domgraph.chart
SolvedFormSpec() - Constructor for class de.saar.chorus.domgraph.chart.SolvedFormSpec
SolvedFormSpec(List<DomEdge>, Map<String, String>) - Constructor for class de.saar.chorus.domgraph.chart.SolvedFormSpec
SolvedFormTab - Class in de.saar.chorus.newubench
SolvedFormTab(String, SolvedFormIterator, int, DomGraph, NodeLabels) - Constructor for class de.saar.chorus.newubench.SolvedFormTab
SOLVER_NOT_APPLICABLE - Static variable in class de.saar.chorus.domgraph.utool.ExitCodes
SolverNotApplicableException - Exception in de.saar.chorus.domgraph.chart: An exception that signals that the chart solver doesn't understand the dominance graph it is given to solve.
SolverNotApplicableException() - Constructor for exception de.saar.chorus.domgraph.chart.SolverNotApplicableException
SolverNotApplicableException(String) - Constructor for exception de.saar.chorus.domgraph.chart.SolverNotApplicableException
SolverNotApplicableException(String, Throwable) - Constructor for exception de.saar.chorus.domgraph.chart.SolverNotApplicableException
SolverNotApplicableException(Throwable) - Constructor for exception de.saar.chorus.domgraph.chart.SolverNotApplicableException
SOME - Static variable in interface de.saar.chorus.domgraph.codec.holesem.HolesemComsemInputCodecConstants: RegularExpression Id.
specialConstructor - Variable in exception de.saar.chorus.domgraph.chart.lethal.ParseException: This variable determines which constructor was used to create this object and thereby affects the semantics of the "getMessage" method (see below).
specialConstructor - Variable in exception de.saar.chorus.domgraph.chart.rtgparser.ParseException: This variable determines which constructor was used to create this object and thereby affects the semantics of the "getMessage" method (see below).
specialConstructor - Variable in exception de.saar.chorus.domgraph.codec.domcon.ParseException: This variable determines which constructor was used to create this object and thereby affects the semantics of the "getMessage" method (see below).
specialConstructor - Variable in exception de.saar.chorus.domgraph.codec.glue.ParseException: This variable determines which constructor was used to create this object and thereby affects the semantics of the "getMessage" method (see below).
specialConstructor - Variable in exception de.saar.chorus.domgraph.codec.holesem.ParseException: This variable determines which constructor was used to create this object and thereby affects the semantics of the "getMessage" method (see below).
specialConstructor - Variable in exception de.saar.chorus.domgraph.codec.mrs.ParseException: This variable determines which constructor was used to create this object and thereby affects the semantics of the "getMessage" method (see below).
specialConstructor - Variable in exception de.saar.chorus.domgraph.codec.rmrs.ParseException: This variable determines which constructor was used to create this object and thereby affects the semantics of the "getMessage" method (see below).
specialize(RewriteSystem) - Method in class de.saar.chorus.domgraph.chart.lethal.RewriteSystemSpecializer
specialize(RewriteSystem, Comparator<Term>) - Method in class de.saar.chorus.domgraph.chart.lethal.RewriteSystemSpecializer
specialToken - Variable in class de.saar.chorus.domgraph.chart.lethal.Token: This field is used to access special tokens that occur prior to this token, but after the immediately preceding regular (non-special) token.
specialToken - Variable in class de.saar.chorus.domgraph.chart.rtgparser.Token: This field is used to access special tokens that occur prior to this token, but after the immediately preceding regular (non-special) token.
specialToken - Variable in class de.saar.chorus.domgraph.codec.domcon.Token: This field is used to access special tokens that occur prior to this token, but after the immediately preceding regular (non-special) token.
specialToken - Variable in class de.saar.chorus.domgraph.codec.glue.Token: This field is used to access special tokens that occur prior to this token, but after the immediately preceding regular (non-special) token.
specialToken - Variable in class de.saar.chorus.domgraph.codec.holesem.Token: This field is used to access special tokens that occur prior to this token, but after the immediately preceding regular (non-special) token.
specialToken - Variable in class de.saar.chorus.domgraph.codec.mrs.Token: This field is used to access special tokens that occur prior to this token, but after the immediately preceding regular (non-special) token.
specialToken - Variable in class de.saar.chorus.domgraph.codec.rmrs.Token: This field is used to access special tokens that occur prior to this token, but after the immediately preceding regular (non-special) token.
Split<E> - Class in de.saar.chorus.domgraph.chart: A split in a dominance chart.
Split(String) - Constructor for class de.saar.chorus.domgraph.chart.Split: Creates a split with a given root fragment.
SplitComputer<E extends GraphBasedNonterminal> - Class in de.saar.chorus.domgraph.chart: A utility class for computing the split of a free root.
SplitComputer(DomGraph) - Constructor for class de.saar.chorus.domgraph.chart.SplitComputer
SplitSource<E extends GraphBasedNonterminal> - Class in de.saar.chorus.domgraph.chart: An abstract superclass for classes that compute splits.
SplitSource(DomGraph) - Constructor for class de.saar.chorus.domgraph.chart.SplitSource
start(String) - Method in class de.saar.chorus.domgraph.chart.lethal.Stopwatch
STARTANN - Static variable in interface de.saar.chorus.domgraph.chart.lethal.RewritingSystemParserConstants: RegularExpression Id.
startElement(String, String, String, Attributes) - Method in class de.saar.chorus.domgraph.ExampleManager
startServer(AbstractOptions) - Static method in class de.saar.chorus.domgraph.utool.server.ConnectionManager: Starts the Utool Server.
startupThreads() - Method in class de.saar.convenientprocess.ConvenientProcess
STATE_FINISHED - Static variable in class de.saar.convenientprocess.ReadyProcess
STATE_INITIALIZING - Static variable in class de.saar.convenientprocess.ReadyProcess
STATE_READY - Static variable in class de.saar.convenientprocess.ReadyProcess
STATE_UNINITIALIZED - Static variable in class de.saar.convenientprocess.ReadyProcess
stateChanged(ConnectionManager.State) - Method in interface de.saar.chorus.domgraph.utool.server.ConnectionManager.StateChangeListener
stateChanged(ChangeEvent) - Method in class de.saar.chorus.jgraph.JGraphSlider
States() - Method in class de.saar.chorus.domgraph.chart.rtgparser.RtgParser
STATES - Static variable in interface de.saar.chorus.domgraph.chart.rtgparser.RtgParserConstants: RegularExpression Id.
staticFlag - Static variable in class de.saar.chorus.domgraph.chart.lethal.SimpleCharStream: Whether parser is static.
staticFlag - Static variable in class de.saar.chorus.domgraph.chart.rtgparser.SimpleCharStream: Whether parser is static.
staticFlag - Static variable in class de.saar.chorus.domgraph.codec.domcon.SimpleCharStream: Whether parser is static.
staticFlag - Static variable in class de.saar.chorus.domgraph.codec.glue.SimpleCharStream: Whether parser is static.
staticFlag - Static variable in class de.saar.chorus.domgraph.codec.holesem.SimpleCharStream: Whether parser is static.
staticFlag - Static variable in class de.saar.chorus.domgraph.codec.mrs.SimpleCharStream: Whether parser is static.
staticFlag - Static variable in class de.saar.chorus.domgraph.codec.rmrs.SimpleCharStream: Whether parser is static.
stdin() - Method in class de.saar.convenientprocess.ConvenientProcess
STOPPED - Enum constant in enum de.saar.chorus.domgraph.utool.server.ConnectionManager.State
stopServer() - Static method in class de.saar.chorus.domgraph.utool.server.ConnectionManager: Stops a running Utool Server.
Stopwatch - Class in de.saar.chorus.domgraph.chart.lethal
Stopwatch() - Constructor for class de.saar.chorus.domgraph.chart.lethal.Stopwatch
Stopwatch(boolean) - Constructor for class de.saar.chorus.domgraph.chart.lethal.Stopwatch
StringNonterminal - Class in de.saar.chorus.domgraph.chart.rtgparser
StringNonterminal(String) - Constructor for class de.saar.chorus.domgraph.chart.rtgparser.StringNonterminal
stringToValue(String, Class) - Method in class de.saar.chorus.domgraph.codec.CodecManager: Converts a string representation of a datatype that is admissible as the type of a codec option into that type.
SubgraphNonterminal - Class in de.saar.chorus.domgraph.chart
SubgraphNonterminal() - Constructor for class de.saar.chorus.domgraph.chart.SubgraphNonterminal
SubgraphNonterminal(Collection<String>) - Constructor for class de.saar.chorus.domgraph.chart.SubgraphNonterminal
SubgraphSplitComputer - Class in de.saar.chorus.domgraph.chart
SubgraphSplitComputer(DomGraph) - Constructor for class de.saar.chorus.domgraph.chart.SubgraphSplitComputer
SwingNowExecutor - Class in de.saar.swing
SwingNowExecutor() - Constructor for class de.saar.swing.SwingNowExecutor
SwitchTo(int) - Method in class de.saar.chorus.domgraph.chart.lethal.RewritingSystemParserTokenManager: Switch to specified lex state.
SwitchTo(int) - Method in class de.saar.chorus.domgraph.chart.rtgparser.RtgParserTokenManager: Switch to specified lex state.
SwitchTo(int) - Method in class de.saar.chorus.domgraph.codec.domcon.DomconOzInputCodecTokenManager: Switch to specified lex state.
SwitchTo(int) - Method in class de.saar.chorus.domgraph.codec.glue.GlueInputCodecTokenManager: Switch to specified lex state.
SwitchTo(int) - Method in class de.saar.chorus.domgraph.codec.holesem.HolesemComsemInputCodecTokenManager: Switch to specified lex state.
SwitchTo(int) - Method in class de.saar.chorus.domgraph.codec.mrs.MrsPrologInputCodecTokenManager: Switch to specified lex state.
SwitchTo(int) - Method in class de.saar.chorus.domgraph.codec.rmrs.RmrsDomconInputCodecTokenManager: Switch to specified lex state.
Symbol() - Method in class de.saar.chorus.domgraph.codec.mrs.MrsPrologInputCodec
SYMBOL - Static variable in interface de.saar.chorus.domgraph.codec.mrs.MrsPrologInputCodecConstants: RegularExpression Id.

T

TabManager - Class in de.saar.chorus.newubench
TabManager() - Constructor for class de.saar.chorus.newubench.TabManager
tabSize - Variable in class de.saar.chorus.domgraph.chart.lethal.SimpleCharStream
tabSize - Variable in class de.saar.chorus.domgraph.chart.rtgparser.SimpleCharStream
tabSize - Variable in class de.saar.chorus.domgraph.codec.domcon.SimpleCharStream
tabSize - Variable in class de.saar.chorus.domgraph.codec.glue.SimpleCharStream
tabSize - Variable in class de.saar.chorus.domgraph.codec.holesem.SimpleCharStream
tabSize - Variable in class de.saar.chorus.domgraph.codec.mrs.SimpleCharStream
tabSize - Variable in class de.saar.chorus.domgraph.codec.rmrs.SimpleCharStream
term() - Method in class de.saar.chorus.domgraph.chart.lethal.RewritingSystemParser
Term() - Method in class de.saar.chorus.domgraph.codec.holesem.HolesemComsemInputCodec
TermOutputCodec - Class in de.saar.chorus.domgraph.codec.term: A generic output codec for terms.
TermOutputCodec(String) - Constructor for class de.saar.chorus.domgraph.codec.term.TermOutputCodec: Construct a new term output codec with the given subterm separator (e.g. "," for Prolog, " " for Oz).
theircountFtaTrees(FTA) - Static method in class de.saar.chorus.domgraph.chart.lethal.RelativeNormalFormsComputer
thenWhat(E) - Method in class de.saar.swing.ResumingSwingThread
theRoot - Variable in class de.saar.chorus.domgraph.chart.SplitComputer
token - Variable in class de.saar.chorus.domgraph.chart.lethal.RewritingSystemParser: Current token.
token - Variable in class de.saar.chorus.domgraph.chart.rtgparser.RtgParser: Current token.
token - Variable in class de.saar.chorus.domgraph.codec.domcon.DomconOzInputCodec: Current token.
token - Variable in class de.saar.chorus.domgraph.codec.glue.GlueInputCodec: Current token.
token - Variable in class de.saar.chorus.domgraph.codec.holesem.HolesemComsemInputCodec: Current token.
token - Variable in class de.saar.chorus.domgraph.codec.mrs.MrsPrologInputCodec: Current token.
token - Variable in class de.saar.chorus.domgraph.codec.rmrs.RmrsDomconInputCodec: Current token.
Token - Class in de.saar.chorus.domgraph.chart.lethal: Describes the input token stream.
Token - Class in de.saar.chorus.domgraph.chart.rtgparser: Describes the input token stream.
Token - Class in de.saar.chorus.domgraph.codec.domcon: Describes the input token stream.
Token - Class in de.saar.chorus.domgraph.codec.glue: Describes the input token stream.
Token - Class in de.saar.chorus.domgraph.codec.holesem: Describes the input token stream.
Token - Class in de.saar.chorus.domgraph.codec.mrs: Describes the input token stream.
Token - Class in de.saar.chorus.domgraph.codec.rmrs: Describes the input token stream.
Token() - Constructor for class de.saar.chorus.domgraph.chart.lethal.Token: No-argument constructor
Token() - Constructor for class de.saar.chorus.domgraph.chart.rtgparser.Token: No-argument constructor
Token() - Constructor for class de.saar.chorus.domgraph.codec.domcon.Token: No-argument constructor
Token() - Constructor for class de.saar.chorus.domgraph.codec.glue.Token: No-argument constructor
Token() - Constructor for class de.saar.chorus.domgraph.codec.holesem.Token: No-argument constructor
Token() - Constructor for class de.saar.chorus.domgraph.codec.mrs.Token: No-argument constructor
Token() - Constructor for class de.saar.chorus.domgraph.codec.rmrs.Token: No-argument constructor
Token(int) - Constructor for class de.saar.chorus.domgraph.chart.lethal.Token: Constructs a new token for the specified Image.
Token(int) - Constructor for class de.saar.chorus.domgraph.chart.rtgparser.Token: Constructs a new token for the specified Image.
Token(int) - Constructor for class de.saar.chorus.domgraph.codec.domcon.Token: Constructs a new token for the specified Image.
Token(int) - Constructor for class de.saar.chorus.domgraph.codec.glue.Token: Constructs a new token for the specified Image.
Token(int) - Constructor for class de.saar.chorus.domgraph.codec.holesem.Token: Constructs a new token for the specified Image.
Token(int) - Constructor for class de.saar.chorus.domgraph.codec.mrs.Token: Constructs a new token for the specified Image.
Token(int) - Constructor for class de.saar.chorus.domgraph.codec.rmrs.Token: Constructs a new token for the specified Image.
Token(int, String) - Constructor for class de.saar.chorus.domgraph.chart.lethal.Token: Constructs a new token for the specified Image and Kind.
Token(int, String) - Constructor for class de.saar.chorus.domgraph.chart.rtgparser.Token: Constructs a new token for the specified Image and Kind.
Token(int, String) - Constructor for class de.saar.chorus.domgraph.codec.domcon.Token: Constructs a new token for the specified Image and Kind.
Token(int, String) - Constructor for class de.saar.chorus.domgraph.codec.glue.Token: Constructs a new token for the specified Image and Kind.
Token(int, String) - Constructor for class de.saar.chorus.domgraph.codec.holesem.Token: Constructs a new token for the specified Image and Kind.
Token(int, String) - Constructor for class de.saar.chorus.domgraph.codec.mrs.Token: Constructs a new token for the specified Image and Kind.
Token(int, String) - Constructor for class de.saar.chorus.domgraph.codec.rmrs.Token: Constructs a new token for the specified Image and Kind.
token_source - Variable in class de.saar.chorus.domgraph.chart.lethal.RewritingSystemParser: Generated Token Manager.
token_source - Variable in class de.saar.chorus.domgraph.chart.rtgparser.RtgParser: Generated Token Manager.
token_source - Variable in class de.saar.chorus.domgraph.codec.domcon.DomconOzInputCodec: Generated Token Manager.
token_source - Variable in class de.saar.chorus.domgraph.codec.glue.GlueInputCodec: Generated Token Manager.
token_source - Variable in class de.saar.chorus.domgraph.codec.holesem.HolesemComsemInputCodec: Generated Token Manager.
token_source - Variable in class de.saar.chorus.domgraph.codec.mrs.MrsPrologInputCodec: Generated Token Manager.
token_source - Variable in class de.saar.chorus.domgraph.codec.rmrs.RmrsDomconInputCodec: Generated Token Manager.
tokenImage - Variable in exception de.saar.chorus.domgraph.chart.lethal.ParseException: This is a reference to the "tokenImage" array of the generated parser within which the parse error occurred.
tokenImage - Static variable in interface de.saar.chorus.domgraph.chart.lethal.RewritingSystemParserConstants: Literal token values.
tokenImage - Variable in exception de.saar.chorus.domgraph.chart.rtgparser.ParseException: This is a reference to the "tokenImage" array of the generated parser within which the parse error occurred.
tokenImage - Static variable in interface de.saar.chorus.domgraph.chart.rtgparser.RtgParserConstants: Literal token values.
tokenImage - Static variable in interface de.saar.chorus.domgraph.codec.domcon.DomconOzInputCodecConstants: Literal token values.
tokenImage - Variable in exception de.saar.chorus.domgraph.codec.domcon.ParseException: This is a reference to the "tokenImage" array of the generated parser within which the parse error occurred.
tokenImage - Static variable in interface de.saar.chorus.domgraph.codec.glue.GlueInputCodecConstants: Literal token values.
tokenImage - Variable in exception de.saar.chorus.domgraph.codec.glue.ParseException: This is a reference to the "tokenImage" array of the generated parser within which the parse error occurred.
tokenImage - Static variable in interface de.saar.chorus.domgraph.codec.holesem.HolesemComsemInputCodecConstants: Literal token values.
tokenImage - Variable in exception de.saar.chorus.domgraph.codec.holesem.ParseException: This is a reference to the "tokenImage" array of the generated parser within which the parse error occurred.
tokenImage - Static variable in interface de.saar.chorus.domgraph.codec.mrs.MrsPrologInputCodecConstants: Literal token values.
tokenImage - Variable in exception de.saar.chorus.domgraph.codec.mrs.ParseException: This is a reference to the "tokenImage" array of the generated parser within which the parse error occurred.
tokenImage - Variable in exception de.saar.chorus.domgraph.codec.rmrs.ParseException: This is a reference to the "tokenImage" array of the generated parser within which the parse error occurred.
tokenImage - Static variable in interface de.saar.chorus.domgraph.codec.rmrs.RmrsDomconInputCodecConstants: Literal token values.
TokenMgrError - Error in de.saar.chorus.domgraph.chart.lethal: Token Manager Error.
TokenMgrError - Error in de.saar.chorus.domgraph.chart.rtgparser: Token Manager Error.
TokenMgrError - Error in de.saar.chorus.domgraph.codec.domcon: Token Manager Error.
TokenMgrError - Error in de.saar.chorus.domgraph.codec.glue: Token Manager Error.
TokenMgrError - Error in de.saar.chorus.domgraph.codec.holesem: Token Manager Error.
TokenMgrError - Error in de.saar.chorus.domgraph.codec.mrs: Token Manager Error.
TokenMgrError - Error in de.saar.chorus.domgraph.codec.rmrs: Token Manager Error.
TokenMgrError() - Constructor for error de.saar.chorus.domgraph.chart.lethal.TokenMgrError: No arg constructor.
TokenMgrError() - Constructor for error de.saar.chorus.domgraph.chart.rtgparser.TokenMgrError: No arg constructor.
TokenMgrError() - Constructor for error de.saar.chorus.domgraph.codec.domcon.TokenMgrError: No arg constructor.
TokenMgrError() - Constructor for error de.saar.chorus.domgraph.codec.glue.TokenMgrError: No arg constructor.
TokenMgrError() - Constructor for error de.saar.chorus.domgraph.codec.holesem.TokenMgrError: No arg constructor.
TokenMgrError() - Constructor for error de.saar.chorus.domgraph.codec.mrs.TokenMgrError: No arg constructor.
TokenMgrError() - Constructor for error de.saar.chorus.domgraph.codec.rmrs.TokenMgrError: No arg constructor.
TokenMgrError(boolean, int, int, int, String, char, int) - Constructor for error de.saar.chorus.domgraph.chart.lethal.TokenMgrError: Full Constructor.
TokenMgrError(boolean, int, int, int, String, char, int) - Constructor for error de.saar.chorus.domgraph.chart.rtgparser.TokenMgrError: Full Constructor.
TokenMgrError(boolean, int, int, int, String, char, int) - Constructor for error de.saar.chorus.domgraph.codec.domcon.TokenMgrError: Full Constructor.
TokenMgrError(boolean, int, int, int, String, char, int) - Constructor for error de.saar.chorus.domgraph.codec.glue.TokenMgrError: Full Constructor.
TokenMgrError(boolean, int, int, int, String, char, int) - Constructor for error de.saar.chorus.domgraph.codec.holesem.TokenMgrError: Full Constructor.
TokenMgrError(boolean, int, int, int, String, char, int) - Constructor for error de.saar.chorus.domgraph.codec.mrs.TokenMgrError: Full Constructor.
TokenMgrError(boolean, int, int, int, String, char, int) - Constructor for error de.saar.chorus.domgraph.codec.rmrs.TokenMgrError: Full Constructor.
TokenMgrError(String, int) - Constructor for error de.saar.chorus.domgraph.chart.lethal.TokenMgrError: Constructor with message and reason.
TokenMgrError(String, int) - Constructor for error de.saar.chorus.domgraph.chart.rtgparser.TokenMgrError: Constructor with message and reason.
TokenMgrError(String, int) - Constructor for error de.saar.chorus.domgraph.codec.domcon.TokenMgrError: Constructor with message and reason.
TokenMgrError(String, int) - Constructor for error de.saar.chorus.domgraph.codec.glue.TokenMgrError: Constructor with message and reason.
TokenMgrError(String, int) - Constructor for error de.saar.chorus.domgraph.codec.holesem.TokenMgrError: Constructor with message and reason.
TokenMgrError(String, int) - Constructor for error de.saar.chorus.domgraph.codec.mrs.TokenMgrError: Constructor with message and reason.
TokenMgrError(String, int) - Constructor for error de.saar.chorus.domgraph.codec.rmrs.TokenMgrError: Constructor with message and reason.
toLispString() - Method in class de.saar.chorus.domgraph.chart.lethal.WildcardTerm
toplevelSubgraphs - Variable in class de.saar.chorus.domgraph.chart.ConcreteRegularTreeGrammar
toPrettyString() - Method in class de.saar.chorus.domgraph.chart.lethal.RewriteSystem
toString() - Method in class de.saar.chorus.domgraph.chart.DecoratedNonterminal
toString() - Method in class de.saar.chorus.domgraph.chart.lethal.Annotator
toString() - Method in class de.saar.chorus.domgraph.chart.lethal.CompoundWithIndex
toString() - Method in class de.saar.chorus.domgraph.chart.lethal.RewriteSystem.Rule
toString() - Method in class de.saar.chorus.domgraph.chart.lethal.RewriteSystem
toString() - Method in class de.saar.chorus.domgraph.chart.lethal.Token: Returns the image.
toString() - Method in class de.saar.chorus.domgraph.chart.lethal.WildcardTerm
toString() - Method in class de.saar.chorus.domgraph.chart.RegularTreeGrammar: Returns a string representation of the chart.
toString() - Method in class de.saar.chorus.domgraph.chart.rtgparser.StringNonterminal
toString() - Method in class de.saar.chorus.domgraph.chart.rtgparser.Token: Returns the image.
toString() - Method in class de.saar.chorus.domgraph.chart.SolvedFormSpec
toString() - Method in class de.saar.chorus.domgraph.chart.Split
toString() - Method in class de.saar.chorus.domgraph.chart.SubgraphNonterminal
toString() - Method in class de.saar.chorus.domgraph.codec.domcon.Token: Returns the image.
toString() - Method in class de.saar.chorus.domgraph.codec.glue.Token: Returns the image.
toString() - Method in class de.saar.chorus.domgraph.codec.holesem.Token: Returns the image.
toString() - Method in exception de.saar.chorus.domgraph.codec.MalformedDomgraphException
toString() - Method in class de.saar.chorus.domgraph.codec.mrs.Token: Returns the image.
toString() - Method in class de.saar.chorus.domgraph.codec.rmrs.Token: Returns the image.
toString() - Method in class de.saar.chorus.domgraph.graph.CompactificationRecord.NodeChildPair
toString() - Method in class de.saar.chorus.domgraph.graph.CompactificationRecord
toString() - Method in class de.saar.chorus.domgraph.graph.DomEdge: Computes a string representation of this pair.
toString() - Method in class de.saar.chorus.domgraph.graph.DomGraph
toString() - Method in class de.saar.chorus.domgraph.graph.EdgeData: Returns a string representation of this edge-data object.
toString() - Method in class de.saar.chorus.domgraph.graph.NodeData: Returns a string representation of this node-data object.
toString() - Method in class de.saar.chorus.domgraph.graph.NodeLabels
toString() - Method in exception de.saar.chorus.domgraph.utool.AbstractOptionsParsingException
toString() - Method in class de.saar.chorus.gecode.Extent
toString() - Method in class de.saar.chorus.gecode.Shape
toString() - Method in class de.saar.chorus.jgraph.improvedjgraph.EdgeDataAdapter
toString() - Method in class de.saar.chorus.jgraph.improvedjgraph.NodeDataAdapter
toString() - Method in class de.saar.chorus.ubench.jdomgraph.EdgeData
toString() - Method in class de.saar.chorus.ubench.jdomgraph.EdgeType
toString() - Method in class de.saar.chorus.ubench.jdomgraph.Fragment.FragmentUserObject: This has to return "null" because the DefaultGraphCell representing the fragment may not display its own text.
toString() - Method in class de.saar.chorus.ubench.jdomgraph.Fragment
toString() - Method in class de.saar.chorus.ubench.jdomgraph.NodeData
toString() - Method in class de.saar.chorus.ubench.jdomgraph.NodeType
toString(Set<String>) - Method in class de.saar.chorus.domgraph.chart.DecoratedNonterminal
toString(Set<String>) - Method in interface de.saar.chorus.domgraph.chart.GraphBasedNonterminal
toString(Set<String>) - Method in class de.saar.chorus.domgraph.chart.SubgraphNonterminal
toTreeWithVariables() - Method in class de.saar.chorus.domgraph.chart.lethal.WildcardTerm
towerXDistance - Static variable in class de.saar.chorus.domgraph.layout.DomGraphLayoutParameters
TransitionRhs() - Method in class de.saar.chorus.domgraph.chart.rtgparser.RtgParser
Transitions() - Method in class de.saar.chorus.domgraph.chart.rtgparser.RtgParser
TRANSITIONS - Static variable in interface de.saar.chorus.domgraph.chart.rtgparser.RtgParserConstants: RegularExpression Id.
translate(int, int, Map<String, Integer>, Map<String, Integer>) - Method in class de.saar.chorus.domgraph.layout.domgraphlayout.FragmentTower: TODO comment me!
TREE - Enum constant in enum de.saar.chorus.domgraph.graph.EdgeType
TREELAYOUT - Enum constant in enum de.saar.chorus.ubench.Preferences.LayoutType
TreeLayoutSettings - Class in de.saar.chorus.jgraph.improvedjgraph.layout.treelayout: Storing the general parameters (distances between nodes and fragments).
TreeLayoutSettings() - Constructor for class de.saar.chorus.jgraph.improvedjgraph.layout.treelayout.TreeLayoutSettings
TropicalSemiring - Class in de.saar.chorus.domgraph.chart.wrtg
TropicalSemiring() - Constructor for class de.saar.chorus.domgraph.chart.wrtg.TropicalSemiring

U

Ubench - Class in de.saar.chorus.newubench
Ubench - Class in de.saar.chorus.ubench: The main class of Ubench.
UbenchMenu - Class in de.saar.chorus.newubench
UbenchMenu() - Constructor for class de.saar.chorus.newubench.UbenchMenu
UbenchTab - Class in de.saar.chorus.newubench
UbenchTab(String) - Constructor for class de.saar.chorus.newubench.UbenchTab
unlabelled - Static variable in class de.saar.chorus.ubench.jdomgraph.NodeType
UNLABELLED - Enum constant in enum de.saar.chorus.domgraph.graph.NodeType
unlabelledVal - Static variable in class de.saar.chorus.ubench.jdomgraph.NodeType
unmark(JDomGraph) - Static method in class de.saar.chorus.ubench.chartviewer.FormatManager: Reset a whole graph's color to the default colors.
unmark(JDomGraph, Map<CellView, AttributeMap>) - Static method in class de.saar.chorus.ubench.chartviewer.FormatManager
UnsolvableSubgraphException - Exception in de.saar.chorus.domgraph.chart
UnsolvableSubgraphException() - Constructor for exception de.saar.chorus.domgraph.chart.UnsolvableSubgraphException
UpdateLineColumn(char) - Method in class de.saar.chorus.domgraph.chart.lethal.SimpleCharStream
UpdateLineColumn(char) - Method in class de.saar.chorus.domgraph.chart.rtgparser.SimpleCharStream
UpdateLineColumn(char) - Method in class de.saar.chorus.domgraph.codec.domcon.SimpleCharStream
UpdateLineColumn(char) - Method in class de.saar.chorus.domgraph.codec.glue.SimpleCharStream
UpdateLineColumn(char) - Method in class de.saar.chorus.domgraph.codec.holesem.SimpleCharStream
UpdateLineColumn(char) - Method in class de.saar.chorus.domgraph.codec.mrs.SimpleCharStream
UpdateLineColumn(char) - Method in class de.saar.chorus.domgraph.codec.rmrs.SimpleCharStream
updateProgressBar(int) - Method in class de.saar.chorus.newubench.UbenchTab
updateUI() - Method in class de.saar.swing.JMultiLineToolTip
UserProperties - Class in de.saar.chorus.domgraph: A class representing user-specific properties which are stored in a File ".utool" in the user's home directory.
UserProperties() - Constructor for class de.saar.chorus.domgraph.UserProperties
Utool - Class in de.saar.chorus.domgraph.utool: The Utool main program for accessing the Domgraph functionality from the command-line.
Utool() - Constructor for class de.saar.chorus.domgraph.utool.Utool
UtoolReducer - Class in de.saar.chorus.domgraph.chart.lethal
UtoolReducer() - Constructor for class de.saar.chorus.domgraph.chart.lethal.UtoolReducer

V

validEdges - Variable in class de.saar.chorus.domgraph.layout.treelayout.DomGraphNodeCursor
Value() - Method in class de.saar.chorus.domgraph.codec.mrs.MrsPrologInputCodec
valueChanged(ListSelectionEvent) - Method in class de.saar.chorus.ubench.chartviewer.ChartViewer: This handels selection changes of the table and is responsible for marking splits and subgraphs in the table itself and in the main window.
valueOf(String) - Static method in enum de.saar.chorus.domgraph.codec.mrs.LabelStyle: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum de.saar.chorus.domgraph.codec.mrs.Normalisation: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum de.saar.chorus.domgraph.graph.EdgeType: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum de.saar.chorus.domgraph.graph.NodeType: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum de.saar.chorus.domgraph.layout.LayoutOptions.LabelType: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum de.saar.chorus.domgraph.utool.AbstractOptions.Operation: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum de.saar.chorus.domgraph.utool.server.ConnectionManager.State: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum de.saar.chorus.ubench.Preferences.LayoutType: Returns the enum constant of this type with the specified name.
values() - Static method in enum de.saar.chorus.domgraph.codec.mrs.LabelStyle: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum de.saar.chorus.domgraph.codec.mrs.Normalisation: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum de.saar.chorus.domgraph.graph.EdgeType: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum de.saar.chorus.domgraph.graph.NodeType: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum de.saar.chorus.domgraph.layout.LayoutOptions.LabelType: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum de.saar.chorus.domgraph.utool.AbstractOptions.Operation: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum de.saar.chorus.domgraph.utool.server.ConnectionManager.State: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum de.saar.chorus.ubench.Preferences.LayoutType: Returns an array containing the constants of this enum type, in the order they are declared.
VAR - Static variable in interface de.saar.chorus.domgraph.codec.glue.GlueInputCodecConstants: RegularExpression Id.
Variable() - Method in class de.saar.chorus.domgraph.codec.domcon.DomconOzInputCodec
Variable() - Method in class de.saar.chorus.domgraph.codec.holesem.HolesemComsemInputCodec
Variable() - Method in class de.saar.chorus.domgraph.codec.mrs.MrsPrologInputCodec
VARIABLE - Static variable in interface de.saar.chorus.domgraph.chart.lethal.RewritingSystemParserConstants: RegularExpression Id.
VARIABLE - Static variable in interface de.saar.chorus.domgraph.codec.mrs.MrsPrologInputCodecConstants: RegularExpression Id.
VariableAsHole() - Method in class de.saar.chorus.domgraph.codec.holesem.HolesemComsemInputCodec
VariableAsLabel() - Method in class de.saar.chorus.domgraph.codec.holesem.HolesemComsemInputCodec
VariableOrAtom() - Method in class de.saar.chorus.domgraph.codec.holesem.HolesemComsemInputCodec
varify(String) - Static method in class de.saar.chorus.domgraph.codec.CodecTools: Computes a string that is a valid Prolog variable from the argument.
Varlist() - Method in class de.saar.chorus.domgraph.codec.domcon.DomconOzInputCodec
Varlist() - Method in class de.saar.chorus.domgraph.codec.holesem.HolesemComsemInputCodec
VarOrAtom() - Method in class de.saar.chorus.domgraph.codec.glue.GlueInputCodec

W

waitForAndCleanup() - Method in class de.saar.convenientprocess.ConvenientProcess
waitForState(int) - Method in class de.saar.convenientprocess.ReadyProcess
wccs() - Method in class de.saar.chorus.domgraph.graph.DomGraph: Computes the weakly connected components of the graph.
wccs() - Method in class de.saar.chorus.jgraph.improvedjgraph.ImprovedJGraph
wccs(Set<String>) - Method in class de.saar.chorus.domgraph.graph.DomGraph: Computes the weakly connected components of a subgraph.
WeakeningRule() - Method in class de.saar.chorus.domgraph.chart.lethal.RewritingSystemParser
WeightedRegularTreeGrammar<E extends GraphBasedNonterminal,T extends Comparable<T>> - Class in de.saar.chorus.domgraph.chart.wrtg
WeightedRegularTreeGrammar(Semiring<T>) - Constructor for class de.saar.chorus.domgraph.chart.wrtg.WeightedRegularTreeGrammar
WILDCARD - Static variable in interface de.saar.chorus.domgraph.chart.lethal.RewritingSystemParserConstants: RegularExpression Id.
WildcardTerm - Class in de.saar.chorus.domgraph.chart.lethal
WildcardTerm(Term) - Constructor for class de.saar.chorus.domgraph.chart.lethal.WildcardTerm
windowClosing(WindowEvent) - Method in class de.saar.chorus.newubench.CommandListener

X

x() - Method in class de.saar.chorus.gecode.Coordinate

Y

y() - Method in class de.saar.chorus.gecode.Coordinate

Z

zero() - Method in class de.saar.chorus.domgraph.chart.wrtg.LikelihoodSemiring
zero() - Method in class de.saar.chorus.domgraph.chart.wrtg.RealSemiring
zero() - Method in interface de.saar.chorus.domgraph.chart.wrtg.Semiring
zero() - Method in class de.saar.chorus.domgraph.chart.wrtg.TropicalSemiring

_

_displayCodecs - Enum constant in enum de.saar.chorus.domgraph.utool.AbstractOptions.Operation
_helpOptions - Enum constant in enum de.saar.chorus.domgraph.utool.AbstractOptions.Operation
_version - Enum constant in enum de.saar.chorus.domgraph.utool.AbstractOptions.Operation

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form