Class 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).