left

Narrowing

right
AProVE Help SystemTechniquesTechniques working on SCCsNarrowing

Description

One of the DP transformations is narrowing: an SCC consisting of pairs P ∪ { s → t } over a set of rules R can be narrowed to P ∪ {sμ1 → t1, ..., sμn → tn} iff

Application and Configuration

See the more general side about DP transformations.