public class PNMLPlaceRef
extends java.lang.Object
Constructor and Description |
---|
PNMLPlaceRef() |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getIdRef() |
int |
getTokens() |
void |
setIdRef(java.lang.String idRef) |
void |
setTokens(int tokens) |