public class GlobalCounter
extends java.lang.Object
| Modifier and Type | Field and Description |
|---|---|
static long |
AL_TIME |
static long |
AL_TIME_AL |
static long |
AL_TIME_PRE |
static long |
AL_TIME_SUB |
static int |
AL_TOTAL_LOG |
static int |
AL_TOTAL_PAIR |
static int |
AL_TOTAL_PAIR_LOG |
static int |
AL_TOTAL_PAIR_MODEL |
static int |
AL_TOTAL_PAIR_MODEL_EW |
static int |
AL_TOTAL_PAIR_SYNC |
static int |
MG_EDGES |
static int |
MG_NODES |
static int |
MG_NODES_FINAL |
static long |
MG_TO_TCG_TIME |
static int |
PN_ARCS |
static int |
PN_LABELS |
static int |
PN_LABELS_NONEMPTY |
static int |
PN_PLACES |
static long |
PN_TO_MG_TIME |
static int |
PN_TRANS |
static int |
TCG_EDGES |
static int |
TCG_EDGES_EMPTY_SUC |
static int |
TCG_EDGES_NON_EMPTY_SUC |
static int |
TCG_NODES |
static int |
TF_CHANGES |
static int |
TF_TRACE_LENGTH |
static int |
TF_VISITS |
| Constructor and Description |
|---|
GlobalCounter() |
| Modifier and Type | Method and Description |
|---|---|
static java.lang.String |
CSVPrecompStats(java.lang.String model) |
static java.lang.String |
PrintStats() |
static java.lang.String |
PrintTime(long time) |
public static int PN_PLACES
public static int PN_TRANS
public static int PN_ARCS
public static int PN_LABELS
public static int PN_LABELS_NONEMPTY
public static int MG_NODES
public static int MG_EDGES
public static int MG_NODES_FINAL
public static int TCG_NODES
public static int TCG_EDGES
public static int TCG_EDGES_NON_EMPTY_SUC
public static int TCG_EDGES_EMPTY_SUC
public static int TF_TRACE_LENGTH
public static int TF_VISITS
public static int TF_CHANGES
public static int AL_TOTAL_LOG
public static int AL_TOTAL_PAIR
public static int AL_TOTAL_PAIR_SYNC
public static int AL_TOTAL_PAIR_LOG
public static int AL_TOTAL_PAIR_MODEL
public static int AL_TOTAL_PAIR_MODEL_EW
public static long PN_TO_MG_TIME
public static long MG_TO_TCG_TIME
public static long AL_TIME
public static long AL_TIME_PRE
public static long AL_TIME_SUB
public static long AL_TIME_AL