Class PlaceStatistics

  • All Implemented Interfaces:
    IStatistics

    public class PlaceStatistics
    extends java.lang.Object
    implements IStatistics
    • Constructor Summary

      Constructors 
      Constructor Description
      PlaceStatistics​(java.util.UUID executionId)  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void initializePlaceStatistics​(java.util.Set<Place> places)  
      void write​(java.lang.String filename, boolean rewrite)  
      • Methods inherited from class java.lang.Object

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

      • PlaceStatistics

        public PlaceStatistics​(java.util.UUID executionId)
    • Method Detail

      • initializePlaceStatistics

        public void initializePlaceStatistics​(java.util.Set<Place> places)
      • write

        public void write​(java.lang.String filename,
                          boolean rewrite)
        Specified by:
        write in interface IStatistics