Uses of Class
de.saar.chorus.gecode.Shape
Packages that use Shape
Package
Description
Provides the classes for the tree layout algorithm used
in the Gecode Explorer.
-
Uses of Shape in de.saar.chorus.domgraph.layout
Fields in de.saar.chorus.domgraph.layout with type parameters of type ShapeMethods in de.saar.chorus.domgraph.layout that return ShapeMethods in de.saar.chorus.domgraph.layout that return types with arguments of type ShapeMethods in de.saar.chorus.domgraph.layout with parameters of type ShapeModifier and TypeMethodDescriptionvoidFragmentLayoutAlgorithm.putNodeToShape(String node, Shape shape) -
Uses of Shape in de.saar.chorus.domgraph.layout.solvedformlayout
Methods in de.saar.chorus.domgraph.layout.solvedformlayout that return ShapeMethods in de.saar.chorus.domgraph.layout.solvedformlayout with parameters of type ShapeModifier and TypeMethodDescriptionvoidSFGecodeTreeLayout.putNodeToShape(String node, Shape shape) -
Uses of Shape in de.saar.chorus.gecode
Methods in de.saar.chorus.gecode that return ShapeMethods in de.saar.chorus.gecode with parameters of type ShapeConstructors in de.saar.chorus.gecode with parameters of type Shape -
Uses of Shape in de.saar.chorus.jgraph.improvedjgraph.layout
Methods in de.saar.chorus.jgraph.improvedjgraph.layout that return ShapeModifier and TypeMethodDescriptionabstract ShapeImprovedJGraphLayout.getNodesToShape(org.jgraph.graph.DefaultGraphCell node) Methods in de.saar.chorus.jgraph.improvedjgraph.layout with parameters of type ShapeModifier and TypeMethodDescriptionabstract voidImprovedJGraphLayout.putNodeToShape(org.jgraph.graph.DefaultGraphCell node, Shape shape) -
Uses of Shape in de.saar.chorus.jgraph.improvedjgraph.layout.treelayout
Methods in de.saar.chorus.jgraph.improvedjgraph.layout.treelayout that return ShapeModifier and TypeMethodDescriptionGecodeTreeLayout.getNodesToShape(org.jgraph.graph.DefaultGraphCell node) Methods in de.saar.chorus.jgraph.improvedjgraph.layout.treelayout with parameters of type ShapeModifier and TypeMethodDescriptionvoidGecodeTreeLayout.putNodeToShape(org.jgraph.graph.DefaultGraphCell node, Shape shape)