Package 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.

Related Packages

Package	Description
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.graph	Provides basic classes for representing labelled dominance graphs and basic algorithms running on them.
de.saar.chorus.domgraph.layout
de.saar.chorus.domgraph.utool	Provides the main programme for Utool.

Class	Description
ExampleManager	An example manager for facilitating access to example input files.
ExampleManager.ParserException	A parser exception that occurred while reading an examples specification file.
GlobalDomgraphProperties	Provides methods for accessing global properties of the Domgraph system, such as the version number.
UserProperties	A class representing user-specific properties which are stored in a File ".utool" in the user's home directory.