Package dk.brics.tajs

Main entry of the program analysis.

See: Description

Class Summary

Class	Description
Main	Main class for the TAJS program analysis.

Package dk.brics.tajs Description

Main entry of the program analysis.