de.uka.ilkd.key.symbolic_execution.slicing
Classes
AbstractBackwardSlicer
AbstractSlicer
AbstractSlicer.SequentInfo
Access
Location
ThinBackwardSlicer