Utool 3.4.1-SNAPSHOT API
Packages
Package
Description
Provides classes for accessing global properties of the system,
such as the Domgraph version number and the example database.
Provides classes for working with dominance charts.
Provides basic classes for implementing codecs.
Provides some basic codecs which are not
tied to any particular underspecification formalism.
Provides codecs for dealing with dominance constraints and
dominance graphs.
Provides codecs for representing labelled dominance graphs in various
graph representation languages.
Provides a codec for converting axioms of Glue Semantics into
labelled dominance graphs (EXPERIMENTAL).
Provides a codec for converting USRs of Hole Semantics into
labelled dominance graphs.
Provides two codecs for converting USRs of Minimal Recursion Semantics
into labelled dominance graphs.
Provides two codecs for printing pluggings.
Provides two codecs for printing simple solved forms as terms.
Provides basic classes for representing labelled dominance graphs
and basic algorithms running on them.
Provides the main programme for Utool.
Provides the main programme for Utool.
Provides the classes for the tree layout algorithm used
in the Gecode Explorer.
Provides various classes which extend the functionality of
the JGraph package.
Provides the classes for the Underspecification Workbench GUI.
Provides basic classes used in the Underspecification Workbench.
Provides a convenient abstraction over the GNU Getopt library.