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 MemoryNode
asNode
in interface NodeInterface