|
|||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||
| 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. |
|
|||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||