public final class CoverageExtractor
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
static CoverageExtractor |
get() |
MemoryAccessPathChooser |
getPathChooser(MmuSubsystem memory,
MemoryGraphAbstraction abstraction,
MemoryAccessType type,
MemoryAccessConstraints constraints,
boolean discardEmptyTrajectories) |
java.util.List<MemoryAccessPathChooser> |
getPathChoosers(MmuSubsystem memory,
MemoryGraphAbstraction abstraction,
MemoryAccessType type,
MemoryAccessConstraints constraints,
boolean discardEmptyTrajectories) |
public static CoverageExtractor get()
public MemoryAccessPathChooser getPathChooser(MmuSubsystem memory, MemoryGraphAbstraction abstraction, MemoryAccessType type, MemoryAccessConstraints constraints, boolean discardEmptyTrajectories)
public java.util.List<MemoryAccessPathChooser> getPathChoosers(MmuSubsystem memory, MemoryGraphAbstraction abstraction, MemoryAccessType type, MemoryAccessConstraints constraints, boolean discardEmptyTrajectories)