Enum Class MemoryEventNode.MemoryEventNodeKind

java.lang.Object
java.lang.Enum<MemoryEventNode.MemoryEventNodeKind>
edu.udel.cis.vsl.abc.ast.node.IF.acsl.MemoryEventNode.MemoryEventNodeKind
All Implemented Interfaces:
Serializable, Comparable<MemoryEventNode.MemoryEventNodeKind>, Constable
Enclosing interface:
MemoryEventNode

public static enum MemoryEventNode.MemoryEventNodeKind extends Enum<MemoryEventNode.MemoryEventNodeKind>