Package | Description |
---|---|
de.uka.ilkd.key.symbolic_execution.slicing |
Class and Description |
---|
AbstractBackwardSlicer
Provides a basic implementation of backward slicing algorithms.
|
AbstractSlicer
Defines the basic functionality for slicing algorithms.
|
AbstractSlicer.SequentInfo
The result returned by
AbstractSlicer#analyzeSequent(Node) . |
Access |
Location
Represents a location like a local variable, method parameter, static field
or an instance field on a specified object.
|
Copyright © 2003-2019 The KeY-Project.