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 Type
    Method
    Description
    Creates 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