public interface Abstraction<T> extends Function<MmuTransition,T>
Abstraction
is an interface for abstracting 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.