Class AbaExtension<T extends Formula>

java.lang.Object
org.tweetyproject.commons.AbstractInterpretation<AbaTheory<T>,Assumption<T>>
org.tweetyproject.arg.aba.semantics.AbaExtension<T>
Type Parameters:
T - The type of formulas
All Implemented Interfaces:
Iterable<Assumption<T>>, Collection<Assumption<T>>, Interpretation<AbaTheory<T>,Assumption<T>>

public class AbaExtension<T extends Formula> extends AbstractInterpretation<AbaTheory<T>,Assumption<T>> implements Collection<Assumption<T>>
This class models an ABA Extension, meaning a set of assumptions.
Author:
Matthias Thimm