Package | Description |
---|---|
gov.nasa.jpf.vm | |
gov.nasa.jpf.vm.serialize |
Modifier and Type | Method and Description |
---|---|
ReferenceArrayFields |
ReferenceArrayFields.clone() |
Modifier and Type | Method and Description |
---|---|
protected void |
DynamicAbstractionSerializer.processReferenceArray(ReferenceArrayFields fields) |