public final class AbstractPathExtractor<T> extends java.lang.Object implements BiFunction<MmuSubsystem,Abstraction<T>,java.util.Map<java.util.Collection<T>,Chooser<MemoryAccessPath>>>
AbstractPathExtractor
extracts all possible abstract paths.Constructor and Description |
---|
AbstractPathExtractor() |
Modifier and Type | Method and Description |
---|---|
java.util.Map<java.util.Collection<T>,Chooser<MemoryAccessPath>> |
apply(MmuSubsystem memory,
Abstraction<T> abstraction) |
public java.util.Map<java.util.Collection<T>,Chooser<MemoryAccessPath>> apply(MmuSubsystem memory, Abstraction<T> abstraction)
apply
in interface BiFunction<MmuSubsystem,Abstraction<T>,java.util.Map<java.util.Collection<T>,Chooser<MemoryAccessPath>>>