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 Link icon

    Modifier and Type
    Method
    Description
    AnalysisResult
    query(Set<BArgument> args)
    Creates an AnalysisResult to store the results of the analysis

  • Method Details Link icon

    • query Link icon

      AnalysisResult query(Set<BArgument> args)
      Creates an AnalysisResult to store the results of the analysis
      Parameters:
      args - the set of arguments necessary for the query
      Returns:
      an AnalysisResult object