Uses of Class
de.saar.chorus.ubench.jdomgraph.Fragment

Packages that use Fragment

Package	Description
de.saar.chorus.ubench.jdomgraph	Provides basic classes used in the Underspecification Workbench.

Uses of Fragment in de.saar.chorus.ubench.jdomgraph

Methods in de.saar.chorus.ubench.jdomgraph that return Fragment

Modifier and Type	Method	Description
Fragment	JDomGraph.addFragment(Fragment fragment)

Methods in de.saar.chorus.ubench.jdomgraph with parameters of type Fragment

Modifier and Type	Method	Description
void	Fragment.addAll(Fragment frag)	Add all nodes and edges of some other fragment to this one.
Fragment	JDomGraph.addFragment(Fragment fragment)