public class PNMLNet extends PNMLPage
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
PT_NET_CLASS |
graphics, name, toolspecific
Constructor and Description |
---|
PNMLNet() |
Modifier and Type | Method and Description |
---|---|
java.util.List<PNMLPage> |
getPage() |
java.lang.String |
getType() |
void |
setPage(java.util.List<PNMLPage> page) |
void |
setType(java.lang.String type) |
getId, getList, setId, setList
getGraphics, getName, getToolspecific, setGraphics, setName, setToolspecific
public static final java.lang.String PT_NET_CLASS