Packages

de.saar.basic
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	Provides classes for working with dominance charts.
de.saar.chorus.domgraph.codec	Provides basic classes for implementing codecs.
de.saar.chorus.domgraph.codec.basic	Provides some basic codecs which are not tied to any particular underspecification formalism.
de.saar.chorus.domgraph.codec.codegen
de.saar.chorus.domgraph.codec.domcon	Provides codecs for dealing with dominance constraints and dominance graphs.
de.saar.chorus.domgraph.codec.domgraph	Provides codecs for representing labelled dominance graphs in various graph representation languages.
de.saar.chorus.domgraph.codec.glue	Provides a codec for converting axioms of Glue Semantics into labelled dominance graphs (EXPERIMENTAL).
de.saar.chorus.domgraph.codec.holesem	Provides a codec for converting USRs of Hole Semantics into labelled dominance graphs.
de.saar.chorus.domgraph.codec.mrs	Provides two codecs for converting USRs of Minimal Recursion Semantics into labelled dominance graphs.
de.saar.chorus.domgraph.codec.plugging	Provides two codecs for printing pluggings.
de.saar.chorus.domgraph.codec.term	Provides two codecs for printing simple solved forms as terms.
de.saar.chorus.domgraph.equivalence	Provides classes for redundancy elimination.
de.saar.chorus.domgraph.graph	Provides basic classes for representing labelled dominance graphs and basic algorithms running on them.
de.saar.chorus.domgraph.utool	Provides the main programme for Utool.
de.saar.chorus.domgraph.utool.server	Provides the main programme for Utool.
de.saar.chorus.jgraph	Provides various classes which extend the functionality of the JGraph package.
de.saar.chorus.treelayout	Provides the classes for the tree layout algorithm used in the Gecode Explorer.
de.saar.chorus.ubench	Provides basic classes used in the Underspecification Workbench.
de.saar.chorus.ubench.gui	Provides the classes for the Underspecification Workbench GUI.
de.saar.chorus.ubench.gui.chartviewer
de.saar.getopt	Provides a convenient abstraction over the GNU Getopt library.