Class InterpretationSet<T extends Formula,B extends BeliefBase,S extends Formula>

java.lang.Object
org.tweetyproject.commons.AbstractInterpretation<B,S>
org.tweetyproject.commons.InterpretationSet<T,B,S>
Type Parameters:
T - The actual class of the formulas stored in this interpretation
B - The class of belief bases this interpretation can handle
S - The actual class of formulas this interpretation can handle
All Implemented Interfaces:
Iterable<T>, Collection<T>, Interpretation<B,S>
Direct Known Subclasses:
AnswerSet, DlInterpretation, HerbrandInterpretation, MlHerbrandInterpretation, NicePossibleWorld, PossibleWorld, QbPossibleWorld

public abstract class InterpretationSet<T extends Formula,B extends BeliefBase,S extends Formula> extends AbstractInterpretation<B,S> implements Collection<T>
This class models an interpretation that is a set of some formula and as such implements the java.util.Collection interface. This class should be used as ancestor for collection-based interpretations.
Author:
Matthias Thimm