Class AssociativePlFormula

java.lang.Object
org.tweetyproject.logics.pl.syntax.PlFormula
org.tweetyproject.logics.pl.syntax.AssociativePlFormula
All Implemented Interfaces:
Iterable<PlFormula>, Collection<PlFormula>, List<PlFormula>, SequencedCollection<PlFormula>, Formula, AssociativeFormulaSupport.AssociativeSupportBridge, AssociativeFormula<PlFormula>, ClassicalFormula, Conjunctable, Disjunctable, Invertable, ProbabilityAware, SimpleLogicalFormula
Direct Known Subclasses:
Conjunction, Disjunction, ExclusiveDisjunction

public abstract class AssociativePlFormula extends PlFormula implements AssociativeFormula<PlFormula>, AssociativeFormulaSupport.AssociativeSupportBridge, Collection<PlFormula>
This class captures the common functionalities of formulas with an associative operation like conjunction, disjunction, etc.
Author:
Matthias Thimm, Tim Janus