Represents an array index.
Represents a map key.
Trait for path indexes (array indexes, map keys, and record field names).
Represents a record field name.
An abstract class for shared memory whose update granularity is one item in the map.
Concrete subclass of SharedMap
that implements sharing within one JVM using a java.util.concurrent.ConcurrentHashMap
.
Represents the state of a collection of PFA cells and pools, usually the ones that are shared across multiple instances.