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

Packages that use SolvedFormSpec

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

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

Methods in de.saar.chorus.domgraph.chart that return SolvedFormSpec

Modifier and Type	Method	Description
SolvedFormSpec	SolvedFormIterator.getSolvedForm(int sf)	This returns a solved form represented by a List of DomEdge objects.
SolvedFormSpec	SolvedFormIterator.next()

Uses of SolvedFormSpec in de.saar.chorus.domgraph.chart.wrtg

Methods in de.saar.chorus.domgraph.chart.wrtg that return SolvedFormSpec

Modifier and Type	Method	Description
SolvedFormSpec	CheapestSolvedFormComputer.getCheapestSolvedForm()

Uses of SolvedFormSpec in de.saar.chorus.domgraph.graph

Methods in de.saar.chorus.domgraph.graph with parameters of type SolvedFormSpec

Modifier and Type	Method	Description
DomGraph	DomGraph.makeSolvedForm(SolvedFormSpec spec)	Returns a dominance graph that is just like the current graph, except that the dominance edges are replaced by those specified in domedges.
NodeLabels	NodeLabels.makeSolvedForm(SolvedFormSpec spec)