Package it.unive.lisa

Class Summary

Class	Description
LiSA	This is the central class of the LiSA library.
LiSAReport	A structured report containing the information about an analysis that has successfully completed.
LiSARunInfo	A collector of the information about a competed analysis.
LiSARunner<A extends AbstractState<A>>	An auxiliary analysis runner for executing LiSA analysis.
VersionInfo	Compiler-generated class that holds information about versioning and other build metadata.

Exception Summary

Exception	Description
AnalysisException	A generic RuntimeException that indicates that something has gone wrong during the analysis.
AnalysisExecutionException	A generic AnalysisException that indicates that something has gone wrong during the analysis.
AnalysisSetupException	An AnalysisException that happens during the setup of the analysis.