Class GroundedAnalysis

All Implemented Interfaces:
Analysis, ExtensionAnalysis

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

Uses `jargsemsat` for computing extensions.

Author:
Taha Dogan Gunes
  • Constructor Details

    • GroundedAnalysis

      public GroundedAnalysis(NamedPEAFTheory peaf)
      Construct a GroundedAnalysis
      Parameters:
      peaf - a PEAF theory