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