Package org.tweetyproject.arg.bipolar.analysis.extensions

Class PreferredAnalysis

java.lang.Object

org.tweetyproject.arg.bipolar.analysis.AbstractAnalysis

org.tweetyproject.arg.bipolar.analysis.extensions.AbstractExtensionAnalysis

org.tweetyproject.arg.bipolar.analysis.extensions.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 Summary

Constructors

Constructor	Description
PreferredAnalysis(NamedPEAFTheory peaf)	Constructor

Method Summary

Methods inherited from class org.tweetyproject.arg.bipolar.analysis.extensions.AbstractExtensionAnalysis

getExtensions, query

Methods inherited from class org.tweetyproject.arg.bipolar.analysis.AbstractAnalysis

setPEAFTheory

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

PreferredAnalysis

public PreferredAnalysis(NamedPEAFTheory peaf)

Constructor

Parameters:

peaf - NamedPEAFTheory