public enum MemoryGraphAbstraction extends java.lang.Enum<MemoryGraphAbstraction> implements BiFunction<MmuSubsystem,MmuTransition,java.lang.Object>
MemoryGraphAbstraction
contains different abstractions for memory access path transitions.
An abstraction function maps a transition into some abstract object or null
if the
transition is insignificant. Given an abstraction function, it is possible to divide the set
of all possible paths into equivalence classes.
Enum Constant and Description |
---|
BUFFER_ACCESS |
TARGET_BUFFER_ACCESS |
TRIVIAL |
UNIVERSAL |
Modifier and Type | Method and Description |
---|---|
static MemoryGraphAbstraction |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static MemoryGraphAbstraction[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
clone, compareTo, equals, finalize, getDeclaringClass, hashCode, name, ordinal, toString, valueOf
apply
public static final MemoryGraphAbstraction TRIVIAL
public static final MemoryGraphAbstraction UNIVERSAL
public static final MemoryGraphAbstraction BUFFER_ACCESS
public static final MemoryGraphAbstraction TARGET_BUFFER_ACCESS
public static MemoryGraphAbstraction[] values()
for (MemoryGraphAbstraction c : MemoryGraphAbstraction.values()) System.out.println(c);
public static MemoryGraphAbstraction valueOf(java.lang.String name)
name
- the name of the enum constant to be returned.java.lang.IllegalArgumentException
- if this enum type has no constant with the specified namejava.lang.NullPointerException
- if the argument is null