Constructor and Description |
---|
SelectiveCPAContext(Context base,
InstanceKey[] x) |
SelectiveCPAContext(Context base,
Map<ContextKey,InstanceKey> parameterObjs) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(Object other) |
ContextItem |
get(ContextKey name) |
int |
hashCode() |
protected final Context base
public SelectiveCPAContext(Context base, InstanceKey[] x)
public SelectiveCPAContext(Context base, Map<ContextKey,InstanceKey> parameterObjs)
public ContextItem get(ContextKey name)