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