public interface MemoryCheckpoint extends MemoryNode
FixedNode that kill a set of memory locations
represented by location identities (i.e. change a value at one or more locations that belong to
these location identities).| Modifier and Type | Interface and Description |
|---|---|
static interface |
MemoryCheckpoint.Multi |
static interface |
MemoryCheckpoint.Single |
static class |
MemoryCheckpoint.TypeAssertion |
| Modifier and Type | Method and Description |
|---|---|
FixedNode |
asNode() |
FixedNode asNode()
asNode in interface MemoryNodeasNode in interface NodeInterface