public static class TechEditWizardData.Element
extends java.lang.Object
Constructor and Description |
---|
TechEditWizardData.Element(java.lang.String p,
boolean size) |
Modifier and Type | Method and Description |
---|---|
java.util.List<com.sun.electric.tool.user.tecEditWizard.TechEditWizardData.LayerNode> |
getLayers() |