Class Uma_RepairModel_RemoveDeadParts_Plugin.RepairStats

    • Field Detail

      • num_subprocesses

        public int num_subprocesses
      • added_trans

        public int added_trans
      • added_places

        public int added_places
      • added_arcs

        public int added_arcs
      • added_trans_max

        public int added_trans_max
      • added_places_max

        public int added_places_max
      • added_arcs_max

        public int added_arcs_max
      • removed_trans

        public int removed_trans
      • removed_places

        public int removed_places
      • removed_arcs

        public int removed_arcs
    • Constructor Detail

      • RepairStats

        public RepairStats()
    • Method Detail

      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object