# Interface: PredicateReachabilityBlocked

Defined in: packages/core/src/transformers/PredicateReachabilityAnalyzer.ts:78

Properties

scopeId

scopeId: string

Defined in: packages/core/src/transformers/PredicateReachabilityAnalyzer.ts:79

---

relation

relation: PredicateReachabilityRelation

Defined in: packages/core/src/transformers/PredicateReachabilityAnalyzer.ts:80

---

code

code: string

Defined in: packages/core/src/transformers/PredicateReachabilityAnalyzer.ts:81

---

reason

reason: string

Defined in: packages/core/src/transformers/PredicateReachabilityAnalyzer.ts:82

---

via?

optional via: readonly string[]

Defined in: packages/core/src/transformers/PredicateReachabilityAnalyzer.ts:83