Package de.ipk_gatersleben.ag_nw.graffiti.plugins.layouters.pattern_springembedder.clusterCommands

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()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

AreaManager

public AreaManager(Graph g)

Method Details

claimNodePositions

public void claimNodePositions()