public class PNMLParameter
extends java.lang.Object
PnmlPosition.SCALE
) We do not want
to change this, so that we are compatible with importing and exporting PNML
filesConstructor and Description |
---|
PNMLParameter() |
Modifier and Type | Method and Description |
---|---|
static double |
getScaleForViewInProM() |