Constructor and Description |
---|
ContextMultiSetPCSDistinct(java.lang.String label,
int[] preds,
int[] succs,
int[] concs) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getLabel() |
int |
hashCode() |