public class AggPNStructuralAnalysisResult
extends java.util.HashMap<java.lang.String,java.lang.Object>
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
FREECHOICE |
static java.lang.String |
PLACEINVARIANT |
static java.lang.String |
PTHANDLES |
static java.lang.String |
SCOMPONENTSET |
static java.lang.String |
SIPHONSET |
static java.lang.String |
TCOMPONENTSET |
static java.lang.String |
TPHANDLES |
static java.lang.String |
TRANSITIONINVARIANT |
static java.lang.String |
TRAPSET |
Constructor and Description |
---|
AggPNStructuralAnalysisResult() |
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
public static java.lang.String PLACEINVARIANT
public static java.lang.String TRANSITIONINVARIANT
public static java.lang.String TPHANDLES
public static java.lang.String PTHANDLES
public static java.lang.String SIPHONSET
public static java.lang.String TRAPSET
public static java.lang.String SCOMPONENTSET
public static java.lang.String TCOMPONENTSET
public static java.lang.String FREECHOICE