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
-