Class TrajectoryExtractor
- java.lang.Object
-
- ru.ispras.microtesk.mmu.test.engine.memory.TrajectoryExtractor
-
public final class TrajectoryExtractor extends java.lang.Object
Given a memory subsystem specification and an abstraction (labeling) function,TrajectoryExtractor
extracts all possible trajectories (abstract paths).
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static class
TrajectoryExtractor.Result
TrajectoryExtractor.Result
represents a result ofTrajectoryExtractor
.
-
Constructor Summary
Constructors Constructor Description TrajectoryExtractor(MmuSubsystem memory)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description TrajectoryExtractor.Result
apply(MemoryAccessType accessType, GraphAbstraction abstraction)
-
-
-
Constructor Detail
-
TrajectoryExtractor
public TrajectoryExtractor(MmuSubsystem memory)
-
-
Method Detail
-
apply
public TrajectoryExtractor.Result apply(MemoryAccessType accessType, GraphAbstraction abstraction)
-
-