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

Class GroundedAnalysis

java.lang.Object

org.tweetyproject.arg.bipolar.analysis.AbstractAnalysis

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

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

Constructors

Constructor	Description
GroundedAnalysis(NamedPEAFTheory peaf)

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

GroundedAnalysis

public GroundedAnalysis(NamedPEAFTheory peaf)