Predicate Analysis

This section describes how IAS performs predicate analysis.

See Dependency Violations and Assembly Modes for a description of dependency violations and assembly modes.

This section includes:

• Mutex Relation

• Imply Relation

• Predicate Relation Scope

• Predicate Relation Scope Exceptions

• Analysis of Combinations