Uses of Class
de.saar.chorus.domgraph.chart.SolverNotApplicableException

Packages that use SolverNotApplicableException

Package	Description
de.saar.chorus.domgraph.chart	Provides classes for working with dominance charts.
de.saar.chorus.domgraph.chart.lethal

Uses of SolverNotApplicableException in de.saar.chorus.domgraph.chart

Methods in de.saar.chorus.domgraph.chart that throw SolverNotApplicableException

Modifier and Type	Method	Description
static boolean	OneSplitSource.isGraphSolvable(DomGraph graph)
static boolean	ChartSolver.solve(DomGraph graph, ConcreteRegularTreeGrammar<SubgraphNonterminal> chart)	Solves the given dominance graph using a CompleteSplitSource.
static <E extends GraphBasedNonterminal> boolean	ChartSolver.solve(DomGraph graph, ConcreteRegularTreeGrammar<E> chart, SplitSource<E> splitsource)	Solves the given dominance graph using a specific split source.

Uses of SolverNotApplicableException in de.saar.chorus.domgraph.chart.lethal

Methods in de.saar.chorus.domgraph.chart.lethal that throw SolverNotApplicableException

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