Package dk.brics.tajs.options

Global analysis options.

See: Description

Class Summary

Class	Description
Options	Global analysis options.

Package dk.brics.tajs.options Description

Global analysis options.

Author:

Anders Møller <amoeller@cs.au.dk>