public enum GraphAbstraction extends java.lang.Enum<GraphAbstraction> implements BiFunction<MmuSubsystem,MmuTransition,java.lang.Object>
GraphAbstraction
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 GraphAbstraction |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static GraphAbstraction[] |
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 GraphAbstraction TRIVIAL
public static final GraphAbstraction UNIVERSAL
public static final GraphAbstraction BUFFER_ACCESS
public static final GraphAbstraction TARGET_BUFFER_ACCESS
public static GraphAbstraction[] values()
for (GraphAbstraction c : GraphAbstraction.values()) System.out.println(c);
public static GraphAbstraction 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