Class PreferredAnalysis

All Implemented Interfaces:
Analysis, ExtensionAnalysis

public class PreferredAnalysis extends AbstractExtensionAnalysis
Computes the preferred extension of the given PEAF

Uses `jargsemsat` for computing extensions.

Author:
Taha Dogan Gunes
  • Constructor Details

    • PreferredAnalysis

      public PreferredAnalysis(NamedPEAFTheory peaf)
      Constructor
      Parameters:
      peaf - NamedPEAFTheory