Uses of Class
de.saar.chorus.domgraph.graph.DomGraph.PreprocessingException

Packages that use DomGraph.PreprocessingException

Package	Description
de.saar.chorus.domgraph.chart.lethal
de.saar.chorus.domgraph.graph	Provides basic classes for representing labelled dominance graphs and basic algorithms running on them.

Uses of DomGraph.PreprocessingException in de.saar.chorus.domgraph.chart.lethal

Methods in de.saar.chorus.domgraph.chart.lethal that throw DomGraph.PreprocessingException

Modifier and Type	Method	Description
static Chart	UtoolReducer.solve(NodeLabels labels, DomGraph graph)

Uses of DomGraph.PreprocessingException in de.saar.chorus.domgraph.graph

Methods in de.saar.chorus.domgraph.graph that throw DomGraph.PreprocessingException

Modifier and Type	Method	Description
DomGraph	DomGraph.preprocess()	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.