# Class: PredicateReachabilityAnalyzer

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

Constructors

Constructor

new PredicateReachabilityAnalyzer(): PredicateReachabilityAnalyzer

Returns

PredicateReachabilityAnalyzer

Methods

analyze()

analyze(input, options): PredicateReachabilityResult

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

Parameters

input

PredicateReachabilityInput

options

PredicateReachabilityOptions = {}

Returns

PredicateReachabilityResult