Class Explanation
java.lang.Object
org.tweetyproject.commons.AbstractInterpretation<DungTheory, Argument>
org.tweetyproject.arg.dung.semantics.AbstractArgumentationInterpretation<DungTheory>
org.tweetyproject.arg.explanations.semantics.Explanation
- All Implemented Interfaces:
Comparable<Explanation>,Interpretation<DungTheory, Argument>
- Direct Known Subclasses:
DialectialSequenceExplanation,SequenceExplanation,SetExplanation
public abstract class Explanation
extends AbstractArgumentationInterpretation<DungTheory>
implements Comparable<Explanation>
Abstract class for representing explanations of arguments in argumentation frameworks
-
Method Summary
Modifier and TypeMethodDescriptionreturns the argument that is explained by this explanationabstract Collection<Argument> Returns the set-based explanation.Methods inherited from class org.tweetyproject.arg.dung.semantics.AbstractArgumentationInterpretation
getArgumentsOfStatus, satisfies, satisfies, toStringMethods inherited from class org.tweetyproject.commons.AbstractInterpretation
satisfiesMethods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, waitMethods inherited from interface java.lang.Comparable
compareTo
-
Method Details
-
getArgument
returns the argument that is explained by this explanation- Returns:
- the explained argument
-
getSetExplanation
Returns the set-based explanation.- Returns:
- the explanation as a collection of arguments
-