public static class Uma_RepairModel_RemoveDeadParts_Plugin.RepairStats
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
int |
added_arcs |
int |
added_arcs_max |
int |
added_places |
int |
added_places_max |
int |
added_trans |
int |
added_trans_max |
int |
num_subprocesses |
int |
removed_arcs |
int |
removed_places |
int |
removed_trans |
Constructor and Description |
---|
RepairStats() |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
toString() |
public int num_subprocesses
public int added_trans
public int added_places
public int added_arcs
public int added_trans_max
public int added_places_max
public int added_arcs_max
public int removed_trans
public int removed_places
public int removed_arcs