Class PNMLParameter


  • public class PNMLParameter
    extends java.lang.Object
    The default way of Prom to import PNML files is to scale them by a factor of 2.0 (see PnmlPosition.SCALE) We do not want to change this, so that we are compatible with importing and exporting PNML files
    Author:
    Andreas Rogge-Solti
    • Constructor Summary

      Constructors 
      Constructor Description
      PNMLParameter()  
    • Method Summary

      All Methods Static Methods Concrete Methods 
      Modifier and Type Method Description
      static double getScaleForViewInProM()  
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • PNMLParameter

        public PNMLParameter()
    • Method Detail

      • getScaleForViewInProM

        public static double getScaleForViewInProM()