Uses of Class
compiler.StaticAnalyzer

Packages that use StaticAnalyzer
main   
 

Uses of StaticAnalyzer in main
 

Fields in main declared as StaticAnalyzer
(package private)  StaticAnalyzer Felix.sa
          Static Analyzer, which analyzes the property of each predicates according to rules.