public static class AllSchemNamesToLay.RenameResult extends java.lang.Object
int
numArcManRenames
numArcRenames
numNameConflicts
numNodeManRenames
numNodeRenames
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public final int numArcRenames
public final int numNodeRenames
public final int numArcManRenames
public final int numNodeManRenames
public final int numNameConflicts