Interface Analysis
- All Known Implementing Classes:
AbstractAnalysis,AbstractExtensionAnalysis,ApproxAnalysis,ConcurrentApproxAnalysis,ConcurrentExactAnalysis,ExactAnalysis,GroundedAnalysis,PreferredAnalysis
public interface Analysis
The interface of the analyses in arg.peaf
- Author:
- Taha Dogan Gunes
-
Method Summary
Modifier and TypeMethodDescriptionCreates an AnalysisResult to store the results of the analysis
-
Method Details
-
query
Creates an AnalysisResult to store the results of the analysis- Parameters:
args- the set of arguments necessary for the query- Returns:
- an AnalysisResult object
-