Class Extension

java.lang.Object
org.tweetyproject.commons.AbstractInterpretation<DefaultTheory,FolFormula>
org.tweetyproject.logics.rdl.semantics.Extension
All Implemented Interfaces:
Iterable<FolFormula>, Collection<FolFormula>, Interpretation<DefaultTheory,FolFormula>

public class Extension extends AbstractInterpretation<DefaultTheory,FolFormula> implements Collection<FolFormula>
An extension of a default theory, i.e. a set of first-order formulas.
Author:
Matthias Thimm