Class AreaManager
java.lang.Object
de.ipk_gatersleben.ag_nw.graffiti.plugins.layouters.pattern_springembedder.clusterCommands.AreaManager
public class AreaManager extends Object
-
Constructor Summary
Constructors Constructor Description AreaManager(Graph g)
-
Method Summary
Modifier and Type Method Description void
claimNodePositions()
-
Constructor Details
-
AreaManager
-
-
Method Details
-
claimNodePositions
public void claimNodePositions()
-