public class AggPNBehavioralAnalysisResult
extends java.util.HashMap<java.lang.String,java.lang.Object>
| Modifier and Type | Field and Description |
|---|---|
static java.lang.String |
BOUNDEDNESS |
static java.lang.String |
DEADTRANSITIONS |
static java.lang.String |
HOMEMARKINGSET |
static java.lang.String |
LIVENESS |
| Constructor and Description |
|---|
AggPNBehavioralAnalysisResult() |
| Modifier and Type | Method and Description |
|---|---|
boolean |
equals(java.lang.Object o) |
clear, clone, compute, computeIfAbsent, computeIfPresent, containsKey, containsValue, entrySet, forEach, get, getOrDefault, isEmpty, keySet, merge, put, putAll, putIfAbsent, remove, remove, replace, replace, replaceAll, size, values