public static final java.lang.String |
ARC_FREQUENCY |
"Arc frequency" |
public static final int |
DEFPLACEDIAM |
20 |
public static final int |
DEFTRANSHEIGHT |
35 |
public static final int |
DEFTRANSWIDTH |
50 |
public static final int |
ELASTICITYDIAM |
10 |
public static final int |
ELASTICITYHEIGHT |
10 |
public static final int |
ELASTICITYWIDTH |
10 |
public static final int |
MAX_ZOOM |
1200 |
public static final java.lang.String |
NONE |
"None" |
public static final java.lang.String |
PLACE_FREQUENCY |
"Place frequency" |
public static final java.lang.String |
PLACE_SOJOURN_TIME_AVG |
"Sojourn time (avg)" |
public static final java.lang.String |
PLACE_SOJOURN_TIME_MAX |
"Sojourn time (max)" |
public static final java.lang.String |
PLACE_SOJOURN_TIME_MIN |
"Sojourn time (min)" |
public static final java.lang.String |
PLACE_SOJOURN_TIME_STDDEV |
"Sojourn time (std.dev)" |
public static final java.lang.String |
PLACE_SYNC_TIME_AVG |
"Synchronization time (avg)" |
public static final java.lang.String |
PLACE_SYNC_TIME_MAX |
"Synchronization time (max)" |
public static final java.lang.String |
PLACE_SYNC_TIME_MIN |
"Synchronization time (min)" |
public static final java.lang.String |
PLACE_SYNC_TIME_STDDEV |
"Synchronization time (std. dev)" |
public static final java.lang.String |
PLACE_WAITING_TIME_AVG |
"Waiting time (avg)" |
public static final java.lang.String |
PLACE_WAITING_TIME_MAX |
"Waiting time (max)" |
public static final java.lang.String |
PLACE_WAITING_TIME_MIN |
"Waiting time (min)" |
public static final java.lang.String |
PLACE_WAITING_TIME_STDDEV |
"Waiting time (std.dev)" |
public static final java.lang.String |
TRANS_FREQUENCY |
"Transition frequency" |
public static final java.lang.String |
TRANS_SOJOURN_TIME_AVG |
"Sojourn time (avg)" |
public static final java.lang.String |
TRANS_SOJOURN_TIME_MAX |
"Sojourn time (max)" |
public static final java.lang.String |
TRANS_SOJOURN_TIME_MIN |
"Sojourn time (min)" |
public static final java.lang.String |
TRANS_SOJOURN_TIME_STDDEV |
"Sojourn time (std.dev)" |
public static final java.lang.String |
TRANS_THROUGHPUT_TIME_AVG |
"Throughput time (avg)" |
public static final java.lang.String |
TRANS_THROUGHPUT_TIME_MAX |
"Throughput time (max)" |
public static final java.lang.String |
TRANS_THROUGHPUT_TIME_MIN |
"Throughput time (min)" |
public static final java.lang.String |
TRANS_THROUGHPUT_TIME_STDDEV |
"Throughput time (std.dev)" |
public static final java.lang.String |
TRANS_UNIQUECASES |
"Total unique case" |
public static final java.lang.String |
TRANS_WAITING_TIME_AVG |
"Waiting time (avg)" |
public static final java.lang.String |
TRANS_WAITING_TIME_MAX |
"Waiting time (max)" |
public static final java.lang.String |
TRANS_WAITING_TIME_MIN |
"Waiting time (min)" |
public static final java.lang.String |
TRANS_WAITING_TIME_STDDEV |
"Waiting time (std.dev)" |