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

Packages that use SolvedFormIterator

Package	Description
de.saar.chorus.newubench
de.saar.chorus.ubench	Provides the classes for the Underspecification Workbench GUI.

Uses of SolvedFormIterator in de.saar.chorus.newubench

Methods in de.saar.chorus.newubench with parameters of type SolvedFormIterator

Modifier and Type	Method	Description
void	TabManager.addSolvedFormTab(String label, SolvedFormIterator sfi, int numSolvedForms, DomGraph graph, NodeLabels labels)

Constructors in de.saar.chorus.newubench with parameters of type SolvedFormIterator

Modifier	Constructor	Description
protected	SolvedFormTab(String label, SolvedFormIterator sfi, int numSolvedForms, DomGraph graph, NodeLabels labels)

Uses of SolvedFormIterator in de.saar.chorus.ubench

Methods in de.saar.chorus.ubench with parameters of type SolvedFormIterator

Modifier and Type	Method	Description
boolean	Ubench.addSolvedFormTab(String label, DomGraph sf, SolvedFormIterator sfi, long no, long all, DomGraph graph, NodeLabels labels, String graphname, boolean atEnd)	Allows to set up a new Tab by submitting the DomGraph in solved form to display and a NodeLabels object along with the graph's name and some information about the source graph.